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

Erkenntnis 86 (4):875-903 (2019)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

The logic of imaginary scenarios.Joan Casas-Roma, Antonia Huertas & M. Elena Rodríguez - 2020 - Logic Journal of the IGPL 28 (3):363-388.
Logic of Intensional Acts and the Theory of Games.A. T. Ishmuratov - 1988 - Bulletin of the Section of Logic 17 (3/4):104-13.
Not by Imaginings Alone: On How Imaginary Worlds Are Established.Alon Chasid - 2021 - Journal of the American Philosophical Association 7 (2):195-212.
Axiomatizing the Logic of Imagination.Alessandro Giordani - 2019 - Studia Logica 107 (4):639-657.
Aboutness in Imagination.Franz Berto - 2018 - Philosophical Studies 175 (8):1871-1886.
A formal theory of physical necessity.Marcin Tkaczyk - 2007 - Logic and Logical Philosophy 16 (1):65-83.
Investigations into Quantified Modal Logic.Yannis Stephanou - 2002 - Notre Dame Journal of Formal Logic 43 (4):193-220.

Analytics

Added to PP
2021-08-03

Downloads
41 (#379,234)

6 months
25 (#111,330)

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 K. Lewis - 1973 - Malden, Mass.: Blackwell.
Counterfactuals.David Lewis - 1973 - Foundations of Language 13 (1):145-151.
Counterfactuals.David Lewis - 1973 - Philosophy of Science 42 (3):341-344.
Recreative Minds: Imagination in Philosophy and Psychology.Gregory Currie & Ian Ravenscroft - 2002 - Oxford, GB: Oxford University Press. Edited by Christoph Hoerl.

View all 19 references / Add more references