Please use this identifier to cite or link to this item:
Title: The logic of imaginary scenarios
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 logic
hybrid logic
dynamic logic
dynamic imagination
imaginary worlds
Issue Date: 15-Oct-2019
Publisher: Logic Journal of the IGPL
Citation: Casas, J., Huertas, M.A. & Rodríguez González, M.E. (2020). The logic of imaginary scenarios. Logic Journal of the IGPL. Logic Journal of the IGPL, 28(3), 363¿388.
Project identifier: info:eu-repo/grantAgreement/621403
Also see:
Abstract: Imagining is something we use everyday in our lives and in a wide variety of ways. In spite of the amount of works devoted to its study from both psychology and philosophy, there are only a few formal systems capable of modelling it; besides, almost all of those systems are static, in the sense that their models are initially predefined, and they fail to capture the dynamic process behind the creation of new imaginary scenarios. In this work, we review some influential theories of imagination and use their insights to distil an algorithm describing such process. Then, we use this algorithm to define a dynamic logical system built upon on a single-agent epistemic logic that provides the necessary tools to capture how the agent voluntarily creates new imaginary worlds; in other words, our system allows the model to be expanded dynamically at any time as a result of the agent performing an act of imagination. Furthermore, we provide an axiomatization and prove that the system is sound and complete.
Language: English
ISSN: 1367-0751MIAR
Appears in Collections:Articles

Files in This Item:
File Description SizeFormat 
Roma_Huertas_Rodriguez_ImaginaryScenarios_POST_IGPL.pdf710.13 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons