Proof
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.
Read more about this topic: Social Choice And Individual Values
Famous quotes containing the word proof:
“The source of Pyrrhonism comes from failing to distinguish between a demonstration, a proof and a probability. A demonstration supposes that the contradictory idea is impossible; a proof of fact is where all the reasons lead to belief, without there being any pretext for doubt; a probability is where the reasons for belief are stronger than those for doubting.”
—Andrew Michael Ramsay (1686–1743)
“If we view our children as stupid, naughty, disturbed, or guilty of their misdeeds, they will learn to behold themselves as foolish, faulty, or shameful specimens of humanity. They will regard us as judges from whom they wish to hide, and they will interpret everything we say as further proof of their unworthiness. If we view them as innocent, or at least merely ignorant, they will gain understanding from their experiences, and they will continue to regard us as wise partners.”
—Polly Berrien Berends (20th century)
“He who has never failed somewhere, that man can not be great. Failure is the true test of greatness. And if it be said, that continual success is a proof that a man wisely knows his powers,—it is only to be added, that, in that case, he knows them to be small.”
—Herman Melville (1819–1891)