玻尔百科逻辑的核心是关于有效推理的规则，但我们如何形式化像必然性、可能性或知识这类抽象概念呢？答案在于一个极其简单却又异常强大的思想：一张连接地图。这张地图被称为“可达关系”，它为在不同状态或“可能世界”之间导航提供了结构。它解决了为非真值泛函的模态算子创建形式语义的挑战，这些算子的真值不仅仅取决于当前事态。本文将探讨由 Saul Kripke 的语义学开创的可达关系的基础性作用。
我们的旅程始于“原理与机制”一章，我们将从一个网络可达性的直观类比开始，从零开始构建可达关系。您将了解到这个关系的不同属性——如自反性、传递性和对称性——如何充当建筑蓝图，催生出用于推理知识和必然性的不同逻辑系统。随后，“应用与跨学科联系”一章将揭示这一概念惊人的多功能性。我们将看到，同样的状态可达性底层结构如何阐明物理学中的问题、为计算机科学中的过程建模，甚至定义抽象数学空间的几何形态，从而展示其跨越不同学科的深远统一力量。
想象一下，你是一名系统架构师，正在设计一个大型计算机网络，比如一个云计算平台。你有一组服务，我们称之为 、、 等。一些服务可以直接向其他服务发送消息。我们可以将其绘制成一张带箭头的地图：从 到 的箭头表示 可以与 通信。
现在，我们来定义一个简单的关系：“可达性”。我们说服务 可以“到达”服务 ，如果存在一条或多条从 指向 的箭头路径。这种可达性关系的基本属性是什么？我们称此关系为 ，所以 意味着“ 可以到达 ”。
它是自反的吗？ 是否总是成立？是的，一个服务总是可以到达自身，即使路径长度为零。它已经在那里了！
它是传递的吗？如果 且 ，这是否意味着 ？当然。如果有一条从 到 的路径，还有另一条从 到 的路径，我们只需将这些路径连接起来，就能形成一条从 到 的长路径。
它是对称的吗？如果 ，这是否意味着 ？不一定。从 到 的箭头代表一条单行道。仅仅因为 可以向 发送消息，并不意味着 可以回话。
因此，日常网络中的可达性概念为我们提供了一个自反且传递，但通常不对称的关系。 这个简单的结构——点的集合以及描述它们如何连接的关系——是开启逻辑世界大门的关键。
Saul Kripke 的伟大洞见在于采纳并推广了这一思想。让我们不再考虑计算机服务，而是思考“可能世界”或“事态”。一个世界可以是象棋游戏的当前状态、一个可能的未来，甚至是某种知识状态。我们称我们的世界集合为 。它们之间的箭头，这张连接地图，就是我们所说的可达关系，记为 。一对世界 属于这个关系，我们写作 ，意味着从世界 的角度看，世界 被认为是一种“可能性”。 一个世界集合 和一个可达关系 的组合构成了一个克里普克框架 。它是可能性的骨架地图。
一张空洞世界的地图并无趣味。我们需要知道在这些世界里什么是真的。为此，我们引入一个赋值函数 。对于任何简单的原子命题——比如“正在下雨”，我们称之为 ——赋值 告诉我们所有 为真的世界的集合。可以把它想象成用一种特定的颜色给所有“正在下雨”为真的世界涂色。一个克里普克框架加上一个赋值函数，就得到了一个完整的克里普克模型：。
这种赋值是纯粹局部的和命题的。它只告诉我们在每个世界中的基本事实。更复杂的陈述，如“正在下雨且风在吹”，是基于这些基本事实使用标准规则构建的。但关于可能性和必然性的陈述呢？我们如何能从我们当前的世界 谈论其他世界里什么是真的？这正是奇妙之处。
重要的是要认识到，一个简单事实的真值不会自动被可达世界继承。在我们的网络类比中，仅仅因为服务 正在运行某个程序，并不意味着它能到达的服务也在运行同一个程序。同样，在我们当前的世界里“天气晴朗”可能是真的，但在一个可达的“明天”世界里，可能正在下雨。这种自由是经典模态逻辑的一个标志，它将其与真值倾向于持久的直觉主义逻辑等其他系统区分开来。
模态逻辑为我们提供了两个特殊的算子，它们就像潜望镜，让我们能从当前世界窥探那些可达的世界。它们是 （方框）和 （菱形）。
读作“必然 ”。陈述 在我们当前世界 为真，当且仅当 在从 可达的每一个世界中都为真。
读作“可能 ”。陈述 在 为真，当且仅当存在至少一个从 可达的世界，其中 为真。
这些定义是克里普克语义的核心。 请注意它们如何使用可达关系 来对其他世界进行量化。 在 处的真值不取决于 在 是否为真；它完全取决于 通过关系 “看到”的世界里正在发生什么。
这就是为什么模态算子如此特别。它们不是*真值泛函的*。一个真值泛函算子，比如“与”()，其真值仅取决于其输入在当前世界的真值。例如， 为真当且仅当 为真且 为真。你可以为它写一个简单的真值表。
但你不能为 这样做。让我们用一个思想实验来证明这一点。想象两种情景。在这两种情景中，我们所在的世界 都具有属性 （比如，“灯是开着的”）。
在这两种情景中，输入命题 在 都为真。但输出 在一个情景中为真，在另一个情景中为假。唯一的区别就是可达关系！这表明 的真值取决于模型的结构，而不仅仅是 的局部真值。必然性没有简单的真值表。
这两个算子 和 并非相互独立；它们是彼此美丽的对偶，通过否定联系在一起。公式 逻辑等价于 。让我们把它翻译成白话文。
它们的意思完全相同！这个优美的等价关系是双重否定律的模态版本，反映了可能性和必然性逻辑中的深层对称性。
到目前为止，我们有了一个世界集合 、一个关系 、一个赋值函数 以及 和 的规则。但我们还没有对可达关系 施加任何限制。它可以是我们喜欢的任何箭头集合。定义在所有可能框架类上的逻辑被称为最小正则模态逻辑，即 K。
这正是该系统真正力量与优雅的展现之处。通过对可达关系 施加简单、直观的约束，我们可以生成一整套不同的逻辑，每种逻辑都有其独特的特性和用途。关系的属性充当了逻辑真理结构的建筑蓝图。
让我们用知识逻辑来探讨这一点，其中我们将 解释为“”，意为“一个主体知道 ”。我们应该使用什么样的可达关系来为一个理性主体的知识建模呢？
真理：如果一个主体真正知道某事，那么这件事必须是真的。我们不能知道谬误。这对应于公理 。要使这条公理成为我们逻辑的定律，可达关系 必须是自反的（对所有 都有 ）。为什么？如果我们在世界 且 为真，这意味着 在所有可达世界中为真。为了保证 在 本身也为真， 必须是那些可达世界之一。
正自省：如果一个主体知道某事，他们也知道自己知道这件事。这对应于公理 。这条公理成立当且仅当可达关系是传递的。如果你能从 到达 ，并且从 到达 ，那么你必须能从 到达 。这确保了从 的角度所知的一切，从它能到达的任何世界的角度也同样是已知的。 具有自反和传递框架的逻辑称为 S4。
对称性与自省：如果关系是对称的（），会怎样？这会导致一种不同的逻辑原则。例如，在具有对称关系的框架上，公式 成为一个重言式。让我们看看为什么：如果 在世界 为真，这意味着存在一个可达世界 ，其中 为真。这意味着 在所有从 可达的世界中为真。但由于关系是对称的且 ，我们必然有 。所以 是从 可达的世界之一。因此， 必须在 为真！仅仅通过在箭头上强制施加对称性，假设就直接导出了结论。
负自省：对于一个理想化的、完全自省的主体，我们可能还要求，如果他们不知道某事，他们就知道自己不知道这件事。这对应于公理 。如果可达关系具有一种称为欧几里得性的属性，即如果 能看到 且 能看到 ，那么 和 就能相互看到，这条公理就成立。一个非凡的事实是，一个自反且欧几里得的关系自动是对称和传递的。它成为一个等价关系。这类框架的逻辑称为 S5，通常被认为是完美、理想化知识的逻辑。
一个世界图的简单几何属性与深刻、抽象的逻辑定律之间的这种对应关系，是现代逻辑最美丽的发现之一。可达关系不仅仅是一个技术性的机器部件；它是模型的灵魂，塑造了必然、可能或已知的含义。通过选择它的结构，我们也就选择了我们希望探索的真理宇宙。
在上一章中，我们认识了一个极其简单的角色：可达关系。表面上看，它只是一组箭头。一个状态 指向 。仅此而已。它是某个抽象空间中地点之间的单行道地图。但我们曾承诺，这张简单的地图掌握着理解广阔思想图景的钥匙。现在，让我们踏上一段旅程，看看这些箭头能带我们走多远。我们将看到，这一个概念就像一把万能钥匙，开启了物理学、计算机科学、逻辑学，甚至数学空间结构本身的大门。
让我们从运动的物体开始。想象一座两层建筑里的一部简单电梯。它的“状态”可以是“在一楼空闲”、“上升中”、“在二楼空闲”或“下降中”。这里的可达关系就是所有可能的下一步移动的集合。从“在一楼空闲”，你可以到达“上升中”（如果有人按按钮）或保持“在一楼空闲”。从“上升中”，你可能到达“在二楼空闲”，或者如果出现故障，回到“在一楼空闲”。我们地图上的箭头现在附带了概率。
一位物理学家可能会问一个问题：状态“上升中”最终能否导致状态“下降中”，而“下降中”能否回到“上升中”？如果两个问题的答案都是肯定的——如果它们是相互可达的——我们就说这些状态互通。在我们简单的电梯中，你可以从“上升中”到“在二楼空闲”，然后再到“下降中”。而从“下降中”，你可以到“在一楼空闲”，从那里又可以开始“上升中”。所以，是的，它们互通！ 这种互通的概念是基础性的。它告诉我们一个系统的哪些部分在长期内是相互连接的。我们在一个简单的语言模型中也看到了同样的模式，其中“元音”状态可以导致“辅音”状态，反之亦然。
这看似简单，但让我们将其应用于一个更深刻的物理问题：扩散。想象两个气室，由著名的埃伦费斯特瓮模型建模。我们总共有 个球（分子）分布在两个瓮中。一个“状态”就是第一个瓮中球的数量。在每一步，我们随机取一个球并将其移到另一个瓮中。可达关系将一个有 个球的状态与有 和 个球的状态连接起来。现在，考虑一个球完美平衡的状态和另一个所有球都在一个瓮中的极端状态。它们互通吗？一个完美平衡的系统自发变得完全不平衡似乎不太可能。然而，可达关系的逻辑告诉我们，这必然是可能的！存在一条路径，一系列非零概率的单球移动，从平衡状态导向空瓮状态，还有另一条路径可以回来。 这是对统计力学的一个深刻洞见：如果一个系统被允许演化，它最终将探索其所有可能的（互通的）状态。这就是遍历性概念和热力学第二定律统计性质的萌芽。
让我们从概率性跳跃转换到确定性步骤。想一想一个计算机程序或一条制造流水线。状态是过程中的各个阶段，可达关系规定了允许的转换。 从“部件A已安装”，你可以到达“部件B已安装”。一个无法从任何其他状态到达的状态是一个最小状态——一个起点。一个无法到达任何其他不同状态的状态是一个最大状态——一个死胡同或最终产品。通过绘制可达图，我们可以立即看到整个过程流的逻辑，识别潜在的无限循环（状态在循环中互通），并找到所有可能的起点和终点。这张简单的箭头地图已成为计算和控制的蓝图。
到目前为止，我们的“状态”都是物理配置。但如果一个状态是一个完整的可能世界呢？这是克里普克语义为模态逻辑——必然性和可能性的逻辑——所做的巨大飞跃。
在这种观点下，一个陈述在我们的世界中是“必然为真”的，如果它在所有从我们世界可达的可能世界中都为真。一个陈述是“可能为真”的，如果它在至少一个可达世界中为真。可达关系变成了一张替代现实的地图。什么被认为是“可能的”，完全取决于这张地图的结构。如果一个世界是一个死胡同，没有箭头从中引出，那么任何关于什么是“必然”的陈述都将空洞地为真——这是我们定义的一个奇特但逻辑上合理的推论。
现在来看一个最优雅的应用：什么是知识？在认知逻辑中，我们使用相同的框架来为行动者的知识建模。一个世界 从世界 是“可达”的，如果从行动者在世界 的视角看，世界 是一种可能的事态。换句话说，就行动者所知，他们可能身处世界 。那么，行动者知道什么呢？行动者知道一个事实 当且仅当 在他们认为可能的所有世界中（所有从当前世界可达的世界）都为真。
奇迹就在这里发生。如果我们对可达地图施加某些属性会怎样？对于一个完美推理者的理想化知识，我们假设该关系是一个等价关系：
有了这种结构（称为S5），知识的惊人特性直接从地图的几何结构中浮现出来。例如，考虑“自省无知”原则：如果我不知道一个事实 ，我是否知道我不知道它？这听起来像个哲学绕口令，但我们的可达关系给出了一个明确的答案。如果我不知道 （形式上为 ），这意味着至少有一个可达世界中 是假的。该关系的对称性和传递性保证了这个“怀疑的世界”也从我所考虑的每一个其他可能世界可达。因此，在每一个可能的世界里，都存在 为假的可能性。这意味着，在每一个可能的世界里，我都不知道 。既然这在我所有的可达世界中都为真，那么我知道我不知道 （形式上为 ）。 一个关于自我意识的深刻陈述，就这样从几个关于连接点的箭头的简单规则中得出了。
让我们最后一次退后一步，欣赏可达关系本身的抽象之美。当我们绘制直接转换的图——电梯移动、分子交换瓮、程序执行一步——我们是在绘制直接的可能性。完整的可达关系，或称可达性，不仅包括一步的移动，还包括任意长度的路径。它是原始图的*传递闭包*。
这意味着不同的过程可以有相同的底层可达性结构。想象一个有步骤 的过程。可达性包括 。现在想象第二个过程，有步骤 ，，以及一条直接的捷径 。从最终什么可以到达什么的角度来看，这两个过程是相同的。它们生成了相同的可能性偏序集，即使最初的一步转换图是不同的。 可达关系提炼了可能性的本质，抽象掉了如何变得可能的细节。
这把我们带到了我们最后的，或许也是最令人惊叹的目的地。一个点集上的简单可达关系可以用来在该集合上定义一种拓扑——一种几何。这就是亚历山德罗夫拓扑。我们宣布一个点的集合是“开集”，如果一旦你落入该集合，你就永远无法沿着可达性的箭头离开它。把它想象成一个没有任何小径通向外面的山谷。
有了这个拓扑，我们可以问一个经典的拓扑学问题：何时两个点是“不可区分的”？在拓扑学中，这意味着它们共享所有相同的开邻域。令人惊叹的结果是，两个点在拓扑上不可区分当且仅当它们是相互可达的——也就是说，它们可以相互到达。 用图论的语言来说，这意味着它们属于同一个*强连通分量*，或循环。一个来自抽象拓扑世界的概念（不可区分性）被证明与一个来自具体图论世界的概念（在同一个循环中）完全相同。还有什么比这更美妙的呢？
我们的旅程就此结束。我们从一张简单的箭头地图开始。我们看到它描述了分子的舞蹈、计算机的逻辑以及知识的本质。我们看到它揭示了其作为纯粹可能性结构的本质，最后，我们看到它绽放成一门完整的几何学。可达关系是一个伟大科学思想的典范：一个简单、精确的概念，揭示了看似迥异的领域之间深刻而出人意料的统一性。它提醒我们，只要我们观察得足够仔细，一个简单游戏的规则也能呼应宇宙的法则。