David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
A new second-order axiomatization of arithmetic, with Frege's definition of successor replaced, is presented and compared to other systems in the field of Frege Arithmetic. The key in proving the Peano Axioms turns out to be a proposition about infinity, which a reduced subset of the axioms proves
|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
C. Ward Henson, Matt Kaufmann & H. Jerome Keisler (1984). The Strength of Nonstandard Methods in Arithmetic. Journal of Symbolic Logic 49 (4):1039-1058.
Richard Heck (1993). The Development of Arithmetic in Frege's Grundgesetze der Arithmetik. Journal of Symbolic Logic 58 (2):579-601.
Andrew Boucher, A Philosophical Introduction to the Foundations of Elementary Arithmetic by V1.03 Last Updated: 1 Jan 2001 Created: 1 Sept 2000 Please Send Your Comments to Abo. [REVIEW]
Charles Sayward (2005). Why Axiomatize Arithmetic? Sorites 16:54-61.
Added to index2009-01-28
Total downloads21 ( #92,809 of 1,410,030 )
Recent downloads (6 months)4 ( #57,782 of 1,410,030 )
How can I increase my downloads?