Draft:Harsanyi's utilitarian theorem
In social choice theory and ethics, Harsanyi's utilitarian theorems are a set of closely-related results showing that under certain conditions, the only coherent social choice function is given by the utilitarian rule.[1] The theorem was first proven by John Harsanyi in 1955 and has important implications for political, moral, and economic philosophy, as well as electoral systems and welfare economics.
The theorem states that any social choice function is given by a weighted sum of individual utility functions, so long as the social choice function satisfies three conditions:[1]
- Social rationality—the social choice function satisfies von Neumann-Morgenstern rationality (or equivalently, philosophical coherence).
- Individual rationality—individual preferences (i.e. measures of well-being) satisfy the von Neumann-Morgenstern axioms.[note 1]
- Pareto efficiency (unanimity)—if the entire population prefers A to B, the social choice function will prefer A to B. In other words, if an action would hurt someone but help no one, the social choice function will reject it.
The theorem implies that if society and individuals behave rationally and consistently under uncertainty, and society respects individual preferences, then society must adopt a utilitarian rule for social decision making.
Mathematical statement
[edit]Let be a finite set of individuals, and let be a set of social states. A social welfare function is a function , where is the set of all probability distributions over . A utility function for individual is a function . We say that satisfies the Pareto criterion if for any , whenever for all .
Harsanyi's utilitarian theorem states that if and for all are von Neumann-Morgenstern expected utility functions, and if satisfies the Pareto condition, then there exist constants such that
for all . Moreover, the constants are unique up to a positive affine transformation.
Open questions and criticisms
[edit]Harsanyi argued his theorems successfully demonstrated that any meaningful theory of morality must be utilitarian,[2] a position disputed by other philosophers and economists[3][4]. While Harsanyi's theorem is successful in establishing that under reasonable assumptions, the social utility function must be a linear combination of individual utilities, it is much more difficult to say whether or not it establishes utilitarianism as philosophers commonly understand the phrase, assuming this is a well-defined notion.[5] Hilary Greaves refers to the theorem as only being successful in establishing that rational morality must be "a" utilitarianism, rather than "the" utilitarianism.
Choice of individual utility functions
[edit]Amartya Sen notes that the nature of the individual utility functions is not completely clear.[4] While Harsanyi first connected the [clarification needed] to the VNM utility function implied by revealed preferences, and this is a natural choice for motivating preference utilitarianism, the behavior of individual the Allais paradox
Interpersonal comparison
[edit]Even assuming a single measure of objective "individual utility" were to exist, Harsanyi's theorem leaves the choice of weights undefined, unless paired with additional assumptions—in other words, Harsanyi's theorem fails to establish a way to perform interpersonal comparisons of utility [2].
Generalizations
[edit]Harsanyi's theorem can be generalized to cases of utility functions where .
(3) Harsanyi's 'Utilitarian Theorem' and Utilitarianism - JSTOR. https://www.jstor.org/stable/3506225. (4) Harsanyi’s Utilitarian Theorem: A Simpler Proof and Some Ethical .... https://link.springer.com/chapter/10.1007/978-3-662-09664-2_17. (5) Harsanyi’s utilitarianism via linear programming. http://personal.rhul.ac.uk/uhte/035/Harsanyi%20utilitarianism%20Economics%20Letters%20revised%20proofs.pdf.
References:
¹: Harsanyi, J. C. (1955). Cardinal welfare, individualistic ethics, and interpersonal comparisons of utility. Journal of Political Economy, 63(4), 309-321. ²: Hammond, P. J. (1991). Harsanyi's utilitarian theorem: A simpler proof and some ethical connotations. In M. J. Holler (Ed.), Power, voting, and voting power (pp. 247-266). Physica-Verlag. ³: Sen, A. K. (1977). Social choice theory: A re-examination. Econometrica, 45(1), 53-88. ⁴: Risse, M. (2002). Harsanyi's 'utilitarian theorem' and utilitarianism. Noûs, 36(4), 550-577.
Source: Conversation with Bing, 1/27/2024 (1) (2) Harsanyi's 'Utilitarian Theorem' and Utilitarianism - JSTOR. https://www.jstor.org/stable/3506225. (3) Harsanyi’s Utilitarian Theorem: A Simpler Proof and Some Ethical .... https://bing.com/search?q=Harsanyi%27s+utilitarian+theorem. (4) Harsanyi’s Utilitarian Theorem: A Simpler Proof and Some Ethical .... https://link.springer.com/chapter/10.1007/978-3-662-09664-2_17. (5) Harsanyi’s utilitarianism via linear programming. http://personal.rhul.ac.uk/uhte/035/Harsanyi%20utilitarianism%20Economics%20Letters%20revised%20proofs.pdf.
Notes
[edit]- ^ Note that this only requires some kind of personal well-being function that satisfies the rationality axioms; it is not necessary for individual behavior to be rational, unless we wish to invoke revealed preference theories as a basis for measuring individual utility.
References
[edit]- ^ a b Hammond, Peter J. (1992), Selten, Reinhard (ed.), "Harsanyi's Utilitarian Theorem: A Simpler Proof and Some Ethical Connotations", Rational Interaction: Essays in Honor of John C. Harsanyi, Berlin, Heidelberg: Springer, pp. 305–319, doi:10.1007/978-3-662-09664-2_17, ISBN 978-3-662-09664-2, retrieved 2024-01-28
- ^ a b Harsanyi, John C. (1979-09-01). "Bayesian decision theory, rule utilitarianism, and Arrow's impossibility theorem". Theory and Decision. 11 (3): 289–317. doi:10.1007/BF00126382. ISSN 1573-7187.
- ^ Weymark, John A. (1991-06-28), "A reconsideration of the Harsanyi–Sen debate on utilitarianism", Interpersonal Comparisons of Well-Being, Cambridge University Press, pp. 255–320, doi:10.1017/cbo9781139172387.009, ISBN 978-0-521-39274-7, retrieved 2024-01-28
- ^ a b Sen, Amartya (1977), Butts, Robert E.; Hintikka, Jaakko (eds.), "Non-Linear Social Welfare Functions: A Reply to Professor Harsanyi", Foundational Problems in the Special Sciences: Part Two of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975, The University of Western Ontario Series in Philosophy of Science, Dordrecht: Springer Netherlands, pp. 297–302, doi:10.1007/978-94-010-1141-9_19, ISBN 978-94-010-1141-9, retrieved 2024-01-28
- ^ Greaves, Hilary (June 2017). "A Reconsideration of the Harsanyi–Sen–Weymark Debate on Utilitarianism". Utilitas. 29 (2): 175–213. doi:10.1017/S0953820816000169. ISSN 0953-8208.