Abstract
Arrow’s axiomatic foundation of social choice theory can be understood as an application of Tarski’s methodology of the deductive sciences—which is closely related to the latter’s foundational contribution to model theory. In this note we show in a model-theoretic framework how Arrow’s use of von Neumann and Morgenstern’s concept of winning coalitions allows to exploit the algebraic structures involved in preference aggregation; this approach entails an alternative indirect ultrafilter proof for Arrow’s dictatorship result. This link also connects Arrow’s seminal result to key developments and concepts in the history of model theory, notably ultraproducts and preservation results.
Similar content being viewed by others
References
Arrow, K.J., Social choice and individual values. 2nd ed. Cowles Commission Monograph. 12. New York, NY: Wiley, 1963.
Arrow, K.J., Collected Papers of K.J. Arrow: Social Choice and Justice. The Belknap Press of Harvard University Press, 1983.
Arrow, K.J., The origins of the impossibility theorem. in J.K. Lenstra, A.H.G. Rinnooy Kan, and A. Schrijver, (eds.), History of Mathematical Programming, Elsevier, 1991, pp. 1–4.
Black, D., On the rationale of group decision-making. Journal of Political Economy 56(1):23–34, 1948.
Blau, J.H., The existence of social welfare functions. Econometrica 25(2):302–313, 1957.
Blaug, M., On the historiography of economics. Journal of the History of Economic Thought 12(1):27–37, 1990.
Blaug, M., The formalist revolution of the 1950s. in W.J. Samuels, J.E. Biddle, and J.B. Davis, (eds.), A companion to the History of Economic Thought, Blackwell, 2007, pp. 394–410.
Bloomfield, S.D., A social choice interpretation of the Von Neumann-Morgenstern Game. Econometrica 44(1):105–114, 1976.
Brown, D.J., Collective rationality. Technical report, Cowles Foundation for Research in Economics, 1975.
Campbell, D., and J. Kelly, Impossibility theorems in the arrovian framework, in K.J. Arrow, A. Sen, and K. Suzumura, (eds.), Handbook of Social Choice and Welfare, volume 1, chapter 1, Amsterdam: North-Holland, 2002, pp. 35–94.
Chang, C.C., and H. J. Keisler, Model Theory. Amsterdam: North-Holland, 1990.
Dietrich, F., and C. List, Arrow’s theorem in judgment aggregation. Social Choice and Welfare 29:19–33, 2007.
Eckert, D., and F. Herzberg, The problem of judgment aggregation in the framework of boolean-valued models, in N. Bulling, L. van der Torre, S. Villata, W. Jamroga, and W. Vasconcelos, (eds.), Computational Logic in Multi-Agent Systems. CLIMA XV, August 2014, Proceedings, volume 8624 of Lecture Notes in Computer Science, 2014, pp. 138–147.
Endriss, U., Judgment aggregation, in F. Brandt, V. Conitzer, U. Endriss, J. Lang, and A.D. Procaccia, (eds.), Handbook of Computational Social Choice, Cambridge University Press, 2016, pp. 399–426.
Fishburn, P.C., Arrow’s impossibility theorem: concise proof and infinite voters. Journal of Economic Theory 2(1):103–106, 1970.
Hansson, B., The existence of group preference functions. Public Choice 38(1):98–98, 1976.
Herzberg, F., and D. Eckert, The model-theoretic approach to aggregation: Impossibility results for finite and infinite electorates. Mathematical Social Sciences 64:41–47, 2012.
Hodges, W., Model Theory, volume 42 of Encyclopedia of mathematics and its applications. Cambridge University Press, 1993.
Hodges, W., Model theory. Technical report, Queen Mary, University of London, July 2000. http://wilfridhodges.co.uk/history07.pdf.
Kelly, J.S., An interview with Kenneth J. Arrow. Social Choice and Welfare 4:43–62, 1987.
Kirman, A.P., and D. Sondermann, Arrow’s theorem, many agents, and invisible dictators. Journal of Economic Theory 5(2):267–277, 1972.
Lakatos, I., History of science and its rational reconstructions, in J. Worral and G. Currie, (eds.), The methodology of scientific research programmes, volume 1, chapter 2, Cambridge University Press, 1978, pp. 102–138.
Lauwers, L., and L. Van Liedekerke, Ultraproducts and aggregation. Journal of Mathematical Economics 24(3):217–237, 1995.
List, C., and B. Polak, Introduction to judgment aggregation. Journal of Economic Theory 145(2):441–466, 2010.
List, C., and C. Puppe, Judgment aggregation: A survey, in P. Anand, P.K. Pattanaik, and C. Puppe, (eds.), The Handbook of Rational and Social Choice: An Overview of New Foundations and Applications, Oxford University Press, 2009, pp. 457–482.
Łoś, J., Quelques remarques, théorèmes et problèmes sur les classes définissables d’algèbres, in Th. Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, H. Wang, L. Henkin, and J. Łoś, (eds.), Mathematical interpretation of formal systems, volume 16 of Studies in Logic and the Foundations of Mathematics, Amsterdam: North-Holland, 1955, pp. 98–113.
Menger, K., Moral, Wille und Weltgestaltung. Grundlegung zur Logik der Sitten. Springer, 1934.
Menger, K., Ein Satz über endliche Mengen mit Anwendungen auf die formale Ethik (77. Kolloquium, 30.V.1934), in E. Dierker and K. Sigmund, (eds.), Ergebnisse eines Mathematischen Kolloquiums, Vienna: Springer, 1998, pp. 23–26.
Mongin, P., The doctrinal paradox, the discursive dilemma, and logical aggregation theory. Theory and Decision 73(3):315–355, 2012.
Morgenstern, O., Logistik und Sozialwissenschaften. Zeitschrift für Nationalökonomie 7(1):1–24, 1936.
Mossel, A., and O. Tamuz, Complete characterization of functions satisfying the conditions of Arrow’s theorem. Social Choice and Welfare 39(1):127–140, 2012.
Neumann, J.v., and O. Morgenstern, Theory of Games and Economic Behavior. Princeton University Press, 1944.
Pigozzi, G., and D. Grossi, Judgment Aggregation: A Primer. Morgan & Claypool Publishers, 2014.
Siegesleitner, A., and H. Leitgeb, Mengers Logik für Ethik und Moral: Nichts von Sollen, nichts von Güte, nichts von Sinnlosigkeit, in Logischer Empirismus, Werte und Moral, volume 15 of Veröffentlichungen des Instituts Wiener Kreis, Vienna: Springer, 2010, pp. 197–218.
Simmons, K., Tarski’s logic, in D.M. Gabbay and J. Woods, (eds.), Handbook of the History of Logic, volume 5, Elsevier, 2009, pp. 511–616.
Skala, H.J., Arrow’s impossibility theorem: Some new aspects, in H. Gottinger and W. Leinfellner, (eds.), Decision theory and social ethics. Dordrecht: Reidel, 1978.
Stigum, B.P., Toward a Formal Science of Economics: The Axiomatic Method in Economics and Econometrics. The MIT Press, 1990.
Suppes, P., The pre-history of Kenneth Arrow’s social choice and individual values. Social Choice and Welfare 25(2-3):319–326, 2005.
Suzumura, K., Introduction, in K. Arrow, A. Sen, and K. Suzumura, (eds.), Handbook of Social Choice and Welfare volume 1, Elsevier, 2002, pp. 1–32.
Tarski, A., Introduction to Logic and the Methodology of the Deductive Sciences. Oxford University Press, 1941.
Waterman, A.M.C., Mathematical modelling as an exegetical tool: Rational reconstruction, in W.J. Samuels, J.E. Biddle, and J.B. Davis, (eds.), A companion to the History of Economic Thought, Blackwell, 2007, pp. 553–570.
Wilson, R., The Game-Theoretic Structure of Arrow’s General Possibility Theorem. Journal of Economic Theory 5:14–20, 1972.
Author information
Authors and Affiliations
Corresponding author
Additional information
Special Issue: Logics for Social Behaviour.
Edited by Alessandra Palmigiano and Marcus Pivato
Rights and permissions
About this article
Cite this article
Eckert, D., Herzberg, F.S. The Birth of Social Choice Theory from the Spirit of Mathematical Logic: Arrow’s Theorem in the Framework of Model Theory. Stud Logica 106, 893–911 (2018). https://doi.org/10.1007/s11225-018-9794-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-018-9794-8