Hostname: page-component-586b7cd67f-rcrh6 Total loading time: 0 Render date: 2024-11-24T04:23:42.278Z Has data issue: false hasContentIssue false
  • English
  • Français

The development of arithmetic in Frege's Grundgesetze der arithmetik

Published online by Cambridge University Press:  12 March 2014

Richard G. Heck Jr.
Richard G. Heck Jr.*
Affiliation:
Department of Philosophy, Harvard University, Cambridge, Massachusetts02138, E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

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 establish 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?”

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 58 , Issue 2 , June 1993 , pp. 579 - 601
Copyright
Copyright © Association for Symbolic Logic 1993

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Boolos, George, The consistency of Frege' “Foundations of arithmetic”, On being and saying: essays in honor of Richard Cartwright (Thomson, J. J., editor), MIT Press, Cambridge, Massachusetts, 1987, pp. 3–20.Google Scholar
Boolos, George, The standard of equality of numbers, Meaning and method (Boolos, G., editor), Cambridge University Press, Cambridge, 1990, pp. 261–277.Google Scholar
Dummett, Michael, Frege: philosophy of mathematics, Harvard University Press, Cambridge, Massachusetts, 1992.Google Scholar
Frege, Gottlob, The Foundations of Arithmetic (Austin, J. L., translator), Northwestern University Press, Evanston, Illinois, 1980.Google Scholar
Frege, Gottlob, Grundgesetze der Arithmetik, Georg Olms Verlagsbuchhandlung, Hildesheim, 1966.Google Scholar
Frege, Gottlob, The basic laws of arithmetic: exposition of the system (Furth, M., translator), University of California Press, Berkeley, California, 1964.CrossRefGoogle Scholar
Frege, Gottlob, Translations from the philosophical writings of Gottlob Frege (Black, M. and Geach, P., editors and translators), Blackwell, Oxford, 1970.Google Scholar
Frege, Gottlob, Philosophical and mathematical correspondence (Gabriel, G., et al., editors, Kaal, H., translator), University of Chicago Press, Chicago, Illinois, 1980.Google Scholar
Heck, Richard, Definition by induction in Frege's Grundgesetze der Arithmetik, Foundational Problems in Frege and Modern Logic (Schirn, M., editor).Google Scholar
Parsons, Charles, Frege's theory of number, Philosophy in America (Black, M., editor), Cornell University Press, Ithaca, New York, 1965, pp. 180–203.Google Scholar
Parsons, Terence, On the consistency of the first-order portion of Frege's logical system, Notre Dame Journal of Formal Logic, vol. 28 (1987), pp. 161–168.CrossRefGoogle Scholar
Wright, Crispin, Frege's conception of numbers as objects, Aberdeen University Press, Aberdeen, 1983.Google Scholar