Axiomatizing the Logic of Imagination

Studia Logica 107 (4):639-657 (2019)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A constructive game semantics for the language of linear logic.Giorgi Japaridze - 1997 - Annals of Pure and Applied Logic 85 (2):87-156.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
Conceivability, Imagination and Modal Knowledge.M. Oreste Fiocco - 2007 - Philosophy and Phenomenological Research 74 (2):364–380.
Logic of Implicit and Explicit Justifiers.Alessandro Giordani - 2016 - In L. Felline, A. Ledda, F. Paoli & E. Rossanese (eds.), New Directions in Logic and the Philosophy of Science. College Publications. pp. 119-131.
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Imagination.Fiora Salis - 2014 - Online Companion to Problems in Analytic Philosophy.
Logical Consequence in Modal Logic.John Corcoran & George Weaver - 1969 - Notre Dame Journal of Formal Logic 10 (4):370-384.
Proto-Semantics for Positive Free Logic.Antonelli G. Aldo - 2000 - Journal of Philosophical Logic 29 (3):277-294.

Analytics

Added to PP
2018-06-25

Downloads
63 (#230,401)

6 months
7 (#174,778)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Alessandro Giordani
Università Cattolica di Milano

Citations of this work

Dynamic Hyperintensional Belief Revision.Aybüke Özgün & Francesco Berto - 2021 - Review of Symbolic Logic (3):766-811.
The Logic of Framing Effects.Francesco Berto & Aybüke Özgün - 2023 - Journal of Philosophical Logic 52 (3):939-962.
The Fundamental Problem of Logical Omniscience.Peter Hawke, Aybüke Özgün & Francesco Berto - 2020 - Journal of Philosophical Logic 49 (4):727-766.
The Productive Anarchy of Scientific Imagination.Michael T. Stuart - 2020 - Philosophy of Science 87 (5):968-978.

View all 11 citations / Add more citations

References found in this work

Does conceivability entail possibility.David J. Chalmers - 2002 - In Tamar Szabo Gendler & John Hawthorne (eds.), Conceivability and Possibility. Oxford University Press. pp. 145--200.
The nature of epistemic space.David J. Chalmers - 2011 - In Andy Egan & Brian Weatherson (eds.), Epistemic Modality. Oxford University Press.
Aboutness in Imagination.Franz Berto - 2018 - Philosophical Studies 175 (8):1871-1886.
A Theory of Truthmaker Content I: Conjunction, Disjunction and Negation.Kit Fine - 2017 - Journal of Philosophical Logic 46 (6):625-674.

View all 10 references / Add more references