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