0410 永江 の何の変哲もない日記

って何のことかご存知ですか？

ヘンペルのカラスとは、カール・ヘンペルが提出した、科学における帰納法的実証の手続き上のアポリアを指摘した問題。「カラスのパラドックス」とも呼ばれるが、パラドックスとして扱うべきかどうかには異論もあるため、本稿ではこの呼び方を避ける。

概要
「ヘンペルのカラス」は「カラスは黒い」事を証明する以下のような対偶論法を指す。

「カラスは黒い」という命題はその対偶「黒くないものはカラスでない」と同値であるので、「カラスは黒い」事を証明するには「黒くないものはカラスでない」事を証明すれば良い。 そして「黒くないものはカラスでない」という命題は、世界中の黒くないものを順に調べ、それらの中に一つもカラスがない事をチェックすれば証明する事ができる。 こうして、カラスを一羽も調べる事無く、「カラスは黒い」という事実が証明できてしまう。

こうした一見、素朴な直観に反する論法を指摘したのが「ヘンペルのカラス」である。 ときに「ヘンペルのカラス」は、それがまるで対偶論法の間違いを指摘した論法であるかのような誤った解説がなされる事があるが、本来はそうではない。

合理的・論理的でないのは人間の直観の方で、対偶論法にしろ「ヘンペルのカラス」にしろ数学的に何の問題もない論法である。 つまり正しくは、「ヘンペルのカラス」は人間の直観の危うさの方を指摘した論法なのだと言える。
（以上、ウィキペディアより引用）

当たり前のことを理論的に説明するのはかなり難しいですね…。

【相互リンクサイト集】
1381マイＳＥＯステーション

1382violinマイサーチエンジンステーション

1383violinthrough無料広告集客情報タイム

1384ネット集客向け中央ステーション

1385own＾?＾ネット中央ステーション

1386ownmyself全国対策研究室

1387ネット集客向けファクトリー

1388oval＾?＾ネットファクトリー

1389ovalmust極秘情報ネットワーク

1390ネット集客向け情報ナビ

1391over＾?＾ネットインフォメーションナビ

1392overmyワールド相互リンクガイド

1393ネット集客向け関東ネットワーク

1394owner＾?＾ネット関東ネットワーク

1395ownernagoyaＷＥＢネットワーク

1396ＳＥＯ対策、仲良くアクセスアップ

1397look--ネット対策仲良くアクセス向上

1398lookjapanese総合検索サイト

1399ネット集客向けリンクチャンネル

1400outfit＾?＾ネットリンクチャンネル