ヘンペルのカラス - Wikipedia
ヘンペルのカラス （英: Hempel's ravens） とは、ドイツのカール・ヘンペルが1940年代に提出した、帰納法が抱える根本的な問題（「帰納法の問題（英語版）」）を喚起する問題である。「カラスのパラドックス」とも呼ばれるが、パラドックスとして扱うべきかどうかには異論もある[1]。 「ヘンペルのカラス」は「全てのカラスは黒い[注釈 1]」という命題を証明する以下のような対偶論法を指す[1]。 「AならばBである」という命題の真偽は、その対偶「BでないものはAでない」の真偽と必ず同値となる[2][3][4]。全称命題「全てのカラスは黒い」という命題はその対偶「全ての黒くないものはカラスでない」と同値であるので、これを証明すれば良い[2][3]。そして「全ての黒くないものはカラスでない」という命題は、世界中の黒くないものを順に調べ、それらの中に一つもカラスがないことをチェックすれば証明
オッカムの剃刀 - Wikipedia
三浦俊彦が描いたオッカムの剃刀の説明図[1]。三浦はオッカムの剃刀について「ある事実Pを同様に説明できるのであれば仮説の数（または措定される実体の数）は少ないほうが良い」とするものだと説明した。 オッカムの剃刀（オッカムのかみそり、英: Occam's razor、Ockham's razor）とは、「ある事柄を説明するためには、必要以上に多くを仮定するべきでない」とする指針。14世紀の哲学者・神学者のオッカムが多用したことで有名になった。21世紀の現代医学は、オッカムの剃刀の概念を少し時代遅れにし、あらゆるリスクの管理を見直すべきだという指摘がある[2]。 もともとはスコラ哲学における流儀であり、様々なバリエーションがあるが、20世紀にはその妥当性を巡って科学界で議論が生じた。「剃刀」という言葉は「説明に不要な存在を切り落とすこと」を比喩しており、「説明するために必要以上に多くの仮定を用
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
