Quine's paradox

Quine's paradox

Quine's paradox is a paradox concerning truth values, attributed to W.V.O. Quine. It is related to the liar paradox as a problem, and it purports to show that a sentence can be paradoxical even if it is not self-referring and does not use demonstratives or indexicals (i.e. it does not explicitly refer to itself). The paradox can be expressed as follows:

:“Yields falsehood when preceded by its quotation” yields falsehood when preceded by its quotation.

If the paradox is not clear, consider each part of the above description of the paradox incrementally:

:it = "yields falsehood when preceded by its quotation":its quotation = "“yields falsehood when preceded by its quotation”":it preceded by its quotation = "“yields falsehood when preceded by its quotation” yields falsehood when preceded by its quotation."

With these tools, we may now reconsider the description of the paradox. It can be seen to assert the following::The statement “"‘yields falsehood when preceded by its quotation’" yields falsehood when preceded by its quotation” is false.

In other words, the sentence implies that it is false, which is paradoxical - for if it is false, what it states is in fact true. Note, however, the type error: what is "quoted" is a string of words, whereas what "yields falsehood" is a proposition.

Motivation

The liar paradox ("This sentence is false", or "The next sentence is true. The previous sentence is false") demonstrates essential difficulties in assigning a truth value even to simple sentences. Many philosophers, attempting to explain the liar paradox, concluded that the problem was with the word "this". Once we properly understand this sort of self-reference, they claimed, the paradox no longer arises.

Quine's construction demonstrates that paradox of this kind arises independently of such direct self-reference. In fact, there is no way to eliminate the paradoxes short of a severe crippling of the language. Any system, such as English, that contains entities such as words or sentences that can be used to apply to themselves, must contain this type of paradox.

Application

In , author Douglas Hofstadter suggests that the Quine sentence in fact uses an indirect type of self-reference. He then shows that indirect self-reference is crucial in the proofs of Gödel's incompleteness theorems.

See also

* Grelling paradox
* Russell paradox

Bibliography

* Hofstadter, Douglas. (1979) "" New York: Basic Books.

* Quine, W. V. O. (1962) "The Ways of Paradox" reprinted in Quine (1966) "The Ways of Paradox and Other Essays" Cambridge: Harvard Univ. Press. pp. 1-21.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Quine — may refer to: * Willard Van Orman Quine American philosopher and logician * Robert Quine American guitarist * Quine (computing), a program that produces its source code as output * Quine (surname), people with the surname Quine * Quine–McCluskey… …   Wikipedia

  • Quine (computing) — A quine s output is exactly the same as its source code A quine is a computer program which takes no input and produces a copy of its own source code as its only output. The standard terms for these programs in the computability theory and… …   Wikipedia

  • Quine —   [kwaɪn], Willard Van Orman, amerikanischer Logiker und Philosoph, * Akron (Ohio) 25. 6. 1908, ✝ Boston (Massachusetts) 25. 12. 2000; seit 1948 Professor an der Harvard University, 1978 emeritiert. In der mathematischen Grundlagenforschung und… …   Universal-Lexikon

  • Paradox — For other uses, see Paradox (disambiguation). Further information: List of paradoxes A paradox is a seemingly true statement or group of statements that lead to a contradiction or a situation which seems to defy logic or intuition. Typically,… …   Wikipedia

  • Quine, Willard van Orman — (1908– ) The most influential American philosopher of the latter half of the 20th century, Quine was born in Akron, Ohio, of partly Dutch and partly Manx descent. After Oberlin College he did graduate work at Harvard, gaining his doctorate in… …   Philosophy dictionary

  • Willard Van Orman Quine — Unreferenced|date=August 2007 Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE image caption = Willard Van Orman Quine name = Willard Van Orman Quine birth = birth date|mf=yes|1908|6|25 death = death… …   Wikipedia

  • Liar paradox — In philosophy and logic, the liar paradox, known to the ancients as the pseudomenon, encompasses paradoxical statements such as This sentence is false. or The next sentence is false. The previous sentence is true. These statements are paradoxical …   Wikipedia

  • Raven paradox — The Raven paradox, also known as Hempel s paradox or Hempel s ravens is a paradox proposed by the German logician Carl Gustav Hempel in the 1940s to illustrate a problem where inductive logic violates intuition. It reveals the problem of… …   Wikipedia

  • Unexpected hanging paradox — The unexpected hanging paradox is an alleged paradox about a prisoner s response to an unusual death sentence. It is alternatively known as the hangman paradox, the fire drill paradox, or the unexpected exam (or pop quiz) paradox.Despite… …   Wikipedia

  • Russell's paradox — Math. a paradox of set theory in which an object is defined in terms of a class of objects that contains the object being defined, resulting in a logical contradiction. [1920 25; first proposed by Bertrand RUSSELL] * * * ▪ logic       statement… …   Universalium

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”