Abstract
We investigate under what conditions a given set of collective judgments can arise from a specific voting procedure. In order to answer this question, we introduce a language similar to modal logic for reasoning about judgment aggregation procedures. In this language, the formula \(\square \varphi\) expresses that\(\varphi\) is collectively accepted, or that\(\varphi\) is a group judgment based on voting. Different judgment aggregation procedures may be underlying the group decision making. Here we investigate majority voting, where\(\square \varphi\) holds if a majority of individuals accepts\(\varphi\), consensus voting, where\(\square \varphi\) holds if all individuals accept\(\varphi\), and dictatorship. We provide complete axiomatizations for judgment sets arising from all three aggregation procedures.
Similar content being viewed by others
References
Anthony, M. (2003). Boolean functions and artificial neural networks. CDAM Research Report LSE-CDAM-2003-01, London School of Economics.
Chellas B. (1980). Modal logic—An introduction. Cambridge University Press, Cambridge
Dietrich, F., & List, C. Arrow’s theorem in judgment aggregation. Social Choice and Welfare (forthcoming).
List C., Pettit P. (2002). Aggregating sets of judgements: An impossibility result. Economics and Philosophy 18, 89–110
May K.O. (1952). A set of independent necessary and sufficient conditions for simple majority decision. Econometrica 20, 680–684
Pacuit, E., & Salame, S. (2004). Majority logic. In Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR) (pp. 598–605).
Pauly, M., & van Hees, M. (2006) Logical constraints on judgement aggregation. Journal of Philosophical Logic 35(6), 569–585.
Taylor A., Zwicker W. (1992). A characterization of weighted voting. Proceedings of the American Mathematical Society 115(4): 1089–1094
Taylor A., Zwicker W. (1999). Simple games: Desirability relations, trading, pseudoweightings. Princeton University Press, Princeton, NJ
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Pauly, M. Axiomatizing collective judgment sets in a minimal logical language. Synthese 158, 233–250 (2007). https://doi.org/10.1007/s11229-006-9079-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-006-9079-z