归纳——命题的综合

休谟提出的＂归纳问题＂及归纳推理的形式化刻画是归纳逻辑留下的两大难题。深入考察归纳推理的各个环节就可发现,归纳不是一种单纯的思维方法,而是综合、抽象、虚拟等多种方法结合运用的复合方法。它在本质上是对单称命题的综合,其运算形式是一种加法;抽象为它提供前提中的性质命题,并为它进行归并运算提供可能;由想象补充的＂虚拟前提＂使不完全归纳演变成完全归纳,确立了归纳方法的合理性。由此得到归纳推理的通用演算形式：s1 p＋s2 p＋s3 p＋〈n〉（s p）=×（s p）。