邏輯

金岳霖著。原為清華大學講義,1937年2月由商務印書館收入《大學叢書》正式出版。1961年三聯書店收入《邏輯叢刊》重印。本書約24萬字,分為4個部分。第1部分介紹傳統的演繹邏輯。認為邏輯學與知識論不能不分開,自數理邏輯發展以後,知識論與邏輯學開始慢慢地變成兩種不同的學問。介紹了近代邏輯學家對直言命題所作的一些分析和一些新的補充,並用文恩圖解分析了直接推理和三段論,指出傳統邏輯里只有主賓詞式的命題,範圍狹而又太混沌,也沒有包含關係命題和關係推理。第2部分是對傳統邏輯的批評,提出主項存在問題,與此相關分析了5種不同的態度,從而指出傳統邏輯中的對當關係、直接推論和三段論,有些是不能成立的。指出三段論是傳統邏輯中最精細的一部分,能使初學者獲得一種邏輯方面的訓練,但存在分析欠精、欠妥,A、E、I、O在三段論中究竟是直言還是假言等值得討論的問題。第3部分摘要介紹A.N.懷特海和B.羅素的《數學原理》第1卷中的邏輯系統,並附加了許多解釋。第4部分的標題為「關於邏輯系統之種種」,討論了邏輯系統的性質,如完全性、一致性和獨立性問題等,並指出這3個性質之滿足與否,似乎都只能從系統以外的方法表示而不能從系統之內的方法證明。