Strawson's Presupposition Failure Criticism
Strawson's Presupposition Failure Criticism is the claim that a sentence with a definite description can break down if the thing it refers to does not exist. In Formal Logic I, it challenges Russell's theory of descriptions by showing how meaning depends on presupposed existence.
What is Strawson's Presupposition Failure Criticism?
Strawson's Presupposition Failure Criticism is the idea that some sentences, especially ones using definite descriptions, only work if a background assumption is already true. In Formal Logic I, that means a phrase like "the present king of France" does not behave like a simple statement you can just test for truth. If there is no such person, Strawson says the sentence does not cleanly come out true or false in the way Russell's analysis suggests.
The basic move is this: when you use a definite description, you usually presuppose that there is exactly one thing that fits it. You are not just asserting existence, you are taking it for granted as part of how the sentence gets off the ground. If that presupposition fails, the problem is not only that the statement is false. Strawson thinks the utterance may lack a proper truth value, because the reference has already broken down.
This is why the criticism matters in a logic course. Formal Logic I often teaches you to break statements into components and check logical form, but Strawson warns that ordinary language is not always just a neat truth-functional package. A sentence can sound grammatical and still be pragmatically defective if the context does not support the presupposition behind the description.
That puts him in direct conversation with Russell's theory of definite descriptions. Russell tries to analyze a phrase like "the F" into a logical claim about existence, uniqueness, and property possession. Strawson says that misses what speakers actually do in conversation, because a definite description usually works by assuming reference is already shared, not by announcing a claim that can be independently verified.
A simple example is "The current mayor of a nonexistent town is late." If there is no town, the issue is not just whether the mayor is late. Strawson would say the description fails upstream, since the sentence depends on a reference that cannot be fixed in the first place. That is the heart of presupposition failure: the sentence collapses because the assumed background condition is missing.
Why Strawson's Presupposition Failure Criticism matters in Formal Logic I
This term matters because it shows you that logical analysis has to pay attention to more than truth tables and sentence form. In Formal Logic I, you are often asked to decide whether an argument is valid by looking at how statements are built. Strawson's criticism adds a warning label for natural language: some sentences look like straightforward claims, but their meaning depends on hidden assumptions about reference.
That makes it especially useful when you are comparing ordinary-language examples with symbolic translations. A sentence with a definite description may resist simple first-order treatment if the description fails to refer. If you ignore that, you can end up treating a broken utterance as if it were a normal false statement, which changes the analysis of the argument.
It also helps when your class talks about why language users can misunderstand each other even when the grammar is fine. Strawson's point explains why communication depends on shared presuppositions, not just shared vocabulary. In a discussion, essay, or short-answer question, this lets you explain why context changes whether a statement can even be assessed for truth.
The criticism is also a bridge to other topics in the chapter on definite descriptions. It gives you a reason to separate existence, uniqueness, and predication instead of bundling them together too quickly. Once you see that distinction, Russell's theory becomes easier to evaluate and more precise to compare with later debates about reference.
Keep studying Formal Logic I Unit 11
Official unit cheatsheet
open one-pagerHow Strawson's Presupposition Failure Criticism connects across the course
Definite Descriptions
Strawson's criticism starts with definite descriptions like "the tallest building" or "the current dean." These phrases look simple, but they carry hidden assumptions about there being exactly one object that fits. Strawson argues that when the description fails to latch onto anything, the sentence's status is not just a matter of falsehood. The description itself may fail to get a successful referent.
Russell's Theory
Russell's theory is the main target of Strawson's criticism. Russell analyzes definite descriptions as existential claims with a uniqueness condition, which makes them fit nicely into logical form. Strawson thinks that analysis misses how speakers use descriptions in real conversation, especially when they presuppose rather than assert existence.
Presupposition
Presupposition is the background assumption that has to hold for an utterance to work normally. Strawson says definite descriptions often presuppose existence before any claim is made. That is why a sentence can sound off even if it is grammatically correct, the shared assumption needed for reference is missing.
existence presupposition
Existence presupposition is the specific background assumption that the thing described is really there. Strawson uses this idea to show why sentences like "The king of Mars is wise" do not behave like ordinary false claims. If the existence condition fails, the sentence may not be fully truth-evaluable in the way Russell's analysis predicts.
Is Strawson's Presupposition Failure Criticism on the Formal Logic I exam?
A quiz item or short-answer prompt will usually give you a sentence with a definite description and ask you to explain why Strawson thinks Russell's analysis is incomplete. Your job is to point out the presupposition, then say whether the reference actually exists in the scenario. If the presupposition fails, do not treat the sentence as a normal false statement right away. Instead, explain that Strawson thinks the utterance may be infelicitous or truth-value deficient because the speaker has assumed a referent that is not there. In an argument-analysis question, this can show up as a comparison between what the sentence seems to say and what has to already be true for it to work. A strong answer names the missing background condition and links it to definite descriptions, not just to vague "context."
Strawson's Presupposition Failure Criticism vs Russell's Theory
These are often mixed up because both discuss definite descriptions, but they disagree about what happens when the description fails to refer. Russell treats the statement as analyzable into logical parts, including existence and uniqueness. Strawson says the speaker presupposes existence, so a failure there can block the sentence from being straightforwardly true or false.
Key things to remember about Strawson's Presupposition Failure Criticism
Strawson's Presupposition Failure Criticism says a definite description can break down if the thing it refers to does not exist.
In Formal Logic I, the term matters because it shows that natural language can depend on background assumptions that are not captured by truth conditions alone.
Strawson's main complaint is that Russell's theory turns a presupposed referent into an existential claim too quickly.
If a presupposition fails, the sentence may be infelicitous or truth-value deficient rather than simply false.
When you see a sentence with "the F," ask whether the speaker is asserting existence or assuming it as part of the reference.
Frequently asked questions about Strawson's Presupposition Failure Criticism
What is Strawson's Presupposition Failure Criticism in Formal Logic I?
It is Strawson's objection to treating definite descriptions as ordinary existence claims. He argues that when a speaker says "the F," they usually presuppose that there is one relevant thing already in the world, so a failure of that assumption changes how the sentence works. In logic class, this is a way of seeing that meaning and truth are not always the same thing.
How is Strawson different from Russell on definite descriptions?
Russell says a definite description can be analyzed logically into existence, uniqueness, and predication. Strawson says that analysis misses the pragmatic fact that speakers often assume existence rather than assert it. So if nothing matches the description, Russell still gives you a truth-conditional analysis, while Strawson says the utterance may fail before truth evaluation really starts.
Can you give an example of presupposition failure?
A classic kind of example is a sentence like "The current king of France is bald." If there is no current king of France, Strawson would say the sentence runs into presupposition failure because the reference never gets off the ground. That is different from saying the sentence is simply false in the ordinary sense.
Why does presupposition failure matter in argument analysis?
It matters because a premise can look like a clear proposition even when its reference is unstable. If you are checking an argument's form, you still need to notice whether one of the key terms depends on a missing presupposition. Otherwise you may evaluate the logic as if the statement were fully meaningful when the real issue is reference.