💻 computer science

Stratified Counterpossible Logic

黄晨介绍了分层逻辑系统 SCP 和 SCP1，这些系统通过区分逻辑上的不可能与形而上学的不可能来避免空洞的反事实真理，并证明了它们的可靠性、完备性和可判定性。

原作者： Chen Huang (Institute of Logic,Cognition, Department of Philosophy, Sun Yat-sen University), Xuefeng Wen (Institute of Logic,Cognition, Department of Philosophy, Sun Yat-sen University)

发布于 2026-07-01

📖 1 分钟阅读☕ 轻松阅读

CC BY 4.0

原作者： Chen Huang (Institute of Logic,Cognition, Department of Philosophy, Sun Yat-sen University), Xuefeng Wen (Institute of Logic,Cognition, Department of Philosophy, Sun Yat-sen University)

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，你是一位在“如果……会怎样”法庭上主持审判的法官。通常情况下，这些案件都很容易处理。如果有人问：“如果我错过了公交车会怎样？”你可以轻松地想象一个你错过公交车的世界，并计算其后果（你会迟到、会饿等）。

但当有人问：“如果 2 + 2 = 5 会怎样？”或者“如果霍布斯完成了化圆为方（注：数学上不可能的任务）会怎样？”时，情况又会如何呢？

长期以来，逻辑学家们争论说，因为这些前提是不可能的，所以紧随其后的任何问题的答案都应该是默认“真”的。这就像是在说：“既然前提是荒谬的，那么整个句子就自动为真。”这被称为空虚主义（Vacuism）。

本文作者黄晨（Chen Huang）和文学峰（Xuefeng Wen）说：“等等，这感觉不对劲。”

直觉 1： “如果霍布斯完成了化圆为方，阿富汗患病的孩子就会痊愈。”这感觉是假的。化圆为方与治愈儿童之间没有任何联系。
直觉 2： “如果霍布斯完成了化圆为方，我们会感到惊讶。”这感觉是真的。如果有人做到了不可能的事，我们一定会感到震惊。

如果“空虚主义”规则成立，这两个句子都会是真的，这忽略了荒诞的联系与逻辑上的联系之间的区别。作者想要建立一个能够尊重这些差异的系统。

问题所在：混淆“硬”不可能与“软”不可能

作者认为，之前的系统将所有“不可能”的事物视为同一种混乱。它们没有区分：

形而上学上的不可能（Metaphysical Impossibility）： 违反了我们宇宙的规则，但并未违反数学规则。（例如：“金的原子序数是 50”或“水不是 H2O”）
逻辑上的不可能（Logical Impossibility）： 违反了逻辑本身的基本规则。（例如：“正圆”或“P 且非-P”）

作者提出了一个分层反事实逻辑（Stratified Counterpossible Logic, SCP）。可以把它想象成一栋三层建筑，每一层的规则都在变化。

建筑的三层结构

顶层（形而上学的可能性）： 这是我们的正常世界，以及一些虽然略有不同但仍能理解的世界。在这里，金就是金，水就是水，物理定律依然有效。
中层（逻辑正常但形而上学上不可能）： 这是“如果……会怎样”的地带。在这里，我们可以想象金的原子序数为 50。这很怪异，违反了自然法则，但逻辑法则依然有效。我们仍然可以进行数学运算，也可以说“如果金是 50，它仍然是一种金属”。逻辑是完整的，只是化学性质变了。
地下室（反逻辑世界）： 这是纯粹混沌的地带。在这里，逻辑规则本身崩溃了。一个陈述可以同时既是真又是假。这就是“化圆为方”存在的地方。

核心创新： 作者的系统允许我们从顶层步入中层，去讨论“反本质（anti-essential）”的情景（比如金具有不同的原子序数），而不会丧失理智。我们仍然可以清晰地推理。但如果我们一直走到地下室，逻辑规则就会坍塌，届时我们必须非常谨慎地判断结果。

两个系统：SCP 与 SCP1

论文介绍了该逻辑的两个版本：

1. SCP（基础系统）：
该系统成功分离了这些楼层。它允许我们说“如果水是 XYZ，它仍然是湿的”是一个有效的思想实验，因为我们处于逻辑依然有效的“中层”。然而，作者注意到一个微小的漏洞：如果你询问一个逻辑上的不可能（如化圆为方），该系统在技术上可能会说：“哦，在地下室中不存在发生这种情况的世界”，并仅仅因为世界列表为空而宣布该陈述为“真”。这是他们想要避免的一种“空虚主义”形式。

2. SCP1（升级系统）：
为了修复这个漏洞，作者创建了 SCP1。他们增加了一条严格的规则：选择函数不能为空。
想象一位法官说：“即使前提是不可能的，你也必须找到至少一个地下室中的情景来进行评估。”

如果你问：“如果霍布斯完成了化圆为方，孩子们会痊愈吗？”SCP1 会强制系统寻找一个“霍布斯完成了化圆为方”的世界。
在那个混乱的地下室世界中，由于“化圆为方”与“治愈儿童”之间不存在逻辑联系，系统得出的结论是该陈述为假。
这防止了系统通过“因为什么都不存在，所以它是真的”来作弊。

为什么这很重要

论文证明了这种新的思维方式在数学上是健全的（不会崩溃）、完备的（可以回答所有有效问题）且是可判定的（我们可以编写计算机程序来解决它）。

总结：
作者为“不可能世界”绘制了一张更好的地图。

旧地图说：“所有不可能的地方都是一样的；在那里没有任何意义。”
本文则说：“不，存在不同种类的不可能之地。有些只是很怪异（中层），在那里我们仍能清晰思考。另一些则是混沌的（地下室），在那里逻辑会崩溃。而且即使在混沌的地下室，我们也不应该直接放弃并说一切都是真的；我们应该检查‘如果……’是否真的与结果相连。”

通过分离这些层面，作者使我们能够在不失去逻辑立足点的情况下，对关于不可能情景的严肃哲学讨论进行探讨。

技术摘要：分层反事实逻辑 (SCP 与 SCP1)

问题陈述
本文探讨了标准反事实语义学（如 Stalnaker-Lewis）在应用于“反可能命题”（counterpossibles，即具有不可能前件的条件句）时的局限性。标准语义学通常会导致“空洞化”（vacuism）现象，即由于其前件是不可满足的，所有的反可能命题都变得平凡地为真。这与直觉上的区别相冲突，例如：“如果霍布斯曾化圆为方，孩子们就会痊愈”（直觉上为假）与“如果霍布斯曾化圆为方，我们会感到惊讶”（直觉上为真）之间的区别。

此外，现有的非空洞化方法（如 Nolan 的不可能世界）通常将所有不可能的事物视为一个单一的范畴。这种将“形而上学不可能”（例如，“水不是 $H_2O$ ”，这违反了本质属性但遵循经典逻辑）与“逻辑矛盾”（例如， $P \land \neg P$ ）混为一谈的做法造成了困境：能够容纳逻辑矛盾的系统往往会牺牲进行形而上学假设推理所需的推理规则。本文认为，当前的框架未能充分模拟不可能领域的内部结构，导致了逻辑强度与评估非平凡反可能命题能力之间的权衡。

方法论
作者黄晨提出了一个分层语义框架，将逻辑空间划分为三个不同的层级：

逻辑正常世界 ( $N$ )： 符合经典逻辑的世界。该区域通过一个形而上学可达关系 ( $R_M$ ) 进一步细分，以区分形而上学可能与形而上学不可能（但逻辑上可能）的情景。
反逻辑世界 ( $I$ )： 经典逻辑规范失效的世界（例如，满足 $\phi \land \neg \phi$ 的副一致世界）。
选择语义： 系统采用选择函数 $f$ $f$ 来评估条件句。该函数受限于前件的类型：
- 如果前件是形而上学可能的，则选择被限制在 $R_M$ 可达的世界中。
- 如果前件是形而上学不可能但逻辑上可能的，则选择扩展到 $N$ ，但仍保持在 $R_L$ （逻辑可达性）之内。
- 如果前件是逻辑上不可能的，则选择扩展到 $I$ 。

论文定义了两个系统：

SCP (分层反事实逻辑)： 建立 $N/R_M/I$ 层级结构的基准系统。它在 $N$ 内部验证标准的经典逻辑，并允许对形而上学不可能进行非空洞化的评估。
SCP1： SCP 的扩展版本，旨在解决反逻辑领域中的“空洞化”问题。它施加了一个非空约束（ $f(w, \phi) \neq \emptyset$ ），并将逻辑可达性 ( $R_L$ ) 处理为 $N$ 上的全称关系。

主要贡献与结果

分层语义： 论文形式化了一个三层模型，其中形而上学必然性嵌套在逻辑必然性之中。这使得系统能够使用 $N$ 内的经典逻辑来评估“反本质”条件句（例如，“如果金的原子序数是 50……”），同时将 $I$ 保留给真正的逻辑矛盾。
公理系统：
- SCP 的定义包含了经典命题逻辑、用于逻辑 ( $\Box_L$ ) 和形而上学 ( $\Box_M$ ) 必然性的 S5 模态算子，以及特定的条件句公理 (ID, SOC-M, SIC)。
- SCP1 通过公理 (NE) 和 (SOC-L) 对 SCP 进行扩展，以强制执行非空洞化和普遍逻辑可达性。
元逻辑属性： 作者为这两个系统提供了严谨的证明，展示了：
- 可靠性 (Soundness)： 公理系统相对于其各自的语义模型是可靠的。
- 完备性 (Completeness)： 两个系统都是完备的；任何有效的推论都是可导出的。
- 可判定性 (Decidability)： 两个系统都具有有限模型性质，确保了它们是可判定的。这是通过构造来自规范模型的有限模型来实现的过滤技术（filtration techniques）实现的。
解决空洞化： 在 SCP1 中，非空约束确保了具有不可能前件的反可能命题不会平凡地为真。相反，其真值取决于所选的反逻辑世界中前件与后件之间的实质性联系。

意义
论文声称，这种分层方法成功地区分了不同类型的“不可能”，且没有牺牲形而上学推理的逻辑推理规则。通过将逻辑矛盾的领域与形而上学不可能分离，该系统允许在违反本质属性的情景下（例如，科学思想实验）进行有意义的演绎，同时保持处理逻辑矛盾的稳健框架。

作者认为，这种层级框架可以推广到其他模态领域，例如在义务逻辑中区分初级义务与次级义务，或在认识逻辑中模拟认知局限。这项工作为解决模态冲突和刻画不可能性的结构提供了一条形式化的语义路径，超越了“可能 vs 不可能”的二元对立。

问题所在：混淆“硬”不可能与“软”不可能

建筑的三层结构

两个系统：SCP 与 SCP1

为什么这很重要

技术摘要：分层反事实逻辑 (SCP 与 SCP1)

类似论文