|
ヘンペルのカラス (Hempel's ravens) とは、ドイツのカール・ヘンペルが1940年代に提出した、帰納法が抱える根本的な問題（「」）を喚起する問題である。また、、ともいわれる。「カラスのパラドックス」とも呼ばれるが、パラドックスとして扱うべきかどうかには異論もある〔森田 (2010)、31頁。〕。 == 概要 == 「ヘンペルのカラス」は「全てのカラスは黒い」という命題を証明する以下のような対偶論法を指す〔森田 (2010)、31–32頁。〕。 「AならばBである」という命題の真偽は、その対偶「BでないものはAでない」の真偽と必ず同値となる〔〔〔。全称命題「全てのカラスは黒い」という命題はその対偶「黒くないものはカラスでない」と同値であるので、「全てのカラスは黒い」という命題を証明するには「全ての黒くないものはカラスでない」ことを証明すれば良い〔〔。そして「全ての黒くないものはカラスでない」という命題は、世界中の黒くないものを順に調べ、それらの中に一つもカラスがないことをチェックすれば証明することができる〔。そしてこの命題が真である場合、カラスを一羽も調べること無く、それが事実に合致することを証明できるのである〔〔。これは日常的な感覚からすれば奇妙にも見える〔〔。 こうした、一見素朴な直観に反する論法の存在を示したのが「ヘンペルのカラス」である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ヘンペルのカラス」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Raven paradox 」があります。 スポンサード リンク
|