Arithmetical Reflection and the Provability of Soundness

Philosophia Mathematica 23 (1):31-64 (2015)
  Copy   BIBTEX

Abstract

Proof-theoretic reflection principles are schemas which attempt to express the soundness of arithmetical theories within their own language, e.g., ${\mathtt{{Prov}_{\mathsf {PA}} \rightarrow \varphi }}$ can be understood to assert that any statement provable in Peano arithmetic is true. It has been repeatedly suggested that justification for such principles follows directly from acceptance of an arithmetical theory $\mathsf {T}$ or indirectly in virtue of their derivability in certain truth-theoretic extensions thereof. This paper challenges this consensus by exploring relationships between reflection principles and principles of mathematical and transfinite induction as well as the status of the latter with respect to various foundational characterizations of number theory

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

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

Through your library

Similar books and articles

Montague’s Paradox, Informal Provability, and Explicit Modal Logic.Walter Dean - 2014 - Notre Dame Journal of Formal Logic 55 (2):157-196.
Arithmetical interpretations of dynamic logic.Petr Hájek - 1983 - Journal of Symbolic Logic 48 (3):704-713.
Four views of arithmetical truth.Charles Sayward - 1990 - Philosophical Quarterly 40 (159):155-168.
Kripke semantics for provability logic GLP.Lev D. Beklemishev - 2010 - Annals of Pure and Applied Logic 161 (6):756-774.
Arithmetical and specular self-reference.Damjan Bojadžiev - 2004 - Acta Analytica 19 (33):55-63.

Analytics

Added to PP
2014-12-26

Downloads
132 (#139,876)

6 months
26 (#113,656)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Walter Dean
University of Warwick

Citations of this work

Truth is Simple.Leon Horsten & Graham E. Leigh - 2017 - Mind 126 (501):195-232.
On Reflection.Leon Horsten - 2021 - Philosophical Quarterly 71 (4):pqaa083.

View all 17 citations / Add more citations

References found in this work

Truth.Paul Horwich - 1990 - Oxford, GB: Clarendon Press. Edited by Frank Jackson & Michael Smith.
Truth.Paul Horwich - 1999 - In Meaning. Oxford University Press. pp. 261-272.
Axiomatic Theories of Truth.Volker Halbach - 2010 - Cambridge, England: Cambridge University Press.
Proof theory.Gaisi Takeuti - 1976 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Systems of logic based on ordinals..Alan Turing - 1939 - London,: Printed by C.F. Hodgson & son.

View all 60 references / Add more references