Truth, disjunction, and induction

Archive for Mathematical Logic 58 (5-6):753-766 (2019)
  Copy   BIBTEX


By a well-known result of Kotlarski et al., first-order Peano arithmetic \ can be conservatively extended to the theory \ of a truth predicate satisfying compositional axioms, i.e., axioms stating that the truth predicate is correct on atomic formulae and commutes with all the propositional connectives and quantifiers. This result motivates the general question of determining natural axioms concerning the truth predicate that can be added to \ while maintaining conservativity over \. Our main result shows that conservativity fails even for the extension of \ obtained by the seemingly weak axiom of disjunctive correctness \ that asserts that the truth predicate commutes with disjunctions of arbitrary finite size. In particular, \ implies \\). Our main result states that the theory \ coincides with the theory \ obtained by adding \-induction in the language with the truth predicate. This result strengthens earlier work by Kotlarski and Cieśliński. For our proof we develop a new general form of Visser’s theorem on non-existence of infinite descending chains of truth definitions and prove it by reduction to Gödel’s second incompleteness theorem, rather than by using the Visser–Yablo paradox, as in Visser’s original proof.



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

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

Reducing compositional to disquotational truth.Volker Halbach - 2009 - Review of Symbolic Logic 2 (4):786-798.
A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.
A System Of Complete And Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (3):311-327.
A feasible theory of truth over combinatory algebra.Sebastian Eberhard - 2014 - Annals of Pure and Applied Logic 165 (5):1009-1033.
T-equivalences for positive sentences.Cezary Cieśliński - 2011 - Review of Symbolic Logic 4 (2):319-325.
Truth and the Liar in De Morgan-Valued Models.Hannes Leitgeb - 1999 - Notre Dame Journal of Formal Logic 40 (4):496-514.
A Note on Typed Truth and Consistency Assertions.Carlo Nicolai - 2016 - Journal of Philosophical Logic 45 (1):89-119.
New wave deflationism.Nic Damnjanovic - 2010 - In Cory D. Wright & Nikolaj Pedersen (eds.), New Waves in Truth. Palgrave-Macmillan. pp. 45--58.
Theories of truth and truth-value gaps.Philip Hugly & Charles Sayward - 1993 - Linguistics and Philosophy 16 (6):551 - 559.
Minimal truth and interpretability.Martin Fischer - 2009 - Review of Symbolic Logic 2 (4):799-815.
Deflationary Truth and Pathologies.Cezary Cieśliński - 2010 - Journal of Philosophical Logic 39 (3):325-337.


Added to PP

38 (#406,408)

6 months
16 (#147,730)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 1974 - Cambridge, England: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
Semantics and the liar paradox.Albert Visser - 1989 - Handbook of Philosophical Logic 4 (1):617--706.

View all 17 references / Add more references