Arrow-Type Impossibility for Genuinely Modal Judgments

想象一群朋友试图就一个复杂话题达成单一、统一的决定。通常，我们将这些话题视为简单的事实：“正在下雨”、“会议在下午两点”或“爱丽丝在纽约”。如果所有人都同意这些事实，那么群体也就达成一致。但如果事实很棘手呢？如果群体试图决定的事情是“一定正在下雨”、“可能正在下雨”或“不可能正在下雨”呢？

本文提出了一个非常具体的问题：如果我们强迫一个群体仅对这类“可能/必须/不可能”（模态）陈述进行投票，我们是否仍会陷入一种境地，即达成一致的群体决策的唯一途径是让一个人成为主宰（独裁者）？

在逻辑与投票领域，这被称为“阿罗式不可能性”。这是一种花哨的说法，意为：“无论你的投票规则多么公平，情境的逻辑都会迫使独裁出现。”

以下是作者发现内容的简要概述，辅以一些日常类比。

1. 老问题：“教条悖论”

要理解新发现，你必须先了解旧问题。想象一个法庭案件。

• 事实 A：被告违反了合同。
• 事实 B：被告存在过失。
• 结论：被告应承担责任（因为 A 和 B 必须同时为真）。

如果三位法官投票：

• 法官 1：A 投赞成，B 投赞成，责任投赞成。
• 法官 2：A 投赞成，B 投反对，责任投反对。
• 法官 3：A 投反对，B 投赞成，责任投反对。

如果分别对每个事实进行投票，多数人会认为 A 为“是”，B 也为“是”。因此，从逻辑上讲，群体应判定责任为“是”。但如果直接对责任进行投票，多数人会认为“否”。群体最终陷入自相矛盾的混乱。

本文作者想知道：如果我们剔除简单的事实（A 和 B），仅对“必须/可能”版本进行投票，这种混乱是否仍会发生？

2. 新发现：“模态陷阱”

作者表示：是的，陷阱依然存在。

他们构建了一个场景，其中群体仅被允许对诸如“X 是必然的”或“Y 是可能的”这类陈述进行投票。他们剔除了所有普通事实。你可能会认为，通过使规则更加抽象和“模糊”（使用可能性和必然性），逻辑联系会松动，从而更容易达成一致。

令人惊讶的是：作者发现，“可能性”和“必然性”的结构本身就会制造出隐藏的陷阱。即使没有普通事实，“可能”与“必须”之间的逻辑联系也紧密到足以迫使群体陷入矛盾，除非由一个人来 dictate 答案。

3. 类比：“圆形舞池”

为了证明这一点，作者使用了一个数学模型，看起来像一个带有编号位置（0、1、2……）的圆形舞池。

• 规则：想象你站在某个位置上。你只能“看到”（访问）距离你特定步数的位置。
• 投票：群体必须根据他们从所在位置能看到的内容，来判断一个陈述是否为真。
• “移位”：作者发现了一个魔术般的技巧。由于舞池完全对称，如果你将位置移动特定的步数，一系列复杂的“可能”和“必须”陈述就会坍缩为关于新位置的简单陈述。

隐喻：
想象你试图用重叠的毯子（即“模态陈述”）覆盖一张桌子。

• 在普通房间里，你可能会认为可以安排这些毯子，使它们互不冲突。
• 但在这个特定的圆形舞池上，作者表明，这些毯子的形状决定了它们必然以某种特定且不可避免的模式重叠。
• 如果你试图安排它们以避免矛盾，你会发现毯子覆盖了整张桌子，不留任何空间供公平的妥协。阻止混乱的唯一办法是某个人说：“我来决定毯子怎么放。”

4. 为何这很重要（根据论文）

论文提出了两个主要观点：

1. 陷阱不可避免：你无法仅仅通过从简单事实转向复杂的“模态”判断来逃避“独裁者问题”。逻辑本身的几何结构制造了冲突。并非人们不擅长投票，而是游戏规则（可能性的逻辑）迫使独裁出现。
2. 一线希望（效率）：虽然他们证明，如果你试图对每一个陈述独立投票，独裁是不可避免的，但他们也发现，如果你不试图在每一个点上保持独立，就有办法使过程高效。

他们表明，由于“模态”陈述可以简化为简单的数学问题（如用毯子覆盖桌子），计算机可以快速计算出一个公平、非独裁的结果，前提是你采用一种特定的逐步投票方法。这就像意识到，虽然你不能通过一次性猜测每一块拼图来解决问题，但如果你遵循特定的模式，就能非常迅速地解决它。

总结

• 问题：如果我们仅对“必须/可能”陈述进行投票，我们是否仍会陷入迫使独裁的逻辑矛盾中？
• 答案：是的。“可能性”和“必然性”的结构创造了自身僵硬的逻辑链条，导致与简单事实相同的死胡同。
• 方法：他们使用了一个圆形、对称的模型（如舞池）来展示这些逻辑链条如何连接。
• 结果：即使在纯粹的“也许”和“必须”的世界中，逻辑也紧密到群体无法在没有一人掌权的情况下达成一致。然而，他们也发现了一种快速、计算机友好的方法，如果群体愿意遵循特定的非独立投票程序，即可达成群体决策。