<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>意味論 on kenji.blog</title><link>http://kenji.blog/tags/%E6%84%8F%E5%91%B3%E8%AB%96/</link><description>Recent content in 意味論 on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>ja</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 21:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/tags/%E6%84%8F%E5%91%B3%E8%AB%96/index.xml" rel="self" type="application/rss+xml"/><item><title>言葉が自分自身を描写する時：グレリング＝ネルソンのパラドックス</title><link>http://kenji.blog/p/grelling-nelson-paradox/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/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 言葉が自分自身を描写する時：グレリング＝ネルソンのパラドックス" />&lt;p>言葉は世界を記述するための道具ですが、言葉そのものを記述しようとした時、論理は予期せぬ落とし穴にハマることがあります。&lt;/p>
&lt;p>1908年にクルト・グレリングとレナード・ネルソンによって考案された**「グレリング＝ネルソンのパラドックス（Grelling-Nelson Paradox）」**は、まさにその「言葉が言葉を定義する」ことの限界を突きつける、意味論の有名なパラドックスです。&lt;/p>
&lt;h2 id="言言葉を2つに分類する">言言葉を2つに分類する
&lt;/h2>&lt;p>グレリングとネルソンは、すべての形容詞（言葉）を以下の2つのグループに分類できると考えました。&lt;/p>
&lt;ol>
&lt;li>&lt;strong>自己記述的（Autological）&lt;/strong>: その言葉自身が、その言葉の意味する性質を持っているもの。&lt;/li>
&lt;li>&lt;strong>非自己記述的（Heterological）&lt;/strong>: その言葉自身が、その言葉の意味する性質を持っていないもの。&lt;/li>
&lt;/ol>
&lt;h3 id="例を見てみましょう">例を見てみましょう
&lt;/h3>&lt;p>&lt;strong>自己記述的な言葉の例：&lt;/strong>&lt;/p>
&lt;ul>
&lt;li>&lt;strong>「短い（short）」&lt;/strong>：この言葉自体が短いです。&lt;/li>
&lt;li>&lt;strong>「英語の（English）」&lt;/strong>：この言葉自体が英語です。&lt;/li>
&lt;li>&lt;strong>「名詞（noun）」&lt;/strong>：この言葉は名詞です。&lt;/li>
&lt;li>&lt;strong>「五音節の（pentasyllabic）」&lt;/strong>：英語で「pen-ta-syl-lab-ic」は5つの音節を持ちます。&lt;/li>
&lt;/ul>
&lt;p>&lt;strong>非自己記述的な言葉の例：&lt;/strong>&lt;/p>
&lt;ul>
&lt;li>&lt;strong>「長い（long）」&lt;/strong>：この言葉自体は短く、長くありません。&lt;/li>
&lt;li>&lt;strong>「ドイツ語の（German）」&lt;/strong>：この言葉は日本語（または英語）であり、ドイツ語ではありません。&lt;/li>
&lt;li>&lt;strong>「目に見えない（invisible）」&lt;/strong>：この言葉は今、画面や紙の上にしっかりと見えています。&lt;/li>
&lt;/ul>
&lt;p>ここまでは単なる言葉遊びのように見えます。すべての言葉は、自分の意味を体現しているか、していないかのどちらかに必ず分類できるはずです。&lt;/p>
&lt;h2 id="致命的な質問パラドックスの発生">致命的な質問：パラドックスの発生
&lt;/h2>&lt;p>では、ここからがパラドックスの始まりです。次の一語について考えてみましょう。&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>「非自己記述的（Heterological）」という言葉自体は、自己記述的でしょうか？それとも非自己記述的でしょうか？&lt;/strong>&lt;/p>
&lt;/blockquote>
&lt;p>この問いに対して、私たちはどちらの答えを選んでも矛盾に直面します。&lt;/p>
&lt;h3 id="ケース1非自己記述的は自己記述的であると仮定する">ケース1：「非自己記述的」は『自己記述的』であると仮定する
&lt;/h3>&lt;p>もし「非自己記述的（Heterological）」という言葉が「自己記述的」であるとすれば、定義により「その言葉自身が意味する性質を持っている」ことになります。
しかし、この言葉の意味は「非自己記述的」であることです。
つまり、「非自己記述的」という性質を持っているということは、それは「非自己記述的」だということになります。
&lt;strong>自己記述的だと仮定したのに、結果は非自己記述的になってしまいました。&lt;/strong>（矛盾）&lt;/p>
&lt;h3 id="ケース2非自己記述的は非自己記述的であると仮定する">ケース2：「非自己記述的」は『非自己記述的』であると仮定する
&lt;/h3>&lt;p>もし「非自己記述的（Heterological）」という言葉が「非自己記述的」であるとすれば、定義により「その言葉自身が意味する性質を持っていない」ことになります。
この言葉の意味は「非自己記述的」ですから、その性質を持っていないということは、「自己記述的」だということになります。
&lt;strong>非自己記述的だと仮定したのに、結果は自己記述的になってしまいました。&lt;/strong>（矛盾）&lt;/p>
&lt;p>どちらに転んでも論理が崩壊してしまうのです。&lt;/p>
&lt;div class="mermaid">graph TD
A["単語『非自己記述的』(Heterological)"] --> B{"どちらに分類される？"}
B -->|自己記述的である| C["定義: 自身の意味する性質を持つ"]
C --> D["自身の意味は『非自己記述的』"]
D --> E["結果: 非自己記述的である！"]
E -->|矛盾| B
B -->|非自己記述的である| F["定義: 自身の意味する性質を持たない"]
F --> G["自身の意味は『非自己記述的』"]
G --> H["結果: 自己記述的である！"]
H -->|矛盾| 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="数学論理学との繋がりラッセルのパラドックスの親戚">数学・論理学との繋がり：ラッセルのパラドックスの親戚
&lt;/h2>&lt;p>このパラドックスは、「消えた1ドルの謎」のような単純な計算ミスや錯覚ではありません。数学の基礎を揺るがした&lt;strong>ラッセルのパラドックス&lt;/strong>（「自分自身を含まないすべての集合の集合は、自分自身を含むか？」）と本質的に同じ構造を持っています。&lt;/p>
&lt;p>グレリング＝ネルソンのパラドックスは、ラッセルのパラドックスの意味論（言葉の意味）バージョンとも言えます。&lt;/p>
&lt;p>集合論におけるラッセルのパラドックス：
&lt;/p>
$$ R = \\{ x \mid x \notin x \\} $$
&lt;p>
という集合を定義したとき、$R \in R$ か $R \notin R$ かを問うと矛盾する。&lt;/p>
&lt;p>意味論におけるグレリング＝ネルソンのパラドックス：
$Het(x)$ を「単語 $x$ が性質 $x$ を持たない（非自己記述的である）」と定義したとき、
&lt;/p>
$$ Het(\text{"Het"}) \iff \neg Het(\text{"Het"}) $$
&lt;p>
という論理的な矛盾に陥る。&lt;/p>
&lt;h2 id="なぜこのパラドックスが重要なのか">なぜこのパラドックスが重要なのか？
&lt;/h2>&lt;p>言葉が言葉自身を言及する（自己言及）とき、そこには無限ループのようなエラーが発生する危険が常に潜んでいます。&lt;/p>
&lt;p>これは哲学や言語学だけの問題ではありません。コンピュータサイエンスや人工知能の分野でも、プログラムが自分自身のコードを評価・修正しようとする際や、自然言語処理モデルが意味の矛盾を解釈する際に、似たような論理の壁に直面します。&lt;/p>
&lt;p>グレリング＝ネルソンのパラドックスは、「言語」というシステムが本質的に内包しているバグ（限界）を、見事に可視化した思考実験なのです。&lt;/p></description></item></channel></rss>