Théorie Des Ensembles on kenji.blog

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”.

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.