归纳的含义

《归纳的含义》，本世纪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]。

视频