David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
The Successor Axiom asserts that every number has a successor, or in other words, that the number series goes on and on ad infinitum. The present work investigates a particular subsystem of Frege Arithmetic, called F, which turns out to be equivalent to second-order Peano Arithmetic minus the Successor Axiom, and shows how this system can develop arithmetic up through Gauss' Quadratic Reciprocity Law. It then goes on to represent questions of provability in F, and shows that F can prove its own consistency and indeed the consistency of stronger systems. So, arithmetic without the Successor Axiom has an exceptional combination of three chracteristics: it is natural, it is strong, and it proves its own, as well as stronger systems’, consistency.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Øystein Linnebo (2004). Predicative Fragments of Frege Arithmetic. Bulletin of Symbolic Logic 10 (2):153-174.
Added to index2009-01-28
Total downloads147 ( #11,941 of 1,724,748 )
Recent downloads (6 months)135 ( #2,680 of 1,724,748 )
How can I increase my downloads?