Unit 8 传统逻辑.pptVIP

Unit 8 傳統邏輯 實例說明： (h) SAM PEM SOP Unit 8 傳統邏輯 問題： (1)亞里斯多德三段論方法和范恩圖解法對於有效論證形式的觀點相同嗎？ (2)存在預設(existential import)：語詞談論的集合可以是空集合嗎？ 接下來要進入傳統邏輯，所謂傳統邏輯是從亞里斯多德開始，當初他創立邏輯跟我們想法不同，今天的我們的腦袋已經多很了多東西，從第一章到第七章我們都是以句子為單位進行邏輯思考，亞里斯多德則是以語詞為開始，他稱語詞為範疇(category)，以今天的話來說叫做集合，比如男人是個集合，女人是個集合，桌子是個集合，椅子是個集合。亞里斯多德想的是說，比如所有男人都是人，所有的男人都是動物，所有男人都不是植物。他的思考是這些範疇間都有些關係，這範疇屬於另一範疇，或不屬於，或者說有些男人是自私的，表示男人與自私有交集，有些男人是不自私的。 後半段要進入述詞邏輯，或者初階邏輯，接下來我們要加入量詞，比如全部的男人都是人，全部就是量詞，亞里斯多德覺得考慮全部與有些就好，我們還有許多量詞，比如大部分，大部分是如何？也沒有規定，好比少部分也是，因為會造成麻煩，因此亞里斯多德決定用部分與全部就好。 其實當初亞里斯多德以為他的邏輯系統已經是全部的邏輯的，雖然其邏輯學發展超過兩千年，卻鮮有人去挑戰過這系統。關於這個系統的評價，可以參考距離我們最近的哲學家康德的發言，康德在《純粹理性批判》序言中說：「亞里斯多德的邏輯已經是完美的科學了，任何對邏輯的增減只是細節的修改而已。」沒想到在康德逝世後，一百年整個已全垮台，可見創新是不容易的，別用今天的觀點去看他們。其實在古希臘時代已有人看出來，只是未得到重視，在中古時代，人人都標舉亞里斯多德，要到十九世紀開始，邏輯才有發展，到二十世紀初，才發展出後面的初階邏輯系統。 像這樣的一個推論，直覺上覺得是有效論證，若我們用句子當單位，第一句話是P，第二句是Q，最後一句話是R，從P、Q推不出R，這樣的東西放在語句邏輯中是無效論證。所以論證的有效與否，會受到用什麼邏輯系統的影響。換言之，你的思考方式究竟是用句子或語詞作單位，會影響論證之有效性，接下來除了會討論到用語詞思考，尚要考慮到是用一元或二元以上的關係作單位。 由於採取不同的邏輯系統會影響論證的有效性。因此，當你要思考論證是否有效的時候，必須進一步思考其思考方式。 * 量詞有兩個：全部、有些。 至少一個叫有些。 繫詞：是、不是。 * A句型：所有的男人都是人。 E句型：所有男人都不是植物。 I句型：有些男人很自私。有些男人很娘。 O句型：有些男人是不自私的。 * 關於語句之間的對當關係，讓我們提供四個選項： 第一個是蘊涵關係。 第二個是兩句話彼此矛盾。 第三個是兩句話可同時為真，不可同時為假。 第四個是兩句話可同時為假，不可同時為真。 有六條線，請各位填一下。 注意：矛盾的定義：兩者真假值必相反，若A是真，B必為假，若A是假，B必為真。 (1)配四。 全部人都自私。全部人都不自私。並非矛盾，因這兩句話可同時為假，因為有些人不自私，因此可同時否定兩句話。但不可能同時為真。 (2)配一。 如果說全部的人都很自私，有些人很自私當然也就成立。 (3)配三。 有些人是自私的。有些人是不自私的。可同時為真。 (4)配一。 理由和(2)相同。 (5)配二。 所有人都沒有被當。有些人被當。兩者矛盾，不能同時成立。 (6)配二。 理由和(5)相同。 * 三段論的意思當然是由三個語句組成的意思，不過三段論也有這樣的特徵： 1.論證是由三個語詞的關係組成。 2.論證是由三個語句組成的。 結論一定是小詞與大詞的關係，小前提是小詞與中詞關係，大前提是大詞與中詞的關係。 * SAP中間A是指A句型，所以SAP的意思就是所有的S都是P的意思。 中間出現E，則是E句型的意思。 中間出現 I，則是 I句型的意思。 中間出現O，則是O句型的意思。 * 接下來的課題是如何將論證形式化？ 以及如何判定大詞、小詞及中詞？ 原則：出現在結論主詞位置的語句就是小詞，例如在(A1)中的小詞就是火星人，而出現在結論述詞位置的語詞就是大詞，所以好人是大詞。不出現在結論中的語詞則是中詞，因此喜歡古典樂是中詞。 * 各位想想看我如何決定它是有效或無效論證，在沒有任何資源的時代，各位一定要好好欣賞古希臘開始哲學家的努力，首先，他們先把所有論證列出。 * 基本上其排列方式有四種，結論一定是小詞跟大詞，依據中詞的排列方式有四種，中間均可填入語氣詞。因此，總共會有256種不同的排列，換言之，會有256種不同的論證形式。 * 如何決定哪些論證形式是有效論證呢？早期邏輯學家的作法是將全部論證形式列出來