Paradox

A paradox is an apparently true statement or group of statements that seems to lead to a contradiction or to a situation that defies intuition. Typically, either the statements in question do not really imply the contradiction, the puzzling result is not really a contradiction, or the premises themselves are not all really true (or, cannot all be true together). The recognition of ambiguities, equivocations, and unstated assumptions underlying known paradoxes has often led to significant advances in science, philosophy and mathematics.

Types of Paradoxes

W. V. Quine (1962) distinguished three classes of paradox:

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

• A veridical paradox produces a result that appears absurd but is demonstrated to be true nevertheless. Thus, the paradox of Frederic's birthday in The Pirates of Penzance establishes the surprising fact that a person may be more than Nine years old on his Ninth birthday. Likewise, Arrow's impossibility theorem involves behaviour of voting systems that is surprising but all too true.
• A falsidical paradox establishes a result that not only appears false but actually is false; there is a fallacy in the supposed demonstration. The various invalid proofs (e.g. that 1 = 2) are classic examples, generally relying on a hidden division by zero. Another example would be the Horse paradox.
• A paradox which is in neither class may be an antinomy, which reaches a self-contradictory result by properly applying accepted ways of reasoning. For example, the Grelling-Nelson paradox points out genuine problems in our understanding of the ideas of truth and description.