32

La théorie de l’agrégation des jugements, ou, comme elle est ici conçue, de l’agrégation logique, généralise celle du choix social en faisant porter la règle d’agrégation sur des jugements quelconques au lieu des seuls jugements de préférence. Elle procède du paradoxe doctrinal de Kornhauser et Sager et du dilemme discursif de Pettit, que l’article réexpose en soulignant leurs différences. Après ce préalable conceptuel, il reproduit les grandes étapes techniques de la théorie, depuis son premier théorème d’impossibilité, chez List et Pettit, jusqu’aux résultats entièrement généraux de Dietrich et Mongin. Il met en relief la réalisation collective du théorème canonique – par Dietrich et List, Dokow et Holzman, Nehring et Puppe – qui a donné sa méthode d’analyse à la théorie : elle consiste à caractériser mathématiquement les agendas d’impossibilité d’un agrégateur donné, c’est-à-dire les ensembles de propositions tels qu’il n’existe pas de fonction de jugement collectif vérifiant une certaine liste de conditions axiomatiques. La présentation est ici unifiée par l’emploi de la logique formelle, dont on défend la pertinence aux différentes étapes, et par la distinction précédente du paradoxe doctrinal et du dilemme discursif, que l’on réélabore techniquement.

An interpretive Account of Logical Aggregation Theory Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds whatever, and not barely judgments of preference. It derives from Kornhauser and Sager’s doctrinal paradox and Pettit’s discursive dilemma, two problems that we restate by emphasizing their conceptual differences. Henceforth, we follow the main technical advances of the theory, from the first impossibility theorem proved by List and Pettit to the completely general results of Dietrich and Mongin. We stress the collective achievement of the canonical theorem – by Dietrich and List, Dokow and Holzman, Nehring and Puppe – which provided the theory with a specific method of analysis : it consists in mathematically characterizing the impossibility agendas of a given aggregator – i.e., the sets of propositions such that no collective judgment function exists with a certain list of axiomatic properties. The presentation is unified here by the use of formal logic, for which we claim relevance at every step, and by the above-mentioned distinction between the doctrinal paradox and the discursive dilemma, which we reelaborate upon technically.