郝兆宽, 杨睿之, 杨跃. 数理逻辑:证明及其限度. ISBN: 978-7-309-11025-8
郝兆宽, 杨睿之, 杨跃. 数理逻辑:证明及其限度. ISBN: 978-7-309-14568-7
这本书虽然不是我的数理逻辑启蒙书,但却是我读过的写的最适合入门的国内数理逻辑入门教材。最初读这本书的时候买的是 Amazon 的 Kindle 版,今年发现这本书出了第二版就又买了第二版的纸质书。相比于第一版,第二版中除了修改错误,还增补了一些说明以及背景介绍,增强了可读性。所以如果可能的话还是读最新的第二版比较好。
从内容上来说这本书就是中规中矩的数理逻辑入门知识,但是写的非常到位。一般来说数理逻辑由:模型论、证明论、递归论、公理集合论这“四论”组成。但对于初学者来说却不能直接上手就学习四论。这是因为数理逻辑是研究数学和逻辑基础的学科。一方面它以数学和逻辑为研究对象,另一方面它的方法又是来自数学的代数和来自逻辑的证明。也就是说数理逻辑实际上是一套能以自身为研究对象的研究方法。因此学习者在研究时实际上会遇到两套逻辑,一套是作为研究对象的逻辑(对象逻辑),一套是作为研究方法的逻辑(元逻辑)。
在学习数理逻辑之前学习者应当了解一下传统形式逻辑,并以此逻辑作为元逻辑,然后去研究对象逻辑。作为入门研究的第一个对象逻辑就是所谓的一阶谓词逻辑。这个逻辑模型实际上是模型论中研究的众多模型中的一个。但由于它一般作为初学者接触的第一个模型,同时在后续研究中逐步替代学习者一开始掌握的传统形式逻辑作为元逻辑,所以这个模型的知识在初学教科书中往往是单独列出的。而这就是本书的第一部分内容。
可能说到这里你会疑惑,不属于数理逻辑的传统形式逻辑又是怎么学习的呢?在学习传统形式逻辑之前每个人其