A proof-theoretical view of collective rationality (Contributo in atti di convegno)

Type
Label
  • A proof-theoretical view of collective rationality (Contributo in atti di convegno) (literal)
Anno
  • 2013-01-01T00:00:00+01:00 (literal)
Alternative label
  • Porello, Daniele (2013)
    A proof-theoretical view of collective rationality
    in IJCAI 2013
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Porello, Daniele (literal)
Pagina inizio
  • 317 (literal)
Pagina fine
  • 323 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.scopus.com/record/display.url?eid=2-s2.0-84896061187&origin=inward (literal)
Rivista
Note
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Consiglio Nazionale delle Ricerche (literal)
Titolo
  • A proof-theoretical view of collective rationality (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 9781577356332 (literal)
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. (literal)
Prodotto di
Autore CNR

Incoming links:


Prodotto
Autore CNR di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
data.CNR.it