第四章 简单判断及其演绎推理（二）.pptVIP

第四章 简单判断及其演绎推理（二） 一、性质判断间接推理——三段论 什么是三段论？ 如： 任何事物（M）都是可以认识的（P）（大前提） 银河系以外的天体（S）是事物（M ）（小前提） 所以，银河系以外的天体是可以认识的 （结论） 三段论：由两个包含着一个共同词项的性质判断推 出另一个新的性质判断的演绎推理。 以上推理的逻辑形式为：MAP SAM ∴SAP 三段论的词项有两个特征：一是任何一个三段论必须只能有三个不同的词项；二是任何一个三段论，其中的每一个词项必须且只能在两个性质判断中各出现一次。 如：物质是不灭的； 恐龙是物质； 所以，恐龙是不灭的。（四词项，推理错误） 三段论的公理：凡对一类对象的全部对象有所肯定，则对该类对象的每一个子类对象也有所肯定；反之，凡对一类对象的全部对象有所否定，则对该类对象的每一个子类对象也有所否定。 用欧拉图表示： S M P S M P