Please use this identifier to cite or link to this item:

http://hdl.handle.net/10609/110106
Title: The logic of imagination acts: A formal system for the dynamics of imaginary worlds
Author: Casas Roma, Joan  
Huertas Sánchez, María Antonia
Rodríguez González, M. Elena  
Others: Falmouth University
Universitat Oberta de Catalunya (UOC)
Keywords: imagination
imaginary worlds
modal logic
dynamic logic
algorithms
Issue Date: 27-May-2019
Publisher: Erkenntnis
Citation: Casas, J., Huertas, M.A. & Rodríguez González, M.E. (2019). The Logic of Imagination Acts: A Formal System for the Dynamics of Imaginary Worlds. Erkenntnis: An International Journal of Scientific Philosophy, (), 1-29. doi: 10.1007/s10670-019-00136-z
Project identifier: info:eu-repo/grantAgreement/FFI2013-47126-P
info:eu-repo/grantAgreement/FFI2017-82554
Also see: https://doi.org/10.1007/s10670-019-00136-z
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.
Language: English
URI: http://hdl.handle.net/10609/110106
ISSN: 0165-0106MIAR
Appears in Collections:Articles

Share:
Export:
Files in This Item:
File Description SizeFormat 
Roma_Huertas_Rodriguez_Erkenntnis_LogicImagActs_post_.pdf461.99 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons