A Common Frame for Formal Imagination

  • Joan Casas-RomaEmail author
  • M. Elena Rodríguez
  • Antonia Huertas


In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of imagination using formal languages, and we support our claim by showing how the framework allows to model certain imagination acts step by step. Then, we introduce the Rhombus of Imagination, which is a visual tool that can be used in conjunction with our framework to study the procedural structure of different kinds of imagination acts and identify their dynamic properties.


Imagination Dynamic imagination Reality-oriented development Imaginary worlds Formal models 



This work is funded by EC FP7 Grant 621403 (ERA Chair: Games Research Opportunities), Engineering and Physical Sciences Research Council (Grant No. EP/J004049), the project “Hybrid Intensional Logic” (Ref. FFI2013-47126-P) given by the Spanish “Ministerio de Economía y Competitividad” (MINECO) and a Doctoral Grant from the Universitat Oberta de Catalunya (UOC).


  1. Balcerak-Jackson, M. (2016). On the epistemic value of imagining, supposing and conceiving. In A. Kind & P. Kung (Eds.), Knowledge through imagination (pp. 41–60). Oxford: OUP.CrossRefGoogle Scholar
  2. Berto, F. (2014). On conceiving the inconsistent. In Proceedings of the Aristotelian Society (Hardback), Wiley Online Library, vol. 114, 1.1, pp. 103–121.Google Scholar
  3. Berto, F. (2017). Impossible worlds and the logic of imagination. Erkenntnis, 82(6), 1277–1297.MathSciNetCrossRefGoogle Scholar
  4. Berto, F. (2018). Aboutness in imagination. Philosophical Studies, 175(8), 1871–1886.MathSciNetCrossRefGoogle Scholar
  5. Blackburn, P., De Rijke, M., & Venema, Y. (2010). Modal Logic. Cambridge: Cambridge University Press.zbMATHGoogle Scholar
  6. Casas-Roma, J., Huertas, A., & Elena Rodríguez, M. (2019). The logic of imagination acts: A formal system for the dynamics of imaginary worlds. Erkenntnis.
  7. Costa-Leite, A. (2011). Logical properties of imagination. Abstracta, 6(1), 103–116.Google Scholar
  8. Currie, G., & Ravenscroft, I. (2002). Recreative minds: Imagination in philosophy and psychology. Oxford: Oxford University Press.CrossRefGoogle Scholar
  9. Funkhouser, E., & Spaulding, S. (2009). Imagination and other scripts. Philosophical Studies, 143(3), 291–314.CrossRefGoogle Scholar
  10. Giordani, A. (2019). Axiomatizing the logic of imagination. Studia Logica, 107(4), 639–657.MathSciNetCrossRefGoogle Scholar
  11. Harel, D. (1984). Dynamic logic. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of Philosophical Logic, volume II: Extensions of Classical Logic (pp. 497–604). Boston: D. Reidel Publishing Company.CrossRefGoogle Scholar
  12. Hodges, W. (2001). Logic: An introduction to elementary logic. London: Penguin Books.zbMATHGoogle Scholar
  13. Kind, A. (2016a). Desire-like imagination. In A. Kind (Ed.), The Routledge Handbook of Philosophy of Imagination (pp. 163–176). New York: Routledge.Google Scholar
  14. Kind, A. (2016b). The Routledge Handbook of Philosophy of Imagination. Taylor & Francis Group: Routledge.Google Scholar
  15. Kind, A., & Pe, Kung. (2016). Knowledge through imagination. Oxford: OUP.CrossRefGoogle Scholar
  16. Langland-Hassan, P. (2016). On choosing what to imagine. In A. Kind & P. Kung (Eds.), Knowledge through imagination (pp. 61–84). Oxford: OUP.CrossRefGoogle Scholar
  17. Lewis, D. (1973). Counterfactuals. New Jersey: Blackwell Publishing.zbMATHGoogle Scholar
  18. Lewis, D. (1978). Truth in fiction. American Philosophical Quarterly, 15(1), 37–46.Google Scholar
  19. Nanay, B. (2016). The role of imagination in decision-making. Mind and Language, 31(1), 126–142.CrossRefGoogle Scholar
  20. Nichols, S. (2006). The architecture of the imagination: New essays on pretence, possibility, and fiction. Oxford: Oxford University Press.CrossRefGoogle Scholar
  21. Nichols, S., & Stich, S. (2000). A cognitive theory of pretense. Cognition, 74(2), 115–147.CrossRefGoogle Scholar
  22. Nichols, S., & Stich, S. P. (2003). Mindreading: An integrated account of pretence, self-awareness, and understanding other minds. Oxford: Clarendon Press/Oxford University Press.CrossRefGoogle Scholar
  23. Niiniluoto, I. (1985). Imagination and fiction. Journal of Semantics, 4(3), 209–222.CrossRefGoogle Scholar
  24. Priest, G. (2016). Thinking the impossible. Philosophical Studies, 173(10), 2649–2662.MathSciNetCrossRefGoogle Scholar
  25. Rucińska, Z. (2016). What guides pretence? towards the interactive and the narrative approaches. Phenomenology and the Cognitive Sciences, 15(1), 117–133.CrossRefGoogle Scholar
  26. Shirazi, A., & Amir, E. (2007). Probabilistic modal logic. In R. Holte, A. Howe, (Eds.), Proceedings of the 22nd AAAI Conference on Artificial Intelligence, pp. 489–495.Google Scholar
  27. Sinhababu, N. (2016). Imagination and belief. In A. Kind (Ed.), The Routledge Handbook of Philosophy of Imagination (pp. 111–123). New York: Routledge.Google Scholar
  28. Sorensen, R. A. (1992). Thought experiments. Oxford: Oxford University Press.Google Scholar
  29. Spaulding, S. (2016). Imagination through knowledge. In A. Kind & P. Kung (Eds.), Knowledge through imagination (pp. 207–226). Oxford: OUP.CrossRefGoogle Scholar
  30. Van Leeuwen, N. (2013). The meanings of “imagine” part i: Constructive imagination. Philosophy Compass, 8(3), 220–230.CrossRefGoogle Scholar
  31. Velazquez Quesada, F. R. (2011). Small steps in dynamics of information. Institute for Logic, Language and Computation.Google Scholar
  32. Walton, K. L. (1990). Mimesis as make-believe: On the foundations of the representational arts. Cambridge: Harvard University Press.Google Scholar
  33. Wansing, H. (2017). Remarks on the logic of imagination. A step towards understanding doxastic control through imagination. Synthese, 194(8), 2843–2861.MathSciNetCrossRefGoogle Scholar
  34. Weinberg, J. M., & Meskin, A. (2006). Puzzling over the imagination: Philosophical problems, architectural solutions. In S. Nichols (Ed.), The architecture of the imagination: New essays on pretence, possibility, and fiction (pp. 175–202). Oxford: Oxford University Press.CrossRefGoogle Scholar
  35. Williamson, T. (2016). Knowing by imagining. In A. Kind & P. Kung (Eds.), Knowledge through imagination (pp. 113–123). Oxford: OUP.CrossRefGoogle Scholar

Copyright information

© Springer Nature B.V. 2019

Authors and Affiliations

  1. 1.The Games Academy, Falmouth UniversityCornwallUK
  2. 2.Department of Computer Science, Multimedia and TelecommunicationUniversitat Oberta de CatalunyaBarcelonaSpain

Personalised recommendations