Factoring Out the Impossibility of Logical Aggregation

According to a theorem recently proved in the theory of logical aggregation, any nonconstant social judgment function that satisfies independence of irrelevant alternatives (IIA) is dictatorial. This note shows that the strong and little plausible IIA condition can be replaced with a minimal independence assumption plus a Pareto-like condition. This new version of the impossibility theorem likens it to Arrow's and arguably enhances its paradoxical value.La théorie de l'agrégation logique a récemment établi le résultat d'impossibilité suivant: toute fonction de jugement social non-constante qui satisfait l'indépendance des options non pertinentes est dictatoriale. Comme cette dernière condition paraît difficilement acceptable, on la remplace par une condition plus faible en lui adjoignant une condition d'unanimité de type parétien. Le théorème obtenu se rapproche de celui d'Arrow et se présente comme plus authentiquement paradoxal que le théorème d'impossibilité d'origine