绝对论
2026-08-01 21:11:14
发布于：浙江
一、一个形式系统的宿命
1931年，库尔特·哥德尔发表了他的不完全性定理，从根本上改变了人类对形式系统的理解。要进入这个问题，我们首先需要一个足够强的形式系统。
设 是一个包含皮亚诺算术的一阶形式系统。这意味着 的语言包含常元符号 、一元函数符号 （后继）、二元函数符号 和 ，以及关于这些符号的递归定义公理和归纳公理模式。同时， 的定理集是递归可枚举的，即存在一个算法，对任意给定的公式，能在有限步内判定它是否为 的公理，并且 的推理规则是有效且充分的。
哥德尔的第一个关键步骤是对元数学进行算术化，即哥德尔编码。对 语言的每一个符号、每一个公式、每一个公式序列（即证明），我们都能赋予一个唯一的自然数，称为其哥德尔数。例如，设符号 的哥德尔数为 ， 为 ，（否定）为 ，（蕴涵）为 ，等等。那么一个公式 的哥德尔数 可以通过质因数分解唯一确定。给定任意自然数，我们能机械地判定它是否是一个公式的哥德尔数，是哪一种公式。
在此基础上，哥德尔构造了原始递归函数与关系，使得关键的元数学谓词——如" 是公式 在 中的证明的哥德尔数"——可以在 内部被表达为一个公式 。进而，可证性谓词定义为：
读作"存在一个证明，其哥德尔数为 ，该证明以哥德尔数为 的公式为结论"。
哥德尔的核心构造是自指。他证明，存在一个公式 ，使得：
这个 等价于" 在 中不可证"。 的构造依赖于对角化引理：对任意含一个自由变元的公式 ，存在句子 使得 。令 为 ，则得到上述 。
现在展开论证。假设 是一致的，即不存在公式 使得 且 。
若 ，则存在一个 中对 的证明。取该证明的哥德尔数 ，我们有 为真。由于 在 中表达了对应的原始递归关系，我们有 ，进而 。但由 的定义，，故 。这与 的一致性矛盾。
若 ，则 。此时需要更强的前提，即 -一致性：不存在公式 使得对每个自然数 ，，且同时 。由 ，即 。但由于 与 不可兼得，而对每个具体的自然数 ，均可验证它不是 的证明，故 对所有 成立，这与 -一致性冲突。罗塞尔后来取消了 -一致性的要求，构造了句子 ，使得 若一致，则 且 。我们以哥德尔原版为基准已足够说明问题。
结论是：若 一致，则 和 在 中都不可证。 是不完全的。并且， 的真值在标准模型中为真：因为它恰好断定了自己不可证，而它的确不可证。
至此，哥德尔裂缝显现：任何包含皮亚诺算术的一致的形式系统，都蕴含着一个在该系统内不可判定的真命题。系统无法在自身内部完成对自身的全称断定；系统一旦试图覆盖自身，裂缝就必然出现。
二、绝对如何被结构本身保存
哥德尔定理说的是数，但它所揭示的结构并不仅仅属于数学。让我们把前述"极端相对主义"变成一个形式系统的类比。
设想一个命题系统 ，其唯一非逻辑公理是："对任意命题 ，并非绝对地 为真。"更精确地说， 的公理是 ，其中 意味着" 是绝对真的"。现在问：这条公理自身是否绝对真？即，是否 ？
若答案为是，则公理自我反驳——它断言无绝对命题，但自己却是一个绝对命题。若答案为否，则公理承认自己并非绝对真，那么它的否定在逻辑上可能成立，即可能存在绝对命题。无论如何，系统无法一致地维系该公理的绝对普遍性。
这与哥德尔构造具有精确的同构性：全称否定系统在自指处裂开。哥德尔句子说"我不可证"，而绝对论的哥德尔式句子说"我对自身的绝对性宣称不可成立"。系统试图用一条规则穷尽一切，但规则在自身面前必然失语。彻底否定绝对的企图，就这样撞上了一个形式不可决断的点。
由此，一种最低限度的绝对从结构的裂缝中显现——不是作为被证明的结论，而是作为任何自洽否定都无法绕开的预设。
三、绝对论为何重要
行文至此，有人或许会问：就算逻辑上存在某种不可消解的绝对基底，这与我的生活何干？它不过是一种精巧的思维游戏，留在论文里就够了。
然而，绝对论的重要性恰恰不在论文里，而在每一次我们试图说"不"的时刻。
设想一座悬索桥。游客走在桥面上，感受到的是轻微的晃动——风在吹，索在摆，一切似乎都在动态调整之中。这种晃动给人自由的错觉，仿佛整座桥是漂浮的。但桥的工程师知道，在这一切晃动的下方，有两座锚碇，深深嵌入基岩，不可移动。正是这两块看似僵死、毫无变化的锚碇，使得桥上的一切晃动成为安全的事实，而非灾难的序曲。一旦锚碇松动，桥上的人将不再能享受那种诗意的摇摆——等待他们的，是整座桥的坍塌。
绝对论的重要性，就在于它回答了什么是理性对话中那座不可松动的锚碇。
极端相对主义许诺了一种无限的自由：一切都可以是相对的，一切都可以重新描述，没有什么必须被接受。这个许诺听起来很美，但它暗中绕开了一个关键事实——如果"一切都可以重新描述"这个命题本身也可以被重新描述，那么它就没有任何强制力。对方完全可以说："从我的视角看，并非一切都可以重新描述，比如你现在说出的这句话就有绝对约束力。"极端相对主义者无法反驳这一点，因为反驳本身就需要诉诸某种高于双方视角的规则——而那恰恰是一种绝对。
于是出现了一个悖论性的局面：没有绝对，就不可能有真正的批判。批判意味着你有一个立足点，一个不能在被批判者的框架内被化解的标准。如果一切标准都是相对的，那么每一次批判都不过是自说自话，每一种不公都可以被"这只是你的视角"挡回去。绝对不是批判的敌人，而是批判的前提。唯有承认存在某些不能随视角漂移的东西——比如逻辑的一致性要求，比如言说行为本身所预设的真诚性——我们才能有意义地说某人是错的，而非仅仅在表达口味差异。
哥德尔定理以一种冷酷而无可辩驳的方式展示了同一个事实：系统若强大到足以谈论自身，就必然撞见自己无法决断的命题。这个不可决断的命题，对于系统内部而言是一道裂缝；但对于站在系统外部的我们而言，它是系统之所以能正常运作的保障——它划定了系统的边界，而正是因为有边界，系统内部的一切运算才有意义。一盘没有边界的棋局，不是无限自由的棋局，而是根本不能被称作棋局的混沌。
绝对论确认的东西，就是这么一道边界。它不告诉我们具体哪一条真理是绝对的，它只是说：你在有意义地说话的那一刻，就已经踩上了某块你无法同时否认的地板。这块地板并不阻碍你跳跃、转身、质疑，它只是保证你不会在起跳的瞬间坠入虚无。
因此，绝对论的价值不是让人闭嘴，而是让人在说话时知道脚下有物。它不向人颁发任何教条，但它在每一次"凡事皆有可能"被轻易抛出时，轻声提醒一句：这句话本身的可能，已经站在了不可能的地基上。
这就是绝对论的终末面目：不是一座要人跪拜的神殿，而是一块要人站立的地板。它之所以重要，不是因为它崇高，而是因为它在下面。
有帮助，赞一个