Please use this identifier to cite or link to this item:
http://hdl.handle.net/10609/110066
Title: | The logic of imaginary scenarios |
Author: | Casas-Roma, Joan Huertas, M. Antonia Rodríguez-González, M. Elena |
Others: | Falmouth University Universitat Oberta de Catalunya (UOC) |
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. |
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. |
Keywords: | imagination logic hybrid logic dynamic logic dynamic imagination imaginary worlds |
DOI: | 10.1093/jigpal/jzz064 |
Document type: | info:eu-repo/semantics/article |
Version: | info:eu-repo/semantics/acceptedVersion |
Issue Date: | 15-Oct-2019 |
Publication license: | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Appears in Collections: | Articles Articles cientÍfics |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Roma_Huertas_Rodriguez_ImaginaryScenarios_POST_IGPL.pdf | 710,13 kB | Adobe PDF | View/Open |
Share:
This item is licensed under a Creative Commons License