a Philosopher-King

𝔭 = "This statement is false." ‖  𝟭. 𝔭 ↔ ¬𝔭 (def. 𝔭) ‖  𝟮. 𝔭 ↔ ¬𝔭 → 𝔭 ∧ ¬𝔭 (equivalence to contradiction) ‖  𝟯. 𝔭 ∧ ¬𝔭 (modus ponens 𝟭, 𝟮) ‖  𝟰. ∃q(q ∧ ¬q) (existential generalization, 𝟯) ‖  ∴ 𝐓𝐑𝐔𝐓𝐇 𝐈𝐒 𝐃𝐈𝐀𝐋𝐄𝐓𝐇𝐄𝐈𝐂 ∎ 『𝜛𝜀 𝜆𝛼𝜈𝜀 𝛼𝜄𝜛𝛼𝜓𝑠 𝜄𝑖𝜈𝜀𝛿 𝑖𝜂 𝜏𝜆𝜀 𝑚𝛼𝑧𝜀.』

47 subscribers

*Dialetheic

By a Philosopher-King

"A 'dialetheic' is a person, X, such that both he and his antithesis, Y, are one & the same."