Logique on kenji.blog

Le maître et l'élève, un procès paradoxal quel que soit le gagnant : le paradoxe de Protagoras

Thu, 10 Sep 2026 21:00:00 +0900

Dans la Grèce antique, un jeune homme nommé Éuathlos est devenu le disciple de Protagoras, le plus grand des sophistes (professeur de rhétorique). Un contrat concernant le paiement des frais de scolarité a été conclu entre les deux :

Conditions du contrat : Après avoir terminé l’intégralité du cursus de rhétorique, Éuathlos paiera le solde de ses frais de scolarité à Protagoras dès qu’il aura gagné son premier procès.

Éuathlos était un excellent élève et a brillamment achevé l’ensemble du cursus de rhétorique. Cependant, après avoir terminé, il a refusé d’accepter le moindre procès pour une raison ou une autre. S’il ne va pas au tribunal, la condition de “gagner son premier procès” ne sera jamais remplie, et il n’aura donc pas à payer ses frais de scolarité.

Exaspéré, Protagoras a poursuivi Éuathlos en justice. En exigeant : “Paie tes frais de scolarité”.

Et c’est ici que commence le labyrinthe de la logique.

La logique du maître Protagoras

Au tribunal, Protagoras a argumenté ainsi :

“Juges, quoi qu’il arrive, je gagne.

Si je gagne ce procès, selon la décision du tribunal, Éuathlos devra me payer les frais de scolarité.
Si je perds ce procès, cela signifiera pour Éuathlos qu’il aura ‘gagné son premier procès’. Ainsi, la condition du contrat est remplie et, selon le contrat, il devra payer les frais de scolarité.

Dans les deux cas, il a l’obligation de payer les frais de scolarité.”

La logique de l’élève Éuathlos

Face à cela, Éuathlos ne se laissa pas faire.

“Juges, quoi qu’il arrive, je gagne.

Si je gagne ce procès, selon la décision du tribunal, je n’ai pas à payer de frais de scolarité.
Si je perds ce procès, je n’aurai pas encore ‘gagné mon premier procès’. Ainsi, la condition du contrat n’est pas remplie, et selon le contrat, je n’ai aucune obligation de payer les frais de scolarité.

Dans les deux cas, je n’ai pas à payer de frais de scolarité.”

graph TD A["Résultat du procès"] --> B["Protagoras gagne"] A --> C["Éuathlos gagne"] B --> B1["Jugement : Éuathlos paie"] B --> B2["Contrat : Éuathlos n'a pas gagné → il ne doit pas payer"] C --> C1["Jugement : Éuathlos ne doit pas payer"] C --> C2["Contrat : Première victoire d'Éuathlos → il doit payer"] B1 --> D{"Paradoxe ! Jugement vs Contrat"} B2 --> D C1 --> E{"Paradoxe ! Jugement vs Contrat"} C2 --> E style A fill:#ECEFF1,stroke:#333,stroke-width:2px style B fill:#4CAF50,color:#fff style C fill:#2196F3,color:#fff style D fill:#F44336,color:#fff,stroke-width:3px style E fill:#F44336,color:#fff,stroke-width:3px

Pourquoi y a-t-il une contradiction ?

La cause fondamentale de ce paradoxe est que deux systèmes de règles différents (la loi et le contrat) aboutissent à des décisions contradictoires.

Règle de la loi : Obéir au jugement du tribunal.
Règle du contrat : Obéir à la condition “payer en cas de victoire au premier procès”.

Normalement, la loi et le contrat fonctionnent comme des domaines indépendants, mais du fait que Protagoras a fait du “paiement des frais de scolarité” l’objet du litige, le résultat du procès lui-même a influencé les conditions du contrat, enfermant les deux systèmes dans une boucle auto-référentielle.

La réponse des juristes

Le juriste romain antique Aulu-Gelle a proposé la solution suivante à ce problème :

“Le tribunal devrait rendre un jugement favorable à Éuathlos (aucun paiement requis). En effet, il est vrai que les conditions du contrat ne sont pas encore remplies. Cependant, après ce jugement, Protagoras peut poursuivre Éuathlos une seconde fois. Car, la victoire d’Éuathlos lors du premier procès a rempli la condition du contrat. Lors du second procès, Protagoras gagnera.”

En d’autres termes, la réponse est que tenter de résoudre le paradoxe “en un seul procès simultanément” crée une contradiction, mais que la contradiction peut être résolue si l’affaire est traitée “en deux temps”.

Lien avec les paradoxes de l’auto-référence

Le paradoxe de Protagoras possède la même structure d’auto-référence que le “paradoxe du menteur (‘Cette phrase est fausse’)” ou le “paradoxe de Russell”. Une proposition (la conclusion du procès) influence les conditions mêmes (la réalisation du contrat) qui déterminent sa propre vérité ou fausseté.

Ce type de paradoxe est profondément lié aux problèmes montrant les limites fondamentales de la logique et du calcul, tels que le “problème de l’arrêt (il est impossible de créer un programme capable de déterminer si un autre programme s’arrêtera)” en informatique moderne, ou le théorème d’incomplétude de Gödel.

Le paradoxe de Protagoras est un avertissement vieux de 2400 ans qui nous enseigne que les systèmes de règles créés par l’homme (comme les lois ou les contrats) peuvent s’effondrer de l’intérieur à cause d’une auto-référence astucieuse.

Les émeraudes sont-elles vertes ou « vleues » (grue) ? : La nouvelle énigme de l'induction de Goodman

Thu, 10 Sep 2026 21:00:00 +0900

Nous prédisons le « futur » à partir de l’« expérience passée ». « Le soleil s’est levé à l’est hier, donc il se lèvera à l’est demain. » « Toutes les émeraudes vues jusqu’à présent étaient vertes, donc la prochaine émeraude déterrée sera aussi verte. »

Ce type de raisonnement est appelé « induction » et constitue la base de toute science. Cependant, en 1955, le philosophe Nelson Goodman a inventé un concept de couleur étrange pour montrer que cette induction présente un défaut fondamental. C’est le paradoxe de « vleu » (Grue).

Définition de la nouvelle couleur « vleu » (Grue)

Goodman a défini une nouvelle propriété (couleur) appelée « vleu » (Grue), combinant « vert » (Green) et « bleu » (Blue), de la manière suivante :

Définition de vleu (Grue) : Un objet est « vleu » si, observé avant un certain temps $t$ (par exemple, le 1er janvier 2030), il est « vert », et si, observé à partir du temps $t$, il est « bleu ».

$$ \text{Grue} = \begin{cases} \text{Green} & (\text{Temps} < t) \\ \text{Blue} & (\text{Temps} \ge t) \end{cases} $$

Selon cette définition, l’émeraude verte que vous tenez actuellement dans votre main (avant le temps $t$) est à la fois de couleur « verte » et de couleur « vleue ».

Pourquoi est-ce un paradoxe ?

Le paradoxe survient lorsque nous essayons de prédire l’avenir. Toutes les émeraudes que l’humanité a observées jusqu’à présent étaient « vertes ». Par conséquent, en utilisant l’induction, nous prédisons ce qui suit :

Hypothèse A : « Toutes les émeraudes sont “vertes” »

Mais attendez un instant. Comme toutes les émeraudes observées jusqu’à présent l’ont été avant le temps $t$, elles ont toutes également été de couleur « vleue ». Par conséquent, à partir des mêmes données d’observation, la prédiction suivante est également valable :

Hypothèse B : « Toutes les émeraudes sont de couleur “vleue” »

Si nous suivons les règles de l’induction, toutes les observations passées soutiennent l’hypothèse B avec « exactement la même force » qu’elles soutiennent l’hypothèse A.

graph TD A["Observations passées : Toutes les émeraudes étaient vertes"] -->|En même temps| B["Observations passées : Toutes les émeraudes étaient de couleur « vleue »"] A --> C["Prédiction inductive A : Les émeraudes futures seront également « vertes »"] B --> D["Prédiction inductive B : Les émeraudes futures seront également de couleur « vleue »"] C --> E["Restent vertes après le temps t"] D --> F["Deviennent « bleues » après le temps t !"] style C fill:#4CAF50,stroke:#333,color:#fff style D fill:#2196F3,stroke:#333,color:#fff style F fill:#F44336,stroke:#333,color:#fff,stroke-width:2px

Les émeraudes deviendront-elles bleues ?

Si l’hypothèse B est correcte, au moment où le temps $t$ arrivera, toutes les émeraudes du monde devront simultanément devenir « bleues » (d’après la définition de vleu).

Intuitivement, nous pensons : « C’est absurde. L’hypothèse B est un jeu de mots artificiel, et l’hypothèse A (vert) doit être la bonne. »

Cependant, la question de Goodman va beaucoup plus loin. Les hypothèses « verte » et « vleue » correspondent toutes deux parfaitement aux données passées, alors pourquoi considérons-nous que seule la prédiction « verte » est justifiée et rejetons-nous la prédiction « vleue » ? Quel est le « fondement logique » de cela ?

Un défi à l’« uniformité de la nature »

Pour éviter ce problème, une objection vient à l’esprit : « Nous devrions utiliser des concepts simples comme “vert”, et ne pas utiliser de concepts complexes incluant le temps comme “vleu”. »

Cependant, Goodman a montré à l’inverse que si l’on définit une couleur « blert » (Bleen : bleu jusqu’au temps $t$, puis vert par la suite), alors le concept même de « vert » devient un concept complexe dépendant du temps : « vleu jusqu’au temps $t$, et blert par la suite ». En d’autres termes, le choix des mots que nous considérons comme étant de « base » n’est qu’une question d’habitudes linguistiques.

Le paradoxe de « vleu » de Goodman (la nouvelle énigme de l’induction) a prouvé que les théories scientifiques ne sont pas déterminées uniquement par des données objectives, mais dépendent fortement du « cadre conceptuel (langage) que nous utilisons pour découper le monde ».

Même dans le contexte de l’IA et de l’apprentissage automatique, ce paradoxe conserve une signification importante aujourd’hui en tant que problème de « surapprentissage » (overfitting) ou de « biais ». Il montre que, même avec les mêmes données d’apprentissage, la prédiction pour l’avenir change complètement en fonction de la « structure du modèle (quelles caractéristiques sont privilégiées) ».

Quand les mots se décrivent eux-mêmes : Le paradoxe de Grelling-Nelson

Thu, 10 Sep 2026 21:00:00 +0900

Les mots sont des outils pour décrire le monde, mais lorsque nous essayons de décrire les mots eux-mêmes, la logique peut tomber dans des pièges inattendus.

Conçu par Kurt Grelling et Leonard Nelson en 1908, le “Paradoxe de Grelling-Nelson (Grelling-Nelson Paradox)” est un célèbre paradoxe sémantique qui met en évidence les limites de cette “définition des mots par les mots”.

Classer les mots en deux catégories

Grelling et Nelson ont considéré que tous les adjectifs (ou mots) pouvaient être classés dans les deux groupes suivants :

Autologique (Autological) : Un mot qui possède lui-même la propriété qu’il décrit.
Hétérologique (Heterological) : Un mot qui ne possède pas lui-même la propriété qu’il décrit.

Regardons quelques exemples

Exemples de mots autologiques :

“Court” (short) : Ce mot lui-même est court.
“Français” (French) : Ce mot lui-même est français.
“Nom” (noun) : Ce mot est un nom.
“Pentasyllabique” (pentasyllabic) : En français, “pen-ta-syl-la-bique” a cinq syllabes.

Exemples de mots hétérologiques :

“Long” (long) : Ce mot lui-même est court, pas long.
“Allemand” (German) : Ce mot est en français (ou en anglais), et n’est pas en allemand.
“Invisible” (invisible) : Ce mot est parfaitement visible en ce moment sur l’écran ou le papier.

Jusqu’ici, cela ressemble à un simple jeu de mots. Chaque mot devrait nécessairement pouvoir être classé soit comme incarnant sa propre signification, soit comme ne l’incarnant pas.

La question fatale : l’émergence du paradoxe

C’est ici que commence le paradoxe. Considérons le mot suivant.

Le mot “Hétérologique” (Heterological) lui-même est-il autologique ou hétérologique ?

Face à cette question, nous sommes confrontés à une contradiction, quelle que soit la réponse choisie.

Cas 1 : Supposons que “Hétérologique” soit “Autologique”

Si le mot “Hétérologique” (Heterological) est “autologique”, alors par définition, il “possède la propriété que le mot lui-même signifie”. Cependant, la signification de ce mot est d’être “hétérologique”. En d’autres termes, avoir la propriété d’être “hétérologique” signifie qu’il est “hétérologique”. Nous avons supposé qu’il était autologique, mais le résultat est qu’il est devenu hétérologique. (Contradiction)

Cas 2 : Supposons que “Hétérologique” soit “Hétérologique”

Si le mot “Hétérologique” (Heterological) est “hétérologique”, alors par définition, il “ne possède pas la propriété que le mot lui-même signifie”. Comme la signification de ce mot est “hétérologique”, ne pas posséder cette propriété signifie qu’il est “autologique”. Nous avons supposé qu’il était hétérologique, mais le résultat est qu’il est devenu autologique. (Contradiction)

La logique s’effondre dans les deux cas.

graph TD A["Mot 'Hétérologique' (Heterological)"] --> B{"Dans quelle catégorie le classer ?"} B -->|Il est autologique| C["Définition : Il possède sa propre signification"] C --> D["Sa propre signification est 'hétérologique'"] D --> E["Résultat : Il est hétérologique !"] E -->|Contradiction| B B -->|Il est hétérologique| F["Définition : Il ne possède pas sa propre signification"] F --> G["Sa propre signification est 'hétérologique'"] G --> H["Résultat : Il est autologique !"] H -->|Contradiction| B style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style B fill:#FF9800,stroke:#333,stroke-width:2px,color:#fff style E fill:#F44336,stroke:#333,stroke-width:2px,color:#fff style H fill:#F44336,stroke:#333,stroke-width:2px,color:#fff

Lien avec les mathématiques et la logique : un parent du paradoxe de Russell

Ce paradoxe n’est pas une simple erreur de calcul ou une illusion comme l’“énigme du dollar manquant”. Il a fondamentalement la même structure que le paradoxe de Russell (“L’ensemble de tous les ensembles qui ne se contiennent pas eux-mêmes se contient-il lui-même ?”), qui a ébranlé les fondements des mathématiques.

Le paradoxe de Grelling-Nelson peut être vu comme la version sémantique (la signification des mots) du paradoxe de Russell.

Le paradoxe de Russell dans la théorie des ensembles : Lorsqu’on définit l’ensemble

$$ R = \{ x \mid x \notin x \} $$

demander si $R \in R$ ou $R \notin R$ conduit à une contradiction.

Le paradoxe de Grelling-Nelson en sémantique : Si l’on définit $Het(x)$ comme “le mot $x$ n’a pas la propriété $x$ (est hétérologique)”, on tombe dans la contradiction logique :

$$ Het(\text{"Het"}) \iff \neg Het(\text{"Het"}) $$

Pourquoi ce paradoxe est-il important ?

Lorsqu’un mot fait référence à lui-même (auto-référence), il y a toujours un risque d’erreurs s’apparentant à une boucle infinie.

Ce n’est pas seulement un problème de philosophie ou de linguistique. En informatique et en intelligence artificielle, lorsque des programmes tentent d’évaluer ou de modifier leur propre code, ou lorsque les modèles de traitement du langage naturel interprètent des contradictions sémantiques, ils se heurtent à des barrières logiques similaires.

Le paradoxe de Grelling-Nelson est une expérience de pensée qui visualise brillamment les bugs (limites) inhérents au système qu’est le “langage”.

Si l'on retire un grain de sable, quand un tas de sable cesse-t-il d'être un tas ? : Le paradoxe sorite

Thu, 10 Sep 2026 21:00:00 +0900

Imaginons un beau tas constitué de 10 000 grains de sable. Tout le monde s’accorde à dire qu’il s’agit bien d’un « tas de sable ». Retirons-en un seul grain. 9 999 grains. C’est toujours un tas, n’est-ce pas ? Retirons-en encore un. 9 998 grains. C’est encore un tas.

Poursuivons cette opération. Le simple retrait d’un grain ne devrait pas transformer un « tas de sable » en « quelque chose qui n’est pas un tas ». Pourtant, si l’on répète indéfiniment ce raisonnement, on finit par ne plus avoir qu’un seul grain de sable.

Un seul grain de sable est-il un « tas » ?

Bien sûr, personne n’appellerait un seul grain de sable un « tas ». Et pourtant, nous n’avons jamais réfuté la prémisse selon laquelle « retirer un grain ne change pas le fait qu’un tas reste un tas ». Le raisonnement se brise quelque part, mais à partir de combien de grains le tas cesse-t-il d’être un tas ?

C’est le « paradoxe sorite » (ou paradoxe du tas de sable), qui remonte au philosophe grec Eubulide, au IVᵉ siècle avant J.-C.

Structure logique

Ce paradoxe peut être formulé sous la forme d’un syllogisme :

Prémisse 1 : Un ensemble de 10 000 grains de sable constitue un « tas ». Prémisse 2 : Si l’on retire un grain d’un tas de sable, celui-ci reste un « tas ». Conclusion : Par conséquent, un seul grain de sable est aussi un « tas ».

Prises individuellement, les prémisses 1 et 2 semblent parfaitement raisonnables. Cependant, l’application répétée de la prémisse 2 conduit à une conclusion manifestement fausse.

Pourquoi ce paradoxe est-il insoluble ?

Le cœur du paradoxe du tas de sable réside dans le fait que le mot « tas » est intrinsèquement ambigu. Il n’existe pas de définition précise (de seuil) indiquant « à partir de combien de grains on a un tas ». Ce type de concept est appelé « prédicat vague » (vague predicate).

Notre langage quotidien regorge de tels mots ambigus.

« Grand » : à partir de combien de centimètres ? Une personne de 180 cm est « grande ». Et si on lui retire 1 mm ? Encore 1 mm ?
« Riche » : à partir de quel patrimoine ? Avec 10 milliards de yens, on est « riche ». Et si on retire 1 yen ?
« Chauve » : en dessous de combien de cheveux ? Avec 0 cheveu, on est « chauve ». Et si un cheveu repousse ?

Tous ces exemples possèdent exactement la même structure que le paradoxe du tas de sable.

Les approches des philosophes

1. L’approche épistémique (la frontière existe)

Selon cette approche, « il existe en réalité une frontière nette entre le tas et le non-tas, mais l’être humain n’a tout simplement pas la capacité de la percevoir ». Par exemple, il existerait une limite précise telle que « 5 837 grains forment un tas, mais 5 836 grains n’en forment pas », que nous serions incapables de connaître.

Du point de vue de la logique formelle, cette position est satisfaisante, mais beaucoup de gens la trouvent intuitivement insatisfaisante.

2. La logique floue (valeurs de vérité graduées)

En logique classique, une proposition est soit « vraie » soit « fausse ». En logique floue, elle peut prendre une valeur comprise entre 0 et 1.

Par exemple :

10 000 grains de sable → « degré de tas = 1,0 (parfaitement un tas) »
5 000 grains → « degré de tas = 0,7 »
100 grains → « degré de tas = 0,1 »
1 grain → « degré de tas = 0,0 (parfaitement non-tas) »

Cette méthode est pragmatique, mais elle ne résout pas entièrement le paradoxe. En effet, une nouvelle ambiguïté surgit : « quelle est la différence entre un degré de tas de 0,7 et de 0,699 ? »

3. Le supervaluationnisme (Supervaluationism)

Selon cette conception, on considère simultanément toutes les frontières raisonnables possibles pour le mot « tas ». Si toutes les frontières classent l’ensemble comme « tas », alors c’est « assurément un tas ». Si toutes le classent comme « non-tas », alors c’est « assurément un non-tas ». Le domaine où les avis divergent est qualifié d’« indéterminé ».

Impact sur la société contemporaine

Le paradoxe du tas de sable n’est pas un simple jeu de mots : il soulève des problèmes graves dans le monde réel du droit et des politiques publiques.

L’âge de la majorité : à 17 ans et 364 jours, on est « enfant » ; à 18 ans et 0 jour, on est « adulte ». Qu’est-ce qui change fondamentalement en une journée ?
Le seuil de pauvreté : si le revenu annuel est inférieur de 1 yen au montant de référence, on est « pauvre » ; s’il est supérieur de 1 yen, on ne l’est pas.
Les réglementations environnementales : si les émissions de polluants dépassent la valeur limite de 0,001 mg, c’est illégal. Si elles sont exactement à la limite, c’est légal.

Le langage et la pensée humaine comportent une part intrinsèque d’ambiguïté, et tenter de découper le monde en dichotomies nettes est peut-être en soi une entreprise vouée à l’échec. Le paradoxe du tas de sable est un paradoxe qui, depuis plus de 2 400 ans, continue de tourmenter les philosophes et met en lumière les limites fondamentales de l’intelligence humaine.

Voir une pomme bleue prouve-t-il que « les corbeaux sont noirs » ? : Les corbeaux de Hempel

Thu, 10 Sep 2026 21:00:00 +0900

Comment les scientifiques prouvent-ils une théorie ? En général, ils utilisent l’« induction », qui consiste à observer le monde et à recueillir des données. Par exemple, si vous voulez prouver l’hypothèse selon laquelle « tous les corbeaux sont noirs », vous observerez les corbeaux du monde entier et confirmerez un par un qu’ils sont noirs.

Cependant, dans les années 1940, le logicien Carl Hempel a souligné une étrange faille logique cachée dans cette méthode scientifique évidente. Il s’agit du paradoxe des corbeaux de Hempel (Hempel’s Ravens), selon lequel « le simple fait de voir une pomme bleue ou des chaussures rouges devient une preuve que ’les corbeaux sont noirs’ ».

Substitution logique : la magie de la contraposée

Pour comprendre l’argument de Hempel, il faut se rappeler du concept de « contraposée » appris au lycée en mathématiques.

En logique, si une proposition « Si A, alors B » est vraie, sa contraposée « Si non B, alors non A » est obligatoirement vraie (c’est ce qu’on appelle l’équivalence logique).

Hypothèse $H_1$ : « Tous les corbeaux sont noirs (Si c’est un corbeau, alors c’est noir) »

Prenons la contraposée de cette hypothèse $H_1$. Cela devient « Si ce n’est pas noir, alors ce n’est pas un corbeau ».

Hypothèse $H_2$ : « Tout ce qui n’est pas noir n’est pas un corbeau »

Selon les règles de la logique, $H_1$ et $H_2$ ont exactement la même signification (équivalence). Si l’une est prouvée, l’autre est automatiquement prouvée.

Prouver les corbeaux sans voir de corbeaux

Or, pour vérifier l’hypothèse $H_1$ (les corbeaux sont noirs), chaque fois que l’on trouve un corbeau noir, la probabilité (la preuve) de l’hypothèse se renforce un peu. C’est quelque chose que tout le monde accepte.

Cependant, puisque $H_1$ et $H_2$ ont la même signification, trouver une preuve pour l’hypothèse $H_2$ (ce qui n’est pas noir n’est pas un corbeau) devrait être directement une preuve pour l’hypothèse $H_1$.

Alors, quelle est la preuve de $H_2$ ? Il suffit de trouver « quelque chose qui n’est ni noir, ni un corbeau ».

Supposons qu’il y ait une « pomme bleue » sur la table. Ce n’est ni noir, ni un corbeau. C’est donc une preuve à l’appui de $H_2$.
Il y avait des « chaussures rouges » dans le placard. Celles-ci ne sont ni noires, ni des corbeaux. C’est une preuve de $H_2$.
Des « nuages blancs » flottent dans le ciel. C’est aussi une preuve de $H_2$.

Puisque la preuve de $H_2$ a la même valeur que la preuve de $H_1$, la conclusion étrange suivante est logiquement déduite :

« Plus vous observez de pommes bleues ou de chaussures rouges dans une pièce, plus vous prouvez que l’hypothèse ’tous les corbeaux sont noirs’ est correcte. »

graph TD A["Proposition H1 : Tous les corbeaux sont noirs"] <-->|Équivalence logique (Contraposée)| B["Proposition H2 : Ce qui n'est pas noir n'est pas un corbeau"] C["Observation : Corbeau noir"] -->|Sert de preuve| A D["Observation : Pomme bleue"] -->|Sert de preuve| B D -.->|Par conséquent, cela devrait aussi être une preuve ?| A style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style B fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style C fill:#2196F3,stroke:#333,color:#fff style D fill:#FF9800,stroke:#333,color:#fff

Pourquoi cela va-t-il à l’encontre de l’intuition ?

Il n’y a aucun ornithologue au monde dont la conviction que « les corbeaux sont noirs » se renforce en voyant une pomme bleue. Bien que cela soit parfaitement correct d’un point de vue logique, pourquoi notre bon sens le rejette-t-il ?

Dans le monde de la philosophie et de la statistique, plusieurs approches ont été proposées pour résoudre ce paradoxe.

1. La solution bayésienne (différence de quantité d’information)

La contre-argumentation la plus puissante du point de vue des statistiques modernes (probabilités bayésiennes) se concentre sur la différence de « force de la preuve (quantité d’information) ».

Il y a infiniment plus de « choses qui ne sont pas noires » dans le monde que de « choses noires », et il y a astronomiquement plus de « choses qui ne sont pas des corbeaux » que de « corbeaux ».

Lorsque vous voyez une pomme bleue, c’est certes une preuve que « tous les corbeaux sont noirs », mais sa valeur en tant que preuve (l’augmentation de la probabilité) est infiniment proche de zéro. Le fait de confirmer l’existence d’une des innombrables « choses qui ne sont pas noires » dans le vaste univers n’augmente la probabilité que « les corbeaux soient noirs » que de l’ordre d’un grain de sable retiré d’un désert. D’un autre côté, trouver directement un corbeau noir a une valeur de preuve écrasante.

En d’autres termes, la solution bayésienne est que logiquement « une pomme bleue est une preuve », mais en pratique « sa valeur en tant que preuve est égale à zéro, donc elle peut être ignorée ».

2. Les limites de l’« ornithologie de salon »

Ce paradoxe met en évidence à quel point le fondement même de la science, « l’induction (déduire des lois générales à partir d’observations) », repose sur des prémisses fragiles. Si l’on ne se fie qu’à l’équivalence logique, une « ornithologie de salon » devient possible, où l’on pourrait vérifier n’importe quelle loi de l’univers (« tous les cygnes sont blancs », « tous les extraterrestres ne sont pas verts », etc.) simplement en observant les objets hétéroclites dans sa chambre sans jamais sortir.

Les corbeaux de Hempel est un paradoxe fascinant qui montre que les mots « preuve » et « prouver » que nous utilisons inconsciemment ne peuvent pas être pleinement appréhendés uniquement par les règles de la logique symbolique pure.

Le paradoxe de Berry : la contradiction de vouloir définir des « nombres » avec des « mots »

Thu, 10 Sep 2026 11:00:00 +0900

1. Exprimer des nombres avec des mots

Nous utilisons couramment non seulement des « chiffres arabes (1, 2, 3…) », mais aussi des « mots (en japonais, en français ou autre) » pour exprimer des nombres.

Par exemple, le nombre « $10$ » peut être exprimé de différentes manières avec des mots en japonais :

« じゅう » (dix, 3 caractères)
« ごの2ばい » (le double de 5, 5 caractères)
« ひゃくの10ぶんの1 » (le dixième de 100, 9 caractères)

Ainsi, considérons le fait d’expliquer un certain nombre en utilisant les « caractères de la langue japonaise ». Nous imposerons une limite au nombre de caractères utilisables. Ici, nous considérerons les nombres pouvant être exprimés avec « 19 caractères ou moins » en japonais.

Naturellement, il y a une limite aux nombres qui peuvent être exprimés en 19 caractères ou moins. En effet, le nombre de types de caractères japonais (hiragana, katakana, kanji, etc.) est fini, et les combinaisons possibles en les alignant sur 19 caractères ou moins sont également finies (ce sera un nombre astronomique, mais pas infini).

En d’autres termes, il existe nécessairement « un entier gigantesque qui ne peut absolument pas être exprimé en 19 caractères japonais ou moins ».

2. La naissance du paradoxe

Maintenant, voici le vif du sujet. Il existe une infinité d’« entiers qui ne peuvent pas être exprimés en 19 caractères japonais ou moins ». Parmi cette infinité de nombres inexprimables, supposons que nous trouvions « le plus petit (le plus petit entier) ».

Appelons ce nombre $X$. Puisque $X$ est par définition le plus petit parmi les « nombres qui ne peuvent pas être exprimés en 19 caractères japonais ou moins », nous pouvons l’appeler ainsi en japonais :

« じゅうきゅうもじいないであらわせないさいしょうのせいすう » (le plus petit entier qui ne peut pas être exprimé en dix-neuf caractères ou moins)

Comptons le nombre de caractères (hiragana) : « じゅ・う・きゅ・う・も・じ・い・な・い・で・あ・ら・わ・せ・な・い・さ・い・しょ・う・の・せ・い・す・う » …Tiens ? Même en ignorant la ponctuation, il y a 25 caractères. Cela dépasse les « 19 caractères ».

Essayons donc de raccourcir l’expression en utilisant des kanjis (idéogrammes).

« 十九文字以内で表せない最小の整数 »

Maintenant, comptez le nombre de caractères de cette phrase japonaise :

Incroyable, il n’y a que « 16 caractères ».

Quelque chose d’étrange vient de se produire. Nous venons tout juste d’exprimer le nombre $X$ en utilisant la phrase « 十九文字以内で表せない最小の整数 », qui est « un texte japonais de 16 caractères » !

graph TD Define["Définition :
X = Le plus petit entier ne pouvant être exprimé en 19 caractères ou moins"] --> CheckLength{"Combien de caractères comporte la phrase
『十九文字以内で表せない最小の整数』 ?"} CheckLength -->|Elle fait 16 caractères| Contradiction["Contradiction !
X a pu être exprimé en 『16 caractères』 !"] Contradiction --> Paradox["X 『ne peut pas être exprimé en 19 caractères ou moins』, mais pourtant
『il peut être exprimé en 19 caractères ou moins (16 caractères)』"] style Contradiction fill:#ff9999,stroke:#333 style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

Alors que $X$ est censé être un nombre qui « ne peut pas être exprimé en 19 caractères ou moins », les mots mêmes de sa définition expriment parfaitement $X$ en « 16 caractères (ce qui est inférieur ou égal à 19) ». C’est ce qu’on appelle le « Paradoxe de Berry (Berry Paradox) ».

3. Qui a créé ce paradoxe ?

Ce paradoxe a été imaginé en 1904 par G. G. Berry, un bibliothécaire de l’Université d’Oxford. Il est devenu mondialement célèbre lorsque Bertrand Russell, mathématicien et philosophe de génie du 20e siècle, l’a présenté dans l’un de ses articles.

(* Dans l’article original en anglais, l’expression utilisée est “The least integer not nameable in fewer than nineteen syllables” (le plus petit entier qui ne peut pas être nommé en moins de dix-neuf syllabes), et le paradoxe est conçu pour fonctionner avec le nombre de syllabes en anglais.)

4. Pourquoi cette contradiction se produit-elle ?

La cause fondamentale de ce paradoxe réside dans l’ambiguïté et l’auto-référence du « langage naturel (japonais, anglais, français, etc.) » que nous utilisons quotidiennement.

Le langage naturel ne peut pas supporter la rigueur des mathématiques

Dans le monde des mathématiques, « définir un nombre » est une tâche extrêmement rigoureuse (on utilise des équations et des symboles). Cependant, dans le paradoxe de Berry, on a tenté de définir un objet mathématique (un entier) en utilisant le langage quotidien humain avec des notions telles que « pouvoir exprimer » et « ne pas pouvoir exprimer ».

Le langage courant est extrêmement puissant et flexible, mais cette flexibilité permet de faire des choses acrobatiques, comme « faire référence au nombre de ses propres caractères ». En conséquence, cela a provoqué une auto-contradiction (un paradoxe d’auto-référence) où « la définition elle-même enfreint les règles de la définition ».

Que signifie « nommer » ou « exprimer » ?

De plus, la définition de « peut être exprimé en 16 caractères » est ambiguë. L’expression « le plus petit entier qui ne peut pas être exprimé en 19 caractères ou moins » ne pointe pas directement vers un nombre spécifique concret (par exemple, un nombre comme $987654321...$). Elle ne fait que décrire indirectement le fait qu’« il doit y avoir un nombre qui remplit cette condition ».

Mathématiquement, « exprimer de manière directement calculable » et « énoncer une condition indirecte avec des mots » doivent être clairement distingués. C’est en confondant ces deux choses pour affirmer « on a pu l’exprimer en 16 caractères ! » que se cache le tour de passe-passe logique.

5. Conclusion et influence moderne

À première vue, le paradoxe de Berry peut sembler n’être qu’un « jeu de mots » ou une « devinette ». Cependant, ce problème a été pour les mathématiciens du 20e siècle l’occasion de prendre profondément conscience du « danger d’utiliser le langage naturel pour jeter les bases des mathématiques ».

« Il ne faut pas définir des nombres avec des mots. Les mathématiques doivent être construites uniquement avec des symboles rigoureux et totalement indépendants. »

Ce paradoxe a servi de jalon important, ouvrant la voie à des disciplines de pointe qui allaient changer l’histoire des mathématiques, comme le « Théorème d’incomplétude de Gödel (il existe en mathématiques des vérités qui ne peuvent absolument pas être prouvées) » et la « Complexité de Kolmogorov en informatique (une théorie sur la façon dont l’information peut être compressée) ».

Le fait que seulement 16 caractères japonais aient pu exposer les limites des mathématiques : telle est la beauté du paradoxe de Berry.

Le paradoxe de l'interrogation surprise : le jour où un test logiquement « absolument impossible » a lieu

Thu, 10 Sep 2026 10:00:00 +0900

1. La « déclaration absolue » du professeur

Un vendredi sur le chemin du retour, le professeur de mathématiques a fait une annonce terrifiante à ses élèves.

« La semaine prochaine, un jour entre lundi et vendredi, je vous ferai un “contrôle surprise” unique. Cependant, si le matin même vous pouvez prédire avec certitude que “le contrôle aura lieu aujourd’hui”, ce ne sera plus une surprise, et donc je ne ferai pas de contrôle ce jour-là. »

En entendant cette déclaration, les élèves ont tremblé de peur. Ils allaient devoir passer chaque jour dans l’angoisse de savoir quand le contrôle aurait lieu. Cependant, l’élève A, le plus brillant de la classe, s’est soudainement levé avec un sourire en coin.

« Les gars, vous pouvez être rassurés. Il est absolument impossible qu’un contrôle surprise ait lieu la semaine prochaine. C’est logiquement impossible ! »

L’élève A, plein de confiance, a commencé à écrire sa « logique parfaite » au tableau.

2. La preuve par la « logique parfaite » de l’élève A

La preuve de l’élève A utilise une technique mathématique appelée raisonnement à rebours, en commençant par le « vendredi » et en remontant le temps.

Étape 1 : Éliminer la possibilité du vendredi

Supposons qu’il n’y ait pas de contrôle pendant 4 jours, du lundi au jeudi. Il ne reste alors que le « vendredi ». Le vendredi matin, les élèves pourront prédire avec certitude : « Puisqu’il ne reste qu’aujourd’hui, le contrôle est sans aucun doute aujourd’hui ! » Selon la déclaration du professeur, « il n’y aura pas de contrôle le jour où il peut être prédit », il est donc logiquement impossible de faire un contrôle surprise le vendredi. Par conséquent, il n’y aura absolument pas de contrôle le vendredi.

Étape 2 : Éliminer la possibilité du jeudi

Il est maintenant confirmé qu’il n’y a pas de contrôle le vendredi. Cela signifie que le dernier jour où un contrôle peut avoir lieu est le « jeudi ». Supposons qu’il n’y ait pas de contrôle pendant 3 jours, du lundi au mercredi. La seule possibilité restante est alors le jeudi (le vendredi a déjà été éliminé). Le jeudi matin, les élèves pourront prédire avec certitude que « le contrôle est aujourd’hui ! ». Par conséquent, il n’y aura absolument pas de contrôle le jeudi non plus.

Étape 3 : Tous les jours de la semaine disparaissent

Il suffit de répéter la même logique. S’il n’y a pas de jeudi, le dernier jour devient le mercredi. Par conséquent, s’il n’y a pas de contrôle jusqu’au mardi, cela pourra être prédit le mercredi matin, donc le mercredi disparaît également. Si le mercredi disparaît, le mardi disparaît aussi, et le lundi aussi. Conclusion : Tant que l’on respecte la règle du professeur, il est absolument impossible d’organiser un contrôle surprise n’importe quel jour de la semaine, du lundi au vendredi !

graph TD Fri["Vendredi matin
(pas de test du lun au jeu)"] -->|"Prévisible : 'il ne reste que vendredi'"| NoFri["Test impossible le vendredi"] Thu["Jeudi matin
(pas de test du lun au mer)"] -->|"Prévisible : 'pas vendredi, donc aujourd'hui'"| NoThu["Test impossible le jeudi"] Wed["Mercredi matin"] -->|"Prévisible : 'pas jeu/ven, donc aujourd'hui'"| NoWed["Test impossible le mercredi"] Tue["Mardi matin"] -->|"Prévisible de la même manière"| NoTue["Test impossible le mardi"] Mon["Lundi matin"] -->|"Prévisible de la même manière"| NoMon["Test impossible le lundi"] NoFri -.-> Thu NoThu -.-> Wed NoWed -.-> Tue NoTue -.-> Mon style NoFri fill:#ff9999,stroke:#333 style NoThu fill:#ff9999,stroke:#333 style NoWed fill:#ff9999,stroke:#333 style NoTue fill:#ff9999,stroke:#333 style NoMon fill:#ff9999,stroke:#333

Les élèves de la classe ont exulté. La logique de l’élève A semblait parfaite, sans la moindre faille. Ils ont passé le week-end à s’amuser et sont arrivés le lundi sans avoir étudié une seule fois.

Lundi… il n’y a pas eu de contrôle. « Tu vois ! » Mardi… il n’y a pas eu de contrôle. « L’élève A avait raison ! »

Puis, le mercredi matin. La porte de la classe s’est ouverte brusquement et le professeur est entré en disant :

« Allez, rangez vos bureaux. Nous allons commencer le contrôle surprise ! »

Les élèves ont paniqué. « Ma, mais pourquoi !? On n’avait pas du tout prévu qu’il y aurait un contrôle le mercredi ! »

Le professeur sourit d’un air narquois. « Vous voyez, vous n’avez pas pu le prédire, n’est-ce pas ? Ma “déclaration” était tout à fait correcte, et selon les règles, le contrôle surprise a bien eu lieu. »

3. Où la logique s’est-elle trompée ?

La preuve de l’élève A semblait parfaite, alors pourquoi un « contrôle totalement surprise » a-t-il pu avoir lieu dans la réalité ? Ce problème, à l’origine connu sous le nom de « paradoxe de l’interrogation surprise » (ou paradoxe de la pendaison inattendue), a été imaginé dans les années 1940 par le mathématicien suédois Lennart Ekbom et n’a cessé depuis de tourmenter philosophes et logiciens.

En fait, il n’existe pas encore de consensus unifié affirmant « voici l’unique et absolue bonne réponse » à ce paradoxe. Cependant, il existe plusieurs approches majeures pour le résoudre.

Approche 1 : « Le paradoxe de la connaissance (Épistémologie) »

Le plus grand piège dans le raisonnement de l’élève A est d’avoir inclus la prémisse que « la déclaration du professeur est 100 % vraie » dans sa propre prédiction.

La déclaration du professeur est composée de deux conditions : « Il y aura un contrôle la semaine prochaine (P) » et « Il n’y aura pas de contrôle le jour où vous l’aurez prédit (Q) ». S’il n’y a pas de contrôle avant vendredi, l’élève pense « si la déclaration est vraie, ce ne peut être qu’aujourd’hui », mais en même temps il reste de la place pour douter : « si je peux prédire que c’est aujourd’hui, cela contredit Q dans la déclaration. Dans ce cas, la déclaration P elle-même (il y aura un contrôle) n’était-elle pas un mensonge depuis le début ? »

Le conflit entre la conviction que « la parole du professeur est absolument vraie » et le « raisonnement logique » a conduit les élèves à la fausse conclusion (conviction) que « le professeur ne fera pas de contrôle », avec pour conséquence que quel que soit le moment où le contrôle serait donné, il serait dans un état « inattendu (surprise) ».

Approche 2 : « Le paradoxe de l’autoréférence »

Traduisons les mots du professeur en formule logique. Soit $S$ l’affirmation du professeur. $S = $ « Je ferai un contrôle un certain jour $T$. Et vous ne pourrez pas prédire ce jour $T$. »

Cette affirmation possède une « structure autoréférentielle » dont la vérité ou la fausseté change selon la façon dont les élèves la perçoivent (la déclaration). Tout comme le « paradoxe du menteur (“Cette phrase est fausse”) », elle a pour propriété de faire tourner le raisonnement logique dans une boucle infinie.

4. Le « contrôle surprise » caché dans la vie quotidienne

Ce paradoxe s’applique non seulement aux mathématiques, mais aussi à notre vie quotidienne.

[Le dilemme de la fête surprise]

Supposons qu’un ami déclare : « Ce mois-ci, je vais organiser une fête surprise pour ton anniversaire ! » En entendant cela, vous essayez de deviner chaque jour : « Est-ce aujourd’hui ? Est-ce demain ? » Si la fête n’a pas eu lieu le dernier jour du mois, pour que la condition de « surprise (imprévisible) » soit remplie, vous en déduisez qu’elle ne peut absolument pas avoir lieu le dernier jour… Mais en réalité, si un gâteau apparaît soudainement vers le milieu du mois, vous serez « vraiment surpris ! » et subirez une surprise parfaite.

5. Résumé

Le « paradoxe de l’interrogation surprise » illustre parfaitement la difficulté d’inclure l’état même de « savoir (prédire) » dans le calcul logique.

Ce que nous considérons comme un « raisonnement parfait » n’est peut-être en réalité qu’un château de sable construit sur la croyance infondée que « l’autre partie respectera absolument les règles ». La prochaine fois que le professeur annoncera : « Je vais faire un contrôle surprise », il serait plus raisonnable d’arrêter de manipuler la logique et d’étudier docilement tous les jours.

Le paradoxe de Russell : "l'ensemble de tous les ensembles qui ne se contiennent pas eux-mêmes" se contient-il lui-même ?

Thu, 10 Sep 2026 04:00:00 +0900

1. Le “paradoxe du barbier” qui frappa un paisible village

Dans un village paisible vivait un barbier. À l’entrée du village se trouvait un étrange panneau d’affichage :

“Le barbier de ce village rase tous les villageois qui ne se rasent pas eux-mêmes, et ne rase personne d’autre.”

Les villageois étaient satisfaits de cette règle. Ceux qui ne pouvaient pas se raser eux-mêmes n’avaient qu’à aller chez le barbier, et ceux qui pouvaient se raser le faisaient chez eux.

Cependant, un jour, le jeune barbier se regarda dans le miroir et réalisa soudainement quelque chose. Il avait une barbe naissante sur le menton. “Alors, devrais-je me raser ?” se demanda-t-il.

Il décida de réfléchir logiquement en suivant la règle du panneau.

S’il “se rase lui-même” ? Selon la règle, le barbier ne peut raser que “ceux qui ne se rasent pas eux-mêmes”. Par conséquent, puisqu’il se rase lui-même, il n’a pas le droit de se faire raser par le barbier (lui-même). Autrement dit, il “ne doit pas se raser”.
S’il “ne se rase pas lui-même” ? Selon la règle, le barbier doit raser tous “ceux qui ne se rasent pas eux-mêmes”. Par conséquent, puisqu’il ne se rase pas lui-même, il doit se faire raser par le barbier (lui-même). Autrement dit, il “doit se raser”.

“S’il se rase, il ne doit pas se raser.” “S’il ne se rase pas, il doit se raser.”

Le barbier a complètement paniqué, incapable de choisir l’une ou l’autre action. C’est le célèbre “paradoxe du barbier”.

graph TD Barber["Barbier : Doit-il se raser ?"] Barber -->|OUI : Il se rase| Cond1["Violation de la règle !
(Il ne doit pas raser quelqu'un qui se rase lui-même)"] Barber -->|NON : Il ne se rase pas| Cond2["Violation de la règle !
(Il doit raser ceux qui ne se rasent pas eux-mêmes)"] Cond1 --> Paradox["Contradiction (Paradoxe)"] Cond2 --> Paradox style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

2. Le “paradoxe de Russell” qui a secoué le monde des mathématiques

Ce “paradoxe du barbier” est une métaphore créée par le logicien et philosophe britannique Bertrand Russell pour expliquer de manière compréhensible au grand public le paradoxe mathématique qu’il avait découvert.

Ce qu’il avait vraiment découvert n’était pas un barbier, mais une terrible contradiction concernant la “théorie des ensembles (Set)”. C’est ce qu’on appelle le “paradoxe de Russell (1901)”.

L’idée d’“un ensemble d’ensembles”

En mathématiques, un “ensemble” est une collection d’objets qui satisfont à une certaine condition.

“L’ensemble des nombres pairs inférieurs ou égaux à 10” = $\{2, 4, 6, 8, 10\}$
“L’ensemble des pommes rouges”

Et il est également possible d’inclure d’autres “ensembles” comme éléments d’un ensemble. Par exemple, considérons “l’ensemble de tous les livres du monde”. Comme cet ensemble lui-même n’est pas un “livre”, “l’ensemble de tous les livres du monde” n’est pas inclus dans son propre ensemble.

D’un autre côté, considérons “l’ensemble des choses qui ne sont pas des livres”. Cet ensemble lui-même n’est pas non plus un “livre”. Par conséquent, “l’ensemble des choses qui ne sont pas des livres” sera inclus dans son propre ensemble.

Ainsi, les ensembles de ce monde peuvent être globalement divisés en deux catégories :

A : Les ensembles qui ne se contiennent pas eux-mêmes (ex. : l’ensemble des livres)
B : Les ensembles qui se contiennent eux-mêmes (ex. : l’ensemble des choses qui ne sont pas des livres)

La naissance de l’ensemble diabolique $R$

Ici, Russell a imaginé un ensemble spécial $R$ tel que :

L’ensemble $R$ = l’ensemble de tous “les ensembles qui ne se contiennent pas eux-mêmes (type A)”

Écrit sous forme mathématique (notation en compréhension), cela donne :

$$ R = \{ x \mid x \notin x \} $$

Maintenant, voici le cœur du problème. Russell a posé la question suivante concernant cet ensemble $R$ :

“L’ensemble $R$ se contient-il lui-même ($R$) ?”

Réfléchissons-y.

Si $R$ “se contient lui-même ($R \in R$)” ? La condition pour être inclus dans $R$ est de “ne pas se contenir soi-même”. Par conséquent, $R$ ne remplit pas la condition et ne peut pas être inclus dans $R$. ($R \notin R$, ce qui est une contradiction)
Si $R$ “ne se contient pas lui-même ($R \notin R$)” ? La condition pour être inclus dans $R$ est de “ne pas se contenir soi-même”. Par conséquent, $R$ remplit parfaitement la condition et doit être inclus dans $R$. ($R \in R$, ce qui est une contradiction)

Exprimé mathématiquement, c’est un effondrement logique en une seule ligne :

$$ R \in R \iff R \notin R $$

“S’il se contient, il ne se contient pas.” “S’il ne se contient pas, il se contient.” C’est exactement la même structure que le paradoxe du barbier. Mais si, pour le barbier du village, cela peut se résumer à une plaisanterie du genre “le maire qui a mis en place une telle règle est juste stupide”, dans le monde des mathématiques, ce n’est pas le cas.

En effet, la communauté mathématique de l’époque était en train d’essayer de reconstruire l’ensemble des mathématiques sur la base de la règle naïve (la théorie naïve des ensembles) selon laquelle “tant que les conditions sont clairement définies, on peut librement créer un ’ensemble’ de n’importe quoi”.

3. La tragédie de Frege

La personne à qui Russell a envoyé cette lettre était le grand logicien allemand Gottlob Frege. Frege venait tout juste d’envoyer à l’imprimerie le deuxième volume de son chef-d’œuvre, “Les Lois fondamentales de l’arithmétique”, auquel il avait consacré toute sa vie. Ce livre était l’aboutissement d’une tentative de prouver la complétude des mathématiques sur la base de la règle selon laquelle “des ensembles peuvent être créés à partir de n’importe quelle condition”.

En lisant la lettre de Russell, Frege fut désespéré. Car il était prouvé qu’en utilisant la règle du “fondement des fondements” de son livre, on pouvait créer des “ensembles absolument contradictoires” comme le paradoxe de Russell. Si les fondations s’effondrent, les centaines de pages de formules mathématiques construites dessus deviennent toutes invalides.

Frege a laissé le post-scriptum déchirant suivant à la fin du livre juste avant sa publication :

“Pour un scientifique, il n’y a rien de plus tragique que de voir ses fondations s’effondrer au moment même où il pense avoir terminé son travail. Juste après l’envoi de ce livre à l’imprimerie, une lettre de M. Bertrand Russell m’a placé précisément dans cette situation.”

4. Surmonter la crise : la naissance de la théorie axiomatique des ensembles

Le paradoxe de Russell a provoqué une grande panique dans le monde mathématique, connue sous le nom de “crise des fondements des mathématiques”. La règle désinvolte selon laquelle “tant que les conditions sont définies, vous pouvez créer librement des ensembles” avait engendré un monstre nommé contradiction.

Pour résoudre cette crise, les mathématiciens ont entrepris de durcir les règles. Des mathématiciens tels que Zermelo et Fraenkel ont établi un livre de règles (système d’axiomes) qui distingue strictement “les ensembles que l’on peut créer” et “les ensembles que l’on ne doit pas créer (trop grands)”. C’est ce qu’on appelle la “théorie des ensembles de Zermelo-Fraenkel (ZFC)” ou “théorie axiomatique des ensembles”.

Sous le système axiomatique ZFC, “l’ensemble $R$ regroupant tous ’les ensembles qui ne se contiennent pas eux-mêmes’”, tel que l’avait imaginé Russell, a été banni du monde mathématique, car “trop grand et dangereux, il n’est plus reconnu comme un ’ensemble’ (c’est simplement une ‘classe’)”.

graph LR subgraph "Théorie naïve des ensembles (Avant Russell)" Free["On peut créer librement
des ensembles avec n'importe quelle condition !"] --> Monster["Le monstre de la contradiction R
(Paradoxe de Russell)"] end subgraph "Théorie axiomatique des ensembles (Mathématiques modernes)" Strict["Seuls ceux qui suivent des règles
strictes (axiomes) sont des 'ensembles'"] --> Safe["La contradiction R n'est pas reconnue
comme un 'ensemble', donc on est en sécurité !"] end Monster -.->|Crise dans le monde des mathématiques| Strict

5. Conclusion : Les paradoxes sont un remède de cheval pour corriger les “bugs logiques”

Le paradoxe de Russell est le summum du bug logique provoqué par l’autoréférence (faire référence à soi-même), semblable à “un serpent qui se mord la queue (Ouroboros)” ou “un menteur qui dit qu’il est un menteur”.

Des paradoxes, qui à première vue peuvent sembler n’être que de la sophistique ou des jeux de mots, ont détruit les fondements de la discipline la plus rigoureuse qu’est les mathématiques, et ont finalement fait évoluer les mathématiques vers quelque chose de plus solide et de plus rigoureux.

Si le génie qu’était Russell n’avait pas remarqué ce “bug du barbier”, les mathématiques modernes et l’informatique qui s’inscrit dans le prolongement de cette logique se seraient peut-être développées avec une contradiction fatale quelque part. Les paradoxes sont les remèdes les plus stimulants qui nous enseignent les limites de la logique humaine.