a. h. basson

一個人的理知的演進歷史，如同人類的文明史：當你學會了文字，你就進入一個新的世界：當你學會使用符號，另一個更富麗的新世界也展現在你眼前。現代邏輯的一大功能，便是訓練我們更精密地用符號來表達我們的意思與思想。
本書以簡潔清楚的方式，講述現代基本邏輯。除了討論真值表、標準形、有效性和決定程序外，主要討論命題演算和述詞演算。此外，更以命題演算為例，討論設基方法和設基系統，並證明一致性、獨立性和完備性。是現代邏輯入門的一本好書。

作者簡介：

台灣新竹人，民國25年生。

歷任台大哲學系教授，主授邏輯、邏輯哲學、語言哲學、弗列格、羅素和維根斯坦。

曾多次參加國際性之邏輯、哲學、資訊學等會議。著作有：《邏輯與設基法》、《開放社會》、《語言哲學》、《邏輯思考》、《奧斯丁》、《邁向台灣時代》等；譯作有《集合論導引》、《命題演算法》、《現代邏輯與集合》、《數理邏輯》等，共二十餘種。

• 譯者： 劉福增
• 出版社： 台灣商務印書館股份有限公司 出版日期：1966-08-01 ISBN/ISSN：9570510862
• 語言：繁體中文 裝訂方式：平裝 頁數：218頁
• 類別： 中文書> 哲學宗教