概要

レイヴンのパラドックスは、帰納的推論についてもっともらしい二つの原理のあいだに緊張関係があることを示す、確認理論の問題である。1940年代にドイツの論理学者カール・グスタフ・ヘンペルが最初に明確に示し、たとえば「すべてのカラスは黒い」というような普遍的主張を、どの観察が本当に支持するのかを考えさせる。見た目には、日常経験では黒いカラスだけがその主張を確認するように思えるが、パラドックス的な結論は、一見すると無関係に見える観察、たとえば緑のリンゴを見ることまでもが確認証拠として数えられる、というものである。

定式化と単純な例

形式的に表すと、このパラドックスは、普遍文「すべてのカラスは黒い」と、その対偶である「すべての黒くないものはカラスではない」の論理的同値性を用いる。もし、普遍的な一般化に一致する個々の観察が確認になるのなら、黒くない非カラス（たとえば白い靴）を観察することは、その対偶を確認し、したがって同値性により元の主張も確認することになるように見える。結論は直感に反する。なぜ白い靴を見ただけで、あらゆるカラスが黒いという命題への確信が高まるのだろうか。

関わる主要原理

  • 同値条件: 論理的に同値な主張は、同じ証拠的支持をもつ。
  • 事例確認（ニコッドの基準）: 個別の肯定例（黒いカラス）が、普遍的一般化（すべてのカラスは黒い）を確認する。
  • 背景知識: 世界についての事前情報は、単一の観察が信念をどれほど変えるべきかに影響する。

歴史的背景

このパラドックスはヘンペルによって広く知られるようになり、20世紀の科学哲学で集中的に議論されてきた。元の定式化の背景についてはレイヴンのパラドックスを、ヘンペルの仕事についてはカール・ヘンペルを参照。また、この問題は、帰納的推論や、有限の証拠から一般化をどのように正当化するかをめぐる、より広い論争の中に位置づけられる。

反応と解決策

哲学者や理論家は、このパラドックスを解消するいくつかの方法を提案してきた。代表的なものを挙げると次のとおりである。

  • ニコッドの基準を退け、ある種の事例だけが確認に当たるとする。
  • 確認の文脈では、論理的同値性が証拠的関連性を保存しないと主張する。
  • 確率論的、あるいはベイズ的枠組みを用いて、黒くない非カラスは、関連する背景知識に比べればごくわずかな確認しか与えないと示す。
  • 全証拠観を援用し、どの観察が仮説をどれほど確認するかは、背景情報全体に依存するとする。

重要性と注目点

レイヴンのパラドックスが重要であり続けるのは、帰納法に関する直観的な規則が形式論理と衝突しうることを明らかにするからである。この問題は、確認、確率、関連性について、より洗練された説明を促し、個別の観察から一般法則へ進む際には背景仮定を慎重に考える必要があることを示している。これは単なる知的な奇談ではなく、確認理論に関する後続の研究を形づくり、科学的推論と証拠をめぐる議論にも影響を与えた。