Recommended resources
The freely available resources this lesson will direct you to.
Introduction
Hello! In our last lesson, we saw how Bertrand Russell's discovery of a paradox in set theory brought Gottlob Frege's monumental logicist project to a halt. This crisis demonstrated the profound dangers lurking within the foundations of logic, particularly the naive assumption that any well-defined linguistic phrase must refer to an existing object. Russell's paradox arose precisely from such a phrase: "the set of all sets that are not members of themselves."
This discovery did not lead Russell to abandon philosophy; instead, it spurred him to develop new, more rigorous methods of analysis. Today's lesson focuses on his most famous contribution in this vein: the Theory of Descriptions. Published in his 1905 paper "On Denoting," this theory is often considered the quintessential example of analytic philosophy in action.
Our goal is to reconstruct Russell's Theory of Descriptions as a paradigm of philosophical analysis. We will explore the linguistic puzzles Russell sought to solve, unpack the core insight of his theory, and see how it elegantly dissolves these problems by revealing a hidden logical structure beneath the surface of ordinary language.

1. The Problem: Puzzles of Denoting
At first glance, a simple and intuitive theory of meaning is that the meaning of a word or phrase is the object it points to, or denotes. The word "Earth" means the planet Earth; the name "Bertrand Russell" means the man himself. This is the denotative theory of meaning.
However, this simple picture quickly runs into trouble, especially with phrases that appear to denote things that don't exist. Russell was dissatisfied with the two main alternative solutions on offer:
- Meinong's Theory: Alexius Meinong argued that to talk about "the golden mountain," there must be a golden mountain that "subsists" in some strange, non-existent realm. Russell, famously having a "robust sense of reality," rejected this idea of an "ontological slum" crowded with non-existent objects.
- Frege's Theory: As we've seen, Frege distinguished between sense and reference. A phrase like "the present King of France" has a sense, but no reference. For Frege, this meant sentences containing such phrases were neither true nor false. Russell found this equally problematic, as it violated the principle of bivalence—the idea that every meaningful proposition must be either true or false.
This video, 'Russell: On Denoting' by Simon Cushing, provides an excellent overview of the problem. It explains the denotative theory of meaning and Russell's objections to the solutions proposed by Meinong and Frege, setting the stage for Russell's own theory.
Watch from the beginning to 02:09 to understand the denotative theory. Then, watch from 03:59 to 12:47 to learn about Meinong's and Frege's proposed solutions and why Russell found them unacceptable. Pay attention to Russell's motivations, particularly his commitment to Occam's Razor and the principle of bivalence.
To demonstrate the inadequacy of existing theories and test his own, Russell formulated three famous puzzles that any theory of denoting must solve.
Let's continue with the same video to see a clear presentation of Russell's three key puzzles.
Watch from 12:47 to 21:43. The video will explain each of the three puzzles: Substitutivity: The puzzle about George IV wondering whether Scott was the author of Waverley. The Law of Excluded Middle: The puzzle about whether 'The present King of France is bald' is true or false. Negative Existentials: The puzzle of how we can meaningfully say that something, like 'the present King of France', does not exist.
Let's summarize these crucial puzzles:
- The Puzzle of Substitutivity: If "Scott" and "the author of Waverley" denote the same person, we should be able to substitute one for the other in any sentence without changing the truth value. But "George IV wished to know whether Scott was the author of Waverley" is true, while "George IV wished to know whether Scott was Scott" is false. Why?
- The Puzzle of the Law of Excluded Middle: The law states that for any proposition , either is true or is true. But "The present King of France is bald" seems neither true (since there is no such king) nor false (since "The present King of France is not bald" also seems untrue).
- The Puzzle of Negative Existentials: The sentence "The present King of France does not exist" is clearly true. But for a sentence to be about something, that something must exist. How can we make a true statement about a non-entity?
2. The Solution: Logical Form vs. Grammatical Form
Russell's brilliant solution was to propose that the grammatical structure of our sentences is a misleading guide to their true logical structure. A phrase like "the present King of France," which Russell called a definite description, looks like a name and acts like the subject of a sentence. But logically, Russell argued, it is not a name at all. It is an "incomplete symbol."
His central thesis is that denoting phrases like "the present King of France" do not have meaning in isolation. They only contribute to the meaning of the whole proposition in which they occur. The theory provides a method for paraphrasing sentences containing definite descriptions into a more precise logical form that reveals what they are really asserting.
According to Russell, a sentence of the form "The F is G" actually makes three distinct claims:
- Existence: There is at least one thing that is F.
- Uniqueness: There is at most one thing that is F.
- Predication: Whatever is F is also G.
Your background in mathematics makes you well-equipped to appreciate the formal expression of this analysis. Combining these three claims, "The F is G" is analyzed as:
Let's break this down:
- : "There exists at least one thing, x, such that..." (This covers the Existence claim).
- : "...x has the property F..."
- : "...and for any other thing, y, if it has the property F, then y is identical to x." (This covers the Uniqueness claim).
- : "...and x has the property G." (This covers the Predication claim).
Notice that in this analysis, the phrase "The F" has completely disappeared. It has been analyzed away in terms of quantifiers (), predicates (), and identity ().
These lecture notes from a course at the University of Vermont provide a concise and formal statement of Russell's analysis. They are an excellent reference for the logical structure of the theory.
Please read section 9, 'The Analysis III: Definite Descriptions'. This short section gives the formal analysis for 'the F is G' and a clear example with 'The U.S. president is 72'. Focus on how the original phrase 'the U.S. president' is completely replaced by a more complex logical structure.
3. The Puzzles Solved
The power of this "somewhat incredible interpretation," as Russell himself called it, lies in its ability to solve the three puzzles we started with.
Bertrand Russell: On Denoting Explained
The video 'Bertrand Russell: On Denoting Explained' by Nathan Hawkins gives a very clear, step-by-step walkthrough of how the theory solves each of the three puzzles.
Please watch from 13:42 to 21:40. The video will apply the analysis to each puzzle in turn, showing how the logical reformulation provides a clear solution.
Let's review the solutions, paying close attention to the logical mechanics.
Solution to Puzzle 2 (The King of France is bald):
The sentence "The present King of France is bald" is analyzed as:
This statement is unequivocally false, because the existence clause—that there is at least one who is King of France—is false. There's no need for truth-value gaps!
But what about "The present King of France is not bald"? Here, Russell introduces the crucial idea of scope. The negation can have two different scopes:
-
Narrow Scope (Primary Occurrence): The negation applies only to the predicate "is bald."
This asserts the existence of a unique, non-bald King of France. This is also false. -
Wide Scope (Secondary Occurrence): The negation applies to the entire proposition.
This asserts that it is not the case that there is a unique, bald King of France. Since the original proposition is false, its negation is true.
The law of excluded middle is saved. The ambiguity was not in logic, but in the sloppy grammar of natural language.
Solution to Puzzle 3 (Negative Existentials):
"The present King of France does not exist" is also solved by scope. We mean it in the wide-scope sense:
This reads: "It is not the case that there is a unique King of France." This is true, meaningful, and doesn't require us to believe in a non-existent object.
Solution to Puzzle 1 (Substitutivity):
"George IV wished to know whether Scott was the author of Waverley."
The logical form of the object of his wonder is:
In this logical analysis, the phrase "the author of Waverley" does not appear as a single unit that can be substituted. The inference fails because the grammatical similarity between "Scott" and "the author of Waverley" is an illusion. They play vastly different logical roles. The theory correctly shows why the substitution is invalid.
Test your understanding!
Using Russell's theory, analyze the sentence: "The even prime number is greater than 1."
- Write out the sentence's logical form using quantifiers and predicates.
- Is the sentence true or false, and why, according to the analysis?
Show answer
-
Let mean " is an even number," mean " is a prime number," and mean " is greater than 1." We first need a predicate for "is an even prime number," which is .
The logical form is:
-
The sentence is true. We can check each part of the analysis:
- Existence: Is there at least one even prime number? Yes, the number 2. So is true.
- Uniqueness: Is there at most one even prime number? Yes, any other prime number is odd. So is true.
- Predication: Is that number greater than 1? Yes, 2 is greater than 1. So is true.
Since all three conjuncts of the analysis are true, the entire proposition is true.
4. A Paradigm of Philosophical Analysis
The Theory of Descriptions is more than just a clever solution to a few puzzles. It became a model—a paradigm—for how analytic philosophy should be done. Russell believed that many long-standing philosophical problems were, at their root, confusions engendered by the misleading grammar of natural language.
The method is this:
- Take a philosophically puzzling sentence.
- Translate it into the clear, unambiguous language of modern logic.
- Examine the logical form to see what the sentence truly asserts and what it commits us to ontologically.
This process of logical paraphrase was thought to either solve the problem directly or show it to be a pseudo-problem. For instance, Russell extended this analysis to suggest that ordinary proper names like "Apollo" or even "Homer" are really just "disguised definite descriptions" (e.g., "the sun-god," "the author of the Iliad"). This allowed him to explain how we can have meaningful thoughts about fictional or historical figures whose existence is uncertain, without populating our universe with strange entities. The analysis reveals that we are not trying to name an object, but are asserting that a certain description is uniquely satisfied.
Conclusion
In this lesson, we have reconstructed one of the most important theories in the history of analytic philosophy. It represents Russell's constructive response to the logical tangles that led to his own paradox, providing a powerful new tool for achieving clarity.
Key Takeaways:
- The simple denotative theory of meaning fails when faced with phrases that don't seem to denote anything, leading to puzzles about identity, truth, and existence.
- Russell's core insight was to distinguish between the misleading grammatical form of a sentence and its true logical form.
- The Theory of Descriptions provides a method for analyzing sentences containing definite descriptions ("the F is G") into a structure of quantifiers and predicates:
∃x (Fx & uniqueness & Gx). - This analysis dissolves the puzzles by showing that sentences about non-existent objects can be meaningful and false (or have true negations) without committing us to their existence.
- This method of logical paraphrase became a paradigm of philosophical analysis, aiming to solve or dissolve problems by translating them out of ambiguous natural language into precise logical terms.
Preview of the next lesson:
Having learned the theory, the next step is to master its application. In our next lesson, we will focus on the learning outcome: Apply the Theory of Descriptions to analyze sentences containing definite descriptions. We will work through a series of examples, from simple to more complex, to solidify your ability to use this powerful analytical tool.