Mujun Wiki: Encyclopedia of Paradox

矛盾 / A comprehensive reference for contradictions, paradoxes, and logical antinomies

Mujun.wiki is a structured encyclopedia cataloging the world's paradoxes across philosophy, logic, mathematics, and physics. Each entry follows a consistent format: formal definition, historical origins, analysis, and resolution status. The word 矛盾 (mujun) derives from a Chinese fable about a merchant who sold both an impenetrable shield and an all-piercing spear -- the original contradiction.

The Liar's Paradox

The Liar's Paradox is a semantic paradox arising from self-referential statements. The canonical form -- "This statement is false" -- generates a contradiction regardless of the truth value assigned to it. If the statement is true, then it is false as it claims; if false, then it accurately describes itself and is true.

History

Attributed to Epimenides of Crete (c. 600 BCE), who declared "All Cretans are liars." The paradox was formalized by Eubulides of Miletus in the 4th century BCE. It has resisted full resolution for over two millennia, challenging every major theory of truth from Aristotle to Tarski.

Analysis

The Liar demonstrates that natural languages capable of self-reference cannot have a consistent, complete truth predicate. Tarski's undefinability theorem (1936) formalized this insight: no sufficiently expressive language can define its own truth predicate without contradiction.

Russell's Paradox

Russell's Paradox concerns the set of all sets that do not contain themselves. If such a set exists, it both must and must not contain itself. Discovered by Bertrand Russell in 1901, it exposed a fundamental inconsistency in naive set theory and prompted the development of axiomatic set theories.

Formal Statement

Let R = { x : x ∉ x }. Then R ∈ R if and only if R ∉ R. The contradiction is inescapable within any system that permits unrestricted set formation.

Schrödinger's Cat

Schrödinger's Cat is a thought experiment devised by Erwin Schrödinger in 1935 to illustrate the absurdity of applying quantum superposition to macroscopic objects. A cat sealed in a box with a quantum-triggered poison is, per the Copenhagen interpretation, simultaneously alive and dead until observed.

Significance

The paradox highlights the measurement problem in quantum mechanics: the apparent collapse of superposition upon observation. It remains central to debates between Copenhagen, many-worlds, and decoherence interpretations.

Ship of Theseus

The Ship of Theseus asks whether an object that has had all its components replaced remains the same object. First recorded by Plutarch, it probes the nature of identity and persistence through change. If every plank is replaced, is it the same ship? If the old planks are assembled into a second vessel, which is the original?

Zeno's Dichotomy

Zeno's Dichotomy argues that motion is impossible: to reach a destination, one must first cover half the distance, then half the remainder, and so on infinitely. Since an infinite number of tasks cannot be completed in finite time, arrival is impossible -- yet we arrive. The paradox targets the coherence of continuous space and time.