A description asserts three things
“The F is G” says that something is an F, that nothing else is an F, and that the one thing that is an F is G. All three are part of what is said, and each can fail.
“The present King of France is bald” looks like a sentence about a king, and there is none. Russell reads it as a claim that there is exactly one king and that he is bald. Evaluate that expansion in a model for the three cases, and see where Strawson disagrees about what to call the result.
Core ideas
The previous lesson let a name point at an individual. A description such as “the king” looks like a name, and Russell's claim is that it is not one.
“The F is G” says that something is an F, that nothing else is an F, and that the one thing that is an F is G. All three are part of what is said, and each can fail.
The F can be there once, not at all, or more than once. Only the first can make the sentence true, and the other two make the expansion false by different clauses.
Russell calls the sentence false, because its existence clause is false. Strawson says the sentence presupposes a king, and if there is none the question of truth does not arise. They agree about the model, and differ on the name for the result.
The material
The expansion, the three models that fit it, and the dispute over the empty one.
A definite description is a phrase of the form “the F”, such as “the author of Waverley” or “the present King of France”. It is used to speak of one thing by saying what that thing is like.
On the surface a description behaves like a name: “the King of France is bald” has a subject and a predicate and seems to be about the king. The trouble is that there is no king, and a sentence cannot be about a thing that is not there. If it is meaningful, as it plainly is, then either there is some such thing, or the surface form misleads.
Russell's analysis holds that the surface misleads. “The F is G” is a quantified sentence with three clauses.
Read it as: there is an x that is an F, any y that is an F is that x, and that x is G. The first clause says there is an F, the second that there is no more than one, and the third says what the one is like. The lab takes a phrase of the form “the x such that F holds of x”, followed by the predicate G, and expands it this way.
Three models cover the cases. In the first, the domain has individuals a, b and c; Author holds of b alone, and Scot holds of b and c. The description picks out b, the one and only author. b is a Scot, and the sentence is True, with the description denoting b.
In the second, King holds of nobody, and Bald holds of a. The first clause fails: no x is a king. Whatever the third clause says, the conjunction cannot hold, and the lab prints False. It also reports that the description denotes nothing, which is the fact Strawson builds on.
In the third, King holds of a and of b, and both are bald. The first clause is met. The second is not, since b is a king and is not a, and the lab prints False, reporting that the description is not unique, and naming a and b. That both kings are bald does not help, because the sentence claims there is just one.
Now the dispute. Strawson's observation is about what people say. Asked whether the present King of France is bald, almost no one answers “no”; they say there is no such king. The sentence, he held, presupposes that there is a king, and when the presupposition fails the sentence is neither true nor false. Russell's reply is that the sentence does say that there is a king, so it is false, as “there is a king who is bald” is false. The lab computes only the expansion, so it prints Russell's False in the value tile, and in the tile for the description it prints the fact on which Strawson relies. Which tile to treat as the sentence's status is the philosophical choice, and it is not one the arithmetic makes for you.
What the expansion buys is a way to say that the sentence is meaningful although nothing is denoted: the description was never a name, only a bundle of claims. Its price is a complication for the grammar, since “the King of France” no longer behaves as a single phrase. The next lesson turns that complication into a second reading.
Interactive
A first-order sentence evaluated over a domain you can edit
Method
Five steps. The description tile is the one to read first.
In “the F is G” the F is the descriptive part. List the individuals of the model that satisfy it.
None, one or several. This is the case, and it decides which clause of the expansion can fail.
There is an F; there is no more than one; it is G. All three are needed for True.
A missing F and a doubled F both make the expansion False, by different clauses. Say which.
For an empty description, the presupposition has failed. State the disagreement as one about what to call the result, not about the model.
Russell's expansion, applied to a model in which King holds of no one.
Both readings of the same fact are available at once. The expansion gives False because its first clause is false, and the description tile says the same thing in Strawson's words. The lab does not choose between them.
Given a sentence of the form “the F is G” and a model, you should be able to write Russell's three clauses, evaluate them, say whether the description denotes one thing, nothing or several, and state what Strawson would call the empty case.
Something to change about this lesson? Write it down, tick it off when it is handled, and export the list when you want to act on it. Kept in this browser only: nothing is sent anywhere, and nobody is notified.
No recommendations yet for this lesson.