推理形式介绍
1、三段论
是由两个含有一个共同项的性质判断作前提,得出一个新的性质判断为结论的演绎推理。三段论是演绎推理的一般模式,包含三个部分:大前提——已知的一般原理,小前提——所研究的特殊情况,结论——根据一般原理,对特殊情况作出判断。
2、假言推理
是以假言判断为前提的推理。假言推理分为充分条件假言推理和必要条件假言推理两种。
3、选言推理
是以选言判断为前提的推理。选言推理分为相容的选言推理和不相容的.选言推理两种。
相容的选言推理的基本原则是:大前提是一个相容的选言判断,小前提否定了其中一个(或一部分)选言支,结论就要肯定剩下的一个选言支。
不相容的选言推理的基本原则是:大前提是个不相容的选言判断,小前提肯定其中的一个选言支,结论则否定其它选言支;小前提否定除其中一个以外的选言支,结论则肯定剩下的那个选言支。例如下面的两个例子:
4、关系推理
是前提中至少有一个是关系命题的推理。