mujun · 矛盾 · contradiction

A spear that pierces every shield.

A shield that withstands every spear.

Hold them in the same hand.

II The Merchant's Claim

矛 ・ Mao

この矛にて、貫けぬ盾は無し。鉄を裂き、石を割り、王の鎧をも紙の如く穿つ。我が刃は時を超え、論を貫く。如何なる守りも、これに対して言葉を失う。

The spear advances. It does not negotiate. It does not soften. Every shield it has met has yielded; every wall it has touched has opened. There is nothing — nothing in this world or the next — that this point cannot cross.

I tell you this with the certainty of a thing that has been proven a thousand times. The spear is absolute.

盾 · Dun

The shield holds. It has held against every blade ever raised against it: the bronze of the ancients, the steel of the empire, the doubts of philosophers. Where the spear is motion, the shield is patience. Where the spear forgets, the shield remembers.

盾は語らず、ただ受ける。受けて、なお在る。傷つかぬとは、傷を超えて在ることなり。

Bring me your sharpest argument. Bring me your cleverest blade. The shield does not need to win. It only needs to remain.

What happens when the merchant lifts both at once?

III The Dissolution

The merchant's paradox is not the first. It will not be the last. The thread of logic has frayed many times.

  1. 01

    Zeno's Arrow

    Elea, c. 450 BCE

    An arrow in flight occupies a space equal to itself at every instant. At every instant, it does not move. Yet it strikes the target.

    if (arrow == still at every t) && (arrow strikes) → motion := contradiction

  2. 02

    The Liar

    Crete, c. 600 BCE

    "This sentence is false." If true, it is false. If false, it is true. The statement holds itself open and closed at the same time.

    P ↔ ¬P

  3. 03

    Russell's Set

    Cambridge, 1901

    Consider the set of all sets that do not contain themselves. Does it contain itself? It must, and it must not. Mathematics, here, briefly stops breathing.

    R = { x | x ∉ x } ⇒ R ∈ R ↔ R ∉ R

  4. 04

    Schrödinger's Cat

    Vienna, 1935

    A cat sealed in a box with a quantum trigger is, until observed, both alive and not alive. The box is the merchant's stall in another century.

    |ψ⟩ = α|alive⟩ + β|¬alive⟩

  5. 05

    Gödel's Sentence

    Königsberg, 1931

    Within any system rich enough to count, a true sentence exists that the system itself cannot prove. Truth and provability part ways. The shield was always full of holes.

    ∃G ∈ T : (G is true) ∧ ¬⊢ G

  6. 06

    The Ship of Theseus

    Athens, c. 100 CE

    Replace each plank, one by one. At what plank does the ship cease to be itself? The shield, repaired by the spear's shavings, asks the same question.

    ∀n: ship(n) ≈ ship(n−1) ⊬ ship(0) = ship(N)

IV The Resolution

If the spear cannot fail, and the shield cannot fall,
which of them was lying?

mujun.quest · the page ends without an answer