5.1 1951年：阿羅不可能定理——民主數學的極限#

1. 問題：社會偏好存在嗎？#

第 1 章建立了個人偏好的數學（效用函數），第 2 章處理策略互動，但一個更根本的問題懸而未決：

社會（選民、委員會、國家）也有「偏好」嗎？它能否由個人偏好合理地加總而成？

投票是最直接的加總機制，但十八世紀的 Borda 與 Condorcet 已發現麻煩。孔多塞悖論（1785）：三位選民、三個方案，多數決會產生循環——

兩兩多數決： \(A\) 勝 \(B\) 、 \(B\) 勝 \(C\) 、 \(C\) 勝 \(A\) ——社會偏好不具傳遞性！而傳遞性正是 1.3 節理性偏好的最低要求。因此「多數決」可能沒有任何「社會理性」可言。

戰後的規範問題更迫切：社會福利函數（Bergson–Samuelson, 1938）需要「由個人效用造出社會效用」的數學基礎，福利經濟學與社會主義計算論戰都懸在此處。Kenneth Arrow 問：有沒有任何加總規則能避開孔多塞悖論？

Arrow (1951)《Social Choice and Individual Values》以公理化形式提問。設社會選擇規則 \(f\) 將每組個人偏好序 \((\succsim_1,\dots,\succsim_n)\) 映到社會偏好序 \(\succsim\) ，要求滿足：

無限制域（U）：任何邏輯可能的個人偏好組合都允許；
Pareto 原則（P）：若所有人都偏好 \(A\) 勝 \(B\) ，社會必須偏好 \(A\) 勝 \(B\) ；
無關選項獨立性（IIA）：社會對 \(A\) vs. \(B\) 的排序只取決於個人對 \(A\) vs. \(B\) 的排序（與 \(C\) 無關）；
非獨裁（D）：不存在某人，其偏好永遠決定社會偏好。

阿羅不可能定理：當 \(|X| \ge 3\) ，滿足 U、P、IIA 的社會選擇規則必然是獨裁的。

證明核心是「決定性集合的傳染」（pivotal voter / field expansion argument）：由 Pareto 原則出發，全體是決定性的；透過 IIA 把決定性範圍逐步收縮到單一選民，最後證明此人獨裁。

graph TD
    A[U 無限制域] --> F[f 存在?]
    B[P Pareto 原則] --> F
    C[IIA 無關選項獨立] --> F
    D[D 非獨裁] --> F
    F --> X[|X| >= 3 時矛盾]
    X --> Y[必然獨裁]

同一時代的 Duncan Black (1948) 提供了正面結果：單峰偏好（single-peaked preferences）下中位數選民定理成立——若偏好在一維上單峰，多數決傳遞且結果 = 中位數選民的最愛。不可能性有邊界，邊界即結構。

社會選擇理論成為學科：Sen 的自由悖論、Gibbard–Satterthwaite 定理（1973/75：任何非獨裁投票規則皆可被策略性操縱）延續此公理化路線；Arrow 與 Sen 分獲 1972、1998 諾獎。
福利經濟學的重構：「社會福利函數」被承認是價值判斷而非科學事實；社會正義的討論轉向公理化（Sen 的能力取向、Rawls 與 Harsanyi 的辯論）。
政治學的數學化：中位數選民模型（Downs 1957）、投票悖論、操縱與策略投票成為實證政治學的標準工具。
民主理論的哲学震撼：民主的正當性不能建立在「投票 = 發現共同意志」上（盧梭的「公意」被數學否證）；民主價值必須另尋基礎（程序、審議、信息加總）。

不可能定理沒有終結民主，反而逼出整個「如何設計更好的加總機制」的研究綱領：

放寬公理：放棄 U（限制偏好域：單峰、單配對等，實證發現某些選舉結構自然近似單峰）或放棄 IIA（Borda 計數等計分規則的重新評價）；
改變任務：不求「社會排序」，只求「選出一個贏家」——催生 5.2 節的機制設計：既然完美的加總不存在，就在特定問題上設計「誘因相容」的機制；
計算視角：操縱一場選舉的計算複雜度（NP-hard 結果）成為「保護民主的新數學圍牆」——不可能性被計算複雜度部分「拯救」，直接通往 5.3 節。