Guilbaud’s 1952 theorem on the logical problem of aggregation

Dans un article publié en 1952, peu après la publication du théorème d’impossibilité d’Arrow, le mathématicien français Georges-Théodule Guilbaud a obtenu un résultat dictatorial pour le problème logique de l’agrégation, anticipant ainsi la théorie abstraite de l’agrégation et celle de l’agrégation des jugements. Nous donnons une reconstruction de la preuve du théorème de Guilbaud, qui présente aussi un intérêt technique, puisqu’elle peut être vue comme le premier emploi des ultrafiltres en théorie du choix social. In a paper published in 1952, shortly after the publication of Arrow’s celebrated impossibility result, the French mathematician Georges-Théodule Guilbaud has obtained a dictatorship result for the logical problem of aggregation, thus anticipating the literature on abstract aggregation theory and judgment aggregation. We reconstruct the proof of Guilbaud’s theorem, which is also of technical interest, because it can be seen as the first use of ultrafilters in social choice theory.