共有知识与相互知识

在日常语言里"大家都知道"是一句模糊话，但在认知博弈论（Epistemic Game Theory）里，它藏着两个截然不同的层级：相互知识（Mutual Knowledge / 公共信息）只要求"每个人都知道 P"；共有知识（Common Knowledge）却要求"每个人都知道，每个人都知道，每个人都知道……P"的无限递归确认。前者是静态的资源，后者是动态的契约——而人类能否从沉默走向集体行动，往往就卡在这道鸿沟上。^1

两个层级的形式化定义

令 $K_i\phi$ 表示"成员 $i$ 知道 $\phi$"。^1

• 相互知识 $E_G\phi \equiv \bigwedge_{i\in G} K_i\phi$——群体中每个人都知道 $\phi$。它通过物理可达性实现：演讲厅里所有人都听到了同一句话，推特上所有关注者都看到了同一条新闻。但它不包含任何关于"他人知识状态"的确认。
• 共有知识 $C_G\phi \equiv E^1\phi \wedge E^2\phi \wedge E^3\phi \wedge \dots \equiv \bigwedge_{k=1}^{\infty}E^k\phi$——相互知识的无限迭代。这个概念由哲学家大卫·刘易斯（David Lewis）1969 年在《约定》中引入，诺贝尔经济学奖得主罗伯特·奥曼（Robert Aumann）1976 年将其形式化。^1

维度	相互知识（公共信息）	共有知识
逻辑要求	每个人都知道 P	每个人都知道大家都知道……P（无限阶）
实现方式	物理可达（都看见/都听见）	需要一个公共事件把递归"一次锁死"
认知性质	静态、脆弱、分散	动态、纠缠、可协调
典型状态	多元无知、沉默均衡	集体行动、相变爆发
隐喻	一群人各自看见皇帝没穿衣服	一个孩子喊破真相后的哄堂大笑

皇帝的新衣：为什么真相人尽皆知却无人敢言

《皇帝的新衣》是这道分野最锋利的隐喻。皇帝裸体游行时，街道两旁每个市民都清楚看到了"皇帝没穿衣服"（$P$），也都能推断别人也看到了——$P$ 已是高度的相互知识。可为什么在孩子喊破前，整座城陷入沉默？^1

传统社会学归咎于"怕权力/从众"，但认知博弈论指出根源是共有知识的缺失：认知链条在某处断裂了，每个人无法确认"别人知道我知道他们知道真相"。只要有一丝不确定——担心自己是唯一看见的傻瓜——沉默均衡就持续。社会心理学称之为多元无知（Pluralistic Ignorance）：多数人私下拒绝某规范，却因公开的沉默误以为别人都接受它。^1

孩子那声"可是他什么也没穿呀"没有提供任何新的物理信息（光子早已进入每个人的视网膜），它提供的是一条元信息：把事实瞬间同步，让"每个人都知道每个人都知道"的无限递归一次锁死。这一声喊叫瓦解了沉默均衡，引爆了集体嘲笑——这就是从相互知识到共有知识的相变。^1

沉默即信息：泥巴孩子与蓝眼岛民

两个经典逻辑谜题把"共有知识如何逐轮建立"变成可计算的模型。^1

• 泥巴孩子谜题：$n$ 个孩子中 $k$ 个额头有泥（$k>1$），互相看得见别人看不见自己、禁止交流。父亲公告"你们中至少有一人有泥"，再反复问"你知道自己有泥吗"。看似废话的公告至关重要——它把"至少一人有泥"从相互知识提升为共有知识的归纳基底。此后每一轮全体的"不知道"都在向系统广播信息：第一轮沉默排除 $k=1$，第二轮排除 $k=2$……到第 $k$ 轮，$k$ 个泥孩子同时喊"我知道"。沉默本身就是信息——孩子们不是观察到新的物理现象，而是通过"他人无法行动"来更新高阶信念，每一秒沉默都在剔除一个可能世界。
• 蓝眼岛民谜题：结构相同但更戏剧化。100 个蓝眼人各自看得见 99 个蓝眼人，"至少有一个蓝眼人"人人皆知，可外来者当众说出这句"废话"后，第 100 天所有蓝眼人集体离岛。菲尔兹奖得主陶哲轩（Terence Tao）的解析指出：公告之前，知识链条在延伸到第 99/100 阶时会断裂；公告把它设为无限阶共有知识，提供了 $k=1$ 的归纳基底，从而启动了逻辑的时钟。前 99 天的"无事发生"是震耳欲聋的信号。

graph LR
    A["物理事实<br/>都看见 P"] -->|"每个人都知道 P"| B[相互知识 E¹]
    B -->|"公共事件<br/>喊破/公告/钟声"| C["共有知识 C<br/>无限阶递归锁死"]
    C -->|"沉默均衡瓦解"| D[集体行动·相变]
    B -.->|"链条在高阶断裂"| E[多元无知·沉默]

人脑如何逼近无限：递归心智化的天花板

共有知识虽是理论黄金标准，但人脑处理递归的能力有限。这就是递归心智化（Recursive Mentalizing）：多数人只能轻松处理到三、四阶信念（我知道你知道我知道你知道），再往上认知负荷就过重。^1

那我们如何在现实中达成共有知识？答案是外部化的公共事件——广场的钟声、会议室的公开宣布、那个孩子的叫声。我们不需要在脑中模拟无限层级，只需要一个共同参照点，它充当无限递归的简写符号（Token），让所有人默认"现在就是共有知识状态"。眼神交流被认知心理学家史蒂芬·平克（Steven Pinker）称为"共有知识的瞬间生成器"：狭窄人行道上两个陌生人对视一眼，就在那一刻完成了"我知道你看到了我、你知道我看到了你……"的无限链接，从而无需语言就协调出谁往左谁往右。^1

严格的共有知识真的存在吗：帆船悖论

哈维·莱德曼（Harvey Lederman）的帆船悖论给出了哲学拷问：两人在岸边看一根 300 厘米高的桅杆，都清楚看到它"肯定超过 100 厘米"。但人类视觉有 $\pm10$ 厘米的容差，且我知道你也有容差，我还知道"你知道我有容差"。这层微小的感知容差（Grain of Tolerance）经过无限次相互迭代后像滚雪球一样放大不确定性——在链条末端，我甚至无法排除"你认为我认为你认为……它小于 100 厘米"。^1

结论令人不安：基于感官的严格共有知识几乎无法在物理世界达成。社会真正依赖的是共有信念（Common Belief）或近似共有知识——听到钟声时我们不做无限推理，而是采取捷径"预设大家都听到了"并据此行动。这个预设逻辑上不严密，却是我们拥有的最有效的社会粘合剂，也是一个天然的协调博弈与谢林点。

意义与延伸

理解这道分野，就理解了信息爆炸时代的一个悖论：我们获取公共信息的成本前所未有地低（全世界瞬间看到同一条新闻），但建立共有知识却越来越难——算法过滤泡与回音室让每个人生活在信息孤岛里，我们越来越少看到"确信别人也看到了"的共同风景。这一分野是理解协调博弈与谢林点（如何主动制造共有知识）、全球博弈与共识的脆弱性（共有知识如何引发银行挤兑）与反身性与二阶混沌（预期如何自我实现）的认识论地基。

它也与频道"能知/所知"母题相通：共有知识追问的不是"事实是什么"，而是"我们对彼此心智的表征能递归到多深"——最高级的社会智慧，往往不是知道真相，而是知道如何管理那一连串无限回响的"我知道你知道"。