《邏輯——從三段論到不完全性定理》是2016年科學出版社出版的圖書，作者是熊明。
基本介紹
- 中文名：邏輯——從三段論到不完全性定理
- 作者：熊明
- 出版時間：2016年03月
- 出版社：科學出版社
- ISBN：9787030477026
內容簡介,圖書目錄,
內容簡介
本書以公理化思想為主導，從亞里士多德的三段論到哥德爾的不完全性定理，闡述傳統邏輯與現代邏輯的基本理論。全書以有效推理的形式化作為軸線，分別展開三段淪的自然演繹系統、命題邏輯和一階邏輯的解析樹以及自然演繹系統等公理化的系統，並介紹了哥德爾完傘性定理與不完全性定理及相關的重要成果。本書力求在不失嚴謹的條件下儘可能直觀地呈現理論的內容，在闡述抽象深奧的理論時，注重強調思想性，並力爭通俗易懂，深入淺出。
圖書目錄
第1章推陳出新：邏輯的力量
第2章難產歸納：確證的悖論
第3章演繹初成：詞項的推理
第4章邏輯典範：三段論理論
第5章形式無情：命題與公式
第6章組合有意：公式的真假
第7章大法無機：能行的方法
第8章一言九鼎：反解真值表
第9章機關之算：邏輯代數化
第10章解牛之術：一階語言說
第11章觸事而真：模型與滿足
第12章迷途知返：半可判定性
第13章邏輯鏈條：證明的初感
第14章應有盡有：完全性定理
第15章求全責備：模型與理論
第16章神機妙算：圖靈可計算
第17章數不勝數：公理化算術
第18章天外有天：哥德爾定理
參考文獻
索引
