Linguistics Stack Exchange is a question and answer site for professional linguists and others with an interest in linguistic research and theory. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

According to formal sementics propositions (semantic term for "sentences", "clauses") have truth value. The truth value shows whether sentence is true or false and it is denoted as 1 or 0. What about sentences that have failed in presupposition? Do they have truth value? Ex: The king of USA lives in NY. Here, the interlocutor presupposes that the USA is ruled by the king, and s/he fails in his/her presupposition. So what be the truth value of this proposition? I think that it is impossible for proposition that has failed in presupposition to have a truth value but I am not sure.

Note: here I am talking about the direct meaning of the word "king", not possible metaphoric.

share|improve this question
First, proposition is a term for Statement (i.e, not a question, order, promise, etc.), not for sentence or clause. Proposition is a logical term; sentence and clause are syntactic terms. See the logic guide for terminology. – jlawler Feb 19 '13 at 21:35
Second, there is no single solution for the problem you ask about, which goes back at least to Russell's famous The present King of France is bald. Russell's solution was to say they're all F. Another is to posit a ternary logic (usually T, F, and # are the symbols, though numeric ones like -1, 0, 1 or 0, ½, 1 also occur), with a third value for failed presuppositions. Ternary truth tables can get complex, and there are several different kinds of ternary extensions. – jlawler Feb 19 '13 at 21:41
The usual answer is, "it depends on what you mean". If I read the conversational implicature of the sentence as "the USA have a king and he lives in NY", then it would be false. This reading makes the most sense in examples such as yours. Alternatively, you could read it as "if there is a king of the USA, he lives in NY". Logically, this is true, because we evaluate an implication whose condition is unfulfilled as true. But this interpretation most people find unnatural. I would stick with the conversational implicature; language is not logic—it is far more comprehensive and complex. – Cerberus Feb 19 '13 at 21:48
Thank you for you comments. – Dariya Feb 19 '13 at 21:58
@jlawler Why not post your comment as an answer? – jyc23 Feb 20 '13 at 14:26

The issue of what happens with a proposition in case of a failed presuppositions is still not settled. There is a huge pile of literature on this matter, so let me just quickly sketch the three main positions, using the classic case of:

(1) The present king of France is bald.

  • According to Russell, (1) is just false, if the presupposition that there is a present king of France is false. This is still a position that sometimes is maintained (especially for definite description as in (1)), but one must note that this does not really treat the inference that there is a present king of France as a presupposition. Instead it is treated as an entailment.

  • According to Strawson, a presupposition failure deprives a sentence of it ability to have a truth value. That is, if there is no King of France, (1) is neither true nor false. This often is modeled using a trivalent logic (e.g Beaver & Krahmer 2001), with the values 1 (true), 0 (false), and * (undefined).

  • According to the “dynamic” view (Stalnaker 1978), a failed preuspposition prevents a sentence from updating the so-called common ground (= the shared belief system of the interlocutors) and may lead to a failed state. That is, if I utter (1) in a conversation, the shared belief system should contain the proposition (or imply it; depending on the formal elaboration) that there is a king of France. If it does, the common ground is updated with the new information that the king of France is bald. If it does not contain the proposition that there is a king of France, (1) will either be unable to update the common ground or it will, but the result will be failed state.

Still the best overview over the historical development of the (technical) of presupposition is provided in the first part of Beaver 2001, which you can access here. A more concise overview (by Beaver & Geurts) can be found in the Stanford Encyclopedia of Philosophy. The Ohio State University also hosts an extensive bibliography on presuppositions.

Some important references

Beaver, David I. (2001): Presupposition and Assertion in Dynamic Semantics. Stanford: CSLI.

Beaver, David I. & Emiel Krahmer (2001): “A partial account of presupposition pro- jection”. Journal of Logic, Language and Information 10.2, 147–182. doi: 10.1023/a: 1008371413822.

Beaver, David I. and Bart Geurts (2011): “Presupposition”. The Stanford Encyclopedia of Philosophy. Winter 2014.

Lewis, David (1979): “Scorekeeping in a language game”. Journal of Philosophical Logic 8, 339–359.

Russell, Bertrand (1905): “On denoting”. Mind 14.56, 479–493. url: http://www.jstor. org.ubproxy.ub.uni-

van der Sandt, Rob (1992): “Presupposition Projection as Anaphora Resolution”. Journal of Semanticsition projection as anaphora resolution 9.4, 333–377. doi: 10.1093/jos/9. 4.333.

Strawson, Peter F. (1950): “On referring”. Mind 59, 320–44.

Stalnaker, Robert (1978): “Assertion”. In: Peter Cole, ed.: Pragmatics. Syntax and Seman- tics 9. New York: Academic Press, 315–332.

share|improve this answer
This seems related to the "insolubilia." – Geremia Apr 22 at 4:14

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.