A proof-theoretical view of collective rationality

In Proceedings of the 23rd International Joint Conference of Artificial Intelligence (IJCAI 2013) (2013)
  Copy   BIBTEX

Abstract

The impossibility results in judgement aggregation show a clash between fair aggregation procedures and rational collective outcomes. In this paper, we are interested in analysing the notion of rational outcome by proposing a proof-theoretical understanding of collective rationality. In particular, we use the analysis of proofs and inferences provided by linear logic in order to define a fine-grained notion of group reasoning that allows for studying collective rationality with respect to a number of logics. We analyse the well-known paradoxes in judgement aggregation and we pinpoint the reasoning steps that trigger the inconsistencies. Moreover, we extend the map of possibility and impossibility results in judgement aggregation by discussing the case of substructural logics. In particular, we show that there exist fragments of linear logic for which general possibility results can be obtained.

Author's Profile

Daniele Porello
Università degli Studi di Genova

Analytics

Added to PP
2014-10-29

Downloads
306 (#49,144)

6 months
69 (#55,318)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?