Skip to main content
×
×
Home

NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE

  • BARTOSZ WCISŁO (a1) and MATEUSZ ŁEŁYK (a1)
Abstract
Abstract

We prove that the theory of the extensional compositional truth predicate for the language of arithmetic with Δ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.

Copyright
Corresponding author
*INSTITUTE OF PHILOSOPHY UNIVERSITY OF WARSAW WARSAW, POLAND E-mail: b.wcislo@mimuw.edu.pl
INSTITUTE OF PHILOSOPHY UNIVERSITY OF WARSAW WARSAW, POLAND E-mail: mlelyk@student.uw.edu.pl
References
Hide All
Cieśliński C. (2010). Truth, conservativeness and provability. Mind, 119, 409422.
Enayat A. & Visser A. (2013). New constructions of satisfaction classes. Logic Group Preprint Series, 303, 115.
Fujimoto K. (2010). Relative truth definability in axiomatic truth theories. Bulletin of Symbolic Logic, 16, 305344.
Hájek P. & Pudlák P. (1998). Metamathematics of First-Order Arithmetic. Berlin: Springer-Verlag.
Halbach V. (2011). Axiomatic Theories of Truth. Cambridge: Cambridge University Press.
Horsten L. (1995). The semantical paradoxes, the neutrality of truth and the neutrality of minimalist. In Cortois P., editor. The Many Problems of Realism. Studies in the General Philosophy of Science. Tilburg: Tilburg University Press, pp. 173187.
Kaye R. (1991). Models of Peano Arithmetic. Oxford: Oxford University Press.
Ketland J. (1999). Deflationism and Tarski’s paradise. Mind, 108, 6994.
Kossak R. & Schmerl J. (2006). The Structure of Models of Peano Arithmetic. Oxford: Clarendon Press.
Kotlarski H. (1986). Bounded induction and satisfaction classes. Zeitschrift für matematische Logik und Grundlagen der Mathematik, 32, 531544.
Kotlarski H., Krajewski S., & Lachlan A. (1981). Construction of satisfaction classes for nonstandard models. Canadian Mathematical Bulletin, 24, 283293.
Leigh G. (2015). Conservativity for theories of compositional truth via cut elimination. The Journal of Symbolic Logic, 80, 845865.
Shapiro S. (1998). Proof and truth: Through thick and thin. Jornal of Philosophy, 95, 493521.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 52 *
Loading metrics...

Abstract views

Total abstract views: 234 *
Loading metrics...

* Views captured on Cambridge Core between 30th March 2017 - 18th January 2018. This data will be updated every 24 hours.