awesome-thought-experiments

Arrow’s Impossibility Theorem

Category: society-and-justice
Type: model
Associated thinker(s): Kenneth Arrow
Original publication or approximate period: Arrow, Social Choice and Individual Values (1951)
Difficulty: Advanced
Themes: voting, social choice, fairness
Related experiments: The Condorcet Paradox; The Veil of Ignorance and Original Position

1. The Scenario

Suppose a group must turn each person’s ranking of three or more options into a social ranking. Arrow studies a social welfare function that must produce a coherent group ordering for every admissible profile of individual preferences. His theorem considers five conditions:

  1. Unrestricted Domain: the rule accepts every possible profile of individual rankings.
  2. Social Ordering: the rule returns a complete and transitive social ranking.
  3. Weak Pareto: if everyone strictly prefers one option to another, the social ranking does too.
  4. Independence of Irrelevant Alternatives: the social ranking of two options depends only on how individuals rank those two options.
  5. Nondictatorship: no single person’s strict preference over every pair always becomes the social ranking, whatever the others prefer.

2. The Central Question

Can one rule combine individual rankings into a social ordering while satisfying all five conditions?

3. Why It Matters

Arrow’s theorem says that, with at least three alternatives, no social welfare function can satisfy all five conditions at once. The result is about a rule that must work across possible preference profiles, not just the outcome of one particular vote.

The theorem shows that these requirements are jointly incompatible under its assumptions. It does not say voting is useless or that every practical method gives up the same thing; deciding which condition to relax depends on the purpose and design of the rule.

4. Major Interpretations

One debate concerns what the theorem means for democracy. Morreau contrasts Riker’s interpretation—that the result undermines the idea of government by the people’s will—with the view that aggregation procedures need not satisfy every one of Arrow’s conditions. The conditions are not all value-neutral; the acceptability of requirements such as Independence of Irrelevant Alternatives remains debated.

Some approaches restrict the allowed preference profiles; others relax a condition such as independence. Using scores or cardinal utility information changes the information available to the rule and therefore changes the model. It is not, by itself, a blanket escape from every social-choice impossibility.

5. Common Misunderstandings

The theorem is about a social welfare function across preference profiles. A practical voting rule can be modeled that way, but a single election outcome alone is not what the theorem evaluates. It does not prove democracy impossible. Arrow’s result assumes ordinal rankings; adding intensity or interpersonal comparisons changes the assumptions and requires a separate analysis.

6. Think for Yourself

  1. Which of Arrow’s conditions would you give up?
  2. Is independence of irrelevant alternatives really a requirement of fairness?
  3. Would a rule that uses ratings rather than rankings escape the result?
  4. Does the theorem show that a group has no will of its own?

7. Variations and Extensions

Gibbard–Satterthwaite is a related but distinct theorem about strategic voting. It concerns a different set of assumptions and should not be merged with Arrow’s result.

9. Further Reading

10. Sources and Attribution

Relevant sections of the cited SEP entry were read for the model, five conditions, theorem, interpretations, and alternative frameworks. Arrow’s book was checked through an excerpt and bibliographic records, but the full work and proof were not read. The article therefore relies on the SEP for the detailed formal statement and does not claim independent verification of the proof or expert review.

Research check: 2026-11-01. Claim-level evidence and access limits are recorded in the source-review ledger.

Return to collection