Journal of Symbolic Logic 66 (4):1959-1973 (2001)

Authors
Volker Halbach
Oxford University
Abstract
The uniform reflection principle for the theory of uniform T-sentences is added to PA. The resulting system is justified on the basis of a disquotationalist theory of truth where the provability predicate is conceived as a special kind of analyticity. The system is equivalent to the system ACA of arithmetical comprehension. If the truth predicate is also allowed to occur in the sentences that are inserted in the T-sentences, yet not in the scope of negation, the system with the reflection schema for these T-sentences assumes the strength of the Kripke-Feferman theory KF, and thus of ramified analysis up to go.
Keywords Analyticity   Disquotationalism   KF   Truth
Categories (categorize this paper)
DOI 10.2307/2694987
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: 71,316
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.
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
The Deflationary Conception of Truth.Hartry Field - 1986 - In G. MacDonald & C. Wright (eds.), Fact, Science and Morality. Blackwell. pp. 55-117.

View all 25 references / Add more references

Citations of this work BETA

Axiomatic Theories of Truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.

View all 17 citations / Add more citations

Similar books and articles

Quine's Truth.Lars Bergström - 1994 - Inquiry: An Interdisciplinary Journal of Philosophy 37 (4):421-435.
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Analyticity Reconsidered.Paul Boghossian - 1996 - Noûs 30 (3):360-391.
Truth and Disquotation.Richard G. Heck Jr - 2005 - Synthese 142 (3):317 - 352.
Truth and Disquotation.Richard Heck - 2005 - Synthese 142 (3):317--352.
New Wave Deflationism.Nic Damnjanovic - 2010 - In Cory D. Wright & Nikolaj J. L. L. Pedersen (eds.), New Waves in Truth. Palgrave-Macmillan. pp. 45--58.

Analytics

Added to PP index
2009-01-28

Total views
95 ( #124,492 of 2,519,452 )

Recent downloads (6 months)
1 ( #407,153 of 2,519,452 )

How can I increase my downloads?

Downloads

My notes