The Logic of Imagination Acts

A Formal System for the Dynamics of Imaginary Worlds

Casas Roma, Joan, Huertas, Antonia and Rodríguez, M. Elena (2019) The Logic of Imagination Acts. Erkenntnis, Online. p. 1. ISSN 0165-0106

Preview

Text The_Logic_of_Imagination_Acts__AAM_.pdf - Accepted Version Available under License Creative Commons Attribution Non-commercial. Download (401kB) | Preview

Abstract / Summary

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.

Item Type:	Article
Identification Number:	10.1007/s10670-019-00136-z
ISSN:	0165-0106
Subjects:	Computer Science, Information & General Works Philosophy & Psychology
Depositing User:	Joan Casas Roma
Date Deposited:	09 Jul 2019 09:43
Last Modified:	11 Nov 2022 16:26
URI:	https://repository.falmouth.ac.uk/id/eprint/3347

View Record (staff only)