推论 inference 在形式逻辑中,通常指“推理”。但推理常常表现为判断链,只在个别情况下,可以由一个推理组成。在另外一些情况下,推论是指推理或证明的结论。而在数理逻辑中,推论通常指推理以及其中命题的连贯性本身。黑格尔在《逻辑学》中,认为推论是概念和判断的统一。与传统逻辑不同,他按认识由浅入深的发展过程,将推论划分为三个阶段:(1)质的推论;(2)反思的推论;(3)必然的推论。并认为“一切事物都是推论”。黑格尔关于推论的思想虽然是唯心主义的,但是指出了推理的各格不是空洞的主观形式,而是客观事物本身关系的反映。 |