Journal of Symbolic Logic 66 (4):1959-1973 (2001)
|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||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Lars Bergström (1994). Quine's Truth. Inquiry 37 (4):421-435.
Lars Bergström (1994). Quine's Truth. Inquiry 37 (4):421 – 435.
Nic Damnjanovic (2010). New Wave Deflationism. In Cory D. Wright & Nikolaj J. L. L. Pedersen (eds.), New Waves in Truth. Palgrave Macmillan.
Richard Heck (2005). Truth and Disquotation. Synthese 142 (3):317--352.
Richard G. Heck Jr (2004). Truth and Disquotation. Synthese 142 (3):317 - 352.
Paul Artin Boghossian (1996). Analyticity Reconsidered. Noûs 30 (3):360-391.
Hannes Leitgeb (2005). What Truth Depends On. Journal of Philosophical Logic 34 (2):155-192.
Leon Horsten (2006). Axiomatizing Kripke's Theory of Truth. Journal of Symbolic Logic 71 (2):677 - 712.
Volker Halbach & Leon Horsten (2006). Axiomatizing Kripke's Theory of Truth. Journal of Symbolic Logic 71 (1):677--712.
Volker Halbach (1999). Disquotationalism and Infinite Conjunctions. Mind 108 (429):1-22.
Added to index2009-01-28
Total downloads28 ( #44,113 of 549,122 )
Recent downloads (6 months)1 ( #63,361 of 549,122 )
How can I increase my downloads?