自己とは？/ キャシング比較
[ 158] 自己言及のパラドックス - Wikipedia
[引用サイト] http://ja.wikipedia.org/wiki/%E8%87%AA%E5%B7%B1%E8%A8%80%E5%8F%8A%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
|
自己言及のパラドックス（じこげんきゅうのパラドックス）とは、自己を含めて言及しようとすると発生するパラドックスのことである。 ここでクレタ人（エピメニデス）自身がクレタ人は嘘つきと言及している為パラドックスが発生してしまう。すなわち、 「クレタ人は嘘つきである」が本当なら、クレタ人であるエピメニデスも嘘つきであるはずで、従って「クレタ人は嘘つきである」という発言も嘘でなければならない。 しかし「クレタ人は嘘つきである」が嘘なら、クレタ人であるエピメニデスも正直者である事になる。従って彼の「クレタ人は嘘つきである」という発言も本当でなければならない。 このパラドックスの解釈は色々存在するが、簡単にパラドックスを回避する方法として、 前述の文章に「全ての」、「多くの」といった量化子を導入して解釈しなおす、というものがある。 つまり前述の文章を例えば、 のように解釈すると、パラドックスは解消する。 前者でパラドックスが解消しているのは明らかである。 後者は、 実は「クレタ人の中にはたまには本当の事をいう人がいる」のに、エピメニデスは嘘をついて「全てのクレタ人は常に嘘をつく」と発言した。 この言葉は当たってます。だから、彼らを厳しく戒めて、信仰を健全に保たせ、ユダヤ人の作り話や、真理に背を向けている者の掟に心を奪われないようにさせなさい。[1] という文章もパラドックスを含んでしまう。 しかもこのパラドックスは、クレタ人のパラドックスと違って「全ての」、「多くの」といった言葉を挟んでパラドックスを解消するのはできそうにない。 よって「文章に言及する文章」を矛盾無く取り扱うには「この文は間違っている」という文章をうまく排除する必要がある。 「この文は間違っている」という文章を回避する方法として、言語に階層をいれる、というものがある。 すなわち、言語に「レベル0の文章」、「レベル1の文章」…を以下のように作る。 そしてこのようにレベルづけできる文章だけを(矛盾が生じる危険がないので)取り扱う事にし、その他の文章を扱うのを諦める。 したがって、 のようなものは扱う事ができる。 （注：扱う事ができるからといって、真であるとは限らない。実際３番目の例は扱う事ができるが偽である） 集合論における典型的なパラドックスは次のようなものである。これは特に、バートランド・ラッセルが議論の対象としたことで知られる（ラッセルは述語論理における同様のパラドックスについても議論している）。 まず、様々な集合を2種類に分類する。ひとつは、自分自身を要素として含むような集合で、もうひとつは、自分自身を要素として含まないような集合である。 次に、その分類で、後者に分類されるもの全てからなるような集合を想定する。つまり、この集合は、「自分自身を要素として含まないような集合の集合」ということになる。（便宜上この集合をAとする。） このような集合Aは、果たして「自分自身を要素として含まないような集合」のひとつであるかを考えてみると、もしも自分自身を要素として含まないのであれば、AにはAが含まれないということを意味する。ところが、Aは定義により、自分自身を要素として含まない集合全てを含むはずなので、AにはA自身が含まれていなければならないはずである。ところが、もしもAにA自身が含まれているとすると、それはAが自分自身を含む集合の一種であるから、Aの一要素として含まれていてはいけないことになる。 パラドックスを引き起こすためには、自己言及とともに真偽の反転が必要である。相対主義のパラドックスにおいても相対主義の主張が絶対主義的であると考えられるが故にパラドックスを引き起こすわけである。 という意味のものであるが、この場合、上記命題が証明できなくとも、それ故に正しいと考えれば、真偽の反転は起きず、パラドックスにもならない。 以下の２つはその証明中で、自己言及パラドックスに類似した論法をパラドックス解消して「背理法」にした上で用いている。 この項目「自己言及のパラドックス」は、自然科学に関連した書きかけの項目です。加筆・訂正などをして下さる協力者を求めています。 |
キャシング比較のサイトです。
