Author | Kenneth Arrow |
---|---|
Country | United States of America |
Language | English |
Subject | Social choice theory |
Published |
|
ISBN | 0300179316 (3rd edition) |
Kenneth Arrow's monograph Social Choice and Individual Values (1951, 2nd ed., 1963, 3rd ed., 2012) and a theorem within it created modern social choice theory, a rigorous melding of social ethics and voting theory with an economic flavor. Somewhat formally, the "social choice" in the title refers to Arrow's representation of how social values from the set of individual orderings would be implemented under the constitution. Less formally, each social choice corresponds to the feasible set of laws passed by a "vote" (the set of orderings) under the constitution even if not every individual voted in favor of all the laws.
The work culminated in what Arrow called the "General Possibility Theorem," better known thereafter as Arrow's (impossibility) theorem. The theorem states that, absent restrictions on either individual preferences or neutrality of the constitution to feasible alternatives, there exists no social choice rule that satisfies a set of plausible requirements. The result generalizes the voting paradox, which shows that majority voting may fail to yield a stable outcome.
The Introduction contrasts voting and markets with dictatorship and social convention (such as those in a religious code). Both exemplify social decisions. Voting and markets facilitate social choice in a sense, whereas dictatorship and convention limit it. The former amalgamate possibly differing tastes to make a social choice. The concern is with formal aspects of generalizing such choices. In this respect it is comparable to analysis of the voting paradox from use of majority rule as a value.
In the simplest case of the voting paradox, there are 3 candidates, A, B, and C, and 3 voters with preferences listed in decreasing order as follows.
By majority rule for 2-candidate votes, A beats B, B beats C, but C beats A. Majority rule works for an individual selecting consistently among the 3 candidates but not necessarily for the "social choice" in any general sense. |
Arrow asks whether other methods of taste aggregation (whether by voting or markets), using other values, remedy the problem or are satisfactory in other ways. Here logical consistency is one check on acceptability of all the values. To answer the questions, Arrow proposes removing the distinction between voting and markets in favor of a more general category of collective social choice.
The analysis uses ordinal rankings of individual choice to represent behavioral patterns. Cardinal measures of individual utility and, a fortiori, interpersonal comparisons of utility are avoided on grounds that such measures are unnecessary to represent behavior and depend on mutually incompatible value judgments (p. 9).
Following Abram Bergson, whose formulation of a social welfare function launched ordinalist welfare economics, [1] Arrow avoids locating a social good as independent of individual values. Rather, social values inhere in actions from social-decision rules (hypostatized as constitutional conditions) using individual values as input. Then 'social values' means "nothing more than social choices" (p. 106).
Topics implicated along the way include game theory, the compensation principle in welfare economics, extended sympathy, Leibniz's principle of the identity of indiscernibles, logrolling, and similarity of social judgments through single-peaked preferences, Kant's categorical imperative, or the decision process.
The book defines a few terms and logical symbols used thereafter and their applied empirical interpretation (pp. 11–19, 23). Key among these is the "vote" ('set of orderings') of the society (more generally "collectivity") composed of individuals (“voters” here) in the following form:
Example: Three voters {1,2,3} and three states {x,y,z}. Given the three states, there are 13 logically possible orderings (allowing for ties).* Since each of the individuals may hold any of the orderings, there are 13*13*13 = 2197 possible "votes" (sets of orderings). A well-defined social-decision rule selects the social state (or states, in case of tie) corresponding to each of these "votes." * Namely, from highest to lowest ranked for each triplet and with 'T's indexing ties:
|
The ordering of each voter ranks social states, including the distribution of commodities (possibly based on equity, by whatever metric, or any other consideration), not merely direct consumption by that voter. So, the ordering is an "individual value," not merely, as in earlier analysis, a purely private "taste." Arrow notes that the distinction is not sharp. Resource allocation is specified in the production of each social state in the ordering.
The comprehensive nature of commodities, the set of social states, and the set of orderings was noted by early reviewers.
The two properties that define any ordering of the set of objects in question (all social states here) are:
A standard indifference-curve map for an individual has these properties and so is an ordering. Each ray from the origin ranks (conceivable) commodity bundles from least preferred on up (no ties in the ranking). Each indifference curve ranks commodity bundles as equally preferred (all ties in the ranking). |
The earlier definition of an ordering implies that any given ordering entails one of three responses on the "ballot" as between any pair of social states (x, y): better than, as good as, or worse than (in preference ranking). (Here "as good as" is an "equally-ranked," not a "don't know," relation.)
The denotations of these three "ballot" options are respectively:
It is convenient for deriving implications to compact the first two of these options on the ballot to one, an "at least as good as" relation, denoted R:
The above two properties of an ordering are then axiomatized as: connectedness: For all (the objects of choice in the set) x and y, either x R y or y R x. transitivity: For all x, y, and z, x R y and y R z imply x R z. Thus, alternation ('or') and conjunction ('and') of R relations represent both the properties of an ordering for all the objects of choice. The I and P relations are then defined as: x I y: x R y and y R x (x as good as y means x at least as good as y and vice versa). x P y: not y R x (y R x includes one of two options. Negating that option leaves only x P y, the third of the original three options, on the ballot.) From this, conjunction ('and') and negation ('not') of mere pairwise R relations can (also) represent all the properties of an ordering for all the objects of choice. Hence, the following shorthand. |
An ordering of a voter is denoted by R. That ordering of voter i is denoted with a subscript as .
If voter i changes orderings, primes distinguish the first and second, say compared to ' . The same notation can apply for two different hypothetical orderings of the same voter.
The interest of the book is in amalgamating sets of orderings. This is accomplished through a 'constitution'.
A social ordering of a constitution is denoted R. (Context or a subscript distinguishes a voter ordering R from the same symbol for a social ordering.)
For any two social states x and y of a given social ordering R:
x P y is "social preference" of x over y (x is selected over y by the rule).
x I y is "social indifference" between x and y (both are ranked the same by the rule).
x R y is either "social preference" of x over y or "social indifference" between x and y (x is ranked least as good as y by the rule).
A social ordering applies to each ordering in the set of orderings (hence the "social" part and the associated amalgamation). This is so regardless of (dis)similarity between the social ordering and any or all the orderings in the set. But Arrow places the constitution in the context of ordinalist welfare economics, which attempts to aggregate different tastes in a coherent, plausible way.
The social ordering for a given set of orderings as to the set of social states is analogous to an indifference-curve map for an individual as to the set of commodity bundles. There is no necessary interpretation from this that "society" is just a big voter. Still, the relation of a set of voter orderings to the outcome of the voting rule, whether a social ordering or not, is a focus of the book. |
Arrow (pp. 15, 26–28) shows how to go from the social ordering R for a given set of orderings to a particular 'social choice' by specifying:
The social ordering R then selects the top-ranked social state(s) from the subset as the social choice set.
This is a generalization from consumer demand theory with perfect competition on the buyer's side. S corresponds to the set of commodity bundles on or inside the budget constraint for an individual. The consumer's top choice is at the highest indifference curve on the budget constraint. |
Less informally, the social choice function is the function mapping each environment S of available social states (at least two) for any given set of orderings (and corresponding social ordering R) to the social choice set, the set of social states each element of which is top-ranked (by R) for that environment and that set of orderings.
The social choice function is denoted C(S). Consider an environment that has just two social states, x and y: C(S) = C([x, y]). Suppose x is the only top-ranked social state. Then C([x, y]) = {x}, the social choice set. If x and y are instead tied, C([x, y]) = {x, y}. Formally (p. 15), C(S) is the set of all x in S such that, for all y in S, x R y ("x is at least as good as y").
The next section invokes the following. Let R and R' stand for social orderings of the constitution corresponding to any 2 sets of orderings. If R and R' for the same environment S map to the same social choice(s), the relation of the identical social choices for R and R' is represented as: C(S) = C'(S).
A constitution might seem to be a promising alternative to dictatorship and vote-immune social convention or external control. Arrow describes the connectedness of a social ordering as requiring only that some social choice be made from any environment of available social states. Since some social state will prevail, this is hard to deny (especially with no place on the ballot for abstention). The transitivity of a social ordering has an advantage over requiring unanimity (or much less) to change between social states if there is a maladapted status quo (that is, one subject to "democratic paralysis"). Absent deadlock, transitivity crowds out any reference to the status quo as a privileged default blocking the path to a social choice (p. 120).
Arrow proposes the following "apparently reasonable" conditions to constrain the social ordering(s) of the constitution (pp. 25, 96-97). [2]
Each voter is permitted by the constitution to rank the set of social states in any order, though with only one ordering per voter for a given set of orderings.
Arrow refers to a constitution satisfying this condition as collective rationality. It can be compared to the rationality of a voter ordering. But the prescription of collective rationality, which Arrow proposes, is distinct from the descriptive use of a voter ordering, which he deploys. Hence, his denial at the end of the book that collective rationality is "merely an illegitimate transfer from the individual to society." (p. 120) |
Condition I: Let , ..., and ' , ..., ' be 2 sets of orderings in the constitution. Let S be any subset of hypothetically available social states from the set of social states. For each voter i and for each pair of x and y in S, let x y if and only if x ' y. Then the social choice functions for the 2 respective sets of orderings map to an identical social choice set: C(S) = C'(S). |
This identical mapping happens even with differences in rankings of any voter between the two sets of orderings outside that subset of social states. Consider a hypothetical “run-off vote” between say only 2 available social states. The social choice is associated with the sets of rankings for that subset, not with rankings of unavailable social states beyond the subset. Thus, that social choice for the subset is unaffected by say a change in orderings only beyond the subset. |
Arrow describes this condition as an extension of ordinalism with its emphasis on prospectively observable behavior (for the subset in question). He ascribes practical advantage to the condition from "every known electoral system" satisfying it (p. 110).
Condition P: For any x and y in the set of social states, if, for every voter i, x y, then x P y. |
As Sen suggests, [3] Pareto unanimity (with universal domain) overrides any social convention selecting some social state. |
The conditions, particularly the second and third, may seem minimal, but jointly they are harsh, as may be represented in either of two ways.
An alternate statement of the theorem adds the following condition to the above:
Condition D: There is no voter i in {1, ..., n} such that for every set of orderings in the domain of the constitution and every pair of social states x and y, x y implies x P y. |
Each voter has an ordering (by attribution). Yet a set of orderings used as an argument of the voting rule does not carry over to a social ordering, with a corresponding loss of social adaptivity and constitutional generality, whether descriptive or prescriptive. |
# Pareto is stronger than necessary in the proof of the theorem that follows above. But it is invoked in Arrow (1963, ch. VIII) for a simpler proof than in Arrow (1951). In the latter, Arrow uses 2 other conditions, that with (2) above imply Pareto (1963, p. 97; 1987, p. 127):
Arrow (1951, p. 26) describes social welfare here as at least not negatively related to individual preferences.
Under imposition, for every set of orderings in the domain, the social ranking for at least one x and y is only x R y. The vote makes no difference to the outcome.
For the special case of all preferring y over x, the vote still makes no difference. If the invariant social ranking applies to only one pair of distinct social states, the constitution would violate N. In this respect, as a representation of excluding convention, N is thorough. |
The proof is in two parts (Arrow, 1963, pp. 97–100). The first part considers the hypothetical case of some one voter's ordering that prevails ('is decisive') as to the social choice for some pair of social states no matter what that voter's preference for the pair, despite all other voters opposing. It is shown that, for a constitution satisfying Unrestricted Domain, Pareto and Independence, that voter's ordering would prevail for every pair of social states, no matter what the orderings of others. So, the voter would be a Dictator. Thus, Nondictatorship requires postulating that no one would so prevail for even one pair of social states.
The second part considers more generally a set of voters that would prevail for some pair of social states, despite all other voters (if any) preferring otherwise. Pareto and Unrestricted Domain for a constitution imply that such a set would at least include the entire set of voters. By Nondictatorship, the set must have at least 2 voters. Among all such sets, postulate a set such that no other set is smaller. Such a set can be constructed with Unrestricted Domain and an adaptation of the voting paradox to imply a still smaller set. This contradicts the postulate and so proves the theorem.
The book proposes some apparently reasonable conditions for a "voting" rule, in particular, a 'constitution', to make consistent, feasible social choices in a welfarist context. But then any constitution that allows dictatorship requires it, and any constitution that requires nondictatorship contradicts one of the other conditions. Hence, the paradox of social choice.
The set of conditions across different possible votes refined welfare economics and differentiated Arrow's constitution from the pre-Arrow social welfare function . In so doing, it also ruled out any one consistent social ordering to which an agent or official might appeal in trying to implement social welfare through the votes of others under the constitution. [5] The result generalizes and deepens the voting paradox to any voting rule satisfying the conditions, however complex or comprehensive.
The 1963 edition includes an additional chapter with a simpler proof of Arrow's Theorem and corrects an earlier point noted by Blau. [6] It also elaborates on advantages of the conditions and cites studies of Riker [7] and Dahl [8] that as an empirical matter intransitivity of the voting mechanism may produce unsatisfactory inaction or majority opposition. These support Arrow's characterization of a constitution across possible votes (that is, collective rationality) as "an important attribute of a genuinely democratic system capable of full adaptation to varying environments" (p. 120).
The theorem might seem to have unravelled a skein of behavior-based social-ethical theory from Adam Smith and Bentham on. But Arrow himself expresses hope at the end of his Nobel prize lecture that, though the philosophical and distributive implications of the paradox of social choice were "still not clear," others would "take this paradox as a challenge rather than as a discouraging barrier."
The large subsequent literature has included reformulation to extend, weaken, or replace the conditions and derive implications. In this respect Arrow's framework has been an instrument for generalizing voting theory and critically evaluating and broadening economic policy and social choice theory.
The Condorcet paradox in social choice theory is a situation noted by the Marquis de Condorcet in the late 18th century, in which collective preferences can be cyclic, even if the preferences of individual voters are not cyclic. This is paradoxical, because it means that majority wishes can be in conflict with each other: Suppose majorities prefer, for example, candidate A over B, B over C, and yet C over A. When this occurs, it is because the conflicting majorities are each made up of different groups of individuals.
Pareto efficiency or Pareto optimality is a situation where no action or allocation is available that makes one individual better off without making another worse off. The concept is named after Vilfredo Pareto (1848–1923), Italian civil engineer and economist, who used the concept in his studies of economic efficiency and income distribution. The following three concepts are closely related:
Arrow's impossibility theorem, the general possibility theorem or Arrow's paradox is an impossibility theorem in social choice theory that states that when voters have three or more distinct alternatives (options), no ranked voting electoral system can convert the ranked preferences of individuals into a community-wide ranking while also meeting the specified set of criteria: unrestricted domain, non-dictatorship, Pareto efficiency, and independence of irrelevant alternatives. The theorem is often cited in discussions of voting theory as it is further interpreted by the Gibbard–Satterthwaite theorem. The theorem is named after economist and Nobel laureate Kenneth Arrow, who demonstrated the theorem in his doctoral thesis and popularized it in his 1951 book Social Choice and Individual Values. The original paper was titled "A Difficulty in the Concept of Social Welfare".
In welfare economics and social choice theory, a social welfare function—also called a socialordering, ranking, utility, or choicefunction—is a function that ranks a set of social states by their desirability. A social welfare function takes two possible outcomes, then combines every person's preferences to determine which outcome is considered better by society as a whole. Inputs to the function can include any variables that affect the well-being of a society.
Independence of irrelevant alternatives (IIA), also known as binary independence or the independence axiom, is an axiom of decision theory and economics describing a necessary condition for rational behavior. The axiom says that adding "pointless" (rejected) options should not affect the outcome of a decision. This is sometimes explained with a short story by philosopher Sidney Morgenbesser:
Morgenbesser, ordering dessert, is told by a waitress that he can choose between blueberry or apple pie. He orders apple. Soon the waitress comes back and explains cherry pie is also an option. Morgenbesser replies "In that case, I'll have blueberry."
The Gibbard–Satterthwaite theorem is a theorem in voting theory. It was first conjectured by the philosopher Michael Dummett and the mathematician Robin Farquharson in 1961 and then proved independently by the philosopher Allan Gibbard in 1973 and economist Mark Satterthwaite in 1975. It deals with deterministic ordinal electoral systems that choose a single winner, and states that for every voting rule of this form, at least one of the following three things must hold:
Welfare economics is a field of economics that applies microeconomic techniques to evaluate the overall well-being (welfare) of a society. This evaluation is typically done at the economy-wide level, and attempts to assess the distribution of resources and opportunities among members of society.
In mathematical economics, the Arrow–Debreu model is a theoretical general equilibrium model. It posits that under certain economic assumptions there must be a set of prices such that aggregate supplies will equal aggregate demands for every commodity in the economy.
The liberal paradox, also Sen paradox or Sen's paradox, is a logical paradox proposed by Amartya Sen which shows that no means of aggregating individual preferences into a single, social choice, can simultaneously fulfill the following, seemingly mild conditions:
There are two fundamental theorems of welfare economics. The first states that in economic equilibrium, a set of complete markets, with complete information, and in perfect competition, will be Pareto optimal. The requirements for perfect competition are these:
Social choice theory or social choice is a branch of economics that analyzes mechanisms and procedures for collective decisions. Social choice incorporates insights from welfare economics, mathematics, and political science to find the best ways to combine individual opinions, preferences, or beliefs into a single coherent measure of well-being.
In social choice theory, a dictatorship mechanism is a rule by which, among all possible alternatives, the results of voting mirror a single pre-determined person's preferences, without consideration of the other voters. Dictatorship by itself is not considered a good mechanism in practice, but it is theoretically important: by Arrow's impossibility theorem, when there are at least three alternatives, dictatorship is the only ranked voting electoral system that satisfies unrestricted domain, Pareto efficiency, and independence of irrelevant alternatives. Similarly, by Gibbard's theorem, when there are at least three alternatives, dictatorship is the only strategyproof rule.
In social choice theory, unrestricted domain, or universality, is a property of social welfare functions in which all preferences of all voters are allowed. Intuitively, unrestricted domain is a common requirement for social choice functions, and is a condition for Arrow's impossibility theorem.
In economics, and in other social sciences, preference refers to an order by which an agent, while in search of an "optimal choice", ranks alternatives based on their respective utility. Preferences are evaluations that concern matters of value, in relation to practical reasoning. Individual preferences are determined by taste, need, ..., as opposed to price, availability or personal income. Classical economics assumes that people act in their best (rational) interest. In this context, rationality would dictate that, when given a choice, an individual will select an option that maximizes their self-interest. But preferences are not always transitive, both because real humans are far from always being rational and because in some situations preferences can form cycles, in which case there exists no well-defined optimal choice. An example of this is Efron dice.
In cooperative game theory and social choice theory, the Nakamura number measures the degree of rationality of preference aggregation rules, such as voting rules. It is an indicator of the extent to which an aggregation rule can yield well-defined choices.
In social choice and operations research, the utilitarian rule is a rule saying that, among all possible alternatives, society should pick the alternative which maximizes the sum of the utilities of all individuals in society. It is a formal mathematical representation of the utilitarian philosophy, and is often justified by reference to Harsanyi's utilitarian theorem or the Von Neumann–Morgenstern theorem.
Maximal lotteries refers to a probabilistic voting system first considered by the French mathematician and social scientist Germain Kreweras in 1965. The method uses preferential ballots and returns so-called maximal lotteries, i.e., probability distributions over the alternatives that are weakly preferred to any other probability distribution. Maximal lotteries satisfy the Condorcet criterion, the Smith criterion, polynomial runtime, and probabilistic versions of reinforcement, participation, and independence of clones.
Efficiency and fairness are two major goals of welfare economics. Given a set of resources and a set of agents, the goal is to divide the resources among the agents in a way that is both Pareto efficient (PE) and envy-free (EF). The goal was first defined by David Schmeidler and Menahem Yaari. Later, the existence of such allocations has been proved under various conditions.
In theoretical economics, an abstract economy is a model that generalizes both the standard model of an exchange economy in microeconomics, and the standard model of a game in game theory. An equilibrium in an abstract economy generalizes both a Walrasian equilibrium in microeconomics, and a Nash equilibrium in game-theory.
A jury theorem is a mathematical theorem proving that, under certain assumptions, a decision attained using majority voting in a large group is more likely to be correct than a decision attained by a single expert. It serves as a formal argument for the idea of wisdom of the crowd, for decision of questions of fact by jury trial, and for democracy in general.