歸納的含義

《歸納的含義》，本世紀70年代西方歸納邏輯專著。喬·科恩(見「概然的和可證的」)著。1970年由英國倫敦麥蘇恩股份有限公司出版。

內容簡介

本書共7章，248頁。前6章主要從語義上討論歸納證據支持邏輯的一般性問題，建立歸納證據支持理論，第7章則建立歸納證據支持邏輯的形式系統。

第1章主要討論歸納證據支持邏輯的語法中的某些基本原則。把萊欣巴哈、卡爾納普的歸納邏輯稱為概率的數學演算，認為這種演算並沒有反映科學實驗中實際的歸納推理過程。歸納證據支持邏輯的基本概念不是概率，而是歸納證據支持。本書從語義上討論了歸納證據支持邏輯的等價原則，後承原則，特例可比較原則和特例合取原則，指出這些基本原則，除了一些特殊情況，是不能從概率的數學演算中導出，書中提出的歸納邏輯不能劃歸為傳統的歸納邏輯。

第2章討論了歸納證據支持的分級理論，建立了相關變量法語義模型來給歸納證據支持分級。s [U，E]≥i/n表示根據實驗證據E，科學假說U(用一階全稱概括句表示)在n個相關變量的組合的序列中已通過了i個，也即根據E，U至少已獲得第i/n等級的歸納支持。還從語義上證明了一階全稱概括句的合取原則和它的特例合取原則是同型的。

第3章證明相關變量法能處理因果假說以及相關聯的一階全稱概括句，在對科學假說的分級中保持一貫，並能消除歸納邏輯的兩個重要悖論:亨普爾悖論和古德曼悖論。

第4章討論了歸納證據支持理論和簡單枚舉歸納法以及歸納統計推理的關係，證明了歸納證據支持理論適用於統計概括句，而簡單枚舉法是統計歸納推理的一種特殊情況。

第5章回答了對作者的理論的某些哲學上的批評，討論了歸納證據支持理論的某些非標準運用，用增加有利的相關變量於一階全稱概括句的前件等方法，使作者的理論更實際地反映科學實踐。通過構造適於法律、倫理道德和語言的語法領域的歸納估計函項，闡述了作者的理論在上述3個領域中的運用，着重討論了用於法庭程序的法律推理的歸納支持模式和歸納估計模式，從而豐富了作者的歸納證據支持理論。

第6章用歸納證據支持理論對歸納法的正當性進行了論證。通過對歸納證據支持概念的適當分析，說明歸納法和演繹法在邏輯語法上是相似的，歸納證據支持的分級就對應模態必然算子的一有窮序列，指出歸納證據支持邏輯就是對應模態邏輯的一個系統。批判了休謨對歸納法的邏輯特性的否定，證明了歸納法作為一種有效的推理程式是合法的。

第7章建立了歸納證據支持邏輯的公理化系統。此系統是模態邏輯S4的一個概括，允許有窮個必然算子組成的必然性程度不同的序列(對應等級不同的歸納證據支持)，除了個體變項，還允許對謂詞和必然算子進行量化。此系統由32個定義，16條公理模式和推演規則組成。依賴此系統證明了250多個定理，刻劃了科學實驗中的歸納過程，例如，可以證明第1章討論的一些重要的邏輯原則:等價原則，後承原則、合取原則等都是該系統的定理，所以相關變量法語義模型滿足歸納證據支持邏輯的公理化系統。作者在此還證明他的系統是一致的。

本書從科學實驗的實際過程，概括抽象出歸納推理模式，並根據科學哲學的成果，把模態邏輯S4的一概括和相關變量法語義模型結合起來，建立了歸納證據支持邏輯。這一工作突破了以往歸納邏輯的形式系統和語義模型，開闢了研究歸納邏輯的新領域。本書的不足在於工作比較粗糙，這在1977年作者的《概然的和可證的》中得到一定程度的彌補。

工具書的特點

1、從編輯目的而言，它主要供查考、檢索而非通讀^[1]。

2、從編排方法而言，工具書總是按某種特定體例編排，以體現其工具書性，易檢性。

3、從內容而言，廣泛吸收已有研究成果，所提供的知識、信息比較成熟可靠，敘述簡明扼要，概括性強^[2]。

視頻