Frege & Russell's Logicist Project

Introduction

In our previous lessons, you've seen how Gottlob Frege revolutionized logic by creating predicate calculus and developed his sophisticated theory of sense and reference to clarify meaning. We now arrive at the grand philosophical project for which he forged these powerful tools. This lesson addresses the learning outcome: Describe the logicist project of reducing arithmetic to logic as pursued by Frege and Russell.

This topic lies at the intersection of your interests in pure mathematics and analytic philosophy. It's a direct engagement with the foundations of mathematics, asking fundamental questions: What are numbers? And how can we be certain of arithmetical truths? Frege's answer, known as logicism, was a radical attempt to show that arithmetic is nothing more than a highly developed branch of logic.

We will explore the motivation behind this project, dissect the key steps in Frege's attempted reduction, and briefly touch on Bertrand Russell's parallel efforts.

1. The Logicist Thesis: Challenging Kant

Before Frege, the dominant view on the nature of arithmetic was Immanuel Kant's. Kant argued that truths like "7 + 5 = 12" are synthetic a priori.

• A priori because we don't need to consult experience to know they are true.
• Synthetic because the concept of '12' is not, he claimed, contained within the concept of '7 + 5'. Thus, they extend our knowledge, relying on a special "pure intuition of time."

Frege found this appeal to intuition unacceptably vague and a "scandal" to mathematics. He sought to place arithmetic on the most secure foundation imaginable: pure logic. This goal is the core of the logicist thesis.

Logicism: The thesis that arithmetic is reducible to logic. This means two things:

1. Conceptual Reduction: All concepts of arithmetic (e.g., number, zero, addition) can be defined using only logical concepts.
2. Provability Reduction: All theorems of arithmetic can be proved as theorems of pure logic, using only logical axioms and rules of inference.

If logicism is true, then arithmetical truths are not synthetic a priori, but analytic a priori—their truth flows directly from logic and definitions alone.

The following video excerpt provides an excellent overview of Frege's motivation and his disagreement with Kant.

Frege also had another, more direct argument for the logical nature of arithmetic: its universal applicability. Physics applies to physical phenomena, and economics to economic ones. Logic, however, applies to everything. Since arithmetic also seems to apply to any domain of objects whatsoever—be they apples, angels, or abstract concepts—it is plausible that arithmetic, like logic, is domain-general. This suggests it might be a part of logic.

2. Frege's Program: The Reduction in Practice

To reduce arithmetic to logic is a monumental task. You can't just assume numbers exist; you must define them and derive their properties logically. Frege's program can be broken down into three key steps.

Step 1: Defining 'Number' via Equinumerosity

Frege's first key insight was that a statement of number is an assertion about a concept. To say "There are four moons of Jupiter" is not to attribute a property to each moon, but to attribute the property of 'having four instances' to the concept moon of Jupiter.

This shifts the problem: what does it mean for a concept to have a certain number? Frege's answer was to use the purely logical idea of a one-to-one correspondence. We can know that there are the same number of knives and forks on a table without counting either, simply by seeing that they are paired up. This notion of being "pair-up-able" is what logicians call equinumerosity.

This led to a principle that is central to the logicist project, now known as Hume's Principle:

Hume's Principle: The number of Fs is equal to the number of Gs if and only if the concepts F and G are equinumerous (i.e., can be put into a one-to-one correspondence).

In formal terms, where #F stands for "the number of Fs":

The right-hand side of this biconditional can be fully expressed in the language of second-order logic, which you'll recall from our first lesson involves quantification over properties and relations. It makes no mention of numbers, only of relations and quantifiers.

Step 2: The Julius Caesar Problem and Numbers as Objects

Hume's Principle is powerful. In fact, as we'll see, it's sufficient to derive all of arithmetic. So why didn't Frege just adopt it as his fundamental axiom?

Frege was troubled by what is now called the Julius Caesar Problem. A definition of number must tell us what numbers are. Hume's Principle gives us a criterion for when numbers are identical (#F = #G), but it doesn't tell us whether an object that isn't given to us in the form '#F' is a number. For example, does Hume's Principle allow us to determine whether Julius Caesar is or is not the number 3? Frege argued it does not. It only settles identity questions between things already presented as numbers.

To solve this, Frege made a fateful decision: he needed an explicit definition. He proposed that numbers are specific kinds of objects: extensions of concepts (which we can think of as sets or classes).

Frege's Definition of Number: The number belonging to a concept F is the extension of the concept "is a concept equinumerous with F".

In simpler terms: the number 2 is the set of all concepts that have two things falling under them (the set of all pairs). The number 0 is the set of all empty concepts. These are mind-bogglingly large sets, but for Frege, they were well-defined logical objects.

Step 3: Defining the Primitives of Arithmetic

With this explicit definition of numbers as objects, Frege could proceed to define the basic building blocks of arithmetic in purely logical terms.

Let's summarize those key definitions:

• Zero (0): The number belonging to the concept is not identical to itself. Since nothing falls under this concept, Frege has logically defined 0 as the number of an empty concept.
• Successor: n is the successor of m is defined to mean that there exists a concept F and an object x falling under it, such that the number of Fs is n, and the number of things "falling under F but not identical to x" is m.
• Natural Number: n is a natural number is defined as: n follows 0 in the successor-sequence. Frege defined the general notion of a sequence (the "ancestral" of a relation) in pure logic, thereby capturing the idea of "finitely many steps" without circularity.

3. The Grand Achievement

With these definitions, Frege was able to derive the standard axioms of arithmetic (the Dedekind-Peano axioms) as theorems of his logical system. He proved that every number has a unique successor, that no two numbers have the same successor, and that the principle of mathematical induction holds. He achieved this in his monumental, though notationally dense, work Grundgesetze der Arithmetik (Basic Laws of Arithmetic).

The image below gives you a sense of the extreme rigor and formality of Frege's system. This is what he meant by a "gapless" chain of inferences, with no hidden appeals to intuition.

Bertrand Russell, working independently, came to very similar conclusions, also defining numbers as classes of equinumerous classes. His work with Alfred North Whitehead, Principia Mathematica, was another colossal attempt to carry out the logicist project. This showed that logicism was not just a quirk of Frege's but a major philosophical program at the heart of the new analytic tradition.

Conclusion

Today we have traced the arc of one of the most ambitious projects in the history of philosophy: the attempt to show that the truths of arithmetic are simply very complex logical truths.

Key Takeaways:

• Logicism is the thesis that arithmetic is reducible to pure logic, both conceptually and in terms of provability.
• Its primary motivation was to provide a secure, non-intuitive foundation for mathematics, challenging Kant's view that arithmetic is synthetic a priori. Logicists claim it is analytic.
• Frege's program involved defining numbers as logical objects—specifically, as extensions (classes) of second-level concepts.
• The key steps were:
  1. Recognizing that number-statements are about concepts.
  2. Using the logical notion of equinumerosity (Hume's Principle) as a criterion of identity for numbers.
  3. Resolving the Julius Caesar Problem by giving an explicit definition of numbers as classes of equinumerous classes.
  4. Defining 0, successor, and the property of being a 'natural number' in purely logical terms.
• This framework allowed Frege (and Russell) to derive the axioms of arithmetic from logic alone.

Preview of the next lesson:

Frege's grand structure was built upon a few fundamental axioms of logic, including one that governed the existence of the very "extensions of concepts" he used to define numbers. This was his Basic Law V. In a letter to Frege just as the second volume of his life's work was going to press, Bertrand Russell pointed out a catastrophic flaw—a contradiction that could be derived from Basic Law V. In our next lesson, we will explore Russell's Paradox and understand why it brought Frege's original logicist project crashing down.