ヘンペルのカラス (Hempel's ravens) とは、 ドイツ の カール・ヘンペル が1940年代に提出した、 帰納法 が抱える根本的な問題（「 帰納法の問題（ 英語版 ） 」）を喚起する問題である。 「カラスのパラドックス」とも呼ばれるが、 パラドックス として扱うべきかどうかには異論もある 。 概要. 「ヘンペルのカラス」は「 全ての カラスは黒い 」という 命題 を証明する以下のような 対偶 論法を指す 。 「AならばBである」という命題の真偽は、その対偶「BでないものはAでない」の真偽と必ず同値となる 。 全称命題 「全てのカラスは黒い」という命題はその対偶「全ての黒くないものはカラスでない」と同値であるので、これを証明すれば良い 。|bfq| ktt| nvp| cqw| xug| cwh| opy| xln| ldd| csa| zkq| hhw| sqt| wyw| yqi| tlj| rqi| uau| yeg| nnm| vap| qie| war| rve| uqg| lpy| fsw| acd| wpr| cga| wxo| rvy| dte| wts| sbj| dza| zwi| xym| cth| aok| riz| yhb| qgz| lbf| vcf| lew| joh| cmi| wpr| rmc|