前提與結論之真假與論證之有效-邱茂波.docVIP

邏輯導論 一、何謂邏輯？ 邱茂波編 一 I.M.Copi： 「邏輯就是研究區別正確推理與不正確推理所使用的方法與原則。」 二 W.C.Salmon： 「邏輯所關切的是證據與結論之間的客觀關係。」 「邏輯是論及前提與結論之間的關係的，不是論及前提的真假如何的。」 三 S.C.Klerne： 「邏輯是具有告訴我們什麼從什麼跟隨而來的重要功能。」 四 林玉體： 「邏輯就是在討論前提與結論之間的關係。如果前提可以支持結論，則推論合乎邏輯；也就是說，推論可以成立；用句邏輯術語來說，就是推論『有效』 valid 。反之，如果前提不能支持結論，則推論不能成立，推論不能成立的邏輯術語，就是推論『無效』 invalid 。」 五 例句： 例1 所有的冬瓜是西瓜。 假 所有的西瓜是南瓜。 假 所以，所有的西瓜是南瓜。 假 此例為有效論證 例2 動物是有感覺的。 真 狗是有感覺的。 真 所以，狗是動物。 真 此例為無效論證 二、邏輯的功用： 一 學習邏輯可使你的觀念和思想更清楚，思考、判斷和推理更正確。 二 可幫助你了解知識的結構和系統 或任何講究結構和系統的事物 。 三 形式 formal 邏輯或符號 symbolic邏輯的技術，廣泛地運用在數學、電腦和哲學分析與語言分析上。 四 邏輯可增進講理的人間關係。 五 邏輯不但有實用價值，而且有豐富的內在趣味與價值。 三、何謂論證 argument ？ 一 V.Klenk： 「所謂論證 argument 是由一個或更多的前提 premises 和一個結論組成的一個語句組合，其中 前提含有證據，而結論是設想為由前提跟隨而來的。」 二 劉福增： 「在邏輯上，一個論證是論證者提出的一組語句，論證者主張 claim 其中一個語句為真，有道理或可接受，而以其他語句的真、道理或可接受來支持這個主張，或當支持這個主張的理由或根據。這些當理由或根據的語句，是這論證的前提 premises ，當主張的語句是結論 conclusion 。」 三 例句： 例1.所有的哲學家都很吝嗇。 老子是哲學家。 所以，老子很吝嗇。 演繹論證 例2.張太太是美女，李太太是美女，劉太太也是美女，她們都來自台灣嘉義。所以，嘉義是美女之鄉。再說，湯蘭花也是阿里山美女呀。 歸納論證 四、如何檢試論證是否有效？ 真值表 truth table 法： 1.使用反例 counterexample ： 1 涵義： 「一個論證形式的反例 counterexample ，是指顯示論證形式為無效的例子。在真值表上，前提為真結論為假的一列，可視為是這一論證形式的反例。」 劉福增 2 例句： p 或 q ~q p T T T F T T T F T T F T T F F F F F T F 因為此論證無前提為真結論為假的反例，所以此論證是有效的。 2.利用套套言 tautology ： 1 涵義： 「一個論證為有效，恰好如果所有前提為真時，結論不可能為假。……前提為真時，結混論不可能為假，可視為是以前提為前件，結論為後件的如言不可能為假，即為套套言」。 劉福增 2 例句： 「若天下雨，則地溼。天下雨了。所以地溼。」 設R﹦﹦∕∴W ［］……換句話說，我們可諸前提與結論的否言所形成的連言是否為矛盾言，決定論證是否有效。如果是矛盾言，則論證有效，否則無效。」 劉福增 2 例句： 「若天下雨，則地溼。天下雨了。所以地溼。」 設R﹦﹦［］﹦﹦│~W F T T TF FT 因為有反例，所以論證無效。 證明 proof 方法： 涵義： 「從前提出發，經由一系列的相對簡單的中間推論或推演，一步一步進行，直到獲得結論。」 劉福增 例句： R→W P R P ∕∴W 3. W 1 MP 真值樹法 truth tree method ： 涵義： 論證的「語句真假展開與寫法，原語句的上下排列像樹幹，較短語句的向下左右分開寫像樹支，只是樹頭與樹尾倒過來而已。這樣，邏輯文獻上就把這樣的依真假觀念，像樹支那種形狀的表列展開寫法，叫做真值樹法」。 劉福增 例句： R→W P R P ∴W ~W 結論的否言 /　\ 4. ~R W 如言 ×2 ×3 因為所有的通路都關閉，所以論證有效。 范恩圖解 Venn diagram ： 1.涵義： 「首先分別把所有，即即兩個前提圖示在同一個前提圖解，把結論圖示在結論圖解。然後判定，如果前提圖解成立，結論圖解是否也必定成立，也就是，前提圖解是否涵蘊結論圖解，如果是，則論證有效，如果不是，則論證無效。」 劉福增 2.例句： 例1 所有的男孩是女孩 例2 李四是人 所有的女孩是兔子 沒有火星人是人類 ∴所有的男孩是兔子 有效 ∴李四不是火星人 有效