內容簡介

現代社會，無論學習一門知識，還是從事一種工作，你都需要“邏輯”這一強大的思維方法。如工程師用電腦程式設計、律師用法律訴訟、投資者炒股、科學家研究新能源新材料、醫生治療疾病等，甚至父母撫育智識健全的下一代都需要用到邏輯思維能力。

與其他同類邏輯書不同的是，即使你沒有深厚的數學知識，本書依然能教會你科學的邏輯思維和嚴謹的推理技能。本書對基本邏輯符號的應用，都是建立在我們日常生活和學習中所經常運用到的抽象思維能力。與絕大多數邏輯書中使用的“真值樹”來教授你演算法不同，本書培養並強化我們提出論點和評估論點的先天能力。本書還引入自然演繹法，這種方法不僅教會你如何進行證明和解決問題，還教會你有效推理的原則是什麼，以及如何將其應用於學習和工作。

本書還可以幫你順利過渡到更高級的邏輯主題，教你一些適用於更複雜場景的一般技術，如制定關於特定主題的理論。

本書的作者教授了20多年的邏輯入門知識，它簡潔、易讀、好學、有趣，能幫你快速培養基本的邏輯素養和推理技能。
學習好邏輯，將讓你成為更好的思考者。

作者介紹

【美】漢斯·哈沃森（Hans Halvorson）
普林斯頓大學斯圖爾特哲學教授。他的主要研究方向包括科學哲學、分析哲學史等。他重點研究邏輯推理在科學和日常生活中的作用等。

譯者簡介
陳龍
倫敦大學國王學院（King's College London）哲學博士，現任北京師範大學哲學學院講師，研究方向為數學哲學、邏輯哲學。

郭佳宏
教授，北京師範大學哲學學院副院長，中國邏輯學會秘書長，北京市邏輯學會副會長兼秘書長。主要研究方向為哲學邏輯、人工智慧邏輯。

第 1 章人類的邏輯
論證 / 003
邏輯形式 / 005
共同形式 / 007

第 2 章推演
否定 / 023
等價 / 028
小結 / 028

第 3 章假定
無依賴假定的證明 / 044
實質蘊涵怪論 / 045
從析取前提出發的推理 / 048
歸謬法 / 055

第 4 章證明 : 從舊到新
代入規則 / 063
切規則 / 065
當且僅當 / 069
替換規則 / 072

第5章真
真值表 / 079
以真來證 / 084
捷徑 / 088
作為可能世界集的命題 / 095

第 6 章量化
全稱消去規則 / 111
全稱引入規則 / 113
存在引入規則 / 119
存在消去規則 / 122
量詞和布林聯結詞的關係 / 131
新的重言式 / 134
快思，細想 / 136

第 7 章理論
等詞理論 / 140
序關係 / 149
函數 / 153
算術 / 157
定義 / 161
集合論 / 168
等價關係 / 176
函數關係 / 177

第 8 章模型
邏輯語法 / 188
形式化的解釋 / 190
廣義的解釋 / 196
圖表解釋 / 200
嚴謹解釋 / 203
總結 / 206

第 9 章命題邏輯理論
基於語句構造的歸納 / 213
真值函數 / 216
一個關於證明的理論 / 222
析取範式 / 229
完全性 / 234

第 10 章謂詞邏輯理論
替換 / 242
可靠性 / 246
完全性 / 249
完全與不完全理論 / 252
可判定性 / 254
緊致性 / 256

第 11 章超越邏輯
接下來怎麼做 / 263
附錄一推理規則概覽 / 267
附錄二有用的有效推理形式 / 269
附錄三有用的量詞邏輯等價式 / 271
附錄四真值表 / 272
附錄五謂詞邏輯的有效性測試 / 273
附錄六詞彙表 / 275

看更多

詳細資料

ISBN：9787504387981
規格：平裝 / 277頁 / 13 x 19 x 1.39 cm / 普通級 / 1-1
出版地：中國

本書分類：哲學/宗教> 哲學> 史/概論

主題活動

閱讀媒合所｜寫書評送25元E-Coupon

購物說明

溫馨提醒您：若您訂單中有購買簡體館無庫存/預售書或庫存於海外廠商的書籍，建議與其他商品分開下單，以避免等待時間過長，謝謝。

大陸出版品書況：因裝幀品質及貨運條件未臻完善，書況與台灣出版品落差甚大，封面老舊、出現磨痕、凹痕等均屬常態，故簡體字館除封面破損、內頁脫落...等較嚴重的狀態外，其餘所有商品將正常出貨。

請注意，部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。

調貨時間：若您購買海外庫存之商品，於您完成訂購後，商品原則上約45個工作天內抵台(若有將延遲另行告知)。為了縮短等待的時間，建議您將簡體書與其它商品分開訂購，以利一般商品快速出貨。

若您具有法人身份為常態性且大量購書者，或有特殊作業需求，建議您可洽詢「企業採購」。

退換貨說明

會員所購買的商品均享有到貨十天的猶豫期（含例假日）。退回之商品必須於猶豫期內寄回。

辦理退換貨時，商品必須是全新狀態與完整包裝(請注意保持商品本體、配件、贈品、保證書、原廠包裝及所有附隨文件或資料的完整性，切勿缺漏任何配件或損毀原廠外盒)。退回商品無法回復原狀者，恐將影響退貨權益或需負擔部分費用。

訂購本商品前請務必詳閱商品退換貨原則。