Kenneth Arrow identified four conditions that a rule aggregating individual preference orderings into a collective ranking might reasonably be required to satisfy. Arrow proved that, when there are at least three alternatives, no aggregation rule can satisfy all four conditions simultaneously while producing a complete and transitive social preference ordering. This result is known as Arrow's impossibility theorem.
Click any condition below to drop it and see the consequence.
Why this matters for democratic theory: Arrow's theorem does not say democracy is impossible — it says every collective procedure embeds a value choice. Any claim to represent “the will of all” conceals which fairness condition has been sacrificed. The question is not whether to sacrifice a condition, but which one.
Taking Arrow's conditions of unanimity and independence from irrelevant alternatives as given, his theorem reveals an institutional trilemma: any decision-making procedure can possess at most two of three desirable attributes. You must always choose a side of the triangle — and sacrifice the opposite vertex. Click any vertex or side to explore what is gained and what is lost.
Click a vertex or side of the triangle
Each vertex is a desirable property. Each side of the triangle is a feasible institutional design — but it requires sacrificing the opposite vertex.
Source
Clark, W. R., Golder, M., & Golder, S. N. (2013). Principles of Comparative Politics (2nd ed.). CQ Press. Chapter 11: Problems with Group Decision Making, pp. 442–444.
May's Theorem — Kenneth May, 1952
A procedure over any pair of alternatives satisfies U, A, N, and M if and only if it is simple majority rule.
This is a uniqueness result: the four conditions jointly characterise simple majority rule and no other procedure. It is not merely a defence of majority rule, but a precise axiomatic identification of it. The normative implication is precise: any procedure for choosing between two alternatives that differs from majority rule violates at least one of the four conditions — and May's Theorem identifies which.
The four conditions — click to explore each, including real-world cases
Select a condition to see its definition, when it is violated, and when it is satisfied.
May's Corollary — MMR inherits Arrow's vulnerability
Each of May's conditions logically implies one of Arrow's. MMR therefore satisfies Arrow's conditions and is subject to Arrow's impossibility result.
May
→
Arrow
A — Anonymity
→
D — Non-Dictatorship
N — Neutrality
→
I — Independence of Irrelevant Alternatives
M — Monotonicity
→
P — Unanimity / Pareto
Why A → D? If the outcome were always determined by one individual's preferences, the group preference would depend on who holds which ordering — violating Anonymity. A procedure satisfying Anonymity must therefore be non-dictatorial.
The chain of reasoning
MMR ↔ {U, A, N, M}May's Theorem
{U, A, N, M} → {U, P, I, D}May's Corollary
{U, P, I, D} → cycles possibleArrow's Theorem
Therefore: MMR cannot guarantee transitive group preferences when there are three or more alternatives. When individual preferences produce a Condorcet cycle, majority rule yields no transitive group ordering — a result that follows directly from the conditions MMR satisfies.
Source
Shepsle, K. A. (2010). Analyzing Politics: Rationality, Behavior, and Institutions (2nd ed.). W. W. Norton. Chapter 4: Group Choice and Majority Rule, pp. 76–84.