Abstract
In the present paper, we propose Abstract Algebraic Logic (AAL) as a general logical framework for Judgment Aggregation. Our main contribution is a generalization of Herzberg’s algebraic approach to characterization results on judgment aggregation and propositional-attitude aggregation, characterizing certain Arrovian classes of aggregators as Boolean algebra and MV-algebra homomorphisms, respectively. The characterization result of the present paper applies to agendas of formulas of an arbitrary selfextensional logic. This notion comes from AAL, and encompasses a vast class of logics, of which classical, intuitionistic, modal, many-valued and relevance logics are special cases. To each selfextensional logic \(\mathcal{S}\), a unique class of algebras \(\mathbb{A}\mathrm{lg}\mathcal{S}\) is canonically associated by the general theory of AAL. We show that for any selfextensional logic \(\mathcal{S}\) such that \(\mathbb{A}\mathrm{lg}\mathcal{S}\) is closed under direct products, any algebra in \(\mathbb{A}\mathrm{lg}\mathcal{S}\) can be taken as the set of truth values on which an aggregation problem can be formulated. In this way, judgment aggregation on agendas formalized in classical, intuitionistic, modal, many-valued and relevance logic can be uniformly captured as special cases. This paves the way to the systematic study of a wide array of “realistic agendas” made up of complex formulas, the propositional connectives of which are interpreted in ways which depart from their classical interpretation. This is particularly interesting given that, as observed by Dietrich, nonclassical (subjunctive) interpretation of logical connectives can provide a strategy for escaping impossibility results.
The research of the second and third author has been made possible by the NWO Vidi grant 016.138.314, by the NWO Aspasia grant 015.008.054, and by a Delft Technology Fellowship awarded in 2013.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
- Judgment aggregation
- Systematicity
- Impossibility theorems
- Abstract Algebraic Logic
- Logical filter
- Algebra homomorphism
Math. Subject Class.
References
Arrow, K.J.: Social choice and individual values, 2nd edn., vol. 12. John Wiley, New York (1963)
Bedrosian, G., Palmigiano, A., Zhao, Z.: Generalized ultraproduct and Kirman-Sondermann correspondence for vote abstention. In: Proceedings of Logic, Rationality and Interaction, 5th International Workshop, LORI 2015 (2015)
Belnap Jr., N.D.: A useful four-valued logic. In: Modern uses of multiple-valued logic, pp. 5–37. Springer (1977)
Celani, S., Jansana, R.: Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic. Logic Journal of IGPL 7(6), 683–715 (1999)
Dietrich, F.: A generalised model of judgment aggregation. Social Choice and Welfare 28(4), 529–565 (2007)
Dietrich, F.: The possibility of judgment aggregation on agendas with subjunctive implications. Journal of Economic Theory 145(2), 603–638 (2010)
Dietrich, F., Mongin, P.: The premiss-based approach to judgment aggregation. Journal of Economic Theory 145(2), 562–582 (2010)
Esteban, M.: Duality theory and Abstract Algebraic Logic. PhD thesis, Universitat de Barcelona (November 2013), http://www.tdx.cat/handle/10803/125336
Esteban, M., Jansana, R.: Priestley style duality for filter distributive congruential logics (2015)
Esteban, M., Palmigiano, A., Zhao, Z.: An Abstract Algebraic Logic view on Judgment Aggregation. Working paper (2015), http://www.appliedlogictudelft.nl/publications/
Fishburn, P.: Arrow’s impossibility theorem: concise proof and infinite voters. Journal of Economic Theory 2(1), 103–106 (1970)
Font, J.M.: An Abstract Algebraic Logic view of some multiple-valued logics, pp. 25–57. Physica-Verlag GmbH, Heidelberg (2003)
Font, J.M., Jansana, R.: A general algebraic semantics for sentential logics. In: The Association for Symbolic Logic, 2nd edn., Ithaca, N.Y. Lectures Notes in Logic, vol. 7 (2009)
Font, J.M., Jansana, R., Pigozzi, D.: A survey of Abstract Algebraic Logic. Studia Logica 74(1/2), 13–97 (2003)
Gehrke, M., Jansana, R., Palmigiano, A.: Canonical extensions for congruential logics with the deduction theorem. Annals of Pure and Applied Logic 161(12), 1502–1519 (2010)
Grossi, D., Pigozzi, G.: Judgment aggregation: a primer. Synthesis Lectures on Artificial Intelligence and Machine Learning 8(2), 1–151 (2014)
Herzberg, F.: Judgment aggregation functions and ultraproducts. Institute of Mathematical Economics, University of Bielefeld (2008)
Herzberg, F.: Judgment aggregators and Boolean algebra homomorphisms. Journal of Mathematical Economics 46(1), 132–140 (2010)
Herzberg, F.: Universal algebra for general aggregation theory: many-valued propositional-attitude aggregators as MV-homomorphisms. Journal of Logic and Computation (2013)
Herzberg, F., Eckert, D.: Impossibility results for infinite-electorate abstract aggregation rules. Journal of Philosophical Logic 41, 273–286 (2012)
Jansana, R.: Selfextensional logics with implication. In: Logica Universalis, pp. 65–88. Birkhäuser Basel (2005)
Jansana, R., Palmigiano, A.: Referential semantics: duality and applications. Reports on Mathematical Logic 41, 63–93 (2006)
Kirman, A.P., Sondermann, D.: Arrow’s theorem, many agents, and invisible dictators. Journal of Economic Theory 5(2), 267–277 (1972)
List, C., Dietrich, F.: The aggregation of propositional attitudes: towards a general theory. In: Oxford Studies in Epistemology, vol. 3, pp. 215–234. Oxford University Press (2010)
List, C., Polak, B.: Introduction to judgment aggregation. Journal of Economic Theory 145(2), 441–466 (2010)
Nehring, K., Puppe, C.: Strategy-proof social choice on single-peaked domains: possibility, impossibility and the space between. University of California at Davis (2002)
Porello, D.: A proof-theoretical view of collective rationality. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, pp. 317–323. AAAI Press (2013)
Porello, D.: Logics for collective reasoning. In: Proceedings of the European Conference on Social Intelligence (ECSI 2014) (2014)
Wójcicki, R.: Referential matrix semantics for propositional calculi. Bulletin of the Section of Logic 8(4), 170–176 (1979)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Esteban, M., Palmigiano, A., Zhao, Z. (2015). An Abstract Algebraic Logic View on Judgment Aggregation. In: van der Hoek, W., Holliday, W., Wang, Wf. (eds) Logic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science(), vol 9394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-48561-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-662-48561-3_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-48560-6
Online ISBN: 978-3-662-48561-3
eBook Packages: Computer ScienceComputer Science (R0)