Axiomatizing the Logic of Imagination

Risultato della ricerca: Contributo in rivistaArticolo in rivistapeer review

7 Citazioni (Scopus)


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.
Lingua originaleEnglish
pagine (da-a)639-657
Numero di pagine19
RivistaStudia Logica
Stato di pubblicazionePubblicato - 2018


  • Completeness
  • Logic of aboutness
  • Logic of imagination
  • Topic sensitive operators


Entra nei temi di ricerca di 'Axiomatizing the Logic of Imagination'. Insieme formano una fingerprint unica.

Cita questo