看到青蘋果能證明「烏鴉是黑的」？：亨佩爾的烏鴉

科學家是如何證明理論的？通常，我們透過觀察世界並收集資料的「歸納法（Induction）」來進行。例如，如果想證明「所有烏鴉都是黑的」這個假說，你可能會觀察世界各地的烏鴉，並一一確認牠們是黑色的。

然而在1940年代，邏輯學家卡爾·亨佩爾（Carl Hempel）指出了這種理所當然的科學方法中隱藏的一個奇妙邏輯漏洞。這就是**「只要看到青蘋果或紅鞋子，就能成為『烏鴉是黑的』的證據」的亨佩爾的烏鴉（Hempel’s Ravens）**悖論。

偷換邏輯：逆否命題的魔法

要理解亨佩爾的主張，我們需要回想高中數學學過的**「逆否命題」**概念。

在邏輯學中，如果某個命題「若A則B」為真，那麼它的逆否命題「若非B則非A」也必然為真（這稱為邏輯等價）。

假說 $H_1$：「所有烏鴉都是黑的（如果是烏鴉，就是黑色的）」

讓我們取這個假說 $H_1$ 的逆否命題。也就是「如果不是黑色的，就不是烏鴉」。

假說 $H_2$：「所有不是黑色的東西，都不是烏鴉」

根據邏輯學的規則，$H_1$ 和 $H_2$ 的意義完全相同（等價）。只要證明了其中一個，另一個也就自動被證明了。

不看烏鴉來證明烏鴉

那麼，為了確認假說 $H_1$（烏鴉是黑的），每找到一隻黑烏鴉，該假說的可靠性（證據）就會增強一點。這是任何人都會認同的。

但是，既然 $H_1$ 和 $H_2$ 意義相同，那麼找到假說 $H_2$（不是黑色的東西就不是烏鴉）的證據，理應直接成為假說 $H_1$ 的證據。

那麼，$H_2$ 的證據是什麼呢？只要找到「不是黑色，且不是烏鴉的東西」就可以了。

假設桌上有一顆**「青蘋果」**。它不是黑色的，也不是烏鴉。因此，它是支持 $H_2$ 的證據。
衣櫃裡有一雙**「紅鞋子」**。這也不是黑色的，也不是烏鴉。這是 $H_2$ 的證據。
天空飄著**「白雲」**。這也是 $H_2$ 的證據。

因為 $H_2$ 的證據與 $H_1$ 的證據具有相同的價值，在邏輯上會得出以下奇怪的結論：

「在房間裡觀察到越多的青蘋果或紅鞋子，就越能證明『所有烏鴉都是黑的』這個假說的正確性」

為什麼違背直覺？

世界上沒有任何一位鳥類學家會因為看到青蘋果就更加確信「烏鴉是黑的」。明明在邏輯上是完全正確的，為什麼我們的常識會拒絕接受呢？

在哲學與統計學界，針對這個悖論提出了幾種解決方案。

1. 貝氏主義的解決方法（資訊量的差異）

從現代統計學（貝氏機率）觀點出發的最有力反駁，是著眼於「證據強度（資訊量）」的差異。

世界上「不是黑色的東西」比「黑色的東西」多得多，而「不是烏鴉的東西」更是比「烏鴉」多出天文數字。

當你看到一顆青蘋果時，它的確能成為「所有烏鴉都是黑的」的證據，但它作為證據的價值（機率的提升幅度）幾乎趨近於零。在廣闊的宇宙中，即使確認了無數「不是黑色的東西」中的一個，它對「烏鴉是黑的」的機率所帶來的提升，其影響力僅相當於從沙漠中拿走一粒沙。相對而言，直接發現一隻黑烏鴉，則具有壓倒性巨大的證據價值。

換句話說，邏輯上「青蘋果可以成為證據」，但實際上「其作為證據的價值等同於零，因此可以忽略不計」，這就是貝氏學派的解決方法。