Axiomatizing Kripke’s Theory of Truth

Journal of Symbolic Logic 71 (2):677 - 712 (2006)
  Copy   BIBTEX

Abstract

We investigate axiomatizations of Kripke's theory of truth based on the Strong Kleene evaluation scheme for treating sentences lacking a truth value. Feferman's axiomatization KF formulated in classical logic is an indirect approach, because it is not sound with respect to Kripke's semantics in the straightforward sense: only the sentences that can be proved to be true in KF are valid in Kripke's partial models. Reinhardt proposed to focus just on the sentences that can be proved to be true in KF and conjectured that the detour through classical logic in KF is dispensable. We refute Reinhardt's Conjecture, and provide a direct axiomatization PKF of Kripke's theory in partial logic. We argue that any natural axiomatization of Kripke's theory in Strong Kleene logic has the same proof-theoretic strength as PKF, namely the strength of the system RA< ωω ramified analysis or a system of Tarskian ramified truth up to ωω. Thus any such axiomatization is much weaker than Feferman's axiomatization KF in classical logic, which is equivalent to the system RA<ε₀ of ramified analysis up to ε₀

Links

PhilArchive



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

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

Disquotational truth and analyticity.Volker Halbach - 2001 - Journal of Symbolic Logic 66 (4):1959-1973.
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Trees for truth.Juan Barba - 2001 - Nordic Journal of Philosophical Logic 6 (1):71-99.
Super liars.Philippe Schlenker - 2010 - Review of Symbolic Logic 3 (3):374-414.
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
Tarskian and Kripkean truth.Volker Halbach - 1997 - Journal of Philosophical Logic 26 (1):69-80.
Saul Kripke.Alan Berger (ed.) - 2011 - New York, NY: Cambridge University Press.
Kripke Models.John P. Burgess - 2011 - In Alan Berger (ed.), Saul Kripke. Cambridge University Press.
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.

Analytics

Added to PP
2009-01-28

Downloads
351 (#54,157)

6 months
12 (#157,869)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Leon Horsten
Universität Konstanz
Volker Halbach
Oxford University

Citations of this work

Logical Partisanhood.Jack Woods - 2019 - Philosophical Studies 176 (5):1203-1224.
What Counts as Evidence for a Logical Theory?Ole Thomassen Hjortland - 2019 - Australasian Journal of Logic 16 (7):250-282.
Generalized Revenge.Julien Murzi & Lorenzo Rossi - 2020 - Australasian Journal of Philosophy 98 (1):153-177.
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.

View all 72 citations / Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Recent essays on truth and the liar paradox.Robert Lazarus Martin (ed.) - 1984 - New York: Oxford University Press.
Truth and paradox: solving the riddles.Tim Maudlin - 2004 - New York: Oxford University Press.
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.

View all 41 references / Add more references