Summary

Mujun (Japanese: 矛盾, "spear-shield") is a Sino-Japanese compound denoting logical contradiction. It originates in a parable from the Chinese philosopher Han Feizi (c. 280–233 BCE), in which a vendor simultaneously claims to sell an unbreakable shield and a spear that pierces anything. The fable forces the listener into a logical bind, and the compound has since become the canonical East Asian word for contradictions of every flavor — formal, dialectical, rhetorical, ornamental.

On mujun.wiki, the term is also a deliberate manifesto: each article is a contradiction in container form — rigorous knowledge dressed in playful candy, dense scholarship floating inside a translucent jewel.

Etymology

The compound is built from two ancient pictographs: 矛 (hoko, "spear") and 盾 (tate, "shield"). In archaic Chinese the spear character depicted a long-handled weapon with a hooked tip, while the shield character shows a hand-held barrier with bracing crosspieces. Placed side by side, the two glyphs form a self-canceling pair: an irresistible attack against an impenetrable defense.

"What if your spear strikes your shield?" The vendor of Chu had no answer.

The same pair of characters travels into Japanese, Korean (mosun, 모순), and Vietnamese (mâu thuẫn) without ever losing its semantic charge. To utter mujun in any of these tongues is to gesture, however briefly, at a market stall in fourth-century BCE China.

Logical structure

In classical logic, a contradiction is any pair of propositions P and ¬P asserted in the same context. From this pair, every well-formed sentence can be derived — a property called ex contradictione quodlibet (ECQ).

// proof sketch — ex contradictione quodlibet
assume  P
assume  ¬P
derive  P ∨ Q          // disjunction introduction
apply   disjunctive syllogism
conclude Q              // any Q whatsoever

Paraconsistent logicians (notably Newton da Costa and Graham Priest) reject ECQ on the grounds that the world tolerates local contradictions without collapsing into omni-truth. mujun.wiki, by editorial policy, is paraconsistent.

• Formal logic — ECQ stands
• Paraconsistent logic — ECQ fails locally
• Dialetheism — some contradictions are true
• Hegelian dialectic — contradictions drive history

Cross-linguistic register

The same two pictographs anchor a single concept across four languages, but each language colors the term with its own pragmatic shading.

References

1. 1Han Feizi, Nan Yi (Difficulties I), c. 250 BCE.
2. 2Priest, G. In Contradiction, Oxford, 2006.
3. 3da Costa, N. On the Theory of Inconsistent Formal Systems, 1974.
4. 4Frankenthaler, H. Mountains and Sea, soak-stain pigment on canvas, 1952.
5. 5Vallien, B. Boats and Beings, Kosta Boda glass, 1987.