If it could be shown that one of Gentzen's consistency proofs for pure number theory could be shown to be finitistically acceptable, an important part of Hilbert's program would be vindicated. This paper focuses on whether the transfinite induction on ordinal notations needed for Gentzen's second proof can be finitistically justified. In particular, the focus is on Takeuti's purportedly finitistically acceptable proof of the well-ordering of ordinal notations in Cantor normal form. The paper begins with a historically informed discussion of finitism and its limits, before introducing Gentzen and Takeuti's respective proofs. The rest of the paper is dedicated to investigating the finitistic acceptability of Takeuti's proof, including a small but important fix to that proof. That discussion strongly suggests that there is a philosophically interesting finitist standpoint that Takeuti's proof, and therefore Gentzen's proof, conforms to.

The question of the analyticity of Hume's Principle (HP) is central to the neo-logicist project. We take on this question with respect to Frege's definition of analyticity, which entails that a sentence cannot be analytic if it can be consistently denied within the sphere of a special science. We show that HP can be denied within non-standard analysis and argue that if HP is taken to depend on Frege's definition of number, it isn't analytic, and if HP is taken to be primitive there is only a very narrow range of circumstances where it might be taken to be analytic.The latter discussion also sheds some light on the connections between the Bad Company and Caesar objections.

G. Genzten’s 1938 proof of the consistency of pure arithmetic was hailed as a success for finitism and constructivism, but his proof requires induction along ordinal notations in Cantor normal form up to the first epsilon number, ε0. This left the task of giving a finitisically acceptable proof of the well-ordering of those ordinal notations, without which Gentzen’s proof could hardly be seen as a success for finitism. In his seminal book Proof Theory G. Takeuti provides such a proof. After a brief philosophical introduction, we provide a reconstruction of Takeuti’s proof including corrections, comments, re-organization and notational adjustments for the sake of clarity. The result is a much longer, but much more tractable proof of the well-ordering of ordinal notations in Cantor normal form less than ε0, that nevertheless follows Takeuti’s strategy closely. We end with some more general comments about that proof strategy and the notion of accessibility more generally.

No abstract

No abstract