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

Abstract

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.