定 價：NT$ 200 元
優惠價：79 折 158 元
絕版無法訂購
相關商品
商品簡介
作者簡介
商品簡介
一個人的理知的演進歷史，如同人類的文明史：當你學會了文字，你就進入一個新的世界：當你學會使用符號，另一個更富麗的新世界也展現在你眼前。現代邏輯的一大功能，便是訓練我們更精密地用符號來表達我們的意思與思想。
本書以簡潔清楚的方式，講述現代基本邏輯。除了討論真值表、標準形、有效性和決定程序外，主要討論命題演算和述詞演算。此外，更以命題演算為例，討論設基方法和設基系統，並證明一致性、獨立性和完備性。是現代邏輯入門的一本好書。
本書以簡潔清楚的方式，講述現代基本邏輯。除了討論真值表、標準形、有效性和決定程序外，主要討論命題演算和述詞演算。此外，更以命題演算為例，討論設基方法和設基系統，並證明一致性、獨立性和完備性。是現代邏輯入門的一本好書。
作者簡介
台灣新竹人，民國25年生。
歷任台大哲學系教授，主授邏輯、邏輯哲學、語言哲學、弗列格、羅素和維根斯坦。
曾多次參加國際性之邏輯、哲學、資訊學等會議。著作有：《邏輯與設基法》、《開放社會》、《語言哲學》、《邏輯思考》、《奧斯丁》、《邁向台灣時代》等；譯作有《集合論導引》、《命題演算法》、《現代邏輯與集合》、《數理邏輯》等，共二十餘種。
您曾經瀏覽過的商品
購物須知
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。