Advertisement

Synthese

, Volume 195, Issue 8, pp 3651–3683 | Cite as

Judgment aggregation in nonmonotonic logic

  • Xuefeng Wen
Article
  • 207 Downloads

Abstract

Judgment aggregation studies how to aggregate individual judgments on logically correlated propositions into collective judgments. Different logics can be used in judgment aggregation, for which Dietrich and Mongin have proposed a generalized model based on general logics. Despite its generality, however, all nonmonotonic logics are excluded from this model. This paper argues for using nonmonotonic logic in judgment aggregation. Then it generalizes Dietrich and Mongin’s model to incorporate a large class of nonmonotonic logics. This generalization broadens the theoretical boundaries of judgment aggregation by proving that, even if these nonmonotonic logics are employed, certain typical impossibility results still hold.

Keywords

Judgment aggregation Nonmonotonic logic General logic Logical consequence Group decision Social choice 

Notes

Acknowledgements

I thank the three anonymous referees for their critical and suggestive comments, which help to improve the paper greatly. I would like to give special thanks to my colleague Hao Tang for his careful proof-reading of the paper and elaborate comments on my English writing. This work was supported by China National Social Science Foundation (No. 14ZDB015), the Fundamental Research Funds for the Central Universities (No. 13wkpy71), and the “Three Big Constructions” of Sun Yat-sen University. The first draft of this paper was finished when I was a visiting scholar at UC Berkeley. Thanks to Wesley Holliday for inviting me.

References

  1. Antoniou, G. (1997). Nonmonotonic reasoning. Cambridge: The MIT Press.Google Scholar
  2. Brewka, G. (1989). Preferred subtheories: An extended logical framework for default reasoning. In Proceedings of IJCAI-1989 (pp. 1043–1048). Morgan Kaufmann Publishers Inc.Google Scholar
  3. Caminada, M., & Pigozzi, G. (2011). On judgment aggregation in abstract argumentation. Autonomous Agents and Multi-Agent Systems, 22(1), 64–102.CrossRefGoogle Scholar
  4. Dietrich, F. (2007). A generalised model of judgment aggregation. Social Choice and Welfare, 28(4), 529–565.CrossRefGoogle Scholar
  5. Dietrich, F. (2010). The possibility of judgment aggregation on agendas with subjunctive implications. Journal of Economic Theory, 145(2), 603–638.CrossRefGoogle Scholar
  6. Dietrich, F., & List, C. (2007). Arrow’s theorem in judgment aggregation. Social Choice and Welfare, 29(1), 19–33.CrossRefGoogle Scholar
  7. Dietrich, F., & List, C. (2008). Judgment aggregation without full rationality. Social Choice and Welfare, 31(1), 15–39.CrossRefGoogle Scholar
  8. Dietrich, F., & List, C. (2012). Propositionwise judgment aggregation: The general case. Social Choice and Welfare, 40(4), 1067–1095.CrossRefGoogle Scholar
  9. Dietrich, F., & Mongin, P. (2010). The premiss-based approach to judgment aggregation. Journal of Economic Theory, 145(2), 562–582.CrossRefGoogle Scholar
  10. Dung, P. M. (1995). On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77(2), 321–357.CrossRefGoogle Scholar
  11. Font, J. M., Jansana, R., & Pigozzi, D. (2003). A survey of abstract algebraic logic. Studia Logica, 74, 13–97.CrossRefGoogle Scholar
  12. Gärdenfors, P. (1992). Belief revision: An introduction. In P. Gärdenfors (Ed.), Belief revision (pp. 1–28). Cambridge: Cambridge University Press.CrossRefGoogle Scholar
  13. Gärdenfors, P. (2006). A representation theorem for voting with logical consequences. Economics and Philosophy, 22(02), 181–190.CrossRefGoogle Scholar
  14. Grossi, D. (2009). Unifying preference and judgment aggregation. In P. Decker & J. Sichman (Eds.), Proceedings of 8th international conference on autonomous agents and multiagent systems (AAMAS 2009) (pp. 217–224. ACM Press.Google Scholar
  15. Grossi, D., & Pigozzi, G. (2012). Introduction to judgment aggregation. In N. Bezhanishvili & V. Goranko (Eds.), Lectures on logic and computation, ESSLLI 2010/2011, LNCS 7388 (pp. 160–209). Berlin: Springer.Google Scholar
  16. Grossi, D., & Pigozzi, G. (2014). Judgment aggregation: A primer. San Rafael: Morgan & Claypool Publishers.Google Scholar
  17. Herzberg, F. S. (2015). Universal algebra for general aggregation theory: Many-valued propositional-attitude aggregators as MV-homomorphisms. Journal of Logic and Computation, 25(3), 965–977.CrossRefGoogle Scholar
  18. Horty, J. (2001). Nonmonotonic logic. In L. Goble (Ed.), The Blackwell guide to philosophical logic (pp. 336–361). Hoboken: Blackwell.Google Scholar
  19. Kirman, A. P., & Sondermann, D. (1972). Arrow’s theorem, many agents, and invisible dictators. Journal of Economic Theory, 5(2), 267–277.CrossRefGoogle Scholar
  20. Klamler, C., & Eckert, D. (2009). A simple ultrafilter proof for an impossibility theorem in judgment aggregation. Economics Bulletin, 29(1), 319–327.Google Scholar
  21. Konieczny, S., Lang, J., & Marquis, P. (2004). DA\(^2\) merging operators. Artificial Intelligence, 157(1–2), 49–79.CrossRefGoogle Scholar
  22. Konieczny, S., & Pérez, R. P. (2002). Merging information under constraints: A logical framework. Journal of Logic and Computation, 12(5), 773–808.CrossRefGoogle Scholar
  23. Kornhauser, L. A. (1992). Modeling collegial courts. II. Legal doctrine. Journal of Law, Economics and Organization, 8(3), 441–470.Google Scholar
  24. Kornhauser, L. A., & Sager, L. G. (1986). Unpacking the court. The Yale Law Journal, 96(1), 82–117.CrossRefGoogle Scholar
  25. Kraus, S., Lehmann, D., & Magidor, M. (1990). Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44(1–2), 167–207.CrossRefGoogle Scholar
  26. Lang, J., Pigozzi, G., Slavkovik, M., & van der Torre, L. (2011). Judgment aggregation rules based on minimization. In Proceedings of the 13th conference on theoretical aspects of rationality and knowledge (Vol. 1, pp. 238–246). ACM.Google Scholar
  27. Lang, J. (2015). Twenty-five years of preferred subtheories. In T. Eiter, H. Strass, M. Truszczyński, & S. Woltran (Eds.), Advances in knowledge representation, logic programming, and abstract argumentation (pp. 157–172). Berlin: Springer.CrossRefGoogle Scholar
  28. Lehmann, D. (2008). Connectives in cumulative logics. In A. Avron, N. Dershowitz, & A. Rabinovich (Eds.), Lecture notes in computer science (Vol. 4800, pp. 424–440). Berlin: Springer.Google Scholar
  29. Lewis, D. K. (1973). Counterfactuals. Cambridge: Harvard University Press.Google Scholar
  30. List, C. (2004). A model of path-dependence in decisions over multiple propositions. American Political Science Review, 98(3), 495–513.CrossRefGoogle Scholar
  31. List, C. (2012). The theory of judgment aggregation: An introductory review. Synthese, 187(1), 179–207.CrossRefGoogle Scholar
  32. List, C., & Pettit, P. (2002). Aggregating sets of judgments: An Impossibility result. Economics and Philosophy, 18(1), 89–110.CrossRefGoogle Scholar
  33. List, C., & Polak, B. (2010). Introduction to judgment aggregation. Journal of Economic Theory, 145(2), 441–466.CrossRefGoogle Scholar
  34. Makinson, D. (1989). General theory of cumulative inference. In M. Reinfrank, J. de Kleer, M. L. Ginsberg, & E. Sandewall (Eds.), Non-monotonic reasoning, lecture notes on artificial intelligence, lecture notes in computer science (Vol. 346, pp. 1–18). Berlin: Springer.Google Scholar
  35. Makinson, D. (1994). General patterns in nonmonotonic reasoning. In D. M. Gabbay, C. J. Hogger, & J. A. Robinson (Eds.), Handbook of logic in artificial intelligence and logic programming (Vol. 3, pp. 35–110). Oxford: Oxford University Press.Google Scholar
  36. Makinson, D. (2005). Bridges from classical to nonmonotonic logic. London: King’s College.Google Scholar
  37. McCarthy, J., & Hayes, P. J. (1969). Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer & D. Michie (Eds.), Machine intelligence (pp. 463–502). Edinburgh: Edinburgh University Press.Google Scholar
  38. Miller, M. K., & Osherson, D. (2009). Methods for distance-based judgment aggregation. Social Choice and Welfare, 32(4), 575–601.CrossRefGoogle Scholar
  39. Mongin, P. (2008). Factoring out the impossibility of logical aggregation. Journal of Economic Theory, 141(1), 100–113.CrossRefGoogle Scholar
  40. Mongin, P. (2012). The doctrinal paradox, the discursive dilemma, and logical aggregation theory. Theory and Decision, 73, 315–355.CrossRefGoogle Scholar
  41. Mongin, P. (2015). Judgment aggregation. In S. O. Hanson & V. F. Hendricks (Eds.), Handbook of Formal Philosophy. Berlin: Springer.Google Scholar
  42. Nehring, K., & Pivato, M. (2013). Majority rule in the absence of a majority. MPRA paper 46721.Google Scholar
  43. Pauly, M., & Hees, M. (2006). Logical constraints on judgement aggregation. Journal of Philosophical Logic, 35(6), 569–585.CrossRefGoogle Scholar
  44. Pettit, P. (2001). Deliberative democracy and the discursive dilemma. Philosophical Issues, 11(1), 268–299.CrossRefGoogle Scholar
  45. Pettit, P. (2004). Groups with minds of their own. In F. Schmitt (Ed.), Socializing metaphysics (pp. 167–193). Rowman and Littlefield: Lanham.Google Scholar
  46. Pigozzi, G. (2006). Belief merging and the discursive dilemma: An argument-based account to paradoxes of judgment aggregation. Synthese, 152(2), 285–298.CrossRefGoogle Scholar
  47. Poole, D. (1988). A logical framework for default reasoning. Artificial Intelligence, 36, 27–47.CrossRefGoogle Scholar
  48. Porello, D. (2012). The consistency of majority rule. In ECAI 2012 (Vol. 242, pp. 921–922). IOS Press.Google Scholar
  49. Porello, D. (2010). Ranking judgments in Arrow’s setting. Synthese, 173(2), 199–210.CrossRefGoogle Scholar
  50. Stalnaker, R. (1968). A theory of conditionals. In N. Rescher (Ed.), Studies in logical theory (pp. 98–112). Oxford: Basil Blackwell Publisher.Google Scholar
  51. Stalnaker, R. C., & Thomason, R. H. (1970). A semantic analysis of conditional logic. Theoria, 36(1), 23–42.CrossRefGoogle Scholar
  52. Tarski, A. (1936). On the concept of logical consequence. In Reprinted in Logic, semantics, metamathematics (2nd ed.), by A. Tarski, Ed., 1983, Oxford: Oxford University Press.Google Scholar
  53. Tversky, A. (1969). Intransitivity of preferences. Psychological Review, 76(1), 31–48.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2017

Authors and Affiliations

  1. 1.Institute of Logic and Cognition, Department of PhilosophySun Yat-sen UniversityGuangzhouChina

Personalised recommendations