范畴语句.PDF

1 亞理斯多德邏輯 以下資料部分引自彭孟堯(2000) ，《符號邏輯》，心理出版社。 （一）範疇語句 由於傳統邏輯的主要內容都是亞理斯多德所建構的 ，所以又稱為 「亞理斯多德 邏輯」。亞理斯多德邏輯所處理的語句只有一大類 ，稱為範疇語句 ，或者範疇 命題(categorical statement) 。所謂範疇(category)是類 、集合的意思 。一個 範疇語句除了包括一個主詞(subject term)和一個述詞(predicate term)之外 ， 還包括一個繫詞(copula) ，通常是用 「是」來表示 。另外每個範疇語句都使用 「所有」、「都沒有」和 「有些」等語詞 ，（英文裡的all, no, some ），用來 表達它的主詞的量(quantity) ，這些詞稱為量限詞(quantifier) 。所以每個範疇 語句是由四個成分所構成的 ：量限詞＋主詞＋繫詞＋述詞 。另外 ，「肯定」和 「否定」則是範疇語句的質(auality) 。依據範疇語句的 「量」和 「質」，範疇 語句一共只有四大類型 ：全稱肯定語句 （又稱為 A 語句）、全稱否定語句 （又 稱為 E 語句）、殊稱肯定語句 （又稱為 I 語句）、以及殊稱否定語句 （又稱為 * O 語句） 。 以S 表示主詞 ，P 表示述詞 ，這四大類型的範疇語句形式如下 ： A 語句 （即全稱肯定語句）：所有S 是P 。(All S are P) 。 E 語句 （即全稱否定語句）：沒有S 是P 。(No S are P; All S are not P) 。 I 語句 （即殊稱肯定語句）：有些S 是P 。(Some S are P) 。 O 語句 （即殊稱否定語句）：有些S 不是P 。(Some S are not P) 。 另外 ，傳統邏輯對於範疇語句的分析還有一個很重要的觀念 ，就是主詞和述詞 在一個範疇語句中是不是具有分配(distribution)的性質 ：如果一個範疇語句只 是對於某個詞所談到範疇的部份作論斷 ，這個詞就不是分配的 ；否則這個詞是 分配的 。 範疇語句 型態 量 質 分配的詞 A 語句 所有S 是P 全稱 肯定 S E 語句 沒有S 是P 全稱 否定 S 、P I 語句 有些S 是P 殊稱 肯定 無 O 語句 有些S 不是P 殊稱 否定 P 傳統邏輯如何處理單稱語句？ 老王個頭高大 。 由於傳統邏輯只處理範疇語句 ，因此我們必須將單稱語句改寫成範疇語句 ，這 * 這些名稱來自於拉丁文AffIrmo 以及nEgO 。 2 裡需要用到同一(identity)的觀念 ： 所有等同於老王的人都個頭高大 。 「等同於老王的人」這個詞以及 「個頭高大」就分別定義了兩個範疇。藉由這 種改寫的方式 ，所有的單稱語句都可以改寫成範疇語句。 （二）傳統對立方形 在這四大類型的範疇語句之間 ，具備下列邏輯 （或推論）關係 ，由所謂的傳統 對立方形(the traditional square of opposition)表示如下 ： 反 對關 係 A E 次 次 T 矛 矛 T 屬