Russell's Paradox and Frege's Logicism

1. The Foundation of the Edifice: Basic Law V

To understand the impact of the paradox, we must first appreciate what it hit. Frege's goal was to prove the theorems of arithmetic using only principles of pure logic. To do this, he needed not just logical rules of inference, but also axioms that would guarantee the existence of the objects of arithmetic—numbers.

As we've seen, Frege identified numbers with specific kinds of objects: extensions of concepts. You can think of the "extension of a concept" as being very similar to what is now called a set or a class. For example, the extension of the concept 'is a moon of Earth' is the set containing just one object: the Moon.

To secure the existence of these objects within his logical system, Frege introduced a fundamental axiom he called Basic Law V. In essence, this law does two things:

1. It provides an identity condition for these extensions: The extension of concept F is identical to the extension of concept G if and only if the concepts F and G apply to exactly the same objects.
2. Crucially, it guarantees that for any concept one can define, a corresponding object—its extension—exists. This is often called a principle of unrestricted comprehension.

This was the linchpin. Basic Law V was the engine that generated the logical objects Frege needed to serve as the numbers.

The following video provides a concise overview of Frege's project and his strategy of defining numbers as assertions about concepts, which relies on the notion of classes (extensions).

Frege thought Basic Law V was a purely logical truth. It seemed self-evident that for any coherent description, there corresponds a collection of all the things fitting that description. The stage was set for his grand proof. But in 1902, as the second volume of his masterwork, the Grundgesetze der Arithmetik (Basic Laws of Arithmetic), was at the printer, he received a letter from a young British philosopher, Bertrand Russell.

2. The Paradox

Russell, who shared Frege's logicist ambitions, had been working through the implications of this idea of forming sets from any property. He discovered that the principle of unrestricted comprehension—the very principle embodied in Frege's Basic Law V—led directly to a contradiction.

The paradox is subtle but profound. The following video gives one of the clearest explanations available. It walks through the basic ideas of "naive set theory" that Frege and Russell were working with and then meticulously constructs the paradox.

Let's formalise the argument slightly. Let $R$ be the set of all sets that are not members of themselves.

The principle of unrestricted comprehension guarantees that such a set $R$ exists. We can now ask a simple question: Is $R$ a member of itself?

1. Assume $R\in R$ (R is a member of itself).

   • By the definition of $R$, if something is a member of $R$, it must satisfy the property of not being a member of itself.
   • Therefore, it must be the case that $R\notin R$.
   • So, the assumption $R\in R$ leads to the conclusion $R\notin R$. This is a contradiction.

2. Assume $R\notin R$ (R is not a member of itself).

   • By the definition of $R$, $R$ contains all sets that are not members of themselves.
   • Since we have assumed $R$ is not a member of itself, it satisfies the condition for being a member of $R$.
   • Therefore, it must be the case that $R\in R$.
   • So, the assumption $R\notin R$ leads to the conclusion $R\in R$. This is also a contradiction.

We are faced with an impossible situation: $R\in R⟺R\notin R$. A statement is true if and only if it is false. This is a logical catastrophe. It demonstrates that the seemingly innocent principle of unrestricted comprehension is logically inconsistent.

3. The Impact: "The Ground Collapsed Beneath Me"

Russell's discovery was not a minor technical glitch; it was a devastating blow to the very foundation of Frege's system. Basic Law V was not a peripheral assumption but the central pillar supporting the entire logicist reduction of arithmetic. Without it, Frege could not guarantee that numbers, as extensions of concepts, were logical objects. The entire project failed.

To understand the historical moment and its gravity, let's read about the famous exchange of letters between Russell and Frege.

Frege's reaction was one of profound shock and intellectual integrity. He famously wrote in the appendix to his second volume:

"Hardly anything more unfortunate can befall a scientific writer than to have one of the foundations of his edifice shaken after the work is finished. This was the position I was placed in by a letter of Mr. Bertrand Russell, just when the printing of this volume was nearing its completion."

He tried to formulate a patch, but he soon realised it was inadequate. The paradox showed that his conception of 'logic' was fundamentally flawed. Frege believed that the axioms of logic must be self-evident, luminous truths. Basic Law V had seemed to be just such a truth, yet it harboured a contradiction. This discovery didn't just show that his proof was wrong; it cast doubt on the very idea that one could identify a set of self-evident logical axioms sufficient for grounding mathematics.

The following discussion explains precisely why the paradox was so devastating for Frege's conception of logicism.

4. Philosophical Analysis

The impact of Russell's paradox goes far beyond the personal tragedy of Frege's project. It reshaped the philosophy of logic and mathematics.

• The Demarcation of Logic: The paradox forced a critical re-evaluation of what constitutes a 'logical' principle. Frege's view was that logic must be self-evident. Basic Law V seemed to be, but was not. This led to a split. Some, like Russell, pursued a more pragmatic logicism, proposing new, more complex axioms (like his theory of types) that were not self-evident but were powerful enough to found mathematics without contradiction. This changed the goal from reducing mathematics to the obvious to reducing it to something else, with the philosophical status of that 'something else' now up for debate.

• The Foundational Crisis: The discovery that our most basic intuitions about collections, properties, and sets could lead to contradiction triggered what is known as the "foundational crisis of mathematics." If logic itself could be paradoxical, on what secure foundation could mathematics possibly rest? This crisis gave rise to the major 20th-century schools in the philosophy of mathematics:

  • Logicism (in a revised form, led by Russell and Whitehead).
  • Intuitionism (led by L.E.J. Brouwer), which proposed rebuilding mathematics on more restrictive, constructive principles.
  • Formalism (led by David Hilbert), which sought to save classical mathematics by treating it as a formal game of symbols to be proven consistent by finite means.

• The Birth of Modern Set Theory: The paradox demonstrated the need for a more careful, axiomatic approach to set theory. The "naive" idea of unrestricted comprehension was abandoned. In its place, axiomatic systems like Zermelo-Fraenkel set theory (ZFC)—which you have likely encountered in your mathematical studies—were developed. These systems carefully restrict which sets are guaranteed to exist (e.g., using an Axiom of Separation instead of unrestricted comprehension) precisely to block the formation of paradoxical sets like Russell's.

In essence, Russell's paradox showed that the intuitive, logical 'paradise' that Frege thought he had discovered was built on faulty ground. The attempt to rebuild it would define much of the philosophical and mathematical work of the next century.

Conclusion

Today we have witnessed a pivotal moment in the history of logic and philosophy. Russell's paradox was not merely an interesting puzzle; it was a seismic event that shattered Frege's logicist project.

Key Takeaways:

• The Target: The paradox directly refutes the principle of unrestricted comprehension, which was an essential consequence of Frege's Basic Law V.
• The Systemic Failure: Basic Law V was the axiom that generated the logical objects (extensions/sets) needed for Frege's reduction of arithmetic to logic. Its failure caused the entire system to collapse.
• The Philosophical Impact: The paradox had profound consequences, questioning the self-evident nature of logic, triggering a foundational crisis in mathematics, and leading to the development of modern axiomatic set theory as a response.
• Frege's Legacy: Despite the failure of his ultimate project, Frege's reaction stands as a testament to intellectual integrity. Furthermore, the search for a solution to the crisis he faced led to many of the most important developments in 20th-century logic.

Preview of the Next Lesson:

The story does not end with Frege's disappointment. Russell, having discovered the problem, felt obligated to solve it. In our next lesson, we will begin to examine his own monumental attempt to rescue logicism: the theory of types. We will analyse it not just as a technical fix, but as a profound philosophical response to the paradoxes.