文彭(1498~1573)

[拼音]:Luoji

中國哲學家、邏輯學家金嶽霖著的一部形式邏輯教科書。成書於20世紀30年代初,原為清華大學講義,1937年2月由商務印書館收入《大學叢書》正式出版。1961年由生活·讀書·新知三聯書店收入《邏輯叢刊》再版,曾先後多次重印。

該書約24萬字,分為4個部分。第1部分介紹傳統的演繹邏輯。作者認為邏輯與知識論不能不分開,故涉及知識論與心理學的地方均特別從簡。同時,討論詞項的篇幅也極少。作者在這一部分介紹了近代邏輯學家對直言命題所作的一些新補充,並用文恩圖解分析了直接推理和三段論,指出傳統邏輯不能包括關係推理。第 2部分是對傳統邏輯的批評。作者主要著眼於主項存在問題,指出傳統邏輯中的對當關係、直接推理和三段論,有些是不能成立的。第 3部分摘要介紹A.N.懷特海和B.A.W.羅素的《數學原理》第1卷中的邏輯系統,並附加了許多解釋。第4部分的標題為“關於邏輯系統之種種”,討論了邏輯系統的性質,如“夠用問題”(即完全性)、“一致問題”和“獨立問題”(即公理的獨立性)等,並指出這三個條件之滿足與否,似乎都只能從系統以外的方法表示而不能以系統之內的方法證明。這一部分還討論了一些邏輯哲學問題,如同一律、矛盾律和排中律的意義,以及什麼是邏輯的必然等。作者在序中申明,歸納與演繹大不相同,它們終久是要分家的,所以書中沒有討論歸納問題。

該書較全面地反映了懷特海和羅素的《數學原理》出版之後,直到D.希爾伯特提出形式系統研究之前的演繹邏輯的基本內容,對中國當時的邏輯教學和現代邏輯在中國的傳播,起了重要作用。

參考文章

什麼叫可程式設計邏輯陣列?自動化簡述邏輯函式的卡諾圖化簡法?自動化簡述軟體化的遠動裝置和佈線邏輯遠動裝置相比有哪些優勢?運輸/通用智慧建築工程智慧化系統整合的應急狀態聯動邏輯檢測方法?電氣技術程式控制按邏輯控制原理分類有哪些?自動化最基本的邏輯關係有哪幾種?寫出各自的邏輯運算表示式。自動化什麼叫邏輯?什麼是邏輯電路?什麼叫邏輯代數?自動化闡述計算機網路資訊中常規安全掃描系統的核心邏輯結構。網際網路程式控制按使用邏輯器件分類有哪些?自動化清算優先權的背後邏輯法律常識