The logic of imagination acts: A formal system for the dynamics of imaginary worlds

Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formaliz...

Descripción completa

Detalles Bibliográficos
Autores: Casas-Roma, Joan, Huertas, M. Antonia, Rodríguez-González, M. Elena
Tipo de recurso: artículo
Estado:Versión aceptada para publicación
Fecha de publicación:2019
País:España
Institución:Universitat Oberta de Catalunya (UOC)
Repositorio:O2, repositorio institucional de la UOC
OAI Identifier:oai:openaccess.uoc.edu:10609/110106
Acceso en línea:https://hdl.handle.net/10609/110106
Access Level:acceso embargado
Palabra clave:imagination
imaginary worlds
modal logic
dynamic logic
algorithms
imaginació
mons imaginaris
lògica modal
lògica dinàmica
algorismes
imaginación
mundos imaginarios
lógica modal
lógica dinámica
algoritmos
Philosophy and science
Filosofia i ciència
Filosofia y ciencia
id ES_bdc4013fe3a07e63e945d8159f0885d2
oai_identifier_str oai:openaccess.uoc.edu:10609/110106
network_acronym_str ES
network_name_str España
repository_id_str
spelling The logic of imagination acts: A formal system for the dynamics of imaginary worldsCasas-Roma, JoanHuertas, M. AntoniaRodríguez-González, M. Elenaimaginationimaginary worldsmodal logicdynamic logicalgorithmsimaginaciómons imaginarislògica modallògica dinàmicaalgorismesimaginaciónmundos imaginarioslógica modallógica dinámicaalgoritmosPhilosophy and scienceFilosofia i ciènciaFilosofia y cienciaImagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work.ErkenntnisFalmouth UniversityUniversitat Oberta de Catalunya (UOC)202020202019info:eu-repo/semantics/articleinfo:eu-repo/semantics/acceptedVersionapplication/pdfapplication/pdfhttps://hdl.handle.net/10609/110106reponame:O2, repositorio institucional de la UOCinstname:Universitat Oberta de Catalunya (UOC)Ingléshttps://doi.org/10.1007/s10670-019-00136-zinfo:eu-repo/grantAgreement/FFI2013-47126-P//info:eu-repo/grantAgreement/FFI2017-82554//CC BY-NC-NDhttp://creativecommons.org/licenses/by-nc-nd/3.0/es/info:eu-repo/semantics/embargoedAccessoai:openaccess.uoc.edu:10609/1101062026-05-28T12:42:01Z
dc.title.none.fl_str_mv The logic of imagination acts: A formal system for the dynamics of imaginary worlds
title The logic of imagination acts: A formal system for the dynamics of imaginary worlds
spellingShingle The logic of imagination acts: A formal system for the dynamics of imaginary worlds
Casas-Roma, Joan
imagination
imaginary worlds
modal logic
dynamic logic
algorithms
imaginació
mons imaginaris
lògica modal
lògica dinàmica
algorismes
imaginación
mundos imaginarios
lógica modal
lógica dinámica
algoritmos
Philosophy and science
Filosofia i ciència
Filosofia y ciencia
title_short The logic of imagination acts: A formal system for the dynamics of imaginary worlds
title_full The logic of imagination acts: A formal system for the dynamics of imaginary worlds
title_fullStr The logic of imagination acts: A formal system for the dynamics of imaginary worlds
title_full_unstemmed The logic of imagination acts: A formal system for the dynamics of imaginary worlds
title_sort The logic of imagination acts: A formal system for the dynamics of imaginary worlds
dc.creator.none.fl_str_mv Casas-Roma, Joan
Huertas, M. Antonia
Rodríguez-González, M. Elena
author Casas-Roma, Joan
author_facet Casas-Roma, Joan
Huertas, M. Antonia
Rodríguez-González, M. Elena
author_role author
author2 Huertas, M. Antonia
Rodríguez-González, M. Elena
author2_role author
author
dc.contributor.none.fl_str_mv Falmouth University
Universitat Oberta de Catalunya (UOC)
dc.subject.none.fl_str_mv imagination
imaginary worlds
modal logic
dynamic logic
algorithms
imaginació
mons imaginaris
lògica modal
lògica dinàmica
algorismes
imaginación
mundos imaginarios
lógica modal
lógica dinámica
algoritmos
Philosophy and science
Filosofia i ciència
Filosofia y ciencia
topic imagination
imaginary worlds
modal logic
dynamic logic
algorithms
imaginació
mons imaginaris
lògica modal
lògica dinàmica
algorismes
imaginación
mundos imaginarios
lógica modal
lógica dinámica
algoritmos
Philosophy and science
Filosofia i ciència
Filosofia y ciencia
description Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work.
publishDate 2019
dc.date.none.fl_str_mv 2019
2020
2020
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/acceptedVersion
format article
status_str acceptedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/10609/110106
url https://hdl.handle.net/10609/110106
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv https://doi.org/10.1007/s10670-019-00136-z
info:eu-repo/grantAgreement/FFI2013-47126-P//
info:eu-repo/grantAgreement/FFI2017-82554//
dc.rights.none.fl_str_mv CC BY-NC-ND
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
info:eu-repo/semantics/embargoedAccess
rights_invalid_str_mv CC BY-NC-ND
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
eu_rights_str_mv embargoedAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Erkenntnis
publisher.none.fl_str_mv Erkenntnis
dc.source.none.fl_str_mv reponame:O2, repositorio institucional de la UOC
instname:Universitat Oberta de Catalunya (UOC)
instname_str Universitat Oberta de Catalunya (UOC)
reponame_str O2, repositorio institucional de la UOC
collection O2, repositorio institucional de la UOC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869418228370898944
score 15,301629

Similares en LA Referencia