Author: Joan Casas Roma
Programme: Doctoral Programme on the Information and Knowledge Society
Supervisor: Dr María Antonia Huertas Sánchez, Dr M. Elena Rodríguez González
Faculty / Institute: Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
Key words: Imagination, dynamic imagination, imaginary worlds, logic of imagination, dynamic logic, algorithms
We study the dynamics of imagination acts at a philosophical, formal and applied level. Our research is based on three theories that identify the mechanisms involved in imagination acts and show how all of them share a similar structure. We define the Logic of Imaginary Scenarios, in which we create a layer for imagination acts upon a single-agent epistemic logic. While discussing the properties of logic, we note that the way in which imaginary worlds are developed is oversimplified. A deeper analysis leads to the definition of a new theory especially suited for the dynamics of imagination acts, called the Common Frame for Imagination Acts, and the Rhombus of Imagination. With this new theory at hand, we define the Logic of Imagination Acts, in which we introduce four different algorithms that allow for a much more modular account of imagination. Finally, we provide an implementation of a computer programme prototype that captures the algorithms defined by our latter logic.