In a recent paper Berto introduces a semantic system for a logic of imagination, intended as positive conceivability, and aboutness of imaginative acts. This system crucially adopts elements of both the semantics of conditionals and the semantics of analytical implications in order to account for the central logical traits of the notion of truth in an act of imagination based on an explicit input. The main problem left unsolved is to put forward a complete set of axioms for the proposed system. In the present paper I offer a solution to this problem by providing a complete axiomatization of a generalization of the original semantics. The difficulty in proving completeness lies in the fact that the modalities that capture the notion of truth in an act of imagination are neither standard nor minimal, so that the construction of the canonical model and the proof of the truth lemma are to be substantially modified.

Giordani, A., Axiomatizing the Logic of Imagination, <<STUDIA LOGICA>>, 2019; (N/A): 639-657. [doi:10.1007/s11225-018-9810-z] [http://hdl.handle.net/10807/123490]

Axiomatizing the Logic of Imagination

Giordani, Alessandro
2018

Abstract

In a recent paper Berto introduces a semantic system for a logic of imagination, intended as positive conceivability, and aboutness of imaginative acts. This system crucially adopts elements of both the semantics of conditionals and the semantics of analytical implications in order to account for the central logical traits of the notion of truth in an act of imagination based on an explicit input. The main problem left unsolved is to put forward a complete set of axioms for the proposed system. In the present paper I offer a solution to this problem by providing a complete axiomatization of a generalization of the original semantics. The difficulty in proving completeness lies in the fact that the modalities that capture the notion of truth in an act of imagination are neither standard nor minimal, so that the construction of the canonical model and the proof of the truth lemma are to be substantially modified.
Inglese
Giordani, A., Axiomatizing the Logic of Imagination, <<STUDIA LOGICA>>, 2019; (N/A): 639-657. [doi:10.1007/s11225-018-9810-z] [http://hdl.handle.net/10807/123490]
File in questo prodotto:
File Dimensione Formato  
Giordani 2019 SL.pdf

non disponibili

Tipologia file ?: Versione Editoriale (PDF)
Licenza: Non specificato
Dimensione 490.32 kB
Formato Unknown
490.32 kB Unknown   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10807/123490
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 6
social impact