檢視可證偽性的原始碼

'''有證性無'''（英語：Falsifiability、Refutability）， 閣稱'''會當反證性'''、'''會當證烈性'''，佇科學和科學哲學中用來表示由經驗來的表述所具有的一種屬性，而且使用嚴格的否證法（佮實證法相對的）來判別一个理論敢是科學，即「遮的結論著愛容允邏輯頂懸的反例的存在」。

做會當反證性對比的則包括形式的或者是數學的表述，親像恆真式抑是同義（因為定義的原因𪜶總是真正的）， 數學公理佮定理—— 遮的表述無容允邏輯頂懸反例的存在。

可證偽性是科學哲學家卡爾 ・ 波普爾佇咧伊一九三四年的著作科學發現的邏輯內底引入的科學理論佮假設的評估標準。伊提出伊做解決歸納佮劃界的問題的基石。若是一个理論抑是假使會使予現有技術的實證檢驗佇邏輯頂頭抵觸，按呢伊就是'''可證偽'''的（抑是'''會當反駁'''的）。 可證偽性的目的，甚至是一个邏輯標準，是使理論具有預測性佮可測試性，對這个實踐內底有用。

波普爾反對可驗證性概念。驗證「所有的天鵝攏是白色的」這講法佇邏輯頂懸需要觀察所有的天鵝，這佇技術上是無可能的。比並之下，嘿單一个烏天鵝的觀察佇技術上是合理的，並且真有邏輯上證偽這一主張。另外一方面，皮呢 ・ 杜漢提出了杜漢-奎因論題。

佇這个情形下，波普爾堅持認為佇邏輯方面存在明顯的毋著稱性，可證偽性無存在杜漢所提出的問題，因為伊是一个邏輯標準，佮拉卡托啥物 ・ 他姆雷的證偽主義「予證明錯誤的能力」相關的概念無仝。實驗方面佮相關的方法確實存在杜漢所提出的問題佮其他問題，譬如講歸納問題（英語：Problem of induction）， 猶毋過，對波普來講，統計檢驗佮其他幾若个數學家私，做一个理論是會當證偽的時陣，這是可能的，咧批判性討論內底猶原對科學有效。

成做區分科學佮非科學佮偽科學的關鍵概念，可證偽性佇濟濟科學爭議佮應用中佔有突出地位，甚至予人用做法律先例。

對理論的佐證雖然認可合理性，但和邏輯實證主義經驗會當證實理論的確證無仝款，佐證是暫時的。一寡哲學家佮科學家（如卡而已 ・ 波普而已）宣稱：一切對經驗會來的假講、命題佮理論必須邏輯寫容許反例的存在，才是科學的。波普而提出是毋是證論（佮實證論相對的）成做科學真理的檢驗原則，而且通過毋是證論說明科學理論只是假說，有可能予人推翻。一个主張仔「可證偽」並無意味著這个主張是「假」的；有可證偽性的科學理論是屬於偽科學佮失敗假設的範本。非科學的人類活動如宗教、藝術、哲學等等雖然是不可證偽的，嘛袂當講是「錯誤」的，譬如講人袂講達文西的上尾的暗頓是錯誤的。

==定義==

若是一个主張有法度證的無，是至少佇理論上存在一種觀測的方法（就算實際上無進行這項觀測嘛無妨）， 來表明這个主張無符合重言式的標準（即這个主張無總是真正）。 對某種描述進行觀測的邏輯前提是伊描述的事物是存在的。科學活動內底愛不斷來思考、批判、否證，而且結果袂當保證永遠正確。

比如講「所有的天鵝攏全白色的」這主張會當予「存在烏色天鵝」觀測否證，雖然這个觀測並無一定會發生。一个會當證的題著愛定義某寡予人禁止的情形。比如講，佇這个例中，「 所有的天鵝攏全白色的」這主張禁止矣「烏天鵝」的存在矣。因為理論上可能有一个「觀測著烏色天鵝」這个反例，「 所有的天鵝攏全白色的」這主張敢是有可能證的。
閣比如講若準講這馬有一个人宣稱「我講的話一直攏是著的」，阮考察伊較早捌講過，若有規个矛盾的所在，若按呢這句話肯定是一个假命題。毋過，即使講這个人過去一直貫徹一種想法，佇伊家己的言論中無長短黜的所在，嘛袂當作為有夠的證據證明這句話是一个真命題。

==科學理論的必要屬性==

有可能證性是一个科學理論的必要屬性。會當證性是由經驗來的主張的必要屬性，煞毋是充分的屬性。一个主張需要閣較濟的屬性佮證據予其成做經驗內底有意義的。

==參見==

* 卡爾 ・ 波普而已
* 本質主義
* 特例假設
* 烏天鵝效應
* 奧卡姆剃刀
* 科學哲學
* 科學方法
* 研究綱領
* 典範轉移

==參考文獻==

==外部連結==

* Problems with Falsificationism explained at The Galilean Library
* FALSIFIABILITY OR REFUTABILITY " FALSIFIABILITY OR REFUTABILITY " at Sociology Index

[[分類: 待校正]]