Classical Determinate Truth I

Journal of Symbolic Logic 89 (1):218-261 (2024)
  Copy   BIBTEX

Abstract

We introduce and analyze a new axiomatic theory $\mathsf {CD}$ of truth. The primitive truth predicate can be applied to sentences containing the truth predicate. The theory is thoroughly classical in the sense that $\mathsf {CD}$ is not only formulated in classical logic, but that the axiomatized notion of truth itself is classical: The truth predicate commutes with all quantifiers and connectives, and thus the theory proves that there are no truth value gaps or gluts. To avoid inconsistency, the instances of the T-schema are restricted to determinate sentences. Determinateness is introduced as a further primitive predicate and axiomatized. The semantics and proof theory of $\mathsf {CD}$ are analyzed.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

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

The liar paradox in new clothes.Jeff Snapper - 2012 - Analysis 72 (2):319-322.
The truth-tellers paradox.Alexandre Billon - 2013 - Logique Et Analyse (204).
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Axiomatic Theories of Truth.Volker Halbach - 2010 - Cambridge, England: Cambridge University Press.
Truth & Transcendence: Turning the Tables on the Liar Paradox.Gila Sher - 2017 - In Bradley Armour-Garb (ed.), Reflections on the Liar. Oxford: Oxford University Press. pp. 281-306.
Truth, the Liar, and Tarski's Semantics.Gila Sher - 2006 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 143–163.
Is Truth Inconsistent?Patrick Greenough - 2023 - Philosophy and Phenomenological Research.
Alethic vengeance.Kevin Scharp - 2007 - In J. C. Beall (ed.), Revenge of the Liar: New Essays on the Paradox. Oxford University Press.
Remarks on Compositionality and Weak Axiomatic Theories of Truth.Günther Eder - 2014 - Journal of Philosophical Logic 43 (2-3):541-547.
Nonclassical theories of truth.Jc Beall & David Ripley - 2018 - In Oxford Handbook of Truth.

Analytics

Added to PP
2023-09-18

Downloads
36 (#429,312)

6 months
22 (#118,062)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Volker Halbach
Oxford University
Kentaro Fujimoto
University of Bristol

Citations of this work

No citations found.

Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
Can the Classical Logician Avoid the Revenge Paradoxes?Andrew Bacon - 2015 - Philosophical Review 124 (3):299-352.
What Truth Depends on.Hannes Leitgeb - 2005 - Journal of Philosophical Logic 34 (2):155-192.

View all 33 references / Add more references