条件化的归纳逻辑

出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第68页（946字）

条件化的归纳逻辑是现代逻辑的一部分，是本世纪3θ年代初由英国着名哲学家、逻辑学家C·D·布洛德(Broad)首创，又由G·H·冯·莱特(Von wright)所系统发展起来的。

所谓条件化的归纳逻辑，就是这样一种逻辑：它以演绎逻辑中的条件蕴涵式为定义性公式，首先对条件蕴涵式的前、后件以及前、后件间的推导关系加以严密的逻辑分析，使之构成一个较严格的逻辑系统，然后以此为基础，对J·S穆勒(Mill)的因果归纳五法中的契合、差异、契合差异并用法的所谓“淘汰归纳法”加以条件化阐释和处理，使之成为一种以演绎条件句为基础和形式框架的归纳逻辑理论。

条件化的归纳逻辑的最基本内容是对淘汰归纳法加以条件化阐释和处理，即把条件逻辑的基本原理运用到淘汰归纳法所适用的各个场合中，用严格、精确的条件关系分析代替粗糙、模糊和很一般化的因果关系分析，使得淘汰归纳法对某些因果规律的陈述以条件联系的形式表现出来。以布洛德对契合法的条件化阐释和处理为例：

契合法：(a)发现A的结果

前提是：

只要有ABC出现，就有abc出现；并

只要有ADE出现，就有ade出现。

由此推知：A不是bc的充分条件，因为在第二个场合，A出现，bc没有出现。

假定A是abc中某个东西的充分条件，那么它必定是a的一个充分条件。

因此，这里的预设前提是：A是abc中某个东西的一个充分条件，并且在这种意义上证明A的结果是a，即A是a的一个充分条件。

(b)去发现a的原因。(略)

条件化归纳逻辑是现代数理逻辑的应用理论。通过对淘汰归纳法的改造，就使人们对淘汰归纳法的研究和表述进一步严格化，精确化，为科学规律的阐释，体系的证明提供了一种更确切的逻辑表达形式。