The Foundations of Arithmetic
The Foundations of Arithmetic (German: Die Grundlagen der Arithmetik) is a book by Gottlob Frege, published in 1884, which investigates the philosophical foundations of arithmetic. Frege refutes other idealist and materialist theories of number and develops his own platonist theory of numbers. The Grundlagen also helped to motivate Frege's later works in logicism.
Author
Die Grundlagen der Arithmetik. Eine logisch-mathematische Untersuchung über den Begriff der Zahl
German
1884
Germany
119 (original German)
The book was also seminal in the philosophy of language. Michael Dummett traces the linguistic turn to Frege's Grundlagen and his context principle.
The book was not well received and was not read widely when it was published. It did, however, draw the attentions of Bertrand Russell and Ludwig Wittgenstein, who were both heavily influenced by Frege's philosophy. An English translation was published (Oxford, 1950) by J. L. Austin, with a second edition in 1960.[1]
Criticisms of predecessors[edit]
Psychologistic accounts of mathematics[edit]
Frege objects to any account of mathematics based on psychologism, that is, the view that mathematics and numbers are relative to the subjective thoughts of the people who think of them. According to Frege, psychological accounts appeal to what is subjective, while mathematics is purely objective: mathematics is completely independent from human thought. Mathematical entities, according to Frege, have objective properties regardless of humans thinking of them: it is not possible to think of mathematical statements as something that evolved naturally through human history and evolution. He sees a fundamental distinction between logic (and its extension, according to Frege, math) and psychology. Logic explains necessary facts, whereas psychology studies certain thought processes in individual minds.[2] Ideas are private, so idealism about mathematics implies there is "my two" and "your two" rather than simply the number two.
Kant[edit]
Frege greatly appreciates the work of Immanuel Kant. However, he criticizes him mainly on the grounds that numerical statements are not synthetic-a priori, but rather analytic-a priori.[3] Kant claims that 7+5=12 is an unprovable synthetic statement.[4] No matter how much we analyze the idea of 7+5 we will not find there the idea of 12. We must arrive at the idea of 12 by application to objects in the intuition. Kant points out that this becomes all the more clear with bigger numbers. Frege, on this point precisely, argues towards the opposite direction. Kant wrongly assumes that in a proposition containing "big" numbers we must count points or some such thing to assert their truth value. Frege argues that without ever having any intuition toward any of the numbers in the following equation: 654,768+436,382=1,091,150 we nevertheless can assert it is true. This is provided as evidence that such a proposition is analytic. While Frege agrees that geometry is indeed synthetic a priori, arithmetic must be analytic.[5]
Mill[edit]
Frege roundly criticizes the empiricism of John Stuart Mill.[6][7] He claims that Mill's idea that numbers correspond to the various ways of splitting collections of objects into subcollections is inconsistent with confidence in calculations involving large numbers.[8][9] He further quips, "thank goodness everything is not nailed down!" Frege also denies that Mill's philosophy deals adequately with the concept of zero.[10]
He goes on to argue that the operation of addition cannot be understood as referring to physical quantities, and that Mill's confusion on this point is a symptom of a larger problem of confounding the applications of arithmetic with arithmetic itself.
Frege uses the example of a deck of cards to show numbers do not inhere in objects. Asking "how many" is nonsense without the further clarification of cards or suits or what, showing numbers belong to concepts, not to objects.
Julius Caesar problem[edit]
The book contains Frege's famous anti-structuralist Julius Caesar problem. Frege contends a proper theory of mathematics would explain why Julius Caesar is not a number.[11][12]
Legacy[edit]
The book was fundamental in the development of two main disciplines, the foundations of mathematics and philosophy. Although Bertrand Russell later found a major flaw in Frege's Basic Law V (this flaw is known as Russell's paradox, which is resolved by axiomatic set theory), the book was influential in subsequent developments, such as Principia Mathematica. The book can also be considered the starting point in analytic philosophy, since it revolves mainly around the analysis of language, with the goal of clarifying the concept of number. Frege's views on mathematics are also a starting point on the philosophy of mathematics, since it introduces an innovative account on the epistemology of numbers and mathematics in general, known as logicism.