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

Authors
Leon Horsten
Universität Konstanz
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 ε₀
Keywords Truth   Kripke-Feferman theory   axiomatic theories of truth   reflective closure   Strong Kleene scheme   partial logic   liar paradox
Categories (categorize this paper)
DOI 10.2178/jsl/1146620166
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,209
Through your library

References found in this work BETA

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 - Oxford, England: Oxford University Press.
The Revision Theory of Truth.Vann Mcgee - 1996 - Philosophy and Phenomenological Research 56 (3):727-730.
Truth and Paradox: Solving the Riddles.Tim Maudlin - 2004 - Oxford, England: Oxford University Press.

View all 37 references / Add more references

Citations of this work BETA

Logical Partisanhood.Jack Woods - 2019 - Philosophical Studies 176 (5):1203-1224.
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.
Generalized Revenge.Julien Murzi & Lorenzo Rossi - 2020 - Australasian Journal of Philosophy 98 (1):153-177.
On the Costs of Nonclassical Logic.Volker Halbach & Carlo Nicolai - 2018 - Journal of Philosophical Logic 47 (2):227-257.

View all 52 citations / Add more citations

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 - 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 index
2009-01-28

Total views
319 ( #29,347 of 2,455,130 )

Recent downloads (6 months)
6 ( #117,501 of 2,455,130 )

How can I increase my downloads?

Downloads

My notes