The model-theoretic approach to aggregation: Impossibility results for finite and infinite electorates

It is well known that the literature on judgement aggregation inherits the impossibility results from the aggregation of preferences that it generalises. This is due to the fact that the typical judgement aggregation problem induces an ultrafilter on the set of individuals. We propose a model-theoretic framework for the analysis of judgement aggregation and show that the conditions typically imposed on aggregators induce an ultrafilter on the set of individuals, thus establishing a generalised version of the Kirman–Sondermann correspondence. In the finite case, dictatorship then immediately follows from the principality of an ultrafilter on a finite set. This is not the case for an infinite set of individuals, where there exist free ultrafilters, as Fishburn already stressed in 1970. Following Lauwers and Van Liedekerke’s (1995) seminal paper, we investigate another source of impossibility results for free ultrafilters: the domain of an ultraproduct over a free ultrafilter extends the individual factor domains, such that the preservation of the truth value of some sentences by the aggregate model–if this is as usual to be restricted to the original domain–may again require the exclusion of free ultrafilters, leading to dictatorship once again.

[1]  J. Bell,et al.  Models and ultraproducts , 1971 .

[2]  Christian List,et al.  Propositionwise judgment aggregation: the general case , 2013, Soc. Choice Welf..

[3]  Marc Pauly,et al.  Logical Constraints on Judgement Aggregation , 2006, J. Philos. Log..

[4]  Christian List,et al.  Arrow’s theorem in judgment aggregation , 2005, Soc. Choice Welf..

[5]  Dieter Sondermann,et al.  Arrow's theorem, many agents, and invisible dictators☆ , 1972 .

[6]  P. Fishburn,et al.  Algebraic aggregation theory , 1986 .

[7]  F. Dietrich,et al.  Propositionwise judgment aggregation , 2009 .

[8]  Ulrich Endriss,et al.  First-Order Logic Formalisation of Arrow's Theorem , 2009, LORI.

[9]  C. List,et al.  Judgment aggregation: A survey , 2009 .

[10]  Wilfrid Hodges,et al.  Building Models by Games , 1985 .

[11]  John L. Bell,et al.  Models and Ultraproducts: An Introduction. , 1969 .

[12]  Robert B. Wilson.  On the theory of aggregation , 1975 .

[13]  Peter C. Fishburn,et al.  Arrow's impossibility theorem: Concise proof and infinite voters , 1970 .

[14]  Daniel Eckert,et al.  Impossibility Results for Infinite-Electorate Abstract Aggregation Rules , 2012, J. Philos. Log..

[15]  Christian List,et al.  Introduction to Judgment Aggregation , 2010, J. Econ. Theory.

[16]  Ariel Rubinstein,et al.  The Single Profile Analogues to Multi Profile Theorems: Mathematical Logic's Approach , 1984 .

[17]  Clemens Puppe,et al.  The Handbook of Rational and Social Choice - an overview of new foundations and applications , 2009, The Handbook of Rational and Social Choice.

[18]  Luc Lauwers,et al.  Ultraproducts and aggregation , 1995 .

[19]  Donald E. Campbell,et al.  Intergenerational social choice without the Pareto principle , 1990 .