A paradox is a logically self-contradictory statement or a statement that runs contrary to one's expectation. It is a statement that, despite apparently valid reasoning from true premises, leads to a seemingly self-contradictory or a logically unacceptable conclusion. A paradox usually involves contradictory-yet-interrelated elements that exist simultaneously and persist over time. They result in "persistent contradiction between interdependent elements" leading to a lasting "unity of opposites".
In logic, many paradoxes exist that are known to be invalid arguments, yet are nevertheless valuable in promoting critical thinking, while other paradoxes have revealed errors in definitions that were assumed to be rigorous, and have caused axioms of mathematics and logic to be re-examined. One example is Russell's paradox, which questions whether a "list of all lists that do not contain themselves" would include itself, and showed that attempts to found set theory on the identification of sets with properties or predicates were flawed. Others, such as Curry's paradox, cannot be easily resolved by making foundational changes in a logical system.
Examples outside logic include the ship of Theseus from philosophy, a paradox that questions whether a ship repaired over time by replacing each and all of its wooden parts, one at a time, would remain the same ship. Paradoxes can also take the form of images or other media. For example, M.C. Escher featured perspective-based paradoxes in many of his drawings, with walls that are regarded as floors from other points of view, and staircases that appear to climb endlessly.
In common usage, the word "paradox" often refers to statements that are ironic or unexpected, such as "the paradox that standing is more tiring than walking".
List of paradoxes
Common themes in paradoxes include self-reference, infinite regress, circular definitions, and confusion or equivocation between different levels of abstraction.
Patrick Hughes outlines three laws of the paradox:
Self-referenceAn example is the statement "This statement is false", a form of the liar paradox.