一阶归纳槪括

L．J．柯恩提出归纳支持理论的基本概念之一。一阶归纳概括指形如x(Rx→Sx)的假说，意即所有具有以谓词R表示的性质的个体都具备以谓词S表示的性质。由于归纳逻辑对实践活动的描述不可能面面俱到，因此，柯恩就选择了考察科学家用实验支持具有“一阶归纳概括”形式的科学定律的典型方式。例如，“蜜蜂能辨色”，就是这样一个假设，此时Rx表示x是蜜蜂，Sx表示x能辨色，von·弗里希曾对这一假设作过彻底的实验研究。一般说来，实验科学家的任务就是检验这类一阶归纳概括假设，通过实验获得证据，以决定接受还是修正，乃至放弃假设。这样，柯恩在一阶归纳概括的基础上建立了归纳支持的逻辑理论。