6范恩图解法.doc

演繹法(1)：傳統邏輯 －演繹法（邏輯方法）：使人們正確運用論證的學科 －論證分二類／直接論證－由一個前提推出結論者 　　　　　　＼間接論證－由兩個或以上前提推出結論者 主謂述句與周延原則 主謂述句(statement in subject-predicate form) －傳統邏輯主要講主謂述句及由其形成的論證 －主謂述句：由主詞與謂詞構成的述句 　／主詞－語句所表示的人或事物（實體） 　＼謂詞－上述人或事物的性質（屬性） －主謂述句分為A, E, I, O四大類： 全稱肯定(universal affirmative)－簡稱A述句。形為：凡S是P 全稱否定(universal negative)－簡稱E述句。形為：凡S不是P 特稱肯定(particular affirmative)－簡稱I述句。形為：有S是P 特稱否定(particular negative)－簡稱O述句。形為：有S不是P ／S－主詞；P－謂詞 －凡（所有）－全稱量詞(universal quantifier)；有（有些）－特稱量詞(particular quantifier) ＼是－肯定繫詞(affirmative copula)；不是－否定繫詞(negative copula) 周延原則(principles of distribution) －／周延(distributed)：如述句中論及一語詞所表示的所有事物，則此語詞是周延的 　＼不周延(undistributed)：……沒有論及……，……不周延的 －A、E、I、O四類述句的周延情況如下： 　凡S╱是P╳ 凡S╱不是P╱ 　有S╳是P╳ 　有S╳不是P╱ 直接論證方法之一：對當關係的直接論證 －四角對當關係 (square of opposition)：A、E、I、O四述句在真假值上所形成的必然／邏輯關係 －對當關係圖： －這裏有三對關係： 　／矛盾關係：指A和O，E和I 　　－不能同真同假，i.e.一真則另一假，一假則另一真 　－等差關係：指A和I，E和O 　　－能同真同假，i.e.上真則下真，上假則下不定； 　　（上差包含下差）下真則上不定，下假則上假 　＼反對關係：指A和E，I和O －正－不能同真而能同假，i.e.一真則另一假，一假則另一不定 －負－不能同假而能同真，i.e.一假則另一真，一真則另一不定 －對當關係的直接論證表： Ａ　（Ｔ）　　Ｅ　（Ｆ），　Ｉ　（Ｔ），　Ｏ　（Ｆ） Ｅ　（Ｔ）　　Ａ　（Ｆ），　Ｉ　（Ｆ），　Ｏ　（Ｔ） Ｉ　（Ｔ）　　Ａ　（＼），　Ｅ　（Ｆ），　Ｏ　（＼） Ｏ　（Ｔ）　　Ａ　（Ｆ），　Ｅ　（＼），　Ｉ　（＼） Ａ　（Ｆ）　　Ｅ　（＼），　Ｉ　（＼），　Ｏ　（Ｔ） Ｅ　（Ｆ）　　Ａ　（＼），　Ｉ　（Ｔ），　Ｏ　（＼） Ｉ　（Ｆ）　　Ａ　（Ｆ），　Ｅ　（Ｔ），　Ｏ　（Ｔ） Ｏ　（Ｆ）　　Ａ　（Ｔ），　Ｅ（Ｆ），　Ｉ　（Ｔ） i.e.預設S存在（最少有一個S存在） 　＼弱式＝非存在觀點，i.e.不預設S存在 －弱式對當關係圖：  直接論證方法之二：結構變換的直接論證 換質法(obversion) －改變述句的質（繫詞的質）而同時將謂詞變成否定語詞，使句義不變，這樣的一種直接論證方法。 －換質法表： 換質前提 換質結論 Ａ：凡Ｓ是Ｐ Ｅ：凡Ｓ不是非Ｐ Ｅ：凡Ｓ不是Ｐ Ａ：凡Ｓ是非Ｐ Ｉ：有Ｓ是Ｐ Ｏ：有Ｓ不是非Ｐ Ｏ：有Ｓ不是Ｐ Ｉ：有Ｓ是非Ｐ 換位法(conversion) －改變述句的位（主謂詞的位置）而同時作出適當的調整，使句義不變，這樣的一種直接論證方法。 －換位法表： 換質前提 換質結論 Ａ：凡Ｓ是Ｐ Ｉ：有Ｐ是Ｓ（限量換位） Ｅ：凡Ｓ不是Ｐ Ｅ：凡Ｐ不是Ｓ Ｉ：有Ｓ是Ｐ Ｉ：有Ｐ是Ｓ Ｏ：有Ｓ不是Ｐ （不能換位） 換質位法(contraposition) －這是將換質法和換位法加以綜合運用的直接論證方法 －換質位法可分為兩種 　／先換質，再換位，直至不能再換者i.e.直至O命題要換位時 　＼先換位，再換質，直至不能再換者i.e.直至O命題要換位時 －換質位法表： Ａ：ＳＡＰ→ＳＥ~Ｐ→~ＰＥＳ→~ＰＡ~Ｓ→~ＳＩ~Ｐ→~ＳＯＰ 　　ＳＡＰ→ＰＩＳ→ＰＯ~Ｓ Ｅ：ＳＥＰ→ＳＡ~Ｐ→~ＰＩＳ→~ＰＯ~Ｓ 　　ＳＥＰ→ＰＥＳ→ＰＡ~Ｓ→~ＳＩＰ→~ＳＯ~Ｐ Ｉ：ＳＩＰ→ＳＯ~Ｐ（不能換位） 　　ＳＩＰ→ＰＩＳ→ＰＯ~Ｓ Ｏ：ＳＯＰ→ＳＩ~Ｐ→~ＰＩＳ→~ＰＯ~Ｓ 　　ＳＯＰ（不能換質位） 標準三段論 －標準式三段論有三特點： 必須不多不少包含三個語詞： ／大詞(major term)－結論中的謂詞 －小詞(minor term)－結論中的主詞 ＼中詞(middle term)－兩前提中出現的詞 前提有二： ／大前提(minor pr