推理由两种:论证推理和合情推理。论证推理又称为演绎推理,它是思维进程中从一般到特殊的推理。这种推理以形式逻辑或论证逻辑为依据,有三段论、关系推理、选言推理和模态推理等推理模式。合情推理一词来自于Plausible reasoning,又译为似真推理。这是一种合乎情理的、好像为真的推理。
1、什么是演绎推理
从一般性的原理出发,推出某个特殊情况下的结论,我们把这种推理称为演绎推理。简言之,演绎推理是由一般到特殊的推理。演绎推理也称为逻辑推理。
“三段论”是演绎推理的一般形式,包括:大前提——已知的一般原理;小前提,所研究的特殊情况;结论——根据一般原理,对特殊情况做出的判断。
2、合情推理
类比推理和归纳推理的过程如下:从具体问题出发——观察、猜想、比较、联想——归纳、类比——提出猜想。
可见,归纳推理和类比推理都是根据已有的事实,经过观察、猜想、比较、联想,再进行归纳、类比,然后提出猜想得推理。我们把它们统称为合情推理。
合情推理是指“合乎情理”的推理。数学研究中,得到一个新结论之前,合情推理常常能为我们提供证明的思路和方向。
就数学而言,演绎推理是证明数学结论、建立数学体系的重要思维过程。但数学结论、证明思路等的发现,主要靠合情推理。因此,我们不仅要学会证明,也要学会猜想。