Paradox
A paradox is a sentence in logic that cannot be true but also cannot be false. It is self-contradictory. Many famous problems of this kind exist.
Liar's paradox
changeA famous paradox is called the liar's paradox. It is the simple sentence "This sentence is a lie", or equivalently, "This statement is false."[1]
If the sentence is true, then it is a lie as it says. But if it is a lie, it cannot be true. A lie cannot also be a truth. So the sentence being true makes it a lie.
On the other hand, if the sentence is a lie, then it is not as it says: it is true. But that is just what the sentence says, which makes the content of the sentence true. So the sentence being a lie makes it true.
This paradox is not just in English, but in any language. It is true of mathematics as well. Paradox can never be removed from any symbol system that makes claims about itself.
Other examples
changeAnother example is the statement that "there is no cabal". Only a cabal can know if there is no cabal, so this is either a guess, or, it is a cabal trying to pretend it does not exist.
Not all paradoxes are true logical paradoxes, since they can also be common-sense-defying statements that appear true.[2] Some famous examples of this kind of paradox include:
Quine's classification
changeWillard Van Orman Quine did a classification of paradoxes. He found three different types:[3][4]
- A veridical paradox produces a result that looks absurd, but that can be proved to be true. In the opera The Pirates of Penzance, shows that a 21 year old, who was born on a leap day only had fice birthdays. Other examples are Arrow's impossibility theorem that demonstrates difficulties in mapping voting results to the will of the people. Monty Hall paradox (or equivalently three prisoners problem) that demonstrates that a decision that has an intuitive fifty–fifty chance is in fact heavily biased towards making a decision that, given the intuitive conclusion, the player would be unlikely to make. In 20th-century science, Hilbert's paradox of the Grand Hotel, Schrödinger's cat, Wigner's friend or the Ugly duckling theorem are famously vivid examples of a theory being taken to a logical but paradoxical end.
- A falsidical paradox gives a result that is false. This is because there was a fallacy in the demostration. Examples are All horses are the same color, or Zeno's paradoxes.
- A third class are those paradoxes that reach a contradicotry result; they are true and false at the same time. Anb example of this is the Grelling–Nelson paradox.
Informal uses of "paradox"
changeA paradox can also arise in ethics. Assuming power over others may sometimes be required to protect them while diminishing their right to autonomy. This is an ethical dilemma but not a logical paradox.
Related pages
changeReferences
change- ↑ "The Definitive Glossary of Higher Mathematical Jargon". Math Vault. 2019-08-01. Retrieved 2020-10-08.
- ↑ "Definition of PARADOX". www.merriam-webster.com. Retrieved 2020-10-08.
- ↑ Quine, W.V. (1966). "The ways of paradox". The Ways of Paradox, and other essays. New York: Random House. ISBN 9780674948358.
- ↑ W.V. Quine (1976). The Ways of Paradox and Other Essays (REVISED AND ENLARGED ed.). Cambridge, Massachusetts and London, England: Harvard University Press.