The Logic of Imagination Acts: A Formal System for the Dynamics of Imaginary Worlds

Erkenntnis (4):1-29 (2019)
  Copy   BIBTEX


Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work.



    Upload a copy of this work     Papers currently archived: 86,336

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Imaginary bodies and worlds.Kathleen Lennon - 2004 - Inquiry: An Interdisciplinary Journal of Philosophy 47 (2):107 – 122.
A classically-based theory of impossible worlds.Edward N. Zalta - 1997 - Notre Dame Journal of Formal Logic 38 (4):640-660.
Aboutness in Imagination.Franz Berto - 2018 - Philosophical Studies 175 (8):1871-1886.
Modal Semantics without Worlds.Craig Warmke - 2016 - Philosophy Compass 11 (11):702-715.
Axiomatizing the Logic of Imagination.Alessandro Giordani - 2019 - Studia Logica 107 (4):639-657.
Worlds and Times.Ulrich Meyer - 2006 - Notre Dame Journal of Formal Logic 47 (1):25--37.
Methodological Considerations on the Logical Dynamics of Speech Acts.Tomoyuki Yamada - 2008 - Proceedings of the Xxii World Congress of Philosophy 39:277-282.
Who's Afraid of Impossible Worlds?Edwin D. Mares - 1997 - Notre Dame Journal of Formal Logic 38 (4):516-526.
Logic, Semantics, and Possible Worlds.Matthew William Mckeon - 1994 - Dissertation, The University of Connecticut
Validity in Possible Worlds.Asadollah Fallahi & Lotfollah Nabavi - 2008 - Journal of Philosophical Theological Research 9 (35):69-88.


Added to PP

56 (#242,508)

6 months
5 (#191,153)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Joan Casas-Roma
Universitat de Vic
Mayra Rodríguez
Instituto Tecnologico y de Estudios Superiores de Monterrey

References found in this work

Counterfactuals.David Lewis - 1973 - Tijdschrift Voor Filosofie 36 (3):602-605.
Aboutness in Imagination.Franz Berto - 2018 - Philosophical Studies 175 (8):1871-1886.
First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.

View all 17 references / Add more references