Test Implication與輔助假說

要測試一個假說（hypotheses）值不值得相信，科學家借助實驗。有價值的假說通常都有強大的預測力，在這裡科學家做的事情就是找出假說的條件句蘊含，然後營造出一個滿足前件的情境，然後看看後件會不會為真。例如說假說

所有的天鵝都是白的。

蘊含了一個條件句

如果我找來一隻天鵝，那麼牠會是白的。

如果我要驗證這個假說，我要做的事情就是到處找天鵝，看看他們是不是都是白色的。

這樣的實驗架構我們稱為test implication，它通常會滿足這個模式

H
If C, then E

其中H是假說，C是條件句前件，E是後件，而且（H）邏輯地蘊含「if （C） then （E）」

套用上面的例子，就是這樣

test implication 1
所有的天鵝都是白的（H）。
如果我找來一隻天鵝（C），那麼牠會是白的（E）。

然而，並不是對於所有有用的實驗，這樣的分析都有效。例如，當我們想要驗證「鹽溶於水」這個假說時，最簡單的方法就是把鹽丟到水裡，看看它會不會溶解。這樣的實驗架構會是這樣

test implication 2
鹽溶於水（H）。
如果把鹽丟到水裡（C），那麼鹽會溶解（E）。

在這裡（H）顯然不蘊含「若（C）則（E）」，因為在一些情況下就算把鹽丟到水裡鹽也不會溶解，例如水溫不夠高的時候，或者倒太多鹽的時候。如果我們想要保有這個分析方法，顯然我們需要改良它，加上一些條件使得H可以邏輯地推導出「若C則E」。一個有效的作法可以是這樣

test implication 3
鹽溶於水（H）。
水不是飽和狀態（AH）。
如果把鹽丟到水裡（C），那麼鹽會溶解（E）。

這樣一來，雖然（H）不蘊含「若（C）則（E）」，但是「（H）‧（AH）」蘊含「若（C）則（E）」。於是我們有了這樣的一個模式

H
AH
If C, then E

其中H是假說，AH是輔助假說（auxiliary hypotheses），C是條件句前件，E是後件，而且「（H）‧（AH）」邏輯地蘊含「if （C） then （E）」

這樣的模式分析對科學實驗有幫助，因為它揭露了一個重要的事實︰當（C）出現（E）卻不為真時，並不蘊含（H）為假，而是蘊含「（H）‧（AH）」為假。也就是說，如果我們依照這樣的分析為某個假說做了正確實驗，然而實驗結果卻不如預期，有可能錯的是輔助假說，而不是主要假說。最簡單的例子就是當我們把鹽丟進飽和水裡然後觀察到鹽沒有溶解的時候。我們不會因此認為鹽不溶於水，相對地，我們會認為那是因為在這個實驗裡，有個輔助假說是假的（沒有被滿足）。這個現象的重要性在於，它為科學家帶來了在面對反例時藉由修改輔助假說來保護主要假說的機會（以及做出自圓其說的不合法修改的機會）。


本文最初發表於我的舊網誌