| 归纳支持 inductive support 当把归纳看成是对假说的操作时，是指证据对假设的确证。卡尔纳普的确证概念属于贝叶士先验概率传统，它回答的问题是：证据e表明假设h在多大程度上是“真理”。与逻辑实证主义产生后科学哲学的一些根本转变相一致，归纳逻辑也已不再把归纳法看作导致真理或概然性真理的推理方法，不再关心归纳所得到的结果是否是真理或在多大程度上是真理。归纳法现在被看作是对假说的操作，确证概念也就相应地变成了“归纳支持”的概念。此时，归纳逻辑的任务是制订对假设实行操作的程序，论证其合理性，这种程序中包括衡量一定证据对假设的归纳支持程度的标准，也包括决定在何种情况下接受、或修正、或放弃假设的规则。特别是，已被放弃的假设并不失去它所获得过的支持。科亨(P.J.Cohen， 1934— )发展了一个完整的关于归纳支持的理论。根据这一理论，归纳概括：(x)(Ax→Bx)所获得的支持，并不来自既是A又是B的个别例证的数目，而来自这一假设在其中受到检验并得以通过的相关情景的数量及其复杂性。在归纳支持函数S[(x)(Ax→Bx)，E]=i中，证据E是对变素组合及假设通过情况的报导，例证的数目与归纳支持无关，它被代之以“可复制性”要求。偶而出现的一个反例，如果不能利用它去发现一种新的相关因素，则可以弃之不顾。例如检验“蜜蜂能辨色”这一假设时，在特定的受控情景下，多数蜜蜂都表现出预期的行为，只有一只反常，实验者可以认为反常全系其个体特异性造成，从而认为在这种情景下，假设是被通过的。科亨以一个推广的模态逻辑系统形式地表达了他的归纳支持理论。 |