Axiomatizing the Logic of Imagination

Risultato della ricerca: Contributo in rivistaArticolo in rivistapeer review

5 Citazioni (Scopus)

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

Keywords

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

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

Cita questo