David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Symbolic Logic 58 (2):579-601 (1993)
Frege's development of the theory of arithmetic in his Grundgesetze der Arithmetik has long been ignored, since the formal theory of the Grundgesetze is inconsistent. His derivations of the axioms of arithmetic from what is known as Hume's Principle do not, however, depend upon that axiom of the system--Axiom V--which is responsible for the inconsistency. On the contrary, Frege's proofs constitute a derivation of axioms for arithmetic from Hume's Principle, in (axiomatic) second-order logic. Moreover, though Frege does prove each of the now standard Dedekind-Peano axioms, his proofs are devoted primarily to the derivation of his own axioms for arithmetic, which are somewhat different (though of course equivalent). These axioms, which may be yet more intuitive than the Dedekind-Peano axioms, may be taken to be "The Basic Laws of Cardinal Number", as Frege understood them. Though the axioms of arithmetic have been known to be derivable from Hume's Principle for about ten years now, it has not been widely recognized that Frege himself showed them so to be; nor has it been known that Frege made use of any axiomatization for arithmetic whatsoever. Grundgesetze is thus a work of much greater significance than has often been thought. First, Frege's use of the inconsistent Axiom V may invalidate certain of his claims regarding the philosophical significance of his work (viz., the establishment of Logicism), but it should not be allowed to obscure his mathematical accomplishments and his contribution to our understanding of arithmetic. Second, Frege's knowledge that arithmetic is derivable from Hume's Principle raises important sorts of questions about his philosophy of arithmetic. For example, "Why did Frege not simply abandon Axiom V and take Hume's Principle as an axiom?"
|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
Richard Heck (2011). Ramified Frege Arithmetic. Journal of Philosophical Logic 40 (6):715-735.
Sean Walsh (2012). Comparing Peano Arithmetic, Basic Law V, and Hume's Principle. Annals of Pure and Applied Logic 163 (11):1679-1709.
Øystein Linnebo (2009). Introduction. Synthese 170 (3):321-329.
Roy T. Cook (2009). Hume's Big Brother: Counting Concepts and the Bad Company Objection. Synthese 170 (3):349 - 369.
Lieven Decock (2008). Neo-Fregeanism Naturalized: The Role of One-to-One Correspondence in Numerical Cognition. Behavioral and Brain Sciences 31 (6):648-649.
Similar books and articles
Tyler Burge (1998). Frege on Knowing the Foundation. Mind 107 (426):305-347.
Edward N. Zalta, Frege's Logic, Theorem, and Foundations for Arithmetic. Stanford Encyclopedia of Philosophy.
Richard Heck (1999). Frege's Theorem: An Introduction. The Harvard Review of Philosophy 7 (1):56-73.
Øystein Linnebo (2004). Predicative Fragments of Frege Arithmetic. Bulletin of Symbolic Logic 10 (2):153-174.
Richard Heck & George Boolos (1998). Die Grundlagen der Arithmetik §§82-83. In M. Schirn (ed.), Philosophy of Mathematics Today. OUP.
Richard Heck (1996). The Consistency of Predicative Fragments of Frege's Grundgesetze der Arithmetik. History and Philosophy of Logic 17 (1):209-220.
Richard G. Heck Jr (1997). Finitude and Hume's Principle. Journal of Philosophical Logic 26 (6):589 - 617.
Fernando Ferreira (2005). Amending Frege's "Grundgesetze der Arithmetik" to the Memory of Nhê (1925-2001). Synthese 147 (1):3 - 19.
Fernando Ferreira (2005). Amending Frege's Grundgesetze der Arithmetik. Synthese 147 (1):3-19.
Added to index2009-01-28
Total downloads31 ( #63,581 of 1,413,324 )
Recent downloads (6 months)7 ( #30,081 of 1,413,324 )
How can I increase my downloads?