Grundgesetze der Arithmetik (Basic Laws of Arithmetic)
Gottlob Frege's 1893-1903 systematic derivation of arithmetic from logic — formal-systematic statement of logicism
Tradition: Mathematical logic / Logicism / Analytic philosophy
Frege's 1893-1903 systematic derivation of arithmetic from logic — the formal statement of logicism
Grundgesetze der Arithmetik ("Basic Laws of Arithmetic," vol. 1 1893; vol. 2 1903) is Gottlob Frege's formal-systematic derivation of arithmetic from logic — the principal technical statement of his logicist programme. The work develops a formal-symbolic system extending the 1879 Begriffsschrift and uses it to derive the basic laws of arithmetic from purely logical principles. Notoriously, Russell's 1902 letter informed Frege that the system contained a contradiction (Russell's paradox); Frege's response is in the appendix to volume 2.
Author
Editions cited
- Grundgesetze der Arithmetik, vol. 1 (Jena, 1893); vol. 2 (Jena, 1903); modern English: Ebert and Rossberg, Basic Laws of Arithmetic (Oxford UP, 2013)
School Embodiments
Foundational text of modern mathematical logic.
"The proper foundation of arithmetic is logical." (Grundgesetze)
Foundational text of analytic philosophy.
"What proper analytic-philosophical work requires is the careful formal apparatus that Grundgesetze develops." (Standard scholarly account)
Strong mathematical-platonist framework — numbers as proper-abstract objects.
"Numbers are not psychological constructs nor formal-symbolic fictions; they are proper-abstract objects." (Grundgesetze)
Strong rationalist-philosophical framework.
"Arithmetic truths are not empirical but proper-rational — derivable from logic alone." (Grundgesetze)
Strong realist-philosophical framework about logical and mathematical objects.
"Logical and mathematical objects are real." (Grundgesetze)
Analytic-philosophical tradition.
Internal Tensions
Russell's 1902 paradox letter revealed the system's inconsistency; Frege's 1903 appendix attempted a fix; subsequent work (Russell-Whitehead Principia, Zermelo-Fraenkel set theory) reconstructed the foundations.
I. Time
The 1893-1903 mature-Frege Jena period.
Attributes
II. Space
The Jena University setting.
Attributes
III. Matter
The abstract-mathematical objects.
Attributes
IV. Observer
Frege as proper-mathematical-logical-philosophical investigator.
Attributes
V. Energy
The intellectual-formal-logical energies.
Attributes
VI. Information
The systematic formal content of the two volumes.
Attributes
Personas with the nearest attribute fingerprint
Historical figures whose own classification on the same six-dimensional grid lands closest to this work's. Computed by attribute-agreement on coordinates both address.
Computed school proximity
The work's attribute fingerprint scored against all schools using the same quiz scorer. Useful as a sanity check on the hand-curated embodiments above.
How Grundgesetze der Arithmetik (Basic Laws of Arithmetic) resolves each dilemma
47 resolved positions across 4 dimensions, including 9 distinctive where the majority of schools go the other way · 10 unaligned.
Each dimension is sorted so minority positions come first. Mainstream positions are folded into an expandable list.
Time · 9 dilemmas · 5 distinctive
Persistence, the future, and the direction of becoming.
4 mainstream positions
Matter · 7 dilemmas, all mainstream
Observer · 37 dilemmas · 3 distinctive
Mind, agency, and the knower's relation to the known.