Logo Logo
Switch Language to German
Eckert, Daniel; Herzberg, Frederik 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, Vol. 106, No. 5: pp. 893-911
Full text not available from 'Open Access LMU'.


Arrow's axiomatic foundation of social choice theory can be understood as an application of Tarski's methodology of the deductive scienceswhich 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.