Frege's Logicism: Reducing Arithmetic to Logic

1. The Philosophical Motivation for Logicism

In the late 19th century, mathematics was undergoing a "crisis of foundations." While great strides had been made in adding rigour to calculus and analysis, Frege felt that the most fundamental of all mathematical disciplines—arithmetic—rested on surprisingly shaky ground. What, he asked, is the number one? What justifies our belief that 5 + 7 = 12?

His project was to answer these questions by showing that arithmetic is, in essence, a branch of logic. This is the core of the logicist thesis: all arithmetical truths can be derived from the fundamental laws of logic, and all arithmetical concepts can be defined in purely logical terms.

To understand Frege's motivation, we must first understand the views he was arguing against. Please read this short opening to an article on Frege's work, which situates his project as a direct response to the dominant philosophical views on arithmetic, particularly those of Immanuel Kant and John Stuart Mill.

As Heck explains, Frege was challenging two main schools of thought:

1. Empiricism (J.S. Mill): The view that truths of arithmetic are high-level empirical generalizations derived from experience. Frege found this absurd; it would make arithmetic fallible and subjective, robbing it of its certainty.
2. Kantianism (I. Kant): The more formidable view that truths of arithmetic are synthetic a priori. For Kant, a statement like "7 + 5 = 12" is not derivable from the concepts '7', '5', and '+' alone; it requires an appeal to a non-logical source—our pure intuition of time.

Frege's central philosophical motivation was to refute Kant and prove that arithmetic is, in fact, analytic a priori. To do this, he needed to show that no special intuition was required—only logic.

One of his most powerful arguments for this came from a simple observation: arithmetic is universally applicable. The video below explains this crucial point.

2. What is an 'Analytic' Truth?

To prove arithmetic is analytic, Frege had to be very clear about what "analytic" means. For Kant, a judgment was analytic if the predicate concept was "contained within" the subject concept (e.g., "All bachelors are unmarried"). Frege proposed a more powerful definition based not on containment, but on justification.

For Frege, a truth is analytic if its proof depends only on general logical laws and definitions.

This shift is subtle but profound. It transforms the question from a psychological one about how we think about concepts into a formal one about proof. The next video explains Frege's definition, which provides the very standard by which his own logicist project must be measured.

Frege's task was now clear:

1. Define all arithmetical terms (number, 0, successor, etc.) using only logical vocabulary.
2. Prove all fundamental axioms of arithmetic from basic laws of logic, using those definitions.

3. The Logicist Strategy: From Concepts to Numbers

So, how does one define a number using only logic? Frege's path to the answer was groundbreaking. He employed his Context Principle, which we've encountered before: never to ask for the meaning of a word in isolation, but only in the context of a proposition.

Instead of asking "What is the number 2?", he asked "Under what conditions is the statement 'the number of Fs is the same as the number of Gs' true?". The answer, he realized (citing David Hume), is when there is a one-to-one correspondence between the things falling under concept F and the things falling under concept G.

This relationship, which we call equinumerosity, is the key. Two concepts are equinumerous if you can pair up their members without any left over. You can know that there are as many knives as forks on a dinner table by this pairing method, without needing to know the specific number. Crucially, Frege realized that this notion of one-to-one correspondence could be defined with perfect precision using his new predicate logic.

This gives us Hume's Principle:

The number of Fs = the number of Gs if and only if the Fs and Gs are equinumerous.

The following video provides an in-depth explanation of this entire strategic development. It is the core of the lesson, showing how Frege moves from philosophical principles to a concrete logical strategy.

With Hume's Principle in hand, Frege was ready for his final, audacious move. He would define numbers as objects—specifically, as logical objects.

He defined the number of a concept F as the extension of the concept 'equinumerous with F'.

Let's break that down:

• The extension of a concept is the collection (or set) of all things that fall under it.
• So, the number of Fs is the set of all concepts that are equinumerous with F.

This leads to the famous Fregean definitions of the numbers:

• 0 is the Number belonging to the concept 'not identical with itself'. It is the set containing all concepts that have no objects falling under them.
• 1 is the Number belonging to the concept 'identical with 0'. It is the set of all concepts that are equinumerous with the concept 'identical with 0' (i.e., all concepts with a single instance).
• 2 is the Number belonging to the concept 'identical with 0 or 1', and so on.

4. A First Assessment of the Project

Did Frege succeed? The answer is complex. On one hand, his work contained a monumental discovery, now known as Frege's Theorem: the axioms of arithmetic can indeed be formally derived from Hume's Principle within second-order logic. This is a profound mathematical achievement.

However, Frege himself was not satisfied with defining numbers using Hume's Principle directly. He worried about what has become known as the "Julius Caesar problem." Hume's Principle tells us how to determine if the number of Fs is identical to the number of Gs, but it gives us no way to determine if the number of Fs is identical to some other object, like Julius Caesar. How do we know Julius Caesar is not the number 4?

This problem led Frege to take what he thought was a more secure path: defining numbers explicitly as extensions of concepts. To do this, he needed a fundamental logical axiom governing extensions. This was his infamous Axiom V. Unfortunately, as we will see in the next module, this axiom turned out to be inconsistent, a fact demonstrated by Bertrand Russell's paradox.

The following video explains Frege's reasoning for moving beyond Hume's Principle due to the Caesar problem.

Conclusion

Frege's logicist project was a philosophical endeavor of the highest order. It was motivated by a desire to secure the foundations of mathematics, to explain the unique certainty and universal applicability of arithmetic, and to provide an epistemology for abstract objects.

Key Takeaways:

• Logicism's Goal: To demonstrate that arithmetic is analytic a priori by defining all arithmetic concepts in logical terms and proving all arithmetic axioms from logical laws.
• Philosophical Motivation: To provide a secure foundation for arithmetic, refuting both empiricist and Kantian accounts, and to explain arithmetic's universal applicability.
• Frege's Strategy: Use the Context Principle and the logical notion of equinumerosity (one-to-one correspondence) to define the identity conditions for numbers (Hume's Principle).
• The Definition of Number: Frege ultimately defined numbers as objects—specifically, as extensions of concepts (e.g., the number 2 is the set of all 'pair' concepts).
• Assessment: While the project in its original form failed due to the inconsistency of Axiom V (which we'll cover next), the underlying strategy of deriving arithmetic from Hume's Principle (Frege's Theorem) remains a landmark achievement in the philosophy of mathematics.

Preview of the Next Lesson:

Frege's life's work was on the verge of publication when he received a letter from a young Bertrand Russell. This letter contained a simple paradox that brought the entire edifice of Frege's Grundgesetze crashing down. In our next lesson, we will analyze the philosophical impact of Russell's paradox on Frege's logicist project.