📈 economics

The Measurable Majority

Cet article établit un critère de cohérence et une logique saine et complète pour le raisonnement de la majorité stricte dans des électorats finis en utilisant des cadres de décision sociaux, démontrant que ces jugements sont exactement représentables par des mesures de finitude additive et appliquant ces conclusions pour corriger un théorème classique de Patrick Suppes et caractériser la règle de la majorité stricte ordinaire.

Auteurs originaux : Lawrence S. Moss, Arthur Paul Pedersen

Publié 2026-06-24

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Lawrence S. Moss, Arthur Paul Pedersen

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous essayez de comprendre ce que signifie réellement « la majorité » au sein d'un groupe de personnes. Habituellement, nous pensons que c'est simple : si vous avez 100 personnes et que 51 disent « oui », alors la majorité dit « oui ». Mais qu'en est-il si le groupe est plus petit, ou si les règles de comptage sont bizarres ? Qu'en est-il si vous avez un groupe où le terme « la plupart » ne correspond pas à un nombre simple ?

Cet article de Lawrence Moss et Arthur Pedersen est comme une enquête policière tentant de résoudre un mystère : Quand pouvons-nous faire confiance à l'opinion de la « majorité » d'un groupe pour qu'elle soit mathématiquement réelle, et quand n'est-elle qu'une illusion ?

Voici la décomposition de leurs conclusions en utilisant des analogies de la vie quotidienne.

1. La mise en scène : Les blocs de vote

Les auteurs imaginent un monde avec un groupe fini de votants (comme une petite ville ou un comité). Ils examinent différents « blocs » ou groupes de personnes (par exemple, « les gens qui aiment la pizza », « les gens qui vivent du côté gauche de la ville »).

Ils se demandent : Peut-on attribuer un « score » à chaque personne de sorte qu'un bloc soit considéré comme une « majorité » uniquement si le score total de ses membres est supérieur à la moitié du score total de toute la ville ?

La bonne nouvelle : Parfois, oui. Si vous comptez simplement les têtes (1 point par personne), cela fonctionne parfaitement.
La mauvaise nouvelle : Parfois, non. Vous pouvez avoir un ensemble de règles pour définir ce qui compte comme une « majorité » qui semble logique, mais qui est mathématiquement impossible à noter. C'est comme un tour de magie où les pièces s'emboîtent d'une manière qui défie la physique.

2. Le piège de l'« étrangement pair »

L'article introduit un exemple spécifique appelé la décision sociale « étrangement paire » (Oddly Even). Imaginez une ville de 6 personnes.

Règle A : Tout groupe de 4 personnes ou plus est une majorité.
Règle B : Si un groupe compte exactement 3 personnes, ils sont une majorité seulement si la somme de leurs numéros d'identification est paire.

Cela semble raisonnable, n'est-ce pas ? Mais les auteurs prouvent qu'il s'agit d'un paradoxe mathématique. Vous ne pouvez pas attribuer un « poids » ou un score équitable à ces 6 personnes pour que ces règles fonctionnent. Si vous tentez de faire le calcul, les chiffres se brisent. C'est comme essayer de construire une table avec trois pieds où le sol est parfaitement plat, mais où les pieds sont coupés selon des angles qui font que la table vacille, peu importe vos ajustements.

3. La solution : Le test de « Cohérence »

Comment savoir si un ensemble de règles de majorité est valide (mesurable) ou brisé (incohérent) ?

Les auteurs ont inventé un test appelé Cohérence. Considérez cela comme un « test de résistance » pour les règles.

Le Test : Imaginez que vous alignez une série de différents groupes (blocs).
La Condition : Si chaque groupe de votre liste prétend être une « majorité » (ou exactement la moitié), et si vous comptez combien de fois chaque personne apparaît dans cette liste, et qu'il s'avère que personne n'apparaît plus de la moitié du temps...
Le Résultat : Alors, chaque groupe de votre liste doit être exactement de la moitié de la taille, et chaque personne doit apparaître exactement la moitié du temps.

Si vos règles échouent à ce test, elles sont « incohérentes ». C'est un château de cartes qui s'effondrera sous l'examen. Si elles réussissent, les auteurs prouvent qu'un système de notation équitable (une mesure mathématique) doit exister.

La Grande Découverte : Ce test de « Cohérence » est la définition exacte d'une majorité valide. Vous n'avez pas besoin de trouver les chiffres d'abord ; vous vérifiez simplement les règles. Si les règles passent le test, les chiffres existent. Si elles échouent, aucun chiffre ne pourra jamais les faire fonctionner.

4. Rectifier une erreur célèbre

L'article souligne également une erreur célèbre commise par un mathématicien nommé Patrick Suppes en 1974. Suppes a tenté d'écrire un ensemble de règles simples pour définir « plus probable que non » (ce qui est essentiellement la même chose que « majorité »).

L'Erreur : Suppes pensait que ses règles étaient suffisantes pour garantir l'existence d'un score équitable.
La Correction : Les auteurs montrent que les règles de Suppes omettaient une pièce cruciale (le test de Cohérence). En utilisant leur exemple de l'« étrangement pair », ils prouvent que vous pouvez suivre les règles de Suppes à la lettre et avoir quand même un système défectueux sans score valide. Ils ont essentiellement corrigé le plan directeur de notre compréhension de la probabilité et du vote.

5. Un nouveau langage pour « la plupart »

Les auteurs ont également construit un langage minuscule et simple (un système logique) pour parler de « la plupart ».

Au lieu d'utiliser des mathématiques complexes ou des variables infinies, ils ont créé un langage où l'on peut dire des choses comme « La plupart de tout est X ».
Ils ont prouvé que ce langage est sain (il ne ment jamais) et complet (il peut prouver tout ce qui est vrai concernant les majorités).
C'est comme avoir une calculatrice spécialisée qui ne fait que des mathématiques de « majorité », mais qui le fait parfaitement sans avoir besoin d'un supercalculateur.

6. Le mystère de la complexité

Enfin, l'article examine à quel point ces systèmes « brisés » (incohérents) peuvent devenir complexes.

Ils ont découvert qu'on ne peut pas simplement vérifier quelques petits groupes pour voir si les règles sont brisées. Il peut être nécessaire de vérifier d'énormes combinaisons complexes de groupes pour trouver l'erreur.
Ils soupçonnent (mais ne l'ont pas encore pleinement prouvé) qu'il n'y a pas de limite à la complexité de ces systèmes brisés. C'est comme dire qu'il n'y a pas de limite au nombre de pièces que vous pouvez jongler avant de faire tomber la balle ; le « point de chute » devient de plus en plus haut.

Résumé

En bref, cet article nous donne un test de passage pour la démocratie. Il nous indique précisément quand un ensemble de règles de vote est mathématiquement sain et quand il s'agit d'une illusion logique. Il corrige une ancienne erreur mathématique, crée un langage simple pour parler de « la plupart », et montre que la ligne entre un vote équitable et un paradoxe mathématique est plus mince que nous ne le pensions, mais qu'elle peut être tracée clairement si nous savons où regarder.

Résumé technique : La majorité mesurable

Énoncé du problème
Cet article traite de la représentation formelle du raisonnement de la majorité stricte au sein d'électorats finis. Bien que des expressions telles que « la plupart », « plus probable que non » ou « la majorité de » soient omniprésentes dans le raisonnement quotidien et scientifique, leur traitement formel est resté limité. Les énoncés de majorité occupent une position logique intermédiaire : ils sont plus faibles que les assertions probabilistes complètes, mais plus forts que les simples affirmations ordinales ou comparatives. Le problème central consiste à identifier les conditions formelles sous lesquelles des jugements de majorité qualitatifs — définis comme une famille de sous-ensembles d'un univers fini de votants — admettent une représentation par une mesure additive finie. Plus précisément, les auteurs cherchent à déterminer quand un « cadre de décision sociale » (un univers de votants et une famille distinguée de blocs de vote) est « mesurable », c'est-à-dire qu'il existe une mesure $\mu$ telle qu'un bloc $A$ appartient à la famille si et seulement si $\mu(A) > \frac{1}{2}\mu(W)$ .

Une motivation spécifique de cette enquête est la correction d'un théorème de représentation classique de Patrick Suppes (1974) concernant les structures de probabilité qualitative faible. Suppes affirmait qu'une structure finie satisfaisant six axiomes spécifiques pour les événements « certains » et « plus probables que non » est représentable par une mesure de probabilité. Les auteurs démontrent que ce théorème est faux, même dans des contextes finis, en raison d'obstructions combinatoires finies que les axiomes de Suppes ne parviennent pas à exclure.

Méthodologie
Les auteurs emploient un cadre de cadres de décision sociale, définis comme des paires $M = (W, \mathcal{M})$ , où $W$ est un ensemble fini de votants et $\mathcal{M} \subseteq 2^W$ est une famille de sous-ensembles interprétés comme des propositions valables « pour la plupart ».

Critère de cohérence : L'innovation méthodologique principale est l'introduction d'un critère de cohérence formulé entièrement en termes de la structure du cadre, sans référence à des mesures numériques. Ce critère est un schéma infini de conditions sur des séquences de sous-ensembles. Un cadre est cohérent si, pour toute séquence d'ensembles $A_1, \dots, A_n$ où chaque ensemble est dans $\mathcal{M}$ ou dans l'ensemble « moitié » $H$ (les ensembles qui ne sont ni dans $\mathcal{M}$ ni dans leurs complémentaires dans $\mathcal{M}$ ), et où la somme de leurs fonctions indicatrices est ponctuellement $\leq \frac{n}{2}$ , il s'ensuit que chaque ensemble est dans $H$ et que la somme des indicatrices est exactement $\frac{n}{2}$ .
Formalisation logique : Les auteurs développent une logique de termes minimale conçue pour capturer des énoncés de la forme « la plupart de tout est un X ». La syntaxe inclut des prédicats atomiques, des opérations booléennes et deux opérateurs : $M t$ (l'interprétation du terme $t$ est dans $\mathcal{M}$ ) et $A t$ (l'interprétation du terme $t$ est l'univers entier $W$ ). La logique incorpore un schéma d'axiomes infini dérivé directement du critère de cohérence.
Analyse combinatoire : L'article étudie la structure combinatoire de l'incohérence en définissant un indice d'incohérence, qui mesure la longueur minimale d'une séquence d'ensembles requise pour démontrer l'échec de la cohérence.

Contributions clés et résultats

Caractérisation de la mesurabilité : L'article établit qu'un cadre de décision sociale fini est mesurable (représentable par une mesure additive finie) si et seulement si il est cohérent. Cela fournit une caractérisation exacte des espaces de majorité en utilisant des conditions structurelles plutôt que des hypothèses existentielles sur les mesures.
Correction du théorème de Suppes : Les auteurs fournissent un contre-exemple (le cadre de décision sociale « étrangement pair ») au Théorème 1 de Suppes (1974). Ils montrent qu'une structure peut satisfaire tous les axiomes de Suppes pour la probabilité qualitative faible tout en échouant à être représentable par une quelconque mesure de probabilité. L'obstruction est identifiée comme une configuration combinatoire finie que le critère de cohérence parvient à exclure avec succès.
Caractérisation de type May : Sous une condition de symétrie naturelle (invariance par permutation de l'univers des votants), les auteurs prouvent que tout cadre cohérent s'effondre vers la règle standard de la majorité stricte (où un ensemble est dans $\mathcal{M}$ si et seulement s'il contient plus de la moitié des votants). Cela produit un résultat de caractérisation de type May dans le présent contexte.
Correction et complétude de la logique : La logique de termes proposée est prouvée saine et complète par rapport à la classe des cadres mesurables. Contrairement aux travaux antérieurs sur les logiques de majorité qui reposaient sur des modèles infinis, ce résultat est obtenu entièrement dans le cadre fini. Par conséquent, la logique possède la propriété de modèle fini et est décidable.
Limites combinatoires : L'article démontre que le critère de cohérence ne peut pas être réduit à un ensemble fini de ses instances. Les auteurs conjecturent qu'il n'existe pas de borne uniforme sur l'indice d'incohérence des cadres de décision sociale, impliquant que le schéma infini de cohérence est nécessaire et ne peut être simplifié à une axiomatisation finie.

Signification
L'article soutient que la mesurabilité doit être vue non pas comme une hypothèse primitive, mais comme une propriété structurelle du raisonnement de majorité qui émerge de l'exigence de coordination formelle. En isolant le critère de cohérence, les auteurs clarifient les fondements de la théorie de la mesure de la règle de la majorité stricte, montrant qu'elle est distincte et plus restrictive que les simples axiomes de probabilité qualitative.

La contribution logique isole un fragment de faible complexité et décidable du raisonnement en langage naturel (« la plupart ») qui contourne toute la machinerie de la logique du premier ordre standard. Cela s'aligne sur le programme de la « logique naturelle », fournissant un système où les axiomes sont directement motivés par la validité de la mesure dans les structures finies.

Enfin, ce travail ouvre une ligne d'investigation combinatoire liant l'échec de la mesurabilité aux problèmes extrémaux concernant les familles équilibrées d'ensembles, suggérant que les limites du raisonnement de majorité sont profondément liées à des configurations combinatoires finies plutôt qu'à des subtilités de la théorie de la mesure infinitaire.