The wonder of impossibility — Condorcet, Arrow, and the limits of collective choice.
Play It
Characterization
A voting paradox is a situation in which a group of rational individuals, voting under apparently fair rules, produces a collective result that contradicts the preferences of every member. The first systematic treatment was given by the Marquis de Condorcet in 1785: three voters with the cyclic preferences A>B>C, B>C>A, C>A>B produce no Condorcet winner — every option loses pairwise to another. In 1951, the economist Kenneth Arrow proved a far stronger result: no ranked voting system can simultaneously satisfy a small set of intuitively desirable axioms (universality, non-dictatorship, independence of irrelevant alternatives, Pareto efficiency). Arrow’s impossibility theorem won him a share of the 1972 Nobel Memorial Prize in Economics. The wonder of voting paradoxes is the wonder of impossibility itself: the discovery that certain coherent-sounding requirements cannot be jointly met, and that democratic theory has had to live with this fact for seventy years. The Academy hosts the discipline as a meditation on how to choose under constraint — and on what the price of any voting rule actually is.
Lineage
Condorcet, Essai sur l’application de l’analyse à la probabilité des décisions rendues à la pluralité des voix (1785). Charles Dodgson (Lewis Carroll), A Method of Taking Votes on More Than Two Issues (1876). Duncan Black, The Theory of Committees and Elections (1958). Kenneth Arrow, Social Choice and Individual Values (1951; revised 1963). Allan Gibbard (1973) and Mark Satterthwaite (1975) on the impossibility of strategy-proofness. Donald Saari’s geometric voting theory; the continuing literature on ranked-choice and approval voting.
Quests
The Magus
Construct an example of a Condorcet cycle from a real or hypothetical election. Then propose the voting rule you believe best balances Arrow’s axioms, and justify your choice against at least one alternative (Borda count, instant-runoff, approval).
The Adventurer
Run a small ranked vote with at least five participants on a non-trivial question. Tally the result under three distinct voting rules (plurality, Borda, instant-runoff, approval — choose three) and observe whether they disagree.
The Sage
Explain Arrow’s impossibility theorem in plain English to someone with no economics background. State the axioms; show their joint impossibility by a small example; cite Arrow’s 1951 monograph and one secondary source.