簡單判斷及其演繹推理（二）(ppt 33)

第四章 簡單判斷及其演繹推理（二）

一、性質判斷間接推理——三段論
什麼是三段論？
如：
任何事物（M）都是可以認識的（P）（大前提）
銀河係以外的天體（S）是事物（M ）（小前提）
所以，銀河係以外的天體是可以認識的 （結論）
三段論：由兩個包含著一個共同詞項的性質判斷推 出另一個新的性質判斷的演繹推理。
以上推理的邏輯形式為：MAP
SAM
∴SAP

三段論的詞項有兩個特征：一是任何一個三段論必須隻能有三個不同的詞項；二是任何一個三段論，其中的每一個詞項必須且隻能在兩個性質判斷中各出現一次。
如：物質是不滅的；
恐龍是物質；
所以，恐龍是不滅的。（四詞項，推理錯誤）
三段論的公理：凡對一類對象的全部對象有所肯定，則對該類對象的每一個子類對象也有所肯定；反之，凡對一類對象的全部對象有所否定，則對該類對象的每一個子類對象也有所否定。
用歐拉圖表示：

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