內容簡介
現代社會,無論學習一門知識,或是從事一種工作,你都需要「邏輯」這一強大的思考方法。如工程師用電腦程式設計、律師用法律訴訟、投資者炒股、科學家研究新能源新材料、醫生治療疾病等,甚至父母撫育智識健全的下一代都需要用到邏輯思考能力。
與其他同類邏輯書不同的是,即使你沒有深厚的數學知識,本書依然能教導你科學的邏輯思維和嚴謹的推理技能。本書對基本邏輯符號的應用,都是建立在我們日常生活和學習中所常用的抽象思考能力。與絕大多數邏輯書中使用的「真值樹」來教你演算法不同,本書培養並強化我們提出論點和評估論點的先天能力。本書也引入自然演繹法,這種方法不僅教你如何進行證明和解決問題,還教你有效推理的原則是什麼,以及如何將其應用於學習和工作。
本書還可以幫助你順利過渡到更高級的邏輯主題,教你一些適用於更複雜場景的一般技術,例如製定關於特定主題的理論。
本書的作者教授了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
媒體評論
陳波 武漢大學哲學學院人文社科講席教授、國際哲學學院(IIP)院士、國際科學哲學學院(AIPS)院士
《邏輯學入門:普林斯頓大學的經典邏輯課》一書所提供的邏輯技術並不複雜,所傳達的邏輯觀念卻比較完整,是一本很好的邏輯學入門書。該書的特點是簡潔、清晰、準確,結合日常語言中的應用實例,可供大學生和一般邏輯學愛好者閱讀。熱忱向各位讀者推薦!
邢滔滔 北大哲學系教授、北大哲學系邏輯教研室主任
這本邏輯入門書,首先是平實,平白如話,樸實親切,讓人容易上手。另外,它追求平衡,在觀念與技術、直覺與形式、深入與淺出之間,有適度的取捨,有巧妙的搭配。非高手不能為此。譯文忠實地展現了本書的內容,以及上述特點,值得向大家推薦。
劉奮榮清華大學哲學系教授,博導,教育bu長江學者特聘教授
《邏輯學入門:普林斯頓大學的經典邏輯課》一書作者以他特有的方式講述一階邏輯,書中包含大量的案例和習題,是學習邏輯學的一本推薦教材。國內邏輯學家親自翻譯,中文版語言順暢。
托馬斯·巴雷特(Thomas Barrett)加州大學聖塔塔芭芭拉分校副教授
《邏輯學入門:普林斯頓大學的經典邏輯課》一書對邏輯學做了很好的介紹。許多邏輯入門教科書只向學生展示邏輯如何運用,但這本書展示了邏輯運用的背後原理。
喬納·舒巴赫(Jonah Schupbach)猶他大學教授2018 BJPS Popper獎得主
《邏輯學入門:普林斯頓大學的經典邏輯課》為邏輯思維的哲學和實踐提供了極佳的指導。漢斯·哈沃森以令人信服的語言寫作,無論介紹經典邏輯的基本原理,還是帶領讀者深入更高階的主題。這本書獨特的內容讓讀者能深刻地理解基本邏輯,並讓他們的工作能力得到紮實的提升。
評論{{'('+ commentList.posts_count + ')'}}
分享您的感受,幫助更多用戶做出選擇。
撰寫評論{{i}}星
{{i}} 星
{{ parseInt(commentRatingList[i]) }}%
{{ showTranslate(comment) }}收起
{{ strLimit(comment,800) }}查看全部
Show Original{{ comment.content }}
{{ formatTime(comment.in_dtm) }} 已購買 {{groupData}}
{{ showTranslate(comment) }}收起
{{ strLimit(comment,800) }}查看全部
Show Original{{ comment.content }}
{{ formatTime(comment.in_dtm) }} 已購買 {{groupData}}
暫無符合條件的評論~
評論詳情
{{commentDetails.user_name}}
{{ showTranslate(commentDetails) }}收起
{{ strLimit(commentDetails,800) }}查看全部
Show Original{{ commentDetails.content }}
{{ formatTime(commentDetails.in_dtm) }} 已購買 {{groupData}}
回覆{{'(' + replyList.length + ')'}}
{{ reply.reply_user_name }}回覆{{ reply.parent_user_name }}
{{ showTranslate(reply) }}收起
{{ strLimit(reply,800) }}查看全部
Show Original{{ reply.reply_content }}
{{ formatTime(reply.reply_in_dtm) }}
這是到目前為止的所有評論!
請輸入評論
舉報
確認刪除該評論嗎?
取消