一個人的理知的演進歷史，如同人類的文明史：當你學會了文字，你就進入一個新的世界：當你學會使用符號，另一個更富麗的新世界也展現在你眼前。現代邏輯的一大功能，便是訓練我們更精密地用符號來表達我們的意思與思想。本書以簡潔清楚的方式，講述現代基本邏輯。除了討論真值表、標準形、有效性和決定程序外，主要討論命題演算和述詞演算。此外，更以命題演算為例，討論設基方法和設基系統，並證明一致性、獨立性和完備性。是現代邏輯入門的一本好書。
來源: iRead
來源: iRead
台灣新竹人，民國25年生。歷任台大哲學系教授，主授邏輯、邏輯哲學、語言哲學、弗列格、羅素和維根斯坦。曾多次參加國際性之邏輯、哲學、資訊學等會議。著作有：《邏輯與設基法》、《開放社會》、《語言哲學》、《邏輯思考》、《奧斯丁》、《邁向台灣時代》等；譯作有《集合論導引》、《命題演算法》、《現代邏輯與集合》、《數理邏輯》等，共二十餘種。
來源: iRead
來源: iRead
評分