The premiss-based approach to judgment aggregation

We investigate judgment aggregation by assuming that some formulas of the agenda are singled out as premises, and the Independence condition (formula-wise aggregation) holds for them, though perhaps not for others. Whether premise-based aggregation thus defined is non-degenerate depends on how premises are logically connected, both among themselves and with other formulas. We identify necessary and sufficient conditions for dictatorship or oligarchy on the premisses, and investigate when these results extend to the whole agenda. Our theorems recover or strengthen several existing ones and are formulated for infinite populations, an innovation of this paper.

[1]  Klaus Nehring,et al.  The (Im)Possibility of a Paretian Rational , 2005 .

[2]  Donald Nute,et al.  Counterfactuals , 1975, Notre Dame J. Formal Log..

[3]  P. Pettit.  Deliberative Democracy and the Discursive Dilemma , 2001 .

[4]  Klaus Nehring.  Oligarchies in Judgment Aggregation , 2006 .

[5]  Philippe Mongin,et al.  Strong Completeness Theorems for Weak Logics of Common Belief , 2003, J. Philos. Log..

[6]  Ron Holzman,et al.  Aggregation of binary evaluations with abstentions , 2010, J. Econ. Theory.

[7]  Klaus Nehring,et al.  Abstract Arrowian aggregation , 2010, J. Econ. Theory.

[8]  P. Gärdenfors.  A REPRESENTATION THEOREM FOR VOTING WITH LOGICAL CONSEQUENCES , 2006, Economics and Philosophy.

[9]  Aviad Heifetz,et al.  Probability Logic for Type Spaces , 2001, Games Econ. Behav..

[10]  Ron Holzman,et al.  Aggregation of binary evaluations , 2010, J. Econ. Theory.

[11]  J. Nash,et al.  A Context-Sensitive Voting Protocol Paradigm for Multimember Courts , 2003 .

[12]  Kenneth J. Arrow,et al.  Arrow’s Theorem , 2008 .

[13]  L. Kornhauser.  Modeling Collegial Courts. II. Legal Doctrine , 1992 .

[14]  Graham Priest,et al.  Paraconsistent Logic: Essays on the Inconsistent , 1990 .

[15]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[16]  Christian List,et al.  STRATEGY-PROOF JUDGMENT AGGREGATION* , 2005, Economics and Philosophy.

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

[18]  Anthony Hunter,et al.  Paraconsistent logics , 1998 .

[19]  Dietrich Franz,et al.  Judgment aggregation without full rationality , 2006 .

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

[21]  Klaus Nehring,et al.  Justifiable Group Choice , 2009 .

[22]  Lawrence G. Sager,et al.  The One and the Many: Adjudication in Collegial Courts , 1993 .

[23]  Franz Dietrich,et al.  The possibility of judgment aggregation on agendas with subjunctive implications , 2010, J. Econ. Theory.

[24]  C. List,et al.  Aggregating Sets of Judgments: An Impossibility Result , 2002, Economics and Philosophy.

[25]  Lawrence G. Sager,et al.  Unpacking the Court , 1986 .

[26]  Franz Dietrich,et al.  A generalised model of judgment aggregation , 2007, Soc. Choice Welf..

[27]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

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

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

[30]  Franz Dietrich,et al.  Judgment aggregation: (im)possibility theorems , 2006, J. Econ. Theory.

[31]  Martin van Hees,et al.  The limits of epistemic democracy , 2007, Soc. Choice Welf..

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

[33]  Philippe Mongin,et al.  The Premiss-Based Approach to Logical Aggregation , 2007 .

[34]  Christian List,et al.  The impossibility of unbiased judgment aggregation , 2005 .

[35]  Ron Holzman,et al.  Aggregation of binary evaluations for truth-functional agendas , 2009, Soc. Choice Welf..

[36]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[37]  Klaus Nehring,et al.  Consistent judgement aggregation: the truth-functional case , 2008, Soc. Choice Welf..

[38]  Philippe Mongin,et al.  Factoring out the impossibility of logical aggregation , 2008, J. Econ. Theory.