破除误解：阿罗证明的不是"民主不可能"
阿罗不可能定理大概是被引用得最多、也被误解得最深的经济学结果之一。
最常见的误读是："阿罗证明了民主是不可能的"或"所有投票制度都是坏的"。这是危险的曲解。阿罗本人是坚定的民主信奉者，他证明的也远不是这个意思。
阿罗的定理是一个逻辑不可能性结果：当有三个或更多选项时，不存在任何一种把每个人的偏好排序"加总"成社会整体排序的方法，能够同时满足四条看起来都很温和、很合理的条件。
注意"同时"二字。定理没有否定民主，它否定的是"完美聚合"——那种既能反映所有人意志、又永远逻辑自洽、还公平无偏的理想机制。它逼我们直面一个比"哪种投票制度最好"更深的问题：把一群人的偏好"加总"成"社会的偏好"，这件事本身在逻辑上就有内在张力。社会偏好不是个人偏好的简单算术和。
还有一个关键限定常被略过：阿罗的不可能性只在选项有三个或更多时才出现。若只在两个选项之间抉择，麻烦根本不存在。1952 年肯尼斯·梅（Kenneth May）证明的"梅定理"指出，对两个选项而言，简单多数决是唯一同时满足匿名性（每张票等值）、中立性（两个选项被对称对待）与正响应性（某人改投 A 只会让结果更倾向 A）的规则。
换句话说，"一人一票、少数服从多数"在二选一时是数学上无可挑剔的。困难是从第三个选项进门那一刻才一起进来的——这也是为什么"两害相权取其轻"的公投往往干净利落，而多人初选总是乱成一团。
这个结论一点都不悲观——恰恰相反，它是社会选择理论这门学科的奠基石，告诉我们任何制度设计都必须在几个好东西之间做取舍，而不能幻想全都要。
核心机制：四条公理，与它们无法共存的命运
阿罗 1951 年在博士论文《社会选择与个人价值》（Social Choice and Individual Values）里，把"理想的投票/聚合机制"应满足的性质提炼成几条公理。我们要找的是一个"社会福利函数"——它吃进每个人对所有选项的完整排序，吐出一个社会的整体排序（要求这个社会排序是完备的、传递的）。这样的函数应当满足：
1. 无限制域（Unrestricted Domain）：不管个人持有什么样的偏好排序，机制都得能处理，不能事先把某些人的意见排除在外。
2. 帕累托原则（Pareto Efficiency）：如果所有人都认为 A 比 B 好，那社会排序也必须把 A 排在 B 前面。这是最低限度的一致性。
3. 无关选项独立性（Independence of Irrelevant Alternatives, IIA）：社会在 A 和 B 之间如何排序，只应取决于每个人对 A 和 B 的相对偏好，而与第三个选项 C 的存在或位置无关。
4. 非独裁性（Non-Dictatorship）：不存在某一个人，使得社会排序永远等于他个人的排序——不管其他所有人怎么想。
阿罗证明的是：当选项不少于三个时，前三条公理合在一起，会逻辑地推出第四条的反面——必然存在一个独裁者。 反过来说，你要想避免独裁，就必须放弃前三条中的至少一条。
这里值得补一段它自己的曲折历史。阿罗 1951 年最初给出的表述其实有一处技术瑕疵——1957 年布劳（Julian Blau）指出了它，阿罗在 1963 年第二版里重新表述并补正了证明，今天教科书上那套"四公理"的标准形式，正是这个修订版定下来的。
学界对这项工作的分量毫不含糊。1972 年，阿罗因在一般均衡与福利经济学上的贡献（社会选择理论正属其中）与约翰·希克斯（John Hicks）共获诺贝尔经济学奖，时年 51 岁，是当时最年轻的经济学奖得主。
这件事的直觉根源，早在 1785 年就被孔多塞（Condorcet）发现了，这就是著名的"投票悖论"。设想三个人对 A、B、C 三个选项的偏好是：
- 甲：A > B > C
- 乙：B > C > A
- 丙：C > A > B
用两两多数表决：A 对 B，甲丙支持 A，多数选 A；B 对 C，甲乙支持 B，多数选 B；C 对 A，乙丙支持 C，多数选 C。于是社会"觉得"A 优于 B、B 优于 C、C 又优于 A——出现了循环！理性的个体偏好加总后，社会偏好却失去了传递性。阿罗的伟大，在于他证明这不是多数表决的偶然毛病，而是任何聚合机制都逃不掉的结构性命运。
孔多塞并非孤军奋战。早他十几年，另一位法兰西科学院院士博尔达（Jean-Charles de Borda）就在 1770 年提出了一套给排序打分再加总的"博尔达计数法"（1781 年发表，科学院自 1784 年起用它来选举院士）。孔多塞 1785 年那本《分析方法应用于多数决策概率之研究》（Essai...），部分正是冲着博尔达的方法而来。两人的分歧——究竟该看谁能在两两对决中全胜，还是看谁的总分排名最高——直到今天仍是投票理论两大流派的源头。
那么这种循环到底有多常见？在"无差异文化"（impartial culture，即假设每个选民等概率地随机持有任何一种排序）这一最坏情形模型下，三个候选人、选民数趋于无穷时，出现孔多塞循环的概率约为 8.8%，而且候选人越多概率越高。但这只是上界——真实选民的偏好远非随机，往往沿某条共同维度聚集，所以现实里能被证实的循环要罕见得多。这恰恰预示了后文要讲的"单峰偏好"那条出路。
不只是阿罗：森的自由悖论与吉巴德-萨特斯韦特定理
社会选择理论并非到阿罗为止，后续的不可能性结果同样深刻。
阿马蒂亚·森（Amartya Sen）在 1970 年提出了"帕累托自由悖论"（the impossibility of a Paretian liberal）。他证明：哪怕只给每个人对"纯属个人私事"的一丁点最小自由权利（比如"我有权决定自己墙上挂什么画"），这点自由也可能与帕累托原则发生冲突，导致无法形成一致的社会选择。森用这个结果尖锐地指出：自由与效率之间存在着比人们想象的更深的紧张关系，福利经济学不能只盯着效率而无视权利。
另一个里程碑是吉巴德-萨特斯韦特定理（Gibbard-Satterthwaite theorem，1973）。它把问题从"偏好聚合"转到"策略操纵"上：任何非独裁、且至少有三个可能结果的投票机制，都必然是可被策略性操纵的——总会有某种情形，让某个选民通过谎报自己的真实偏好而得到更好的结果。这就是为什么现实中的投票里总有"弃保"、"战略投票"。这个定理也直接催生了机制设计这门学科：既然防不住操纵，那能不能设计规则，让"说真话"恰好成为每个人的最优策略？
争议与前沿：是死胡同，还是路标？
阿罗定理常被悲观地解读为"集体决策的诅咒"，但更成熟的理解把它看作路标，指明了出路在哪。
出路之一是放松无限制域。 邓肯·布莱克（Duncan Black）的"中位数选民定理"指出：如果选民的偏好是"单峰"的（比如所有人都能在一条左-右政治光谱上排序），孔多塞循环就消失了，多数表决会选出中位数选民最偏好的方案。现实政治中很多议题确实近似单峰，这部分解释了为什么民主决策并没有像定理暗示的那样陷入彻底混乱。
出路之二是放松 IIA，引入偏好的强度信息。 阿罗的框架只用"排序"信息（A 比 B 好），刻意丢弃了"好多少"。但范围投票（range voting）、多数判断（majority judgment）等机制允许选民表达强度，从而绕开阿罗的某些限制——代价是引入了人际效用比较这个老大难问题。
这些不是黑板上的玄学。2009 年美国佛蒙特州伯灵顿（Burlington）市长选举采用"即时决选制"（IRV，让选民对候选人排序、逐轮淘汰最弱者），就上演了一出活生生的悖论。
民主党人蒙特罗尔（Andy Montroll）在与每一位对手的两两对决中都获多数——是不折不扣的孔多塞赢家——却因首选票在三名主要候选人中最少，在最后的决选轮被淘汰，最终由进步党的现任市长基斯（Bob Kiss）当选。这种"温和中间派反被挤掉"的现象叫"中间挤压"（center squeeze），本质上正是一种孔多塞失败。一年后，伯灵顿选民以 52% 对 48% 公投废除了 IRV。一个 18 世纪的数学悖论，就这样实打实地改写了一座城市的选举规则。
社会选择理论在 21 世纪并未过时，反而焕发新生。在人工智能对齐（AI alignment）领域，如何把多个人类的、彼此冲突的反馈聚合成 AI 应当追求的"社会偏好"，正是一个不折不扣的阿罗式问题。2024 年，孔尼策（Vincent Conitzer）、罗素（Stuart Russell）等十余位学者在机器学习顶会 ICML 上联名发表立场文章，明确主张：在处理人类多元、冲突的反馈时（典型如 RLHF，即"基于人类反馈的强化学习"），社会选择理论应当成为 AI 对齐的指导框架。在区块链治理、平台内容推荐的多目标排序里，阿罗的幽灵也同样无处不在。一个 1951 年关于投票的纯数学结果，竟成了理解 21 世纪算法治理的钥匙。
跨域连接
- 哥德尔不完备定理：两者形式相同——从一组各自温和的条件出发，推出它们不可共存。推论：定理否掉的是"全都要"，不是民主本身；正确的读法是逐条计算放弃哪一条代价最小，而不是把不可能性当成对制度的判决。
- 公投与直接民主：只有两个选项时，简单多数决在匿名性、中立性与正响应性下是唯一解，所以公投干净利落。推论：麻烦是从第三个选项进门那一刻开始的，可以按选项数分层检验决策的不稳定性；这也提示议程设置权本身就是权力。
- AI 对齐哲学：把多个人彼此冲突的反馈聚合成"应当追求的偏好"，是一个不折不扣的聚合问题。推论：不同聚合规则给出不同的社会偏好，因此对齐目标不是被发现的，而是被规则选定的，规则的选择必须公开可辩，否则聚合规则会以技术细节的形式偷偷做规范决定。
- 政治极化心理学：出路之一是偏好单峰——若所有人能被排在一条共同维度上，循环就消失。推论：极化若把单一维度撕成多维，循环空间反而扩大，于是议题维度数与决策不稳定性应正相关，这是可用真实投票数据检验的。
- 肯尼斯·阿罗：证明是一步步逼出一个决定性集合，最后收缩到单个人——独裁不是结论的修辞，而是推导的落点。推论：想避开它只能放宽某条条件，而每种放宽都对应一族现实存在的机制——允许强度信息就走向计分制，限制偏好形态就走向中位数选民。
参考文献
- Arrow, K. J. (1951, 2nd ed. 1963). Social Choice and Individual Values. Cowles Foundation Monograph 12, Yale University Press.
- May, K. O. (1952). "A Set of Independent Necessary and Sufficient Conditions for Simple Majority Decision." Econometrica, 20(4), 680–684.
- Sen, A. (1970). "The Impossibility of a Paretian Liberal." Journal of Political Economy, 78(1), 152–157. DOI: 10.1086/259614
- Gibbard, A. (1973). "Manipulation of Voting Schemes: A General Result." Econometrica, 41(4), 587–601. DOI: 10.2307/1914083
- McLean, I. & Urken, A. B. (eds.) (1995). Classics of Social Choice. University of Michigan Press.（收录博尔达 1784、孔多塞 1785 等原始文献）
- Gehrlein, W. V. (2006). Condorcet's Paradox. Theory and Decision Library C, Vol. 40. Springer.（系统梳理孔多塞循环在各类模型下的发生概率）
- Sen, A. (2017). Collective Choice and Social Welfare (Expanded Edition). Harvard University Press.
- Conitzer, V., et al. (2024). "Position: Social Choice Should Guide AI Alignment in Dealing with Diverse Human Feedback." Proceedings of the 41st International Conference on Machine Learning (ICML), PMLR 235, 9346–9360. arXiv:2404.10271
延伸阅读
- 斯坦福哲学百科全书 "Arrow's Theorem" 条目，对公理与证明思路有清晰的非技术性梳理。
- Maskin, E. & Sen, A. (2014). The Arrow Impossibility Theorem. Columbia University Press.（两位诺奖得主对定理意义的对话录）