Russell's Paradox and the Crisis of Formal Logic

Introduction

In our last lesson, we explored Gottlob Frege's monumental logicist project: the attempt to prove that arithmetic is nothing but a branch of logic. You'll recall his strategy was to define numbers as specific logical objects—extensions of concepts, which are akin to classes or sets. This crucial step, which was meant to solve the "Julius Caesar Problem," was guaranteed by a fundamental axiom of his system, Basic Law V. Frege believed he had finally placed arithmetic on the unshakeable foundation of pure reason.

Today's lesson addresses the dramatic turning point in this story, a moment that shook the foundations of mathematics. Our learning outcome is to explain Russell's Paradox and its devastating impact on Frege's foundational project.

We will first build an intuition for the paradox using a simple analogy. Then, we will examine its formal structure and its deep connection to Cantor's work in set theory—a connection your mathematics background will help illuminate. Finally, and most importantly, we will trace the precise way this paradox infected and destroyed Frege's system, turning his life's work into what he himself called a failure.

1. An Intuitive Glimpse: The Barber Paradox

Paradoxes of self-reference can be mind-bending. To get a feel for the kind of logical knot we're about to encounter, it's helpful to start with a famous, non-mathematical analogy devised by Bertrand Russell himself.

The Barber Paradox illustrates how a seemingly straightforward rule can become contradictory when applied to itself. The problem isn't with the people in the town, but with the very existence of such a barber. The definition is self-contradictory. As we'll see, Russell's paradox shows that a similarly self-contradictory set is licensed by what seemed to be a perfectly innocent principle of logic.

2. The Paradox in Set Theory

The issue at the heart of Russell's paradox lies in an assumption that seems completely intuitive: for any property we can clearly state, there must exist a set of all things that have that property. This is known as the Naïve or Unrestricted Comprehension Principle.

For example:

• The property "is a prime number" defines the set of all prime numbers: $\{2,3,5,7,...\}$.
• The property "is a teacup" defines the set of all teacups.
• The property "is not identical to itself" defines the empty set, $\varnothing$.

This seems straightforward. But in 1901, Russell considered a peculiar property: the property of a set not being a member of itself.

Most sets we think of have this property.

• The set of all teacups is not itself a teacup.
• The set of all prime numbers is not itself a prime number.

But some sets might be members of themselves. For example, the "set of all things that are not teacups" is not a teacup, so it is a member of itself.

Russell's brilliant move was to ask: what about the set of all sets that are not members of themselves?

Let's call this set $R$. Formally, we define it as:
$R=\{x\mid x\text{ is a set and }x\notin x\}$
Now, let's ask the critical question, just as we did for the barber: Is $R$ a member of itself?

1. Assume $R\in R$. If $R$ is a member of itself, it must satisfy the condition for membership in $R$. That condition is $x\notin x$. So, if $R\in R$, it must be that $R\notin R$. This is a contradiction.
2. Assume $R\notin R$. If $R$ is not a member of itself, then it satisfies the condition for being a member of $R$ (the condition is precisely "not being a member of itself"). Therefore, it should be in $R$. So, if $R\notin R$, it must be that $R\in R$. This is also a contradiction.

We are forced into the conclusion:
$R\in R⟺R\notin R$
This is a logical impossibility. The Unrestricted Comprehension Principle, which seemed so obvious, allows us to derive a contradiction. This means the principle must be false. The set $R$ cannot exist.

For a more rigorous written account of how the paradox follows from the Unrestricted Comprehension Principle, the following resource is excellent.

3. The Deeper Source: Cantor's Diagonalization

Russell's discovery was not just a clever logical trick. It emerged from his deep engagement with Georg Cantor's revolutionary work on set theory. Specifically, the logic of the paradox is identical to the logic of Cantor's diagonal argument, which proves that a set's power set is always larger than the set itself.

Given your background in mathematics, exploring this connection will be particularly insightful. The argument shows that there cannot be a one-to-one correspondence between the elements of a set $X$ and all of its subsets. Russell's paradox can be seen as a special case of this: if a "set of all sets" existed, its subsets would also be its elements, creating the kind of self-referential loop that Cantor's proof shows is impossible.

As Hamkins demonstrates, the paradox is not just a quirk; it reveals a fundamental structural fact about the hierarchy of sets, a fact uncovered by Cantor's diagonal method.

4. The Collapse of Frege's System

So, an abstract principle of set theory is flawed. Why was this so personally and professionally devastating for Gottlob Frege?

The answer lies in Frege's Basic Law V. As we saw in the last lesson, Frege needed this law to treat the "extensions of concepts" as logical objects, which was the cornerstone of his definition of number. Basic Law V states that two concepts have the same extension if and only if they apply to exactly the same objects.

The catastrophic consequence is that Basic Law V logically implies the Unrestricted Comprehension Principle. It guarantees that for any well-defined concept, a corresponding extension (set) must exist.

Russell's paradox presented a concept that was perfectly well-defined in Frege's system: being an extension of a concept under which it does not itself fall. By Basic Law V, this concept must have an extension. But as we've just seen, that extension is the paradoxical set $R$.

Therefore, Russell had demonstrated that a contradiction could be derived from the axioms of Frege's own system. In logic, a system from which a contradiction can be derived is called inconsistent. An inconsistent system is worthless as a foundation for anything, because from a contradiction ($P\wedge \neg P$), any proposition whatsoever can be proven. The entire edifice of arithmetic that Frege had so painstakingly constructed on his logical foundation came crashing down.

The story of Russell communicating this to Frege is one of the most famous and poignant moments in intellectual history.

To see the technical details of how the contradiction is derived specifically within Frege's formal system, the SEP article is again the best resource.

Conclusion

Today, we've dissected one of the most significant paradoxes in the history of thought. It represents a critical failure, but also a profound discovery that spurred a century of work in logic, set theory, and the philosophy of mathematics.

Key Takeaways:

• Russell's Paradox arises from applying the seemingly intuitive Unrestricted Comprehension Principle to the property "is a set that is not a member of itself." The resulting set, $R$, would be a member of itself if and only if it is not, a logical contradiction.
• This proves that the Unrestricted Comprehension Principle is false and that the set $R$ cannot exist.
• The paradox's logical structure is a variant of Cantor's diagonal argument, revealing a deep truth about the nature of collections.
• The paradox was devastating for Frege because his foundational axiom, Basic Law V, logically committed his system to the Unrestricted Comprehension Principle. This made his entire system inconsistent, undermining his life's work of providing a secure logical foundation for arithmetic.

Preview of the next lesson:

The discovery of the paradox did not end the philosophical quest for foundations. On the contrary, it began a new one. In our next lesson, we will examine Bertrand Russell's own attempt to navigate the crisis he had uncovered. We will explore his Theory of Descriptions, a powerful new method of philosophical analysis designed to untangle linguistic confusions and avoid commitment to paradoxical entities. This theory became a paradigm for how much of analytic philosophy would be done in the 20th century.