An Abstract Algebraic Logic View on Judgment Aggregation

DOI10.1007/978-3-662-48561-3_7MaRDI QIDQ3457691zbMATH OpenOpenAlexFDO

Authors Maria Esteban, Alessandra Palmigiano, Zhiguang Zhao

Publication date 17 December 2015

Published in Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1603.08206

zbMATH Keywords

abstract algebraic logicalgebra homomorphismimpossibility theoremsjudgment aggregationlogical filtersystematicity

Mathematics Subject Classification ID

Abstract algebraic logic (03G27) Social choice (91B14)

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 in 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 $Sm$, a unique class of algebras $AlgSm$ is canonically associated by the general theory of AAL. We show that for any selfextensional logic $Sm$ such that $AlgSm$ is closed under direct products, any algebra in $AlgSm$ 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.

Recommendations

• Judgement aggregation in non-classical logics
• Judgment aggregation in nonmonotonic logic
• Judgment aggregation in dynamic logic of propositional assignments
• Judgment aggregators and Boolean algebra homomorphisms
• An Analytic Logic of Aggregation
• Judgment aggregation in abstract dialectical frameworks
• Logical constraints on judgement aggregation
• Propositionwise judgment aggregation: the general case
• A partial taxonomy of judgment aggregation rules and their properties
• Natural deduction for modal logic of judgment aggregation

Cites work

• A generalised model of judgment aggregation
• A survey of abstract algebraic logic
• An Abstract Algebraic Logic View on Judgment Aggregation
• Canonical extensions for congruential logics with the deduction theorem
• Generalized ultraproduct and Kirman-Sondermann correspondence for vote abstention
• scientific article; zbMATH DE number 3677803 (Why is no real title available?)
• scientific article; zbMATH DE number 2042610 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 2196609 (Why is no real title available?)
• Impossibility results for infinite-electorate abstract aggregation rules
• Introduction to judgment aggregation
• Judgment aggregators and Boolean algebra homomorphisms
• Logics for modelling collective attitudes
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Referential semantics: duality and applications
• Social choice and individual values
• The possibility of judgment aggregation on agendas with subjunctive implications
• The premiss-based approach to judgment aggregation
• Universal algebra for general aggregation theory: many-valued propositional-attitude aggregators as MV-homomorphisms

Cited in

(12)

• Agglomerative algebras
• The Problem of Judgment Aggregation in the Framework of Boolean-Valued Models
• Synthesizing judgements: a functional equations approach
• Generalized ultraproduct and Kirman-Sondermann correspondence for vote abstention
• An Abstract Algebraic Logic View on Judgment Aggregation
• An Analytic Logic of Aggregation
• Judgement aggregation in non-classical logics
• A further discussion of ``A semiring-based study of judgment matrices: properties and models
• Universal algebra for general aggregation theory: many-valued propositional-attitude aggregators as MV-homomorphisms
• Corrigendum and addendum to ``Universal algebra for general aggregation theory
• Aggregating sets of judgments: two impossibility results compared. With a comment by Isaac Levi
• Judgment aggregators and Boolean algebra homomorphisms

This page was built for publication: An Abstract Algebraic Logic View on Judgment Aggregation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3457691)