「りんご」
「まな板」
「銀河系」
・
・
・
俺「ハァ・・・ハァ・・・ついに全ての黒くないものを調べ終わったぜ・・・そしてその中にカラスは一羽もいなかった!つまり全てのカラスは黒い!!」
・
・
・
一見突拍子もないように思えるが、この根拠と結論は論理的には全く正しい。この突拍子のなさを指摘する言葉が「ヘンペルのカラス」である。
なぜこれが論理的に正しいと言えるのだろうか。
これらの文は、「○○ならば、△△」という形に書き換えることができる。
そして、「○○ならば、△△」という形で書くことのできる文は「対偶」を作ることができる。「ならば」の前後を逆にして(△△ならば、○○)、さらそれぞれを否定すると(△△でないならば、○○でない)、元の文の対偶ができあがる。
対偶の真偽、つまりその文の言っていることが本当なのか嘘なのかは必ず同じになる。
たろうくんは朝は必ずジョギングをする。(朝ならば、ジョギングをする)
の対偶は、
たろうくんがジョギングをしていないならば、それは朝ではない。
である。
「たろうくんは朝ジョギングする」というのが本当である(つまり、真である)ならば、その対偶である「たろうくんがジョギングをしていないならば、それは朝ではない。」も本当である。毎朝ジョギングするはずのたろうくんが家でゴロゴロしているのを見れば、今は朝ではないことがわかる。
逆に、「たろうくんは朝ジョギングする」というのがウソである(つまり、偽である)ならば、その対偶である「たろうくんがジョギングをしていないならば、それは朝ではない。」もウソである。別に毎朝はジョギングしないわけだから、たろうくんが家でゴロゴロしてても今は朝かもしれないのである。
対偶の真偽が一致することは数学的に厳密に証明されており、対偶の真偽は必ず一致する。
元の文が分かりにくかったり扱いにくかったりする場合に、その対偶を考えるとすんなり理解できたり証明できたりする場合がある。一般に、対偶を用いて元の文について何か言おうとすることを「対偶論法」という。
カラスの話に戻ろう。前述の通り、「全てのカラスは黒い」の対偶は、「黒くないならば、カラスではない」である。対偶の真偽は一致するので、「黒くないならば、カラスではない」が正しいと結論づけられたなら、自動的に「全てのカラスは黒い」も正しいことになるのである。
「だって、カラス一羽も見てないじゃん」
ドイツの哲学者カール・グスタフ・ヘンペルが四十歳のときに著した"Studies in the Logic of Confirmation"の中ではじめて「カラス」と「黒い」という例を用いてこの対偶論法の矛盾ともいえる問題を指摘した。
「全てのカラスについて何らかのことを言うのに、カラスでないものを証拠にするなんてちょっとどうなの? 白い靴や赤い魚がカラスの黒さの証拠になるの?」というわけである。これが認められるならば、「羽がないもの」をすべて調べれば妖精には羽があると結論づけられるし、「羽がないもの」と「角がないもの」を調べ尽くせばユニコーンには角も羽もあることを証明できてしまう。「実際には調べ尽くすことなどできない」ということを抜きにしても、一つもその対象を調べることなくそのものについて何か結論できてしまうというのは、われわれの日常的な感覚からすると受け入れがたく感じる。
この奇妙さは「黒くないものはカラスではない」という文章が「カラスの存在を保証していない」ことからくる。「黒くないものはカラスではない」が真である場合、「仮にカラスが存在するならば黒い」と解釈するのが正しいのであり、「カラスは存在しない」、もしくは「存在するとすれば黒い」、のどちらかが成り立つのである。
カラスの代わりに「ウンベロゲンゲン」や「りゅぬぁってゃ」などと意味の無い単語を入れてみればなんとなく理解できるであろう。「黒くないものにウンベロゲンゲンが含まれていなかった」ならばウンベロゲンゲンなど存在しない、もしくはウンベロゲンゲンが存在するとすれば黒い、と結論できる。
「Aという集合にXは含まれていなかった」事を根拠に「XはAでない」という属性を付与する事ができる。Xが実在すればそれは正しい。しかし、Xがそもそも存在していないなら「Xは存在する」という偽の命題から「XはAでない」という結論を得ると言う事になる。「偽の前提から得られる結論は全て真」であることにより、存在しないXに好き勝手な属性をつけることができてしまうのである。
上記ユニコーンの例で言うならば、全ての角と羽の無いものを間違いなく調べ上げた結果ユニコーンが存在しなかった場合、「ユニコーンなど存在しない」、もしくは「存在するならば角も羽もある」という事になる。上記例では存在しない可能性の方を無視して存在する方のみを採用してしまっている。現実にはユニコーンは存在しないので調査の仕方により好き勝手に属性をつけることができてしまい、羽が無いイメージに反して羽があるという属性を付与できてしまうのだ。
ヘンペルのカラスは、「カラスのパラドックス」あるいは「ヘンペルのパラドックス」とも呼ばれる。ヘンペルのカラスなどのように「別に矛盾ははらんでいないが、どうも変だと感じる」というタイプのパラドックスを「疑似パラドックス」と呼んで区別することがある。
などがある。
ヘンペルのカラスは疑似パラドックスなので解決する必要はない、とする向きもあるが、この違和感を解消するためのいくつかの案も提示されている。らしい。なんか調べたけどちょっとよくわからなかった。
当然だが、全ての黒くないものを調べ尽くすことは現実的には不可能である。黒くないものは無限に存在するし、「もの」の範囲が曖昧だし(「楽しさ」や「消費税」なんかも黒くはない)、調べ終わったと思っても「もの」は増え続ける。例えば、この記事も黒くはない。
・
・
・
俺「せっかく全ての黒くないものを調べ終えたのに何かまた増えてるな・・・また調べ直さなくちゃ・・・この記事の背景は黒くないしカラスでもない!この記事のリンクは黒くないしカラスでもない!この記事の見出しは黒くないしカラスでもない!この記事のlistは黒くないしカラスでもない!この記事の・・・」
・
・
・
掲示板
42 ななしのよっしん
2022/10/04(火) 23:44:31 ID: gTuGd/gS9Z
哲学者って暇なんだろうか。
43 ななしのよっしん
2023/06/12(月) 16:57:59 ID: 6RAwQK3R9N
>>41
火星の全ての黒い物を調べたらカラスは含まれなかった
→火星にカラスがいるなら黒くない
又は
火星の全ての黒くない物を調べたらカラスは含まれなかった
→火星にカラスがいるなら黒い
ですよ
火星の全ての物を黒くない物、白くない物に分けて(黒くて白い物はないように仕分けておく)全ての黒くない物も白くない物も調べてカラスが居なかったとする
・「全ての黒くない物と白くない物」=「全ての物」を調べてカラスが居なかった⇒カラスは存在しない
・カラスは黒くて白い⇒黒くて白い物は存在しない⇒カラスは存在しない
黒くて白い物も存在し得るとした所で、結局全ての黒くて白い物を捜索するパートが増えるだけで結果は変わりない
44 ななしのよっしん
2023/06/12(月) 18:19:05 ID: 6RAwQK3R9N
全ての黒くない物を調べ「終える」ためには、残りの黒い物の中に黒くない物が絶対に存在しない事を確認しなければならないので、実際の所黒い物を一切調べずに終わる事はできない
第一次調査で全ての赤い物を調べて、カラスが存在しなかったとする。すなわちカラスは赤くない
次に第二次調査で全ての赤くも黒くもない物を調べて、カラスが存在しなかったとする。すなわちカラスは赤い又は黒い
第二次調査の結果で赤いカラスの存在可能性が上がる事はない。同様に考えればこの二つの調査だけで黒いカラスの存在可能性が上がる理由もないと言える
第零次調査で色不明なカラスの存在が確実とわかっているなら黒いカラスの存在可能性は高まる
第一次調査で色不明なカラスと呼ばれる鳥が存在するか、そのようなフェイクニュースが作られたかどちらかであると分かっているとする
第二次調査で黒い物以外は認識可能なカメラとAIで、カラスの特徴を持った存在がいない事を確認できたとする
第三次調査で全ての黒い鳥は九官鳥であり、九官鳥はカラスではないと確認できたとする
以上の場合、カラスと呼ばれる鳥は黒くも黒くなくもないか、フェイクニュースである事が分かる
またフェイクニュースである可能性がどの程度か分かっている場合、第二次調査を何度繰り返しても「黒いカラスが存在する可能性」が「フェイクニュースではない可能性(嘘から出た真も含む)」を上回る事はない
(省略しています。全て読むにはこのリンクをクリック!)
急上昇ワード改
最終更新:2024/04/24(水) 03:00
最終更新:2024/04/24(水) 03:00
スマホで作られた新規記事
ウォッチリストに追加しました!
すでにウォッチリストに
入っています。
追加に失敗しました。
ほめた!
ほめるを取消しました。
ほめるに失敗しました。
ほめるの取消しに失敗しました。