Jump to content

The Foundations of Arithmetic

From Wikipedia, the free encyclopedia
(Redirected from Foundations of Arithmetic)
The Foundations of Arithmetic
Title page of the original 1884 edition
AuthorGottlob Frege
Original titleDie Grundlagen der Arithmetik. Eine logisch-mathematische Untersuchung über den Begriff der Zahl
TranslatorJ. L. Austin
LanguageGerman
SubjectPhilosophy of mathematics
Published1884
Publication placeGermany
Pages119 (original German)
ISBN0810106051
OCLC650

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.

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]

Linguistic turn

[edit]
Gottlob Frege, Introduction to The Foundations of Arithmetic (1884/1980)
In the enquiry that follows, I have kept to three fundamental principles:
always to separate sharply the psychological from the logical, the subjective from the objective;
never to ask for the meaning of a word in isolation, but only in the context of a proposition
never to lose sight of the distinction between concept and object.

In order to answer a Kantian question about numbers, "How are numbers given to us, granted that we have no idea or intuition of them?" Frege invokes his "context principle", stated at the beginning of the book, that only in the context of a proposition do words have meaning, and thus finds the solution to be in defining "the sense of a proposition in which a number word occurs." Thus an ontological and epistemological problem, traditionally solved along idealist lines, is instead solved along linguistic ones.

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]

Development of Frege's own view of a number

[edit]

Frege makes a distinction between particular numerical statements such as 1+1=2, and general statements such as a+b=b+a. The latter are statements true of numbers just as well as the former. Therefore, it is necessary to ask for a definition of the concept of number itself. Frege investigates the possibility that number is determined in external things. He demonstrates how numbers function in natural language just as adjectives. "This desk has 5 drawers" is similar in form to "This desk has green drawers". The drawers being green is an objective fact, grounded in the external world. But this is not the case with 5. Frege argues that each drawer is on its own green, but not every drawer is 5.[13] Frege urges us to remember that from this it does not follow that numbers may be subjective. Indeed, numbers are similar to colors at least in that both are wholly objective. Frege tells us that we can convert number statements where number words appear adjectivally (e.g., 'there are four horses') into statements where number terms appear as singular terms ('the number of horses is four').[14] Frege recommends such translations because he takes numbers to be objects. It makes no sense to ask whether any objects fall under 4. After Frege gives some reasons for thinking that numbers are objects, he concludes that statements of numbers are assertions about concepts.

Frege takes this observation to be the fundamental thought of Grundlagen. For example, the sentence "the number of horses in the barn is four" means that four objects fall under the concept horse in the barn. Frege attempts to explain our grasp of numbers through a contextual definition of the cardinality operation ('the number of...', or ). He attempts to construct the content of a judgment involving numerical identity by relying on Hume's principle (which states that the number of Fs equals the number of Gs if and only if F and G are equinumerous, i.e. in one-one correspondence).[15] He rejects this definition because it doesn't fix the truth value of identity statements when a singular term not of the form 'the number of Fs' flanks the identity sign. Frege goes on to give an explicit definition of number in terms of extensions of concepts, but expresses some hesitation.

Frege's definition of a number

[edit]

Frege argues that numbers are objects and assert something about a concept. Frege defines numbers as extensions of concepts. 'The number of F's' is defined as the extension of the concept G is a concept that is equinumerous to F. The concept in question leads to an equivalence class of all concepts that have the number of F (including F). Frege defines 0 as the extension of the concept being non self-identical. So, the number of this concept is the extension of the concept of all concepts that have no objects falling under them. The number 1 is the extension of being identical with 0.[16]

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.

Editions

[edit]

See also

[edit]

References

[edit]
  1. ^ Frege 1960.
  2. ^ Frege 1884, §27.
  3. ^ Frege 1884, §12: "But an intuition in this [Kant's] sense cannot serve as ground of our knowledge of the laws of arithmetic."
  4. ^ Frege 1884, §5: "Kant declares [statements such as 2 + 3 = 5] to be unprovable and synthetic, but hesitates to call them axioms because they are not general and because the number of them is infinite. Hankel justifiably calls this conception of infinitely numerous unprovable primitive truths incongruous and paradoxical."
  5. ^ Frege 1884, §14: "The fact that [denying the parallel postulate] is possible shows that the axioms of geometry are independent of one another and of the primitive laws of logic, and consequently are synthetic. Can the same be said of the fundamental propositions of the science of number? Here, we have only to try denying any one of them, and complete confusion ensues."
  6. ^ Frege 1960, p. 9-12.
  7. ^ Shapiro 2000, p. 96: "Frege's Foundations of Arithmetic contains a sustained, bitter assault on Mill's account of arithmetic"
  8. ^ Frege 1960, p. 10: "If the definition of each individual number did really assert a special physical fact, then we should never be able to sufficiently admire, for his knowledge of nature, a man who calculates with nine-figure numbers."
  9. ^ Shapiro 2000, p. 98: "Frege also takes Mill to task concerning large numbers."
  10. ^ Frege 1960, p. 11: "[...] the number 0 would be a puzzle; for up to now no one, I take it, has ever seen or touched 0 pebbles."
  11. ^ p. 68
  12. ^ Greimann, Dirk. “What Is Frege’s Julius Caesar Problem?” Dialectica, vol. 57, no. 3, 2003, pp. 261–78. JSTOR, http://www.jstor.org/stable/42971497. Accessed 25 Apr. 2024.
  13. ^ Frege 1884, §22: "Is it not in totally different senses that we speak of a tree having 1000 leaves and again as having green leaves? The green colour we ascribe to each single leaf, but not the number 1000."
  14. ^ Frege 1884, §57: "For example, the proposition 'Jupiter has four moons' can be converted into 'the number of Jupiter's moons is four'"
  15. ^ Frege 1884, §63: "Hume long ago expressed such a means: 'When two numbers are so combined as that one has always a unit answering to every unit of the other, we pronounce them equal'"
  16. ^ Boolos 1998, p. 154: "Frege defines 0 as the number of the concept: being non-self-identical. Since everything is self-identical, no object falls under this concept. Frege defines 1 as the number of the concept being identical with the number zero. 0 and 0 alone falls under this latter concept."

Sources

[edit]
[edit]