The Birth of Social Choice Theory from the Spirit of Mathematical Logic: Arrow's Theorem in the Framework of Model Theory
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.
Eckert, D. und Herzberg, F. S. (2018): The Birth of Social Choice Theory from the Spirit of Mathematical Logic: Arrow’s Theorem in the Framework of Model Theory, in: Studia Logica, pp. 1-19, doi: doi.org/10.1007/s11225-018-9794-8 [23.3.2018].
Weitere Publikationen finden Sie hier.