一個人的理知的演進歷史，如同人類的文明史：當你學會了文字，你就進入一個新的世界：當你學會使用符號，另一個更富麗的新世界也展現在你眼前。現代邏輯的一大功能，便是訓練我們更精密地用符號來表達我們的意思與思想。
本書以簡潔清楚的方式，講述現代基本邏輯。除了討論真值表、標準形、有效性和決定程序外，主要討論命題演算和述詞演算。此外，更以命題演算為例，討論設基方法和設基系統，並證明一致性、獨立性和完備性。是現代邏輯入門的一本好書。
作者簡介：
台灣新竹人，民國25年生。
歷任台大哲學系教授，主授邏輯、邏輯哲學、語言哲學、弗列格、羅素和維根斯坦。
曾多次參加國際性之邏輯、哲學、資訊學等會議。著作有：《邏輯與設基法》、《開放社會》、《語言哲學》、《邏輯思考》、《奧斯丁》、《邁向台灣時代》等；譯作有《集合論導引》、《命題演算法》、《現代邏輯與集合》、《數理邏輯》等，共二十餘種。
購物須知
退換貨說明：
會員均享有10天的商品猶豫期（含例假日）。若您欲辦理退換貨，請於取得該商品10日內寄回。
辦理退換貨時，請保持商品全新狀態與完整包裝（商品本身、贈品、贈票、附件、內外包裝、保證書、隨貨文件等）一併寄回。若退回商品無法回復原狀者，可能影響退換貨權利之行使或須負擔部分費用。
訂購本商品前請務必詳閱退換貨原則。
收藏
二手徵求有驚喜
2024專利防護中