馬有四條腿嗎

雖然大家普遍接受由邏輯的三段論推導所得出的結論，不懷疑它的正確性，但是在實際應用的過程中仍然有可能出現漏洞。這個漏洞存在於A類事物有X的規律的總結中。規律的總結本身就是通過有限的事例進行的，人們不可能去考察無限多的事例，而且不可能因為存在漏洞的可能性就不去總結規律。例如上麵白馬的例子，如果是一匹被鋸掉一條腿的白馬，還可以說它曾經有過四條腿，先天畸形隻有三條腿或者五條腿的白馬，就會成為上麵結論的反例。於是上麵的規律就會被修改成“正常的馬有四條腿”或者“馬有四條腿，但畸形除外”。然而，什麽叫正常，什麽叫畸形這些新的問題又會出現。如果想讓上麵的結論絕對正確，我們隻能說“四條腿的馬有四條腿，這匹白馬是四條腿的馬，所以這匹白馬有四條腿”。但這是一句廢話。所以說任何有用的理論都是挑戰反例的規律總結，隻要到目前為止我們還沒有發現反例，則我們不妨認為它是正確的，我們不妨運用它去解決實際問題，但不要把任何被認為“正確”的理論絕對化。特別是當一個理論超出被實證範圍使用而得出結論時，我們一定要記住，雖然這個結論沒有被證偽但是也沒有被證實。我們現在所知道的定律、公理、定理包括上麵提到的宇宙對稱公理都是這樣的一種總結。一方麵我們要為下麵繼續進行的論證提供依據，另一方麵我們要懂得為懷疑提供一塊保留地。關於這一點，將在《哲學思考》中深入討論。