<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Sémantique on kenji.blog</title><link>http://kenji.blog/fr/tags/s%C3%A9mantique/</link><description>Recent content in Sémantique on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>fr</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 21:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/fr/tags/s%C3%A9mantique/index.xml" rel="self" type="application/rss+xml"/><item><title>Quand les mots se décrivent eux-mêmes : Le paradoxe de Grelling-Nelson</title><link>http://kenji.blog/fr/p/grelling-nelson-paradox/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/fr/p/grelling-nelson-paradox/</guid><description>&lt;img src="http://kenji.blog/p/grelling-nelson-paradox/img/grelling_nelson.jpg" alt="Featured image of post Quand les mots se décrivent eux-mêmes : Le paradoxe de Grelling-Nelson" />&lt;p>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.&lt;/p>
&lt;p>Conçu par Kurt Grelling et Leonard Nelson en 1908, le &lt;strong>&amp;ldquo;Paradoxe de Grelling-Nelson (Grelling-Nelson Paradox)&amp;rdquo;&lt;/strong> est un célèbre paradoxe sémantique qui met en évidence les limites de cette &amp;ldquo;définition des mots par les mots&amp;rdquo;.&lt;/p>
&lt;h2 id="classer-les-mots-en-deux-catégories">Classer les mots en deux catégories
&lt;/h2>&lt;p>Grelling et Nelson ont considéré que tous les adjectifs (ou mots) pouvaient être classés dans les deux groupes suivants :&lt;/p>
&lt;ol>
&lt;li>&lt;strong>Autologique (Autological)&lt;/strong> : Un mot qui possède lui-même la propriété qu&amp;rsquo;il décrit.&lt;/li>
&lt;li>&lt;strong>Hétérologique (Heterological)&lt;/strong> : Un mot qui ne possède pas lui-même la propriété qu&amp;rsquo;il décrit.&lt;/li>
&lt;/ol>
&lt;h3 id="regardons-quelques-exemples">Regardons quelques exemples
&lt;/h3>&lt;p>&lt;strong>Exemples de mots autologiques :&lt;/strong>&lt;/p>
&lt;ul>
&lt;li>&lt;strong>&amp;ldquo;Court&amp;rdquo; (short)&lt;/strong> : Ce mot lui-même est court.&lt;/li>
&lt;li>&lt;strong>&amp;ldquo;Français&amp;rdquo; (French)&lt;/strong> : Ce mot lui-même est français.&lt;/li>
&lt;li>&lt;strong>&amp;ldquo;Nom&amp;rdquo; (noun)&lt;/strong> : Ce mot est un nom.&lt;/li>
&lt;li>&lt;strong>&amp;ldquo;Pentasyllabique&amp;rdquo; (pentasyllabic)&lt;/strong> : En français, &amp;ldquo;pen-ta-syl-la-bique&amp;rdquo; a cinq syllabes.&lt;/li>
&lt;/ul>
&lt;p>&lt;strong>Exemples de mots hétérologiques :&lt;/strong>&lt;/p>
&lt;ul>
&lt;li>&lt;strong>&amp;ldquo;Long&amp;rdquo; (long)&lt;/strong> : Ce mot lui-même est court, pas long.&lt;/li>
&lt;li>&lt;strong>&amp;ldquo;Allemand&amp;rdquo; (German)&lt;/strong> : Ce mot est en français (ou en anglais), et n&amp;rsquo;est pas en allemand.&lt;/li>
&lt;li>&lt;strong>&amp;ldquo;Invisible&amp;rdquo; (invisible)&lt;/strong> : Ce mot est parfaitement visible en ce moment sur l&amp;rsquo;écran ou le papier.&lt;/li>
&lt;/ul>
&lt;p>Jusqu&amp;rsquo;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&amp;rsquo;incarnant pas.&lt;/p>
&lt;h2 id="la-question-fatale--lémergence-du-paradoxe">La question fatale : l&amp;rsquo;émergence du paradoxe
&lt;/h2>&lt;p>C&amp;rsquo;est ici que commence le paradoxe. Considérons le mot suivant.&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>Le mot &amp;ldquo;Hétérologique&amp;rdquo; (Heterological) lui-même est-il autologique ou hétérologique ?&lt;/strong>&lt;/p>
&lt;/blockquote>
&lt;p>Face à cette question, nous sommes confrontés à une contradiction, quelle que soit la réponse choisie.&lt;/p>
&lt;h3 id="cas-1--supposons-que-hétérologique-soit-autologique">Cas 1 : Supposons que &amp;ldquo;Hétérologique&amp;rdquo; soit &amp;ldquo;Autologique&amp;rdquo;
&lt;/h3>&lt;p>Si le mot &amp;ldquo;Hétérologique&amp;rdquo; (Heterological) est &amp;ldquo;autologique&amp;rdquo;, alors par définition, il &amp;ldquo;possède la propriété que le mot lui-même signifie&amp;rdquo;.
Cependant, la signification de ce mot est d&amp;rsquo;être &amp;ldquo;hétérologique&amp;rdquo;.
En d&amp;rsquo;autres termes, avoir la propriété d&amp;rsquo;être &amp;ldquo;hétérologique&amp;rdquo; signifie qu&amp;rsquo;il est &amp;ldquo;hétérologique&amp;rdquo;.
&lt;strong>Nous avons supposé qu&amp;rsquo;il était autologique, mais le résultat est qu&amp;rsquo;il est devenu hétérologique.&lt;/strong> (Contradiction)&lt;/p>
&lt;h3 id="cas-2--supposons-que-hétérologique-soit-hétérologique">Cas 2 : Supposons que &amp;ldquo;Hétérologique&amp;rdquo; soit &amp;ldquo;Hétérologique&amp;rdquo;
&lt;/h3>&lt;p>Si le mot &amp;ldquo;Hétérologique&amp;rdquo; (Heterological) est &amp;ldquo;hétérologique&amp;rdquo;, alors par définition, il &amp;ldquo;ne possède pas la propriété que le mot lui-même signifie&amp;rdquo;.
Comme la signification de ce mot est &amp;ldquo;hétérologique&amp;rdquo;, ne pas posséder cette propriété signifie qu&amp;rsquo;il est &amp;ldquo;autologique&amp;rdquo;.
&lt;strong>Nous avons supposé qu&amp;rsquo;il était hétérologique, mais le résultat est qu&amp;rsquo;il est devenu autologique.&lt;/strong> (Contradiction)&lt;/p>
&lt;p>La logique s&amp;rsquo;effondre dans les deux cas.&lt;/p>
&lt;div class="mermaid">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&lt;/div>
&lt;h2 id="lien-avec-les-mathématiques-et-la-logique--un-parent-du-paradoxe-de-russell">Lien avec les mathématiques et la logique : un parent du paradoxe de Russell
&lt;/h2>&lt;p>Ce paradoxe n&amp;rsquo;est pas une simple erreur de calcul ou une illusion comme l&amp;rsquo;&amp;ldquo;énigme du dollar manquant&amp;rdquo;. Il a fondamentalement la même structure que le &lt;strong>paradoxe de Russell&lt;/strong> (&amp;ldquo;L&amp;rsquo;ensemble de tous les ensembles qui ne se contiennent pas eux-mêmes se contient-il lui-même ?&amp;rdquo;), qui a ébranlé les fondements des mathématiques.&lt;/p>
&lt;p>Le paradoxe de Grelling-Nelson peut être vu comme la version sémantique (la signification des mots) du paradoxe de Russell.&lt;/p>
&lt;p>Le paradoxe de Russell dans la théorie des ensembles :
Lorsqu&amp;rsquo;on définit l&amp;rsquo;ensemble
&lt;/p>
$$ R = \{ x \mid x \notin x \} $$
&lt;p>
demander si $R \in R$ ou $R \notin R$ conduit à une contradiction.&lt;/p>
&lt;p>Le paradoxe de Grelling-Nelson en sémantique :
Si l&amp;rsquo;on définit $Het(x)$ comme &amp;ldquo;le mot $x$ n&amp;rsquo;a pas la propriété $x$ (est hétérologique)&amp;rdquo;, on tombe dans la contradiction logique :
&lt;/p>
$$ Het(\text{"Het"}) \iff \neg Het(\text{"Het"}) $$
&lt;h2 id="pourquoi-ce-paradoxe-est-il-important-">Pourquoi ce paradoxe est-il important ?
&lt;/h2>&lt;p>Lorsqu&amp;rsquo;un mot fait référence à lui-même (auto-référence), il y a toujours un risque d&amp;rsquo;erreurs s&amp;rsquo;apparentant à une boucle infinie.&lt;/p>
&lt;p>Ce n&amp;rsquo;est pas seulement un problème de philosophie ou de linguistique. En informatique et en intelligence artificielle, lorsque des programmes tentent d&amp;rsquo;é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.&lt;/p>
&lt;p>Le paradoxe de Grelling-Nelson est une expérience de pensée qui visualise brillamment les bugs (limites) inhérents au système qu&amp;rsquo;est le &amp;ldquo;langage&amp;rdquo;.&lt;/p></description></item></channel></rss>