Arithmetical Reflection and the Provability of Soundness

作者：Dean Walter^*

来源：Philosophia Mathematica, 2015, 23(1): 31-64.

DOI：10.1093/philmat/nku026

Proof-theoretic reflection principles are schemas which attempt to express the soundness of arithmetical theories within their own language, e.g., 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 notation 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.

• 出版日期2015-2