impossibility of a Paretian liberal

impossibility of a Paretian liberal. This fundamental result in social choice theory, introduced by economist and philosopher Amartya Sen in his 1970 paper, demonstrates a logical conflict between two widely held principles of social organization. It shows that no social decision function can simultaneously satisfy a minimal condition of individual liberty and the Pareto principle, a cornerstone of welfare economics, while also meeting basic requirements of collective rationality. The theorem, often called the liberal paradox, has profound implications for political philosophy, the design of voting systems, and the foundations of rights-based liberalism.

Statement of the theorem

The theorem posits an impossibility: there exists no social choice rule that can generate a consistent social preference ordering for every possible configuration of individual preferences while respecting three specific conditions. These conditions are the Pareto principle, a condition of minimal liberalism, and the requirement of an unrestricted domain. The Pareto principle, named for Vilfredo Pareto, states that if every individual in a society prefers one alternative to another, then the social preference must reflect that unanimous ranking. The minimal liberalism condition asserts that for at least two individuals, there exists at least one pair of alternatives—a personal sphere—over which that individual is decisive, meaning their strict preference dictates the social preference. The theorem concludes that these seemingly mild and desirable principles are logically incompatible.

Formal definitions and framework

Sen's framework builds upon the formal apparatus of Arrow's impossibility theorem, utilizing the concepts of a set of individuals, a set of social alternatives, and individual preference orderings. A social choice function or social welfare function is a rule that aggregates these individual orderings into a social preference or choice. The condition of unrestricted domain, also central to Kenneth Arrow's work, requires the rule to work for any logically possible set of individual preferences. The minimal liberalism condition is formalized by assigning to at least two individuals a "decisive set" over at least one pair of distinct alternatives. An individual is decisive over a pair (x, y) if, whenever they prefer x to y, society must prefer x to y, regardless of others' preferences. This captures a very thin notion of a personal right.

Examples and interpretations

The classic illustration, presented by Sen, involves two individuals, Lewd and Prude, and a copy of a controversial book like Lady Chatterley's Lover. The alternatives are: Lewd reads it (L), Prude reads it (P), or no one reads it (N). Prude prefers N over P over L, wishing no one reads it but would rather read it himself than have Lewd corrupted. Lewd, mischievously, prefers P over L over N; he most wants Prude to be scandalized. Applying minimal liberalism, Lewd should be decisive over (L, N)—whether he reads or not—and Prude decisive over (P, N). Lewd's preference for L over N makes society prefer L to N. Prude's preference for N over P makes society prefer N to P. By transitivity, society should prefer L to P. Yet, both individuals prefer P to L, violating the Pareto principle. This simple thought experiment powerfully demonstrates the clash.

Implications and related results

The theorem challenged the coherence of classical liberalism by suggesting that even minimal individual rights could conflict with the goal of Pareto efficiency. It sparked extensive research into the formal analysis of rights, leading to concepts like game forms and effectivity functions as alternative representations of rights, notably advanced by theorists such as Robert Nozick and Wulf Gaertner. It relates closely to other impossibility results in social choice, including Gibbard's theorem on strategy-proofness and the earlier Condorcet paradox. The finding also influenced debates in political philosophy, particularly between libertarian and consequentialist frameworks, and prompted analysis of how rights might be structured to avoid such paradoxes, for instance through constitutional constraints or domain restrictions.

Criticisms and extensions

Critics have questioned the formulation of rights within the theorem. Robert Nozick, in Anarchy, State, and Utopia, argued that rights should be modeled as constraints on action rather than as determining social preference, rendering Sen's framework a misrepresentation. Others, like James Buchanan, contended that the paradox arises from trying to resolve all social choices through a single collective decision rule, ignoring market processes and decentralized negotiation. Numerous extensions have been explored, including weakening the liberalism condition, restricting the domain of preferences (e.g., to "meddlesome" preferences), or incorporating notions of compensation and waivable rights. Subsequent work by Allan Gibbard, Peter Gardenfors, and Kotaro Suzumura has refined the analysis, exploring different formulations of liberty and their compatibility with other social choice axioms. Category:Social choice theory Category:Economic theorems Category:Welfare economics Category:Paradoxes