TY - JOUR
T1 - Voluntary Imagination: A Fine-Grained Analysis
AU - Berto, Francesco
AU - Canavotto, Ilaria
AU - Giordani, Alessandro
PY - 2020
Y1 - 2020
N2 - We study imagination as reality-oriented mental simulation (ROMS): the activity of simulating non-actual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive psychology and the philosophy of mind. We then provide a logic of imagination as ROMS which models such features, combining techniques from epistemic logic, action logic, and subject matter semantics. Our logic comprises a modal propositional language with non-monotonic imagination operators, a formal semantics, and an axiomatization.
AB - We study imagination as reality-oriented mental simulation (ROMS): the activity of simulating non-actual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive psychology and the philosophy of mind. We then provide a logic of imagination as ROMS which models such features, combining techniques from epistemic logic, action logic, and subject matter semantics. Our logic comprises a modal propositional language with non-monotonic imagination operators, a formal semantics, and an axiomatization.
KW - epistemic logic
KW - hyperintensionality
KW - logic of imagination
KW - topics
KW - epistemic logic
KW - hyperintensionality
KW - logic of imagination
KW - topics
UR - http://hdl.handle.net/10807/158532
M3 - Article
SN - 1755-0203
SP - 1
EP - 34
JO - Review of Symbolic Logic
JF - Review of Symbolic Logic
ER -