Journal of Symbolic Logic

Disquotational Truth and Analyticity

Volker Halbach

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

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 $\varepsilon_0$.

Article information

Source
J. Symbolic Logic, Volume 66, Issue 4 (2001), 1959-1973.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183746637

Mathematical Reviews number (MathSciNet)
MR1877034

Zentralblatt MATH identifier
1002.03007

JSTOR
links.jstor.org

Keywords
Analyticity Disquotationalism KF Truth

Citation

Halbach, Volker. Disquotational Truth and Analyticity. J. Symbolic Logic 66 (2001), no. 4, 1959--1973. https://projecteuclid.org/euclid.jsl/1183746637


Export citation