西方哲學演講錄（二）

我們平常說的邏輯叫做形式邏輯，沒有內容的。所以不能用符號表達，那是傳統邏輯。傳統的亞里士多德的邏輯還沒有充分的形式化，沒有充分的符號化。你先要熟悉這些系統。後來高度發展成符號邏輯，其底子還是那個傳統的邏輯。把傳統邏輯充分完成，充分形式化，完全用符號表達。譬如，傳統邏輯講四種命題。Ａ命題是全稱肯定：凡Ｓ是Ｐ。這是用普通的語句表達全稱肯定。還有全稱否定命題：凡Ｓ不是Ｐ。特稱肯定命題：有Ｓ是Ｐ。特稱否定命題：有Ｓ不是Ｐ。一共是四種命題：Ａ、Ｅ、Ｉ、Ｏ，這是一定的。