Arrow's impossibility theorem : Arrow's paradox

In voting systems, Arrow's impossibility theorem, or Arrow's paradox demonstrates the impossibility of designing rules for social decision making that obey a number of 'reasonable' criteria.

The theorem is due to the Bank of Sweden ('Nobel') Prize winning economist Kenneth Arrow, who proved it in his PhD thesis and popularized it in his 1951 book Social Choice and Individual Values.

The theorem's content, somewhat simplified, is as follows. A society needs to agree on a preference order among several different options. Each individual in the society has his or her own personal preference order. The problem is to find a general mechanism, called a social choice function, which transforms the set of preference orders, one for each individual, into a global societal preference order. This social choice function should have several desirable properties:

• universality: the social choice function should create a complete societal preference order from every possible set of individual preference orders.
• positive association of social and individual values (monotonicity): if an individual modifies his or her preference order by promoting a certain option, then the societal preference order should change only by (possibly) promoting that same option.
• independence of irrelevant alternatives: if we restrict attention to a subset of options, and apply the social choice function only to those, then the result should be compatible with the outcome for the whole set of options.
• citizen sovereignty: every possible societal preference order should be achievable by some set of individual prereference orders.
• non-dictatorship: the social choice function should not simply follow the preference order of a single individual while ignoring all others.

Arrow's theorem says that such a social choice function doesn't exist if the number of options is at least 3 and the society has at least 2 members.

With a narrower definition of "irrelevant alternatives" which excludes those candidates in the Smith set, Condorcet's method meets all the criteria.

See also: Voting paradox

External links

• A quick overview of Arrow's impossibility theorem (http://www.csc.vill.edu/faculty/bartlow/html/mat1220/arrowthm.html)
• A lecture on Arrow's impossibility theorem (http://www.cs.byu.edu/info/mikeg/CS501R/lectures/Arrow.html)
• Three Brief Proofs of Arrow's Impossibility Theorem (http://ideas.uqam.ca/ideas/data/Papers/cwlcwldpp1123R.html)
• A Pedagogical Proof Of Arrow's Impossibility Theorem (http://citeseer.nj.nec.com/dardanoni99pedagogical.html)
• Discussion of Arrow's Theorem and Condorcet's method (http://www.electionmethods.org/Arrow.htm)

Common misspelling and questions (FAQ)

rrow's-paradox  arow's-paradox  arow's-paradox  arrw's-paradox  arro's-paradox  arrows-paradox  arrow'-paradox  arrow'sparadox  arrow's-aradox  arrow's-pradox  arrow's-paadox  arrow's-pardox  arrow's-paraox  arrow's-paradx  arrow's-parado  rarow's-paradox  arrow's-paradox  arorw's-paradox  arrwo's-paradox  arro'ws-paradox  arrows'-paradox  arrow'-sparadox  arrow'sp-aradox  arrow's-apradox  arrow's-praadox  arrow's-paardox  arrow's-pardaox  arrow's-paraodx  arrow's-paradxo  arrow's-parado  aarrow's-paradox  arrrow's-paradox  arrrow's-paradox  arroow's-paradox  arroww's-paradox  arrow''s-paradox  arrow'ss-paradox  arrow's--paradox  arrow's-pparadox  arrow's-paaradox  arrow's-parradox  arrow's-paraadox  arrow's-paraddox  arrow's-paradoox  arrow's-paradoxx  qrrow's-paradox  wrrow's-paradox  zrrow's-paradox  wrrow's-paradox  srrow's-paradox  zrrow's-paradox  a4row's-paradox  aerow's-paradox  adrow's-paradox  a5row's-paradox  afrow's-paradox  a5row's-paradox  atrow's-paradox  afrow's-paradox  ar4ow's-paradox  areow's-paradox  ardow's-paradox  ar5ow's-paradox  arfow's-paradox  ar5ow's-paradox  artow's-paradox  arfow's-paradox  arr9w's-paradox  arriw's-paradox  arrkw's-paradox  arr0w's-paradox  arrlw's-paradox  arr0w's-paradox  arrpw's-paradox  arrlw's-paradox  arro2's-paradox  arroq's-paradox  arroa's-paradox  arro3's-paradox  arros's-paradox  arro3's-paradox  arroe's-paradox  arros's-paradox  arrow[s-paradox  arrow;s-paradox  arrow/s-paradox  arrow]s-paradox  arrow'w-paradox  arrow'a-paradox  arrow'z-paradox  arrow'e-paradox  arrow'x-paradox  arrow'e-paradox  arrow'd-paradox  arrow'x-paradox  arrow's0paradox  arrow'spparadox  arrow's[paradox  arrow's-0aradox  arrow's-oaradox  arrow's-laradox  arrow's--aradox  arrow's-;aradox  arrow's--aradox  arrow's-[aradox  arrow's-;aradox  arrow's-pqradox  arrow's-pwradox  arrow's-pzradox  arrow's-pwradox  arrow's-psradox  arrow's-pzradox  arrow's-pa4adox  arrow's-paeadox  arrow's-padadox  arrow's-pa5adox  arrow's-pafadox  arrow's-pa5adox  arrow's-patadox  arrow's-pafadox  arrow's-parqdox  arrow's-parwdox  arrow's-parzdox  arrow's-parwdox  arrow's-parsdox  arrow's-parzdox  arrow's-paraeox  arrow's-parasox  arrow's-paraxox  arrow's-pararox  arrow's-paracox  arrow's-pararox  arrow's-parafox  arrow's-paracox  arrow's-parad9x  arrow's-paradix  arrow's-paradkx  arrow's-parad0x  arrow's-paradlx  arrow's-parad0x  arrow's-paradpx  arrow's-paradlx  arrow's-parados  arrow's-paradoz  arrow's-paradod  arrow's-paradod  arrow's-paradoc  arrows-paradox  arrow's-paradoxs 


Hart will answer or forward your message. We would prefer to send you information by email. Example command-line FTP session: ftp ftp.ibiblio.org password: your@login cd etext90 through etext99 or etext00 through etext02, etc. get or mget [to get files. . .set bin for zip files] GET GUTINDEX.ALL [to get a listing of ALL books] (Three Pages) ***START**THE SMALL PRINT!**FOR PUBLIC DOMAIN ETEXTS**START*** They tell us you might sue us if there is something wrong with someone other than us, and even if what's wrong is not our disclaims most of our liability to you. It also tells you how By using or reading any part of this PROJECT GUTENBERG-tm this "Small Print!" statement. If you do not, you can.