思考実験「ヘンペルのカラス」が難解なのでパンツに置き換えて考える - 夜中に前へ

こんばんは。夜中たわしです。 本日は、「ヘンペルのカラス」というパラドックス（厳密には疑似パラドックス）について紹介します。 ヘンペルのカラス ヘンペルのカラスは、このようなものです。 まず「全てのカラスは黒い」ことを証明したいとします。 この際のアプローチとして、「全ての黒くないものはカラスでない」ことを証明すれば、「全てのカラスは黒い」ことを証明したことと全く同じというのが、ヘンペルのカラスの論法です。 そう、この方法を使えばカラスを1匹も調べることなく、カラスが黒いことを証明することが可能なのです！ この話をはじめて聞いたほとんどの方は、「？？？」となったのではないのでしょうか。私もです。 なぜわかりづらいのでしょう。 それはカラスが黒いかどうかなんて誰も興味ないからではないでしょうか。 なので、カラスをパンツに置き換えて考えてみます。 そうです。カラスが黒いことを証明する代わりに、

[tawashix]

id:wattoさん＞白いカラスはもちろん知ってましたが無視しちゃいましたね。『逆説論理学』面白そうなので買ってみます。

[serio]

どうして気になるあの子がノーパンであるというロマンを想定しないのか

[moons]

これ「うみねこ」読んでた時から疑問に思っていたのだが、そもそも「あの子のパンツ」が教室に存在することはいつ証明したんだろう。

[watto]

ggrks [google:image:白いカラス] というのは冗談で、私がこのパラドックスを最初に知ったのは例によって『逆説論理学』 asin:4121005937 だけど、ウィキペはじめネットでは明快な解説が読めない状況がちょっと不満。

[Palantir]

しかし、カラスはもう絶滅してしまったんだよ…。

[miketaro1234]

のび太さんのえっちい！

[mamejeff]

つまり何を調べるにも自分で動かないといけないと言うことですか。パンツ見るのにも一苦労するわけですね

[keima3]

あしたがっこうでやってみます。[あとでやる]

[chikoshoot]

いや、これ結局全てのパンツの色を調べてることになるのでは？

[studio_one]

好きな子のパンツが白であることにかける情熱でも法はこれられないということが証明されましたね！

[kouichi1151]

【ヘンペルのパンツ】か…💧

[toshio-shiratori]

すごい。カラスをパンツに置換するだけで頭にすんなり入ってくる(汗)なんだこの屁の用心っていうパンツは！すごい欲しい。

[ROYGB]

論理学的は「あの子のパンツが白い」という文が真になるのは、実際にパンツが白い場合だけでなく、パンツをはいていない場合も含む。それだけならまだしも、あの子が存在しない場合にも真。

[nagaichi]

悪魔がいないことを証明するために全宇宙を走査して回れと言われたときの気分。

[leb]

「うみねこ」のヘンペルのカラスの解釈は間違っていたけど、この解釈は合ってるね

[suna_kago]

面白かったです。でもこれ、よく考えてみたら「気になるあの子」がパンツを履いていない（だから白ではないし白以外でもない）という可能性も充分にありますよねｗ

[bg4kids]

パンツを直接確認することなくといいつつ、結局最後はパンツに手を伸ばさないと証明できないのかい！

[nisisinjuku]

つまり、ノーマルな白が好きなのか？　意外といないぜ、そういう娘。

[thirty206]

やっぱりよくわからないのでパンツ置き換えを実践させてもらえないだろうか。

[ornith]

ヘンペル「へんたいだーーー！！！」

[shoh8]

まずパンツを脱ぎます。/ あの子にパンツを白い箱に入れてと頼んだら本当に白い箱に入れてくれるだろうか、というラノベ出そう。

[g730333]

ベン図でいいじゃん。外側から内側へ、全世界のもの、黒いもの、カラス、と3つの丸を書くだけ。難解な要素は全く無い。

[pccs15]

気になるあの子以外の全ての子のパンツの犠牲の上に成り立つあの子のパンツ

[shinonomen]

パンツを黒い箱に「入れない」という判断をする際にパンツの色を確認しているはずなので、直接確認することなくパンツが白いことが証明されたというのは詭弁ではあるまいか。

[mazmot]

証明は悉皆調査でなければ不可能なのか。演繹法、帰納法などもあり得ると思うが。統計的解析ではどうなのか？

[surume000]

いい文だ

[akane1033]

やばい、パンツで説明されても分からないなんて、、、（汗）次はイケメンのパンツでお願いします！←

[politru]

結局どういうことなのかさっぱり分からなかったので、、、、、、

[sangping]

こんな解説で理解できてしまった自分が悔しい。

[anus3710223]

竜騎士さんが売れた理由はこれだよね。

[kasumi19732004]

あの娘のパンツが白と水色のしましまパンツだったらどっちの箱に入るんだろう。

[shinzor]

気になるあの子のパンツを調べることなく，パンツの色が分かっても，嬉しくない

[turanukimaru]

黒もカラスもない世界で黒い何かを見つけたら「凄いや！カラスは本当に（略」となるだけなので問題ない。なお形而上的にはカラスが存在しなくても空集合として成立する。存在しないのでカラスの定義が無意味になる。

[iku-sawa11]

途中まで面白かったけど詰めが甘い

[napsucks]

ヘンペルのカラスはカラスの存在がない場合に破たんするのよね。そしてカラスが1羽以上存在する場合は正しく成立する。

[yaki295han]

ヘンペルのオパンツ穿いてみたい。

[hinataaoi]

私は結局、わかったようなわからないような感じになってしまいました。(^_^;)

[takah-jugem]

「その約束をあの子が守ってくれるとは限らず,黒いパンツを白い箱に容赦なく突っ込む可能性があります」ロックなあの子が白いパンツを履いているかどうか証明する「ヘンパルのパンツ」がよく分かる神エントリー

[catlani]

せめて！せめて退学は証明が完了した後にしていただけませんか先生！