mujun.study

Introduction

This study examines the nature of contradiction as a formal and philosophical phenomenon. Contradiction -- 矛盾, mujun -- describes a state in which two propositions cannot both be true, yet both present compelling grounds for acceptance.¹

The investigation proceeds through several canonical paradoxes, each examined with attention to their logical structure, historical context, and implications for theories of truth and meaning.

"A man was selling a spear and a shield. He praised the shield, saying nothing could pierce it, then praised the spear, saying it could pierce anything."

-- Han Feizi, 3rd century BCE

The etymological origin of the Chinese term for contradiction is itself a paradox narrative: an irresolvable conflict between an unstoppable force and an immovable object.²

The Liar's Paradox

Consider the sentence: "This sentence is false." If the sentence is true, then what it says must hold -- but it says it is false. If the sentence is false, then it does not accurately describe itself -- but that is what it claims, making it true.³

The Liar is the oldest and most persistent semantic paradox, dating to Epimenides of Crete in the 6th century BCE. Its significance lies not in its cleverness but in its resistance to resolution: no major logical system has fully contained it.

"All Cretans are liars."

-- Epimenides of Crete, c. 600 BCE

Tarski's hierarchy of object-language and meta-language provides one framework: the sentence cannot meaningfully refer to its own truth value within its own language level. Yet natural language does not respect hierarchies, and the paradox persists wherever self-reference is possible.⁴

The Sorites Paradox

A heap of sand. Remove one grain. Still a heap. Remove another. Still a heap. Continue. At what point does the heap cease to be a heap? No single grain's removal is the decisive one, yet after sufficient removals, no heap remains.⁵

The Sorites (from Greek soros, heap) challenges the coherence of vague predicates -- terms whose boundaries are inherently imprecise. Nearly all natural language predicates are vague: tall, rich, old, red, painful.

Fuzzy logic, supervaluationism, and epistemicism each offer frameworks, but none eliminates the fundamental tension between discrete logical operations and the continuous nature of experienced reality.

Self-Reference and Incompleteness

In 1931, Gödel demonstrated that any consistent formal system capable of expressing basic arithmetic contains true statements that the system cannot prove. The proof is itself a formalization of the Liar: Gödel constructs a sentence that says "I am not provable in this system."⁶

If the sentence is provable, the system proves a falsehood and is inconsistent. If the sentence is not provable, it is true but unprovable -- and the system is incomplete. Consistency and completeness cannot coexist.

"This statement is not provable."

-- Gödel sentence G, paraphrased

The incompleteness theorems transformed mathematics from a quest for certainty into a discipline that knows its own limits. Contradiction, formalized, became the boundary of knowledge.

Conclusion

Contradiction is not an error to be corrected but a structural feature of reasoning itself. From the merchant's impossible inventory to Gödel's incompleteness, the same pattern emerges: systems sophisticated enough to refer to themselves discover limits that cannot be transcended from within.

The study of 矛盾 is therefore not the study of failure but the study of boundaries -- the edges where thought encounters itself and finds both spear and shield.