西方哲學演講錄（四）

邏輯的定常之體從人類理性的立場講，就是純理，就是純粹的理性。這個純理從推理中顯示，就叫做邏輯理性，康德也名之曰成功知識的理論理性。這個純粹的理性是從一個推演系統表示出來的，這個推演每一步都是tautological，每一步都是必然的。現在的符號邏輯就最顯明地表示出來。傳統的三段論法還是橫列的。現代符號邏輯的推演是縱貫系統，從開頭幾個基本概念演算，無限地延長，也可以輾轉引伸得很遠，無窮無盡。這種形態的推演系統是現在符號邏輯的貢獻，這個是縱貫的。我們顯這個邏輯理性是從縱貫系統最顯明。