概然的和可證的檢視原始碼討論檢視歷史
《概然的和可證的》，西方歸納邏輯專著。喬·科恩著。1977年英國牛津大學出版社出版。
內容簡介
本書分4大部分，24章98節。
第1部分提出概率的非經典概念，一句子的概率就是該句可證性的等級。認為概率的理論應是多標準的，並分別討論了一般或特殊、必然或偶然、外延或非外延的證明標準。概率的頻率概念、邏輯概念等分別對應其中的一種標準。概率陳述句就是對推理可靠性的評價。演繹邏輯系統的完全性可以看作證明的概率補余性的一種極限情況，對應不完全系統的證明標準生成的概率不能化歸為機會的數學演算。若把這樣的概率等同任意全稱條件概括句的歸納支持等級，則這樣的概率就是根據該概括句前件的真值，其後件具有的概率。這樣的概率概念在英美法系的法庭證明中起重要的作用。而這種歸納概率和經典的數學概率是有區別的。
第2部分詳細討論了經典數學概率運用於法庭證明的6大困難:關於合取的困難、關於複合推理的困難、關於否定的困難、關於在合理疑問以外的證明的困難、關於概率標準的困難和關於認證與收斂的困難。這些困難說明經典的概率演算不能用於法庭證明。
第3部分闡述了歸納邏輯理論。首先討論了歸納概率和歸納支持的關係，認為前者的建立依賴後者的建立，所以首先考慮歸納支持概念。在此建立了歸納支持的相關變量法語義模型，用此對歸納支持進行分級。一相關變量是一變素集，由科學家試驗時選擇的一組變化條件組成。相關變量序列是由這些相關變量的有序組合構成。稱根據證據E，對全稱假說H的歸納支持不小於i/n，記作S〔H，E〕≥i/n，若在一n個相關變量的序列中，H根據E通過i個相關變量的組合。認為相關變量法是培根三表法和穆勒五法的拓廣和概括。還討論了歸納支持分級的邏輯語法中一些重要的原則，其中最重要的是合取原則和否定原則。這裡的這兩個原則與經典概率演算中相應的原則之間存在很大的差異，但用相關變量法來解釋卻很自然。還證明了歸納支持不能化歸為數學概率，討論了歸納支持和歸納概率之間的關係:P1 〔Sa，Ra〕=i/n當且僅當S [Sa→Ra]=i/n，其中P1是歸納概率函項，S，R是觀察謂詞，a是個體常項，討論了在評估歸納概率中有利條件和不利條件的平衡以及它們的非對稱影響。接着討論了歸納概率分級的邏輯語法中的重要原則，以及歸納概率和數學概率在邏輯上的同異和不可歸約性。最後，建立了歸納支持和歸納概率的公理化系統。這個系統是模態邏輯S4的一個概括，也是經典高階邏輯對模態算子的一個拓廣。由49條定義，16條公理模式和推演規則組成，是科恩的《歸納的含義》一書中的邏輯系統的修正和拓廣，例如它允許可數無窮個必然算子組成必然性程度不同的序列。還證明了一大批重要的刻劃歸納推理的定理，並且證明了該系統是一致的。此外，還討論了相關變量法和模態邏輯克里普克(Kripke)語義學的區別。
第4部分討論了歸納邏輯的某些運用:對法庭證明的估計、對數學概率運用法律領域產生的6大困難的解決，以及在認識論領域的運用。
本書建立的歸納邏輯克服了傳統歸納邏輯的一些嚴重缺陷，反映和概括了科學推理的邏輯結構，能夠描述科學史上一些重要現象，回答科學哲學討論的一些重要的問題。但是本書的工作還是初步的，這不僅表現在其公理化系統沒有什麼大定理(例如完全性定理)和十分重要的成果，而且相關變量法語義模型也比較繁雜和含混。
作者簡介
喬·科恩(L. Jonathan Cohen)，英國科學哲學家和歸納邏輯學家，英國科學哲學學會會長(1977—1979)，《邏輯與哲學克拉倫登叢書》總編，英國牛津大學女王學院和英國科學院教授。
工具書的特點
1、從編輯目的而言，它主要供查考、檢索而非通讀[1]。
2、從編排方法而言，工具書總是按某種特定體例編排，以體現其工具書性，易檢性。
3、從內容而言，廣泛吸收已有研究成果，所提供的知識、信息比較成熟可靠，敘述簡明扼要，概括性強[2]。