<?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/%E3%82%BD%E3%83%AA%E3%83%86%E3%82%B9/</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/%E3%82%BD%E3%83%AA%E3%83%86%E3%82%B9/index.xml" rel="self" type="application/rss+xml"/><item><title>砂粒を1つ取り除くと、砂山はいつ砂山でなくなるのか？：砂山のパラドックス</title><link>http://kenji.blog/p/sorites-paradox/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/p/sorites-paradox/</guid><description>&lt;img src="http://kenji.blog/p/sorites-paradox/img/sorites_paradox.jpg" alt="Featured image of post 砂粒を1つ取り除くと、砂山はいつ砂山でなくなるのか？：砂山のパラドックス" />&lt;p>目の前に1万粒の砂で作られた立派な砂山があるとします。誰が見てもこれは「砂山」です。
ここから砂粒を1つだけ取り除きます。9,999粒。まだ砂山ですよね？
もう1粒取り除きます。9,998粒。これもまだ砂山です。&lt;/p>
&lt;p>この操作を繰り返していきましょう。
1粒取り除いたくらいで「砂山」が「砂山でないもの」に変わることはないはずです。しかし、この論理を延々と繰り返していくと、最終的にはたった1粒の砂しか残りません。&lt;/p>
&lt;p>&lt;strong>1粒の砂は「砂山」でしょうか？&lt;/strong>&lt;/p>
&lt;p>もちろん、1粒の砂を「砂山」と呼ぶ人はいません。しかし、私たちは「1粒取り除いても砂山は砂山のままだ」という前提を一度も否定しませんでした。どこかで論理が破綻しているのですが、一体&lt;strong>何粒目で砂山は砂山でなくなった&lt;/strong>のでしょうか？&lt;/p>
&lt;p>これが、紀元前4世紀の古代ギリシャの哲学者エウブリデスに由来する**「砂山のパラドックス（ソリテスのパラドックス）」**です。&lt;/p>
&lt;h2 id="論理的な構造">論理的な構造
&lt;/h2>&lt;p>このパラドックスは、次のような三段論法の形で表現できます。&lt;/p>
&lt;p>&lt;strong>前提1&lt;/strong>：1万粒の砂の集まりは「砂山」である。
&lt;strong>前提2&lt;/strong>：砂山から砂粒を1つ取り除いたものは、依然として「砂山」である。
&lt;strong>結論&lt;/strong>：したがって、1粒の砂も「砂山」である。&lt;/p>
&lt;p>前提1も前提2も、それぞれ単独では非常にもっともらしく聞こえます。しかし、前提2を繰り返し適用すると、明らかに間違った結論が導き出されます。&lt;/p>
&lt;div class="mermaid">graph LR
A["10,000粒 = 砂山"] -->|1粒除去| B["9,999粒 = 砂山"]
B -->|1粒除去| C["9,998粒 = 砂山"]
C -->|...繰り返し...| D["100粒 = 砂山？"]
D -->|1粒除去| E["10粒 = 砂山？"]
E -->|1粒除去| F["1粒 = 砂山？"]
style A fill:#4CAF50,color:#fff
style D fill:#FF9800,color:#fff
style E fill:#FF5722,color:#fff
style F fill:#F44336,color:#fff,stroke-width:3px&lt;/div>
&lt;h2 id="なぜこのパラドックスは解けないのか">なぜこのパラドックスは解けないのか
&lt;/h2>&lt;p>砂山のパラドックスの核心は、&lt;strong>「砂山」という言葉が本質的に曖昧である&lt;/strong>ということです。
「砂山」には、「何粒以上なら砂山」という明確な定義（閾値）が存在しません。このような概念を**「曖昧述語（vague predicate）」**と呼びます。&lt;/p>
&lt;p>私たちの日常言語は、このような曖昧な言葉であふれています。&lt;/p>
&lt;ul>
&lt;li>**「背が高い」**とは何センチ以上？ 180cmの人は「背が高い」。1mm削ったら？もう1mm削ったら？&lt;/li>
&lt;li>**「お金持ち」**とは資産がいくら以上？ 100億円なら「お金持ち」。1円減ったら？&lt;/li>
&lt;li>**「ハゲ」**とは何本以下？ 0本なら「ハゲ」。1本生えたら？&lt;/li>
&lt;/ul>
&lt;p>これらはすべて、砂山のパラドックスと全く同じ構造を持っています。&lt;/p>
&lt;h2 id="哲学者たちのアプローチ">哲学者たちのアプローチ
&lt;/h2>&lt;h3 id="1-認識論的アプローチ境界線は存在する">1. 認識論的アプローチ（境界線は存在する）
&lt;/h3>&lt;p>このアプローチでは、「実は砂山と非砂山の間には明確な境界線が存在するが、人間にはそれを認識する能力がないだけだ」と主張します。
例えば「5,837粒は砂山だが5,836粒は砂山ではない」という正確な境界があるが、私たちには知り得ないという立場です。&lt;/p>
&lt;p>論理学的にはすっきりしますが、多くの人は直感的にこの立場に違和感を覚えるでしょう。&lt;/p>
&lt;h3 id="2-ファジィ論理段階的な真理値">2. ファジィ論理（段階的な真理値）
&lt;/h3>&lt;p>古典的な論理学では「真か偽か」の二択ですが、ファジィ論理では「0から1の間のどこかの値」をとることができます。&lt;/p>
&lt;p>例えば：&lt;/p>
&lt;ul>
&lt;li>1万粒の砂は「砂山度 = 1.0（完全に砂山）」&lt;/li>
&lt;li>5,000粒なら「砂山度 = 0.7」&lt;/li>
&lt;li>100粒なら「砂山度 = 0.1」&lt;/li>
&lt;li>1粒なら「砂山度 = 0.0（完全に非砂山）」&lt;/li>
&lt;/ul>
&lt;p>この方法は実用的ですが、パラドックスが完全に解消されるわけではありません。「砂山度0.7と0.699の違いは何か？」という新たな曖昧さが生まれてしまうからです。&lt;/p>
&lt;h3 id="3-超値付け意味論supervaluationism">3. 超値付け意味論（Supervaluationism）
&lt;/h3>&lt;p>この考え方では、「砂山」という言葉に対して、考えられるすべての合理的な境界線を同時に考慮します。すべての境界線で「砂山」と判定されるなら「確実に砂山」、すべてで「非砂山」なら「確実に非砂山」、意見が分かれる領域は「不確定」と判定します。&lt;/p>
&lt;h2 id="現代社会への影響">現代社会への影響
&lt;/h2>&lt;p>砂山のパラドックスは単なる言葉遊びではなく、現実の法律や政策の世界でも深刻な問題を引き起こします。&lt;/p>
&lt;ul>
&lt;li>&lt;strong>成人年齢&lt;/strong>：17歳364日は「子ども」で、18歳0日は「大人」。1日で本質的に何が変わるのか？&lt;/li>
&lt;li>&lt;strong>貧困線&lt;/strong>：年収が基準額を1円下回れば「貧困」で、1円上回れば「非貧困」とされる。&lt;/li>
&lt;li>&lt;strong>環境規制&lt;/strong>：汚染物質の排出量が基準値を0.001mg超えたら違法。基準値ぴったりなら合法。&lt;/li>
&lt;/ul>
&lt;p>人間の言語と思考は本質的に曖昧さを含んでおり、世界を明確な二項対立で切り分けようとすること自体に無理があるかもしれない。砂山のパラドックスは、2400年以上にわたって哲学者たちを悩ませ続けている、人間の知性の根源的な限界を示すパラドックスなのです。&lt;/p></description></item></channel></rss>