Home > Paradoxes > 矛盾 (Mujun)

矛盾 (Mujun)

矛盾 (Japanese: むじゅん, mujun; Korean: 모순, mosun; Chinese: máodùn) is a concept meaning contradiction or paradox, derived from a classical Chinese allegory about a spear (矛) and a shield (盾). The term has become the standard word for logical contradiction across East Asian languages.

Definition: A state in which two propositions, both held to be true, are mutually exclusive. From 矛 (spear) + 盾 (shield), referencing the impossibility of an irresistible force meeting an immovable object.

Etymology and Definition

The term originates from the Han Feizi (韓非子), a 3rd-century BCE Chinese philosophical text. A merchant in the state of Chu claimed his spear could pierce any shield, and his shield could block any spear. When asked what would happen if his spear struck his shield, he had no answer.

The compound character 矛盾 literally translates as "spear-shield" and has been adopted across:

  • Chinese (矛盾, máodùn) -- used in formal logic and everyday speech
  • Japanese (矛盾, mujun) -- common in philosophical and legal discourse
  • Korean (모순, mosun) -- standard term for contradiction

Historical Note: The Han Feizi was compiled by Han Fei (c. 280--233 BCE), a foundational text of Chinese Legalism. The spear-and-shield parable appears in Chapter 36, "Nan Yi" (難一).

Classical Paradoxes

The spear-and-shield paradox belongs to a broader tradition of classical logical paradoxes that examine the limits of absolute claims. Related paradoxes include:

The Liar Paradox

Attributed to Epimenides of Crete (c. 600 BCE): "This statement is false." If the statement is true, then it is false; if false, then it is true. Unlike mujun, the Liar Paradox is self-referential.

Example: In formal notation: Let S = "S is false." If S is true, then S is false (contradiction). If S is false, then "S is false" is true, so S is true (contradiction).

Ship of Theseus

If every plank of a ship is gradually replaced, is it still the same ship? This paradox examines identity through change -- a contradiction between continuity and replacement that echoes mujun's concern with incompatible absolutes.

Zeno's Paradoxes

Zeno of Elea (c. 490--430 BCE) argued that motion is impossible: to cross a room, one must first cross half, then half of the remainder, ad infinitum. The contradiction between mathematical infinity and physical motion persisted until the development of calculus.

Common Fallacy: Conflating paradox with falsehood. A paradox reveals the limits of a logical system, not an error in reasoning. Mujun specifically targets the fallacy of simultaneous absolute claims.

Logical Structure

The mujun paradox can be formalized using propositional logic:

Let P = "The spear can pierce any shield"
Let Q = "The shield can block any spear"
P implies: for all shields S, spear pierces S
Q implies: for all spears R, shield blocks R
P ∧ Q leads to contradiction when S = this shield, R = this spear

The contradiction arises from universal quantification: the merchant's claims use "any" (universal), which generates the logical conflict. Had the claims been particular ("some shields," "some spears"), no contradiction would exist.

P Q P∧Q = ∅

Key Insight: Mujun is structurally identical to the irresistible force paradox in Western logic -- both demonstrate that two universally quantified propositions about the same domain cannot both be true if they predict opposite outcomes for any shared instance.

Modern Applications

The concept of mujun extends beyond abstract logic into practical domains:

Legal Reasoning

In Japanese and Korean legal systems, 矛盾/모순 is a technical term for inconsistent testimony or contradictory evidence. A witness whose statements contain mujun may be considered unreliable.

Computer Science

Contradiction detection in knowledge bases is a fundamental challenge in AI and database systems. Identifying mujun in large datasets requires formal verification methods derived from the same logical principles.

Everyday Language

In modern Japanese and Korean, mujun/mosun is commonly used in everyday conversation to point out logical inconsistency -- "That's mujun" is equivalent to "That's contradictory" in English.

References

  1. Han Fei. Han Feizi, Chapter 36 "Nan Yi." 3rd century BCE.
  2. Priest, Graham. In Contradiction: A Study of the Transconsistent. Oxford University Press, 2006.
  3. Rescher, Nicholas. Paradoxes: Their Roots, Range, and Resolution. Open Court, 2001.
  4. Sainsbury, R. M. Paradoxes. Cambridge University Press, 2009.