M. Balinski and R. Laraki, Majority Judgment: Measuring, Ranking, and Electing, 2010.
DOI : 10.7551/mitpress/9780262015134.001.0001

R. Bradley, ABSTRACT, Episteme, vol.1, issue.03, pp.141-155, 2006.
DOI : 10.1007/978-94-009-8520-9

B. Chapman, Rational Aggregation, Politics, Philosophy & Economics, vol.1, issue.3, pp.337-354, 2002.
DOI : 10.1177/1470594X02001003004

C. Claussen and O. Roisland, A quantitative discursive dilemma, Social Choice and Welfare, vol.38, issue.1, pp.49-64, 2010.
DOI : 10.1007/s00355-009-0428-y

F. Dietrich, Judgment aggregation: (im)possibility theorems, Journal of Economic Theory, vol.126, issue.1, pp.286-298, 2006.
DOI : 10.1016/j.jet.2004.10.002

F. Dietrich, Aggregation theory and the relevance of some issues to others, unpublished version, 2006, available at www.franzdietrich.net and as Meteor Research Memorandum RM, p.2

F. Dietrich, A generalised model of judgment aggregation, Social Choice and Welfare, vol.10, issue.1, pp.529-65, 2007.
DOI : 10.1007/s00355-006-0187-y

F. Dietrich, Scoring rules for judgment aggregation, Social Choice and Welfare, vol.48, issue.1, pp.873-911, 2014.
DOI : 10.1007/s00355-013-0757-8

URL : https://hal.archives-ouvertes.fr/halshs-00978027

F. Dietrich and C. List, Judgment Aggregation By Quota Rules: Majority Voting Generalized, Journal of Theoretical Politics, vol.19, issue.4, pp.391-424, 2007.
DOI : 10.1177/0951629807080775

F. Dietrich and C. List, Arrow???s theorem in judgment aggregation, Social Choice and Welfare, vol.10, issue.3, pp.19-33, 2007.
DOI : 10.1007/s00355-006-0196-x

F. Dietrich and C. List, Judgment aggregation without full rationality, Social Choice and Welfare, vol.10, issue.4, pp.15-39, 2008.
DOI : 10.1007/s00355-007-0260-1

F. Dietrich and C. List, The aggregation of propositional attitudes: towards a general theory, Oxford Studies in Epistemology, vol.3, pp.215-249, 2010.

F. Dietrich and C. List, Propositionwise judgment aggregation: the general case, Social Choice and Welfare, vol.38, issue.1, pp.1067-95, 2013.
DOI : 10.1007/s00355-012-0661-7

URL : https://hal.archives-ouvertes.fr/halshs-00978004

F. Dietrich and P. Mongin, The premiss-based approach to judgment aggregation, Journal of Economic Theory, vol.145, issue.2, pp.562-582, 2010.
DOI : 10.1016/j.jet.2010.01.011

URL : https://hal.archives-ouvertes.fr/hal-00528387

E. Dokow and R. Holzman, Aggregation of binary evaluations, Journal of Economic Theory, vol.145, issue.2, pp.495-511, 2010.
DOI : 10.1016/j.jet.2007.10.004

E. Dokow and R. Holzman, Aggregation of non-binary evaluations, Advances in Applied Mathematics, vol.45, issue.4, pp.487-504, 2010.
DOI : 10.1016/j.aam.2010.02.005

E. Dokow and R. Holzman, Aggregation of binary evaluations with abstentions, Journal of Economic Theory, vol.145, issue.2, pp.544-561, 2010.
DOI : 10.1016/j.jet.2009.10.015

C. Duddy and A. , Many-valued judgment aggregation: Characterizing the possibility/impossibility boundary, Journal of Economic Theory, vol.148, issue.2, pp.793-805, 2013.
DOI : 10.1016/j.jet.2012.07.005

C. Duddy, A. Piggins, and W. Zwicker, Aggregation of binary evaluations: a Bordalike approach, working paper, 2014.

J. F. Fenstad, General recursion theory: an axiomatic approach, 1980.
DOI : 10.1017/9781316717073

W. Gaertner, A Primer in Social Choice Theory, 2006.

C. Genest and J. V. Zidek, Combining Probability Distributions: A Critique and Annotated Bibliography, Stat Sci, vol.1, pp.113-135, 1986.

P. Gärdenfors, A REPRESENTATION THEOREM FOR VOTING WITH LOGICAL CONSEQUENCES, Economics and Philosophy, vol.22, issue.02, pp.181-190, 2006.
DOI : 10.1017/S026626710600085X

S. Hartmann, G. Pigozzi, and J. Sprenger, Reliable Methods of Judgement Aggregation, Journal of Logic and Computation, vol.20, issue.2, pp.603-617, 2010.
DOI : 10.1093/logcom/exp079

S. Konieczny and R. Pino-perez, Merging Information Under Constraints: A Logical Framework, Journal of Logic and Computation, vol.12, issue.5, pp.773-808, 2002.
DOI : 10.1093/logcom/12.5.773

L. A. Kornhauser and L. G. Sager, Unpacking the Court, The Yale Law Journal, vol.96, issue.1, pp.82-117, 1986.
DOI : 10.2307/796436

J. Lang, G. Pigozzi, M. Slavkovik, and L. Van-der-torre, Judgment aggregation rules based on minimization, Proceedings of hte 13th Conference on Theoretical Aspects of Rationality and Knowledge, TARK XIII, pp.238-246, 2011.
DOI : 10.1145/2000378.2000407

C. List, A Model of Path-Dependence in Decisions over Multiple Propositions, American Political Science Review, vol.18, issue.03, pp.495-513, 2004.
DOI : 10.1017/S0007123402000224

C. List, Group Knowledge and Group Rationality: A Judgment Aggregation Perspective, Episteme, vol.18, issue.01, pp.25-38, 2005.
DOI : 10.1017/CBO9780511558320

C. List and P. Pettit, Aggregating Sets of Judgments: An Impossibility Result, Economics and Philosophy, vol.18, issue.01, pp.89-110, 2002.
DOI : 10.1017/S0266267102001098

M. Miller and D. Osherson, Methods for distance-based judgment aggregation, Social Choice and Welfare, vol.35, issue.4, pp.575-601, 2008.
DOI : 10.1007/s00355-008-0340-x

P. Mongin, Abstract, Economics and Philosophy, vol.1, issue.03, 2005.
DOI : 10.2307/2025934

P. Mongin, Factoring out the impossibility of logical aggregation, Journal of Economic Theory, vol.141, issue.1, pp.100-113, 2008.
DOI : 10.1016/j.jet.2007.11.001

URL : https://hal.archives-ouvertes.fr/hal-00243010

K. Nehring, Arrow???s theorem as a corollary, Economics Letters, vol.80, issue.3, pp.379-382, 2003.
DOI : 10.1016/S0165-1765(03)00118-6

K. Nehring, The (im)possibility of a Paretian rational, working paper, 2005.

K. Nehring, M. Pivato, and C. Puppe, The Condorcet set: Majority voting over interconnected propositions, Journal of Economic Theory, vol.151, pp.286-303, 2014.
DOI : 10.1016/j.jet.2013.12.013

K. Nehring and C. Puppe, Strategy-proof social choice on single-peaked domains: possibility, impossibility and the space between, working paper, 2002.

K. Nehring and C. Puppe, Consistent judgement aggregation: the truth-functional case, Social Choice and Welfare, vol.28, issue.1, pp.41-57, 2008.
DOI : 10.1007/s00355-007-0261-0

K. Nehring and C. Puppe, Abstract Arrowian aggregation, Journal of Economic Theory, vol.145, issue.2, pp.467-494, 2010.
DOI : 10.1016/j.jet.2010.01.010

M. Pauly and M. Van-hees, Logical Constraints on Judgement Aggregation, Journal of Philosophical Logic, vol.95, issue.6, pp.569-585, 2006.
DOI : 10.1007/s10992-005-9011-x

G. Pigozzi, Belief merging and the discursive dilemma: an argument-based account to paradoxes of judgment aggregation, Synthese, vol.7, issue.2, pp.285-298, 2006.
DOI : 10.1007/s11229-006-9063-7

A. Rubinstein and P. Fishburn, Algebraic aggregation theory, Journal of Economic Theory, vol.38, issue.1, pp.63-77, 1986.
DOI : 10.1016/0022-0531(86)90088-8

R. Wilson, On the theory of aggregation, Journal of Economic Theory, vol.10, issue.1, pp.89-99, 1975.
DOI : 10.1016/0022-0531(75)90062-9

W. Zwicker, Towards a Borda count for judgment aggregation, extended abstract , Conference 'Judgment Aggregation and Voting', Karlsruhe Institute of Technology, 2011.

S. R. So, Proof of (ii): For any pairwise distinct options x; y; z 2 A, we have xP y ` R;fyP zg xRz (= :zRx), and xRz`RxRz`xRz`R;fzP yg xP y, in each case properly and irreversibly. Proof of Remark 7 Assume classical relevance Constrained and conditional entailment coincide by Remark 4. This implies the ?rst bullet point. The second bullet point follows from the additional fact that, for any p; q 2 X; Z X, the following are equivalent (see Dokow and Holzman [15] for a parallel argument): (i) p irreversibly constrainedly (= conditionally) entails q in virtue of Z, i.e., p ` R;Z q while fqg[Z 6 ` p; (ii) there is an instance of pair-negatability, i.e., the set Y := fp; :qg[Z is inconsistent and becomes consistent if one negates p and/or :q. Finally, pathlinkedness implies proper pathlinkedness, because any path of conditional entailments from a proposition to its negation must contain at least one properly conditional entailment (as is well-known since Nehring and Puppe [37]), and because 'conditional'is equivalent to 'constrained'. Proof of Theorem 5. Let the assumptions hold. By Theorem 4, there is a dictator i. To show that i is a strong dictator, I consider any (J 1 ; :::; J n ) 2 J n , and show that J i = F (J 1 ; :::; J n ) It su¢ ces to show that J i F (J 1 ; :::; J n ) Suppose q 2 J i . By assumption, q is the disjunction of some set, J n ). So, as q is the disjunction of a set containing p, we have q 2 F (J 1 ; :::; J n ), pp.2-3