A Comment on Modal Collapse and Ultrafilters in Gödel's Ontological Argument
本文利用 Isabelle/HOL 中经机器验证的反例，驳斥了 Odifreddi 和 Gomes 关于模态坍缩是基于超滤的肯定属性理论之内在特征的断言，转而证明坍缩实际上源于肯定性的刚性，同时也对关于哥德尔定理 IV 以及肯定性外延性的两个具体主张进行了修正。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
宇宙侦探与完美的逻辑
想象一下，有一个科学分支，数学家和哲学家像侦探一样联手，但他们解决的不是犯罪案件，而是试图破解终极谜题：上帝是否存在？这个领域被称为“计算形而上学”。在这里，关于完美的古老论证被输入到强大的计算机中，以观察它们在最严格的逻辑规则下是否依然成立。他们使用的主要工具是所谓的“模态逻辑”（modal logic），这只是讨论“可能性”与“必然性”的一种高级说法。你可以把它想象成说“明天可能会下雨”（可能性）与“明天必然会下雨”（必然性）之间的区别。在这些论证中，目标是证明一个“完美的存在”（上帝）不仅仅是一种可能性，而是一种必然性。让这些侦探彻夜难眠的大问题是：用于证明上帝存在的逻辑是否会意外地破坏宇宙。如果逻辑过于强大，它可能会暗示所有发生的事情都必须以那种方式发生，从而为自由意志或偶然性留下了空白——这个问题被称为“模态坍缩”（modal collapse）。
论文的调查：揭开真正的真凶
在这篇论文中，计算机科学家克里斯托夫·本茨米勒（Christoph Benzmüller）扮演了哥德尔（Gödel）著名本体论论证的法医专家。哥德尔是一位才华横溢的数学家，他设计了一个依赖于“正向属性”（如全知或全能）来证明上帝存在的逻辑证明。最近，另外两位研究者奥德里弗迪（Odifreddi）和戈麦斯（Gomes）指出，该论证之所以导致“模态坍缩”（即一切都变得具有必然性），是因为证明本身的结构问题。他们认为，如果你将这些正向属性组织成一种特定的数学形状，称为“超滤”（ultrafilter）（可以将其想象为一个完美组织、无所不包的优秀特质清单），并称上帝是这个清单的生成者，那么坍缩就是不可避免的。他们声称这是一种结构性缺陷，就像一座桥梁如果用某种特定类型的拱形建造，就必然会坍塌。
然而，本茨米勒决定使用计算机测试这一说法，以检查逻辑中的每一个步骤。他没有仅仅靠猜测；他构建了论证的数字模型，以观察坍缩是否真的无法避免。他的发现是一个情节转折：超滤结构是清白的。
通过使用名为 Isabelle/HOL 的工具（这就像是一个超级严格的数学裁判），本茨米勒展示了你可以拥有这样一个完美的“超滤”正向属性，且上帝是其生成者，但同时仍然拥有一个事物具有偶然性的宇宙（即事物可能并非如此）。他找到了具体的反例——在这些数字世界中，逻辑依然成立，上帝存在，但“坍缩”并未发生。这证明了超滤形状并不是问题所在。
那么，真正的罪魁祸首究竟是谁？本茨米勒识别出了真正的恶棍：刚性（Rigidity）。在原始论证中，有一条规则规定，如果一个属性是“正向的”，那么它在每一个可能的世界上都必须是正向的，且永远如此。这就像是在说“善良”是一条永恒不变的规则，无论语境如何。本茨米勒的计算机模型显示，正是这种不变的刚性规则，结合论证的其他部分，迫使了坍缩的发生。如果你移除刚性但保留超滤，坍缩就会消失。
该论文还纠正了奥德里弗迪和戈麦斯工作中两个较小的错误。首先，他们声称计算机未能证明哥德尔论证的一个特定部分（定理 IV），是因为逻辑本身是破碎的。本茨米勒表明，计算机并没有失败；而是除非你加入哥德尔后来自己写下的一个微小且特定的脚注，否则该定理在他们所使用的特定规则版本下是无法被证明的。其次，他们对属性的“同一性”产生了争议。本茨米勒澄清，他们的规则只有在你将属性视为跨越所有时间的、不变的概念时才有效，而不仅仅是看它们在单一时刻的表现。
简而言之，论文得出结论：模态坍缩并不是将上帝的特质组织成完美清单的一种不可避免的结构特征。相反，它是坚持认为这些特质在所有可能的现实中必须是刚性和不可改变的副作用。超滤只是一个旁观者；刚性才是那个把车开下悬崖的司机。这意味着，如果你想保留一个自由宇宙的可能性，你不需要抛弃完美存在的概念；你只需要重新思考“完美”如何应用于不同的可能世界。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。