The Logic of Imaginary Scenarios

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

Deeper Down the Rabbit-Hole: Unfolding the Dynamics of Imagination Acts

Estudiem les dinàmiques dels actes d'imaginació des d'un punt de vista filosòfic, formal i aplicat. Partim de tres teories que identifiquen els mecanismes involucrats en els actes d'imaginació i mostrem que comparteixen una estructura semblant. Definim la lògica dels escenaris imaginaris, en què creem una capa per als actes d'imaginació sobre una lògica epistèmica per a un sol agent. Tot analitzant les propietats de la lògica, veiem que la manera com els mons imaginaris es desenvolupen està massa simplificada. Una anàlisi més profunda porta a la definició d¿una nova teoria especialment dissenyada per a les dinàmiques dels actes d'imaginació: el marc comú per als actes d'imaginació i el rombe de la imaginació. Partint d'aquesta nova teoria, definim la lògica dels actes d'imaginació, en què introduïm quatre algorismes diferents que comporten una representació molt més modular de la imaginació. Finalment, presentem la implementació del prototip d'un programa informàtic que captura els algorismes definits en la lògica anterior.Estudiamos las dinámicas de los actos de imaginación desde un punto de vista filosófico, formal y aplicado. Partimos de tres teorías que identifican los mecanismos involucrados en los actos de imaginación y mostramos que comparten una estructura similar. Definimos la lógica de los escenarios imaginarios, en la que creamos una capa para actos de imaginación partiendo de una lógica epistémica para un solo agente. Al discutir las propiedades de la lógica, vemos que el modo en que los mundos imaginarios se desarrollan está demasiado simplificado. Un análisis más profundo nos lleva a la definición de una nueva teoría especialmente diseñada para las dinámicas de los actos de imaginación: el marco común para actos de imaginación y el rombo de la imaginación. Partiendo de esta nueva teoría, definimos la lógica de los actos de imaginación, en la que introducimos cuatro algoritmos distintos que conllevan una representación mucho más modular de la imaginación. Finalmente, presentamos la implementación del prototipo de un programa informático que captura los algoritmos definidos en la lógica anterior.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

The logic of imaginary scenarios

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

Deeper Down the Rabbit-Hole: Unfolding the Dynamics of Imagination Acts

Estudiem les dinàmiques dels actes d'imaginació des d'un punt de vista filosòfic, formal i aplicat. Partim de tres teories que identifiquen els mecanismes involucrats en els actes d'imaginació i mostrem que comparteixen una estructura semblant. Definim la lògica dels escenaris imaginaris, en què creem una capa per als actes d'imaginació sobre una lògica epistèmica per a un sol agent. Tot analitzant les propietats de la lògica, veiem que la manera com els mons imaginaris es desenvolupen està massa simplificada. Una anàlisi més profunda porta a la definició d¿una nova teoria especialment dissenyada per a les dinàmiques dels actes d'imaginació: el marc comú per als actes d'imaginació i el rombe de la imaginació. Partint d'aquesta nova teoria, definim la lògica dels actes d'imaginació, en què introduïm quatre algorismes diferents que comporten una representació molt més modular de la imaginació. Finalment, presentem la implementació del prototip d'un programa informàtic que captura els algorismes definits en la lògica anterior.Estudiamos las dinámicas de los actos de imaginación desde un punto de vista filosófico, formal y aplicado. Partimos de tres teorías que identifican los mecanismos involucrados en los actos de imaginación y mostramos que comparten una estructura similar. Definimos la lógica de los escenarios imaginarios, en la que creamos una capa para actos de imaginación partiendo de una lógica epistémica para un solo agente. Al discutir las propiedades de la lógica, vemos que el modo en que los mundos imaginarios se desarrollan está demasiado simplificado. Un análisis más profundo nos lleva a la definición de una nueva teoría especialmente diseñada para las dinámicas de los actos de imaginación: el marco común para actos de imaginación y el rombo de la imaginación. Partiendo de esta nueva teoría, definimos la lógica de los actos de imaginación, en la que introducimos cuatro algoritmos distintos que conllevan una representación mucho más modular de la imaginación. Finalmente, presentamos la implementación del prototipo de un programa informático que captura los algoritmos definidos en la lógica anterior.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

Deeper Down the Rabbit-Hole: Unfolding the Dynamics of Imagination Acts

Estudiem les dinàmiques dels actes d'imaginació des d'un punt de vista filosòfic, formal i aplicat. Partim de tres teories que identifiquen els mecanismes involucrats en els actes d'imaginació i mostrem que comparteixen una estructura semblant. Definim la lògica dels escenaris imaginaris, en què creem una capa per als actes d'imaginació sobre una lògica epistèmica per a un sol agent. Tot analitzant les propietats de la lògica, veiem que la manera com els mons imaginaris es desenvolupen està massa simplificada. Una anàlisi més profunda porta a la definició d¿una nova teoria especialment dissenyada per a les dinàmiques dels actes d'imaginació: el marc comú per als actes d'imaginació i el rombe de la imaginació. Partint d'aquesta nova teoria, definim la lògica dels actes d'imaginació, en què introduïm quatre algorismes diferents que comporten una representació molt més modular de la imaginació. Finalment, presentem la implementació del prototip d'un programa informàtic que captura els algorismes definits en la lògica anterior.Estudiamos las dinámicas de los actos de imaginación desde un punto de vista filosófico, formal y aplicado. Partimos de tres teorías que identifican los mecanismos involucrados en los actos de imaginación y mostramos que comparten una estructura similar. Definimos la lógica de los escenarios imaginarios, en la que creamos una capa para actos de imaginación partiendo de una lógica epistémica para un solo agente. Al discutir las propiedades de la lógica, vemos que el modo en que los mundos imaginarios se desarrollan está demasiado simplificado. Un análisis más profundo nos lleva a la definición de una nueva teoría especialmente diseñada para las dinámicas de los actos de imaginación: el marco común para actos de imaginación y el rombo de la imaginación. Partiendo de esta nueva teoría, definimos la lógica de los actos de imaginación, en la que introducimos cuatro algoritmos distintos que conllevan una representación mucho más modular de la imaginación. Finalmente, presentamos la implementación del prototipo de un programa informático que captura los algoritmos definidos en la lógica anterior.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