亚里士多德完成的演绎推理逻辑体系的主要内容

亚里士多德完成的演绎推理逻辑体系的主要内容

所谓演绎推理，就是从一般性的前提出发，通过推导即“演绎”，得出具体陈述或个别结论的过程。关于演绎推理，还存在以下几种定义：①演绎推理是从一般到特殊的推理；②它是前提蕴涵结论的推理；③它是前提和结论之间具有必然联系的推理。④演绎推理就是前提与结论之间具有充分条件或充分必要条件联系的必然性推理。演绎推理的逻辑形式对于理性的重要意义在于，它对人的思维保持严密性、一贯性有着不可替代的校正作用。这是因为演绎推理保证推理有效的根据并不在于它的内容，而在于它的形式。演绎推理的最典型、最重要的应用，通常存在于逻辑和数学证明中。
演绎推理有三段论、假言推理、选言推理、关系推理等形式。三段论是由两个含有一个共同项的性质判断作前提，得出一个新的性质判断为结论的演绎推理。三段论是演绎推理的一般模式，包含三个部分：大前提——已知的一般原理，小前提——所研究的特殊情况，结论——根据一般原理，对特殊情况作出判断。
假言推理是以假言判断为前提的推理。假言推理分为充分条件假言推理和必要条件假言推理两种。⑴充分条件假言推理的基本原则是：小前提肯定大前提的前件，结论就肯定大前提的后件；小前提否定大前提的后件，结论就否定大前提的前件。
⑵必要条件假言推理的基本原则是：小前提肯定大前提的后件，结论就要肯定大前提的前件；小前提否定大前提的前件，结论就要否定大前提的后件。
选言推理是以选言判断为前提的推理。选言推理分为相容的选言推理和不相容的选言推理两种。⑴相容的选言推理的基本原则是：大前提是一个相容的选言判断，小前提否定了其中一个（或一部分）选言支，结论就要肯定剩下的一个选言支。
⑵不相容的选言推理的基本原则是：大前提是个不相容的选言判断，小前提肯定其中的一个选言支，结论则否定其它选言支；小前提否定除其中一个以外的选言支，结论则肯定剩下的那个选言支。

关系推理是前提中至少有一个是关系命题的推理。