简单判断及其演绎推理（二）(ppt 33)

 

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

一、性质判断间接推理——三段论
什么是三段论？
如：    
 任何事物（M）都是可以认识的（P）（大前提）
银河系以外的天体（S）是事物（M ）（小前提）
所以，银河系以外的天体是可以认识的 （结论）
三段论：由两个包含着一个共同词项的性质判断推 出另一个新的性质判断的演绎推理。
以上推理的逻辑形式为：MAP
                                            SAM
                                          ∴SAP

三段论的词项有两个特征：一是任何一个三段论必须只能有三个不同的词项；二是任何一个三段论，其中的每一个词项必须且只能在两个性质判断中各出现一次。
如：物质是不灭的；
        恐龙是物质；
       所以，恐龙是不灭的。（四词项，推理错误）
 三段论的公理：凡对一类对象的全部对象有所肯定，则对该类对象的每一个子类对象也有所肯定；反之，凡对一类对象的全部对象有所否定，则对该类对象的每一个子类对象也有所否定。
用欧拉图表示：

 

..............................