Philosophy
The Logic of Presupposition and Presupposition Failure
Quick fact
Presupposition failure occurs when a statement's background assumption is false, causing the sentence to have no truth value at all—neither true nor false—rather than simply being false. For example, 'The present king of France is bald' is not false; it's meaningless in a technical sense because there is no king of France to refer to.
Why this is interesting
Have you ever said something and been understood even though your words didn't quite match reality? What if the sentence 'The present king of France is bald' isn't simply false—but somehow broken?
Read the full explanation
Understanding The Logic of Presupposition and Presupposition Failure
When we speak, we often rely on assumptions that are not stated but are taken for granted. These are called presuppositions. For instance, if I ask, 'Have you stopped smoking?', I presuppose that you used to smoke. If you never smoked, the question doesn't have a straightforward yes-or-no answer—it's flawed at a deeper level. In logic, a statement is normally either true or false, but when its presuppositions fail, it falls into a truth-value gap. Consider the famous example: 'The present king of France is bald.' There is no present king of France, so the sentence can't be true. But is it false? No, because saying it's false would imply there is a king who is not bald, which is equally wrong. Instead, the presupposition fails, and the sentence is neither true nor false. This shows that ordinary language carries hidden assumptions that classical two-valued logic cannot capture.
A deeper explanation
The mechanism behind presupposition is that certain expressions—like definite descriptions ('the X'), factive verbs ('knows that', 'realizes that'), and aspectual verbs ('stop', 'start')—carry a precondition that must hold for the utterance to be meaningful. In logical semantics, this is captured by a 'definedness condition': a sentence S is only assigned a truth value if all its presuppositions are satisfied. If any presupposition fails, S is undefined, creating a truth-value gap. This is known as the Strawsonian approach, named after philosopher P.F. Strawson, who criticized Bertrand Russell's analysis that treated such sentences as false. Russell famously analyzed 'The present king of France is bald' as a conjunction of existence, uniqueness, and predication, making it false because there is no unique king. Strawson argued instead that the existence of a unique king is a presupposition, not just a part of the assertion. This distinction matters because presuppositions have a special property: they survive negation. 'The present king of France is not bald' still presupposes that there is a king, while the negation just denies the baldness. This is the 'presupposition projection puzzle'—how presuppositions of complex sentences are determined. Moreover, presuppositions are often context-dependent, and listeners routinely 'accommodate' missing presuppositions by adjusting the context, as when someone says 'My dog is clever' even if you didn't know they had a dog. The logic of presupposition failure thus forces us to move beyond classical truth tables and consider multi-valued or partial semantics, and it underlines the role of context in meaning.