Abstract
We study the possibility and impossibility of aggregating logics, which may come from different sources (individuals, agents, groups, societies, cultures). A logic is treated as a binary relation between sets of formulas and formulas (or a set of accepted arguments). Logic aggregation is treated as argument-wise. We prove that certain logical properties can be preserved by some desired aggregation functions, while some other logical properties cannot be preserved together under non-degenerate aggregation functions, as long as some natural conditions for the aggregation function are satisfied. We compare our framework of logic aggregation with other aggregation frameworks, including preference aggregation and judgment aggregation.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Benamara, F., Kaci, S., Pigozzi, G.: Individual Opinions-Based Judgment Aggregation Procedures. In: Torra, V., Narukawa, Y., Daumas, M. (eds.) MDAI 2010. LNCS (LNAI), vol. 6408, pp. 55–66. Springer, Heidelberg (2010)
Dietrich, F.: A generalised model of judgment aggregation. Social Choice and Welfare 28(4), 529–565 (2007)
Dietrich, F., List, C.: Arrow’s theorem in judgment aggregation. Social Choice and Welfare 29(1), 19–33 (2007)
Dietrich, F., Mongin, P.: The premiss-based approach to judgment aggregation. Journal of Economic Theory 145(2), 562–582 (2010)
Endriss, U., Grandi, U.: Graph Aggregation. In: Proceedings of the 4th International Workshop on Computational Social Choice (COMSOC 2012) (2012)
Endriss, U., Grandi, U., Porello, D.: Complexity of Judgment Aggregation: Safety of the Agenda. In: Proceedings of AAMAS 2010, pp. 359–366 (2010)
Fishburn, P.C.: Arrow’s impossibility theorem: Concise proof and infinite voters. Journal of Economic Theory 2(1), 103–106 (1970)
Gabbay, D.M. (ed.): What is a Logical System? Oxford University Press (1995)
Gärdenfors, P.: A Representation Theorem for Voting with Logical Consequences. Economics and Philosophy 22(2), 181 (2006)
Grandi, U., Endriss, U.: Lifting Rationality Assumptions in Binary Aggregation. In: Proceedings of AAAI 2010, pp. 780–785 (2010)
Grossi, D., Pigozzi, G.: Introduction to Judgment Aggregation. In: Bezhanishvili, N., Goranko, V. (eds.) ESSLLI 2010/2011. LNCS, vol. 7388, pp. 160–209. Springer, Heidelberg (2012)
Jansana, R.: Propositional Consequence Relations and Algebraic Logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Spring 2011 edn. (2011), http://plato.stanford.edu/archives/spr2011/entries/consequence-algebraic/
Klamler, C., Eckert, D.: A simple ultrafilter proof for an impossibility theorem in judgment aggregation. Economics Bulletin 29(1), 319–327 (2009)
List, C.: The theory of judgment aggregation: an introductory review. Synthese 187(1), 179–207 (2012)
List, C., Pettit, P.: Aggregating Sets of Judgments: An Impossibility Result. Economics and Philosophy 18(1), 89–110 (2002)
Miller, M.K.: Judgment Aggregation and Subjective Decision-Making. Economics and Philosophy 24(2) (2008)
Mongin, P.: Factoring out the impossibility of logical aggregation. Journal of Economic Theory 141(1), 100–113 (2008), http://linkinghub.elsevier.com/retrieve/pii/S0022053107001457
Pigozzi, G.: Belief merging and the discursive dilemma: an argument-based account to paradoxes of judgment aggregation. Synthese 152(2), 285–298 (2006)
Pini, M.S., Rossi, F., Venable, K.B., Walsh, T.: Aggregating Partially Ordered Preferences. Journal of Logic and Computation 19(3), 475–502 (2009)
Porello, D., Endriss, U.: Ontology Merging as Social Choice. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol. 6814, pp. 157–170. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wen, X., Liu, H. (2013). Logic Aggregation. In: Grossi, D., Roy, O., Huang, H. (eds) Logic, Rationality, and Interaction. LORI 2013. Lecture Notes in Computer Science, vol 8196. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40948-6_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-40948-6_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40947-9
Online ISBN: 978-3-642-40948-6
eBook Packages: Computer ScienceComputer Science (R0)