忍者ブログ
いろんなものの出会いについて
«08 2017/09 1 23 4 5 6 7 8 910 11 12 13 14 15 1617 18 19 20 21 22 2324 25 26 27 28 29 30 10»
[17]  [16]  [15]  [14]  [13]  [12]  [11]  [10]  [9]  [8]  [7
×

[PR]上記の広告は3ヶ月以上新規記事投稿のないブログに表示されています。新しい記事を書く事で広告が消えます。

出典: フリー百科事典『ウィキペディア(Wikipedia)』

 

砂山のパラドックス: paradox of the heap)とは、述語曖昧性から生じるパラドックスの一種である。ソリテス・パラドックスSorites paradox)とも呼ばれ、sorites はギリシア語σωρόςsōros、堆積物)の形容詞化した言葉である(σωρίτης (sōritēs))。簡単に言えば、の山があったとき、そこから数粒の砂を取り去っても砂山のままだが、そうやって粒を取り去っていったとき、最終的に一粒だけ残った状態でも「砂山」と言えるか、という問題である。

基本的には相対的で定義がはっきりしないことを扱う学問領域である言語哲学に属する問題である。一方数学では、全ての用語が明確な定義を持っている。このパラドックスは不明確な用語を数学的な論理式に持ち込む際に常に付きまとう問題であり、定義不能な不明確な概念に論理を適用する際の問題である。

砂山から砂粒を個々に除去していくことを想定する。ここで、次のような前提から論証を構築する。

「砂山は膨大な数の砂粒からできている」(前提1)
「砂山から一粒の砂を取り除いても、それは依然として砂山のままである」(前提2)

前提2 を繰り返し適用したとき(つまり、毎回砂山の砂粒数は徐々に減っていく)、最終的に砂山の砂粒が一粒だけになる。前提2 が真であるなら、この状態も「砂山」だが、前提1 が真だとすれば、このような状態は「砂山」ではない。これが矛盾である。

このとき、このような結論を防ぐ方法がいくつか存在する。ある者は、砂粒の集積が砂山となること(あるいは、それを砂山と呼ぶこと)を否定することで第一の前提に反対する。またある者は、砂山から砂粒を1つ取り除いたとき、必ずしも砂山のままではないと主張することで第二の前提に反対する。さらに別の者は、一粒の砂であっても砂山と呼べると主張することで結果を肯定する。

このパラドックスは、自明に見える2つの前提と結論のうち、どれか1つを選んで間違っていることを説明しなければならない。そういった意味で、哲学的に巧妙である。

同等のパラドックスとして、例えばある背の高い男の身長が2メートルあるとする。その身長から1センチを除いても彼は背が高いままだが、それを繰り返して1メートル50センチになったら、もはや背が高いとは言い難い。どの時点で彼の背は高くなくなるのだろうか?

自明な解決策は、砂粒が何粒集まっても「砂山」にはならないとすることである。言い換えれば、「砂山」という言葉は検証可能な明確な条件を備えていないから無意味だとするのである。この考え方をつきつめれば、メレオロジー的虚無主義(mereological nihilism)に到達する。

バートランド・ラッセルなどの他の哲学者は単に、あいまいな概念には論理を適用できないとする。

このパラドックスを聞いた大抵の人が最初に考えることは、「砂山」と呼べる砂粒の数の下限を設定することである。例えば、ある人が1万粒を下限とした場合、砂山から砂粒を取り除いていって1万粒未満になった時点で、「砂山」ではないとする。

しかし、この解決策は哲学的にはあまり満足できない。なぜなら、9,999粒と10,001粒の差異はほとんどないからである。つまり、10,001粒なら砂山で 9,999粒なら砂山でないという定義は、0粒なら無で 1粒でもあれば砂山だとする解釈の境界値を恣意的に変えたに過ぎない。それにも関わらず、このような明確な線引きが実社会ではよく見受けられる。例えば、学力検査では一般にある点数以上の成績を上げないと合格とされない。他にも「ラクダの背骨を折るのは最後のワラ一本」ということわざのように明確な境界値があるように見えるものもあるが、実際にはラクダの個体の選択などいくつかの点で任意の選択がなされている。

もう1つの手法として、多値論理を使う方法がある。「砂山」か「砂山でない」かという2つの論理状態の代わりに、例えば「砂山である」/「不確実」/「砂山でない」という3値の体系を用いる。しかし、3値体系はこのパラドックスの真の解決策ではない。なぜなら、「砂山である」と「不確実」の境界、「不確実」と「砂山でない」の境界という問題が依然として残っているからである。

ファジィ集合論であれば、論理状態の連続的な変化を扱える。例えば、「砂山である」/「ほぼ砂山である」/「一部砂山である」/「少し砂山である」/「砂山でない」といった状態にさらに中間の無数の状態があると考えるのがファジィである。従って、ファジィ集合論を使えば、砂山のパラドックスは単に「砂山である」から「砂山でない」へと連続的に状態が変化しているものとして表される。

もう1つの手法として履歴現象、すなわち砂の集合体がどういう形で始まったかという知識を使う手法がある。ある量の砂が最初からあれば、それは砂山と呼ばれる(それ以前の状態は問わない)。大きな砂山(明らかに砂山と呼べる量)が少しずつ削られていったとして、数粒の砂にまで減ったとしても「砂山状態」という属性は保持される。

一方、砂粒を少しずつ集めて同じ量になったとする。この場合は出発地点が異なるため、砂山とは見なされない。

この手法が暗示しているのは、「砂山」という言葉の意味は系の状態量ではないということである。砂の集まりが「砂山」か否かには、その履歴が関与する。

集団の合意によって「砂山」という言葉の意味を決めることもできる。この手法は、砂粒の集まりがどれだけの量になれば「砂山」と呼べるか、集団の各人の大半が納得する定義を決めることで決定するものである。言い換えれば、集団の各人の考え方の分布の期待値で「砂山」の意味を確率的に決めるといえる。

例えば、ある集団では次のように決めるかもしれない。

  • 一粒の砂は砂山ではない。
  • 大量の砂粒は砂山である。

この2つの極値の間で、その集団の各人は必ずしも個々の量の砂を砂山と呼ぶか否かについて合意できているとは限らない。各人の意見を集約すれば、明確に「砂山」か否かが決定されるのではなく、ある量の砂についてそれを「砂山」と呼ぶ確率が 0 と 1 の間の何らかの値に定まるだけである。

この手法は用語の意味をしっかり定義するという点で便利である。

明確な言葉は、その言葉の使用が妥当かどうかを他人が納得できる機構を持っている。曖昧な言葉はそのような機構を持たない。ある人が身長2メートルの男の背が低いと言った場合、その人はプロのバスケットボール選手を基準としているのかもしれない。曖昧な言葉は合意が形成されている場合には便利だが、その範囲外の使い方をすると混乱を生じさせる。

砂山のパラドックスは単に、人が曖昧な言語をどのように使うのかについての論理的分析を示したものである。それは、曖昧な言葉の定義に万人が合意すると仮定することが誤謬であることを示している。ある人々はその使い方を正しいと判断したとしても、万人がそれに合意するわけではない。合意形成の手法は、「砂山」の定義を主観的な定義から客観的な定義に変えるものである。

出会い人妻逆援助
PR
カレンダー
08 2017/09 10
S M T W T F S
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
カテゴリー
最新コメント
最新トラックバック
プロフィール
HN:
No Name Ninja
性別:
非公開
バーコード
ブログ内検索
Copyright © / “りんごちゃん”created by pandacompany
忍者ブログ [PR]