可證僞性

可證僞性  ， 又稱可反證性 、 可 - { zh - hant: 證僞; zh - hans: 否證 } - 性 ， 在科學和科學哲學中用來表示由經驗得來的表述所具有的一種屬性 ， 並使用嚴格否證法 （ 相對於實證法 ） 來判別一個理論是否科學 ， 即 「 這些結論必須容許邏輯上的反例的存在 」 。 作爲對比的則包括形式上的或數學的表述 ， 如恆真式或同義反復 （ 由於定義的原因它們總是真的 ） ， 數學公理和定理 — — 這些表述不容許邏輯上反例的存在 。 可證僞性是科學哲學家卡爾 · 波普爾在他的著作 Logik der Forschung ( 1934年 ) 中引入的科學理論和假設的評估標準 。 他提出它作爲解決歸納和劃界問題的基石 。 如果一個理論或假設可以被現有技術的實證檢驗在邏輯上牴觸 ， 那麼它就是可證僞的 （ 或可反駁的 ） 。 可證僞性的目的 ， 甚至是一個邏輯標準 ， 是使理論具有預測性和可測試性 ， 從而在實踐中有用 。 波普爾反對可驗證性 （ 英語 ： verifiability ） 概念 。 驗證 “ 所有的天鵝都是白色的 ” 這一說法在邏輯上需要觀察所有的天鵝 ， 這在技術上是不可能的 。 相比之下 ， 對單個黑天鵝的觀察在技術上是合理的 ， 並且足以在邏輯上證僞這一主張 。 另一方面 ， 皮耶 · 杜漢提出了杜漢 - 奎因論題 。 在這種情況下 ， 波普爾堅持認爲在邏輯方面存在明顯的不對稱性 ， 可證僞性不存在杜漢所提出的問題 ， 因爲它是一個邏輯標準 ， 與拉卡託什 · 伊姆雷的證僞主義 “ 被證明錯誤的能力 ” 相關的概念不同 。 實驗方面和相關方法確實存在杜漢所提出的問題和其他問題 ， 例如歸納問題 （ 英語 ： Problem of induction ） ， 但是 ， 對於波普爾來說 ， 統計檢驗和其他數學工具 ， 當一個理論是可證僞的時 ， 這是可能的 ， 在批判性討論中仍然對科學有用 。 作爲區分科學與非科學和僞科學的關鍵概念 ， 可證僞性在許多科學爭議和應用中佔有突出地位 ， 甚至被用作法律先例 。 對理論的佐證雖然認可了合理性 ， 但與邏輯實證主義經驗能證實理論的確證不同 ， 佐證則是暫時的 。 一些哲學家和科學家 （ 如卡爾 · 波普爾 ） 宣稱 ： 一切從經驗得來的假說 、 命題和理論必須邏輯上容許反例的存在 ， 纔是科學的 。 波普爾提出否證論 （ 相對於實證論 ） 作爲科學真理的檢驗原則 ， 且通過否證論說明科學理論只是假說 ， 有可能被推翻 。 一個主張 “ 可證僞 ” 並不意味着這個主張是 “ 假 ” 的 ； 不具可證僞性的科學理論則是屬於僞科學與失敗假設的範本 。 而非科學的人類活動如宗教 、 藝術 、 哲學等雖然是不可證僞的 ， 但也不能說成是 「 錯誤 」 的 ， 例如人們不會說達文西的最後的晚餐是錯誤的 。