The Logic of Imaginary Scenarios

Casas Roma, Joan, Huertas, Antonia and Rodriguez, M. Elena (2019) The Logic of Imaginary Scenarios. Logic Journal of the IGPL, (In press). ISSN (In press) (In Press)

[img] Text
Casas-Roma, Huertas, Rodriguez - The Logic of Imaginary Scenarios.pdf - Accepted Version
Restricted to Repository staff only until 31 December 2020.
Available under License Creative Commons Attribution Non-commercial.

Download (637kB) | Request a copy

Abstract / Summary

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 modeling 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 distill 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.

Item Type: Article
ISSN: (In press)
Subjects: Computer Science, Information & General Works
Philosophy & Psychology
Depositing User: Joan
Date Deposited: 18 Oct 2019 08:59
Last Modified: 18 Oct 2019 09:01
URI: http://repository.falmouth.ac.uk/id/eprint/3573

Actions

View Item View Item (login required)