The Foundations of Arithmetic

The Foundations of Arithmetic
Name	The Foundations of Arithmetic
Author	Gottlob Frege
Language	German
Published	1884
Publisher	Verlag von Wilhelm Koebner
Country	German Empire

The Foundations of Arithmetic. This seminal philosophical work by the German mathematician and logician Gottlob Frege was first published in 1884. It presents a rigorous investigation into the philosophical basis of arithmetic, arguing that its truths are analytic and derive from pure logic. The book is a foundational text in the philosophy of mathematics and a critical precursor to Frege's later, more formal system in Begriffsschrift and Grundgesetze der Arithmetik.

Historical Context and Philosophical Background

The late 19th century was a period of intense foundational inquiry in mathematics, driven by figures like Richard Dedekind and Georg Cantor. In philosophy, the dominant schools were German idealism, associated with Immanuel Kant, and empiricism, championed by John Stuart Mill. Frege, working at the University of Jena, was deeply dissatisfied with both approaches to mathematics. Kant had argued that arithmetical judgments were synthetic a priori, while Mill viewed them as empirical generalizations from experience. Concurrent developments in non-Euclidean geometry and set theory created an intellectual climate ripe for a radical re-examination of the nature of mathematical truth, pushing Frege to seek a more secure logical foundation.

Frege's Critique of Previous Theories

Frege launches a systematic critique of prevailing theories of number. He dismisses psychologism, the view that numbers are mental entities or ideas, arguing it confuses subjective thought with objective truth. He thoroughly refutes John Stuart Mill's empiricist stance, contending that observing physical aggregates cannot yield the generality and necessity of arithmetical laws. Frege also rejects the formalist tendencies he saw in mathematicians like Leopold Kronecker, who treated numbers as mere signs in a game. Furthermore, he argues against the view of numbers as properties of external things, a position sometimes attributed to Aristotle. Each critique aims to clear the ground for his own logical analysis.

The Definition of Number

The core of Frege's project is providing a logical definition of natural number. Famously, he proposes that the number belonging to a concept F is the extension of the concept "equinumerous to F." Two concepts are equinumerous if there is a one-to-one correspondence between their instances. Thus, the number zero is defined as the extension of the concept "not identical with itself." The number one is the extension of the concept "equinumerous with the concept 'identical with zero'." This definition leverages the logical notion of equinumerosity to avoid any appeal to intuition or experience, grounding number purely in logic and the theory of concepts.

The Analysis of Arithmetic Statements

Frege meticulously analyzes the logical form of arithmetical statements to demonstrate their analytic character. He distinguishes sharply between the psychological act of judgment and the objective content of a thought, a forerunner to his later theory of sense and reference. A statement like "2 + 3 = 5" is not about symbols or ideas but expresses a relationship between numbers, which are logical objects. He argues that such an equation can be derived through logical definitions and laws alone, without recourse to Kant's forms of intuition. This analysis was intended to show that even large-number arithmetic, which Kant thought required intuition, was purely logical.

The Concept of Logical Object

A crucial and controversial component of Frege's system is the status of numbers as logical objects. He argues that numbers are self-subsistent objects, not properties or mental constructs. They are discovered, not invented, through logical analysis. This Platonism regarding abstract objects is secured by his definition in terms of extensions of concepts, which he treated as logical entities. However, this reliance on extensions, which he governed by his ill-fated Basic Law V, later proved to be the source of Russell's paradox. The notion of a logical object was central to his logicism but became a major point of contention for later philosophers like Ludwig Wittgenstein and W. V. O. Quine.

Influence and Legacy

The impact of this work was profound and multifaceted. It directly influenced Bertrand Russell and Alfred North Whitehead in their monumental Principia Mathematica. The discovery of Russell's paradox in Frege's system, communicated in a famous letter from Bertrand Russell, precipitated a foundational crisis but also spurred advances in axiomatic set theory by Ernst Zermelo and Abraham Fraenkel. In philosophy, it established the agenda of analytic philosophy, deeply shaping the thought of Rudolf Carnap and the Vienna Circle. While his specific logicist program is not widely held today, his methods, distinctions, and questions continue to define central debates in the philosophy of language and philosophy of mathematics.

Category:1884 books Category:Philosophy of mathematics literature Category:Logic literature