Notes on bounded induction for the compositional truth predicate

Review of Symbolic Logic 10 (3):455-480 (2017)

Abstract

We prove that the theory of the extensional compositional truth predicate for the language of arithmetic with \Delta 0 -induction scheme for the truth predicate and the full arithmetical induction scheme is not conservative over Peano Arithmetic. In addition, we show that a slightly modified theory of truth actually proves the global reflection principle over the base theory.

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,879

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2018-02-09

Downloads
11 (#859,949)

6 months
2 (#257,917)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Axiomatic Theories of Truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Truth, Disjunction, and Induction.Ali Enayat & Fedor Pakhomov - 2019 - Archive for Mathematical Logic 58 (5-6):753-766.
On the Logicality of Truth.Kentaro Fujimoto - 2022 - Philosophical Quarterly 72 (4):853-874.

View all 7 citations / Add more citations

Similar books and articles

Reducing Compositional to Disquotational Truth.Volker Halbach - 2009 - Review of Symbolic Logic 2 (4):786-798.
Models of Weak Theories of Truth.Mateusz Łełyk & Bartosz Wcisło - 2017 - Archive for Mathematical Logic 56 (5-6):453-474.
A Feasible Theory of Truth Over Combinatory Algebra.Sebastian Eberhard - 2014 - Annals of Pure and Applied Logic 165 (5):1009-1033.
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.
The Transparency of Truth.ME Kalderon - 1997 - Mind 106 (423):475-497.
The Strength of Sharply Bounded Induction.Emil Jeřábek - 2006 - Mathematical Logic Quarterly 52 (6):613-624.
Is Relative Truth Really Truth?Manfred Harth - 2014 - Dialectica 68 (3):409-428.
T-Equivalences for Positive Sentences.Cezary Cieśliński - 2011 - Review of Symbolic Logic 4 (2):319-325.
Preservation Theorems for Bounded Formulas.Morteza Moniri - 2007 - Archive for Mathematical Logic 46 (1):9-14.