Directory

Encyclopedia

NodeWorks
                              ENCYCLOPEDIA

Link Checker

Home
Encyclopedia : P : PA : PAR :

Paradox

 

Paradox

For other meanings of "Paradox", see Paradox (disambiguation).

's self-flowing flask fills itself in this diagram, but perpetual motion machines do not exist.

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, such as "This statement is false". Typically, either the statements in question do not really imply the contradiction; or 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.

The word paradox is often used interchangeably with contradiction; but where a contradiction by definition cannot be true, many paradoxes do allow of resolution, though many remain unresolved or only contentiously resolved (such as Curry's paradox). Still more casually, the term is sometimes used for situations that are merely surprising (albeit in a distinctly "logical" manner) such as the Birthday Paradox. This is also the usage in economics, where a paradox is an unintuitive outcome of economic theory.

The etymology of paradox can be traced back to the early Renaissance. Early forms of the word appeared in the late Latin paradoxum and the related Greek paradoxon. The word is composed of the preposition para which means "by way of", or "according to" conjoined to the noun stem doxa, meaning "what is received". Compare orthodox (literally, "straight teaching") and heterodox (literally, "different teaching"). The liar paradox and other paradoxes were studied in medieval times under the heading insolubilia.

Common themes in paradoxes include direct and indirect self-reference, infinity, circular definitions, and confusion of levels of reasoning. Paradoxes which are not based on a hidden error generally happen at the fringes of context or language, and require extending the context (or language) to lose their paradox quality.

In moral philosophy, paradox plays a particularly central role in debates on ethics. For instance, an ethical admonition to "love thy neighbor" is not just in contrast with, but in contradiction to an armed neighbor actively trying to kill you: if he or she succeeds, you will not be able to love him or her. But to preemptively attack them or restrain them is not usually understood as very loving. This might be termed an ethical dilemma. Another example is the conflict between an injunction not to steal and one to care for a family that you cannot afford to feed without stolen money.

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 N years old on his Nth birthday. Likewise, Arrow's impossibility theorem involves behavior 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.

    List of paradoxes

    Quine's classification, of course, is useful only once a paradox has a clear resolution. That question is treated on the page for each individual paradox; the following are grouped thematically.

    Logical (except mathematical)

    • Paradox of entailment: Inconsistent premises always make an argument valid.
    • Raven paradox (or Hempel's Ravens): Observing a red apple increases the likelihood of all ravens being black.
    • Horse paradox: All horses are the same colour.
    • Unexpected hanging paradox: The day of the hanging will be a surprise, so it can't happen at all, so it will be a surprise.
    • Barber paradox: The barber who shaves all men who don't shave themselves, and no-one else. (A close relative of Russell's paradox.)
    • Richard's paradox: We appear to be able to use simple English to define a decimal expansion in a way which is self-contradictory.

      Semantic Paradoxes

    These form a well-known (and well-studied) class having in common that any permissible assignment of semantic value (truth, reference) to an expression immediately implies the assignment of a different value.

    : which door do you choose?



  • NodeWorks boosts web surfing!
    Page Returned in 4.461 seconds - HTML Compressed 69.1%

    This article is from Wikipedia. All text is available
    under the terms of the GNU Free Documentation License.
     GNU Free Documentation License
    © 2008 Chamas Enterprises Inc.