说谎者悖论：一句话如何卡死逻辑

题目

请判断下面这句话的真假：

“我正在说的这句话是假的。”

答案与解析

这看似一句平常的话，却让逻辑瞬间短路：

• 假设这句话是真的 —— 那它所说的内容“这句话是假的”就成立，于是它应该是假的。矛盾。
• 假设这句话是假的 —— 那它所说的内容不成立，即“这句话是假的”为假，于是它其实是真的。又矛盾。

无论你假定它真还是假，都会推出相反的结论。这就是说谎者悖论（Liar Paradox），一个典型的自指悖论。

背后的数学

说谎者悖论揭示了“真”这个概念本身有多么棘手。塔斯基（Alfred Tarski）因此提出：一个语言不能在自己内部定义“真”，必须区分对象语言和元语言——谈真假的，得是比被谈的更高一层的语言。

更深远的是，哥德尔在 1931 年用类似的“自指编码”技巧，构造了命题“这句话在系统中不可证”，证明了任何足够强的形式系统要么不自洽、要么不完备（哥德尔不完备定理）。说谎者悖论，正是这座大厦的第一块多米诺骨牌。