Natural Deduction for Modal Logic of Judgment Aggregation

Journal of Logic, Language and Information 25 (3-4):335-354 (2016)
  Copy   BIBTEX

Abstract

We can formalize judgments as logical formulas. Judgment aggregation deals with judgments of several agents, which need to be aggregated to a collective judgment. There are several logical formalizations of judgment aggregation. This paper focuses on a modal formalization which nicely expresses classical properties of judgment aggregation rules and famous results of social choice theory, like Arrow’s impossibility theorem. A natural deduction system for modal logic of judgment aggregation is presented in this paper. The system is sound and complete. As an example of derivation, a formal proof of Arrow’s impossibility theorem is given.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,703

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Arrow's theorem in judgment aggregation.Franz Dietrich & Christian List - 2007 - Social Choice and Welfare 29 (1):19-33.
The Logic of Group Decisions: Judgment Aggregation.Gabriella Pigozzi - 2015 - Journal of Philosophical Logic 44 (6):755-769.
A generalised model of judgment aggregation.Franz Dietrich - 2007 - Social Choice and Welfare 4 (28):529-565.
Introduction to judgment aggregation.Christian List & Ben Polak - 2010 - Journal of Economic Theory 145 (2):441-466.
Factoring Out the Impossibility of Logical Aggregation.Philippe Mongin - 2008 - Journal of Economic Theory 141:p. 100-113.
Which worlds are possible? A judgment aggregation problem.Christian List - 2008 - Journal of Philosophical Logic 37 (1):57 - 65.
The premiss-based approach to judgment aggregation.Franz Dietrich & Philippe Mongin - 2010 - Journal of Economic Theory 145 (2):562-582.

Analytics

Added to PP
2016-02-13

Downloads
39 (#352,419)

6 months
3 (#435,246)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Judgement aggregation in non-classical logics.Daniele Porello - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):106-139.

Add more citations

References found in this work

Social Choice and Individual Values.Irving M. Copi - 1952 - Science and Society 16 (2):181-181.
Social Choice and Individual Values.Kenneth Joseph Arrow - 1951 - New York, NY, USA: Wiley: New York.
Arrow's theorem in judgment aggregation.Franz Dietrich & Christian List - 2007 - Social Choice and Welfare 29 (1):19-33.
Judgment aggregation: A survey.Christian List & Clemens Puppe - 2009 - In Christian List & Clemens Puppe (eds.), Handbook of Rational and Social Choice. Oxford University Press.

View all 12 references / Add more references