掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
邏輯學入門 版權信息
- ISBN：9787504387981
- 條形碼：9787504387981 ; 978-7-5043-8798-1
- 裝幀：簡裝本
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
邏輯學入門 內容簡介
現代社會，無論學習一門知識，還是從事一種工作，你都需要“邏輯”這一強大的思維方法。如工程師用計算機編程、律師用法律訴訟、投資者炒股、科學家研究新能源新材料、醫生治療疾病等，甚至父母撫育智識健全的下一代都需要用到邏輯思維能力。
與其他同類邏輯書不同的是，即使你沒有深厚的數學知識，本書依然能教會你科學的邏輯思維和嚴謹的推理技能。本書對基本邏輯符號的應用，都是建立在我們日常生活和學習中所經常運用到的抽象思維能力。與絕大多數邏輯書中使用的“真值樹”來教授你算法不同，本書培養并強化我們提出論點和評估論點的先天能力。本書還引入自然演繹法，這種方法不僅教會你如何進行證明和解決問題，還教會你有效推理的原則是什么，以及如何將其應用于學習和工作。
本書還可以幫你順利過渡到更高級的邏輯主題，教你一些適用于更復雜場景的一般技術，如制定關于特定主題的理論。
本書的作者教授了20多年的邏輯入門知識，它簡潔、易讀、好學、有趣，能幫你快速培養基本的邏輯素養和推理技能。
學習好邏輯，將讓你成為更好的思考者。
邏輯學入門 目錄
第 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
論證 / 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獎獲得者
《邏輯學入門：普林斯頓大學的經典邏輯課》為邏輯思維的哲學和實踐提供了極好的指導。漢斯·哈沃森以令人信服的語言寫作，無論介紹經典邏輯的基本原理，還是帶領讀者深入更高階的主題。這本書獨特的內容讓讀者能深刻理解基本邏輯，并讓他們的工作能力得到扎實的提升。
邏輯學入門 作者簡介
【美】漢斯·哈沃森(Hans Halvorson)，普林斯頓大學斯圖爾特哲學教授。他的主要研究方向包括科學哲學、分析哲學史等。他重點研究邏輯推理在科學和日常生活中的作用等。
譯者：
陳龍，倫敦大學國王學院(King's College London)哲學博士，現任北京師范大學哲學學院講師，研究方向為數學哲學、邏輯哲學。
郭佳宏，教授，北京師范大學哲學學院副院長，中國邏輯學會秘書長，北京市邏輯學會副會長兼秘書長。主要研究方向為哲學邏輯、人工智能邏輯。
書友推薦
- >
我從未如此眷戀人間
- >
巴金－再思錄
- >
上帝之肋:男人的真實旅程
- >
羅曼·羅蘭讀書隨筆-精裝
- >
李白與唐代文化
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
詩經-先民的歌唱
- >
隨園食單
