| |
|
|
| |
|
|
|
|
|
|
|
ISBN |
9787504387981 |
| 定价 |
RMB59.00 |
| 售价 |
RM64.90 |
|
优惠价 |
RM45.43 * (-30%)
|
|
作者 |
（美）漢斯·哈沃森
|
| 译者 |
陳龍,郭佳宏 |
|
出版社 |
中國廣播電視出版社
|
|
出版日期 |
2023-01-01 |
|
装订 |
平裝. 無. 277 页. 19. |
| 库存量 |
購買後立即進貨
下单时可选择“空运”或“海运”（空运和海运需独立下单）。空运费每本书/CD是RM12.00。
空运需时8-11个工作天，海运需时约30个工作天。
（以上预计时间不包括出版社调货的时间以及尚未出版的预购商品）
库存有限或需要调货，订购时间可能延长。如无法订购则将通知进行退款。 |
| |
我要订购 有现货时通知我 |
| |
放入下次购买清单 |
| |
|
| |
|
|
|
| |
|
|
|
|
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
購買中國簡體書籍請注意：
1. 因裝幀品質及貨運條件未臻完善，中國簡體書可能有出現磨痕、凹痕、折痕等問題，故簡體字館除封面破損、內頁脫落、缺頁等較嚴重的狀態外，其餘所有商品將正常出貨。
|
|
| |
|
|
| |
|
|
| |
目錄
第 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 |
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
【美】 漢斯·哈沃森（Hans Halvorson）
普林斯頓大學斯圖爾特哲學教授。他的主要研究方向包括科學哲學、分析哲學史等。他重點研究邏輯推理在科學和日常生活中的作用等。
譯者簡介
陳龍
倫敦大學國王學院（King's College London）哲學博士，現任北京師範大學哲學學院講師，研究方向為數學哲學、邏輯哲學。
郭佳宏
教授，北京師範大學哲學學院副院長，中國邏輯學會秘書長，北京市邏輯學會副會長兼秘書長。主要研究方向為哲學邏輯、人工智慧邏輯。 |
|
| |
|
|
| |
|
|
| |
|
|
|
