读胡世华之《数理逻辑基础》

胡世华, 陆钟万. 数理逻辑基础（上册）. ISBN: 978-7-03-046421-7

胡世华, 陆钟万. 数理逻辑基础（下册）. ISBN: 978-7-03-046422-4

这套书是我的数理逻辑入门书。当初花了很多时间去读，甚至反复研究了绪论部分，但终究只看了个半懂不懂，因为书中有很多不加解释直接使用的代数思想。直到后来学了高等代数和抽象代数重新读，才算一气呵成地读完了这套书。

以前读这本书完全把书中的数理逻辑当作传统逻辑的形式化版本来读，现在这一观点有所改变。其实在读这本书，甚至任何一本逻辑学的教材时，读者头脑都已经有一套自己的逻辑（不妨称为“元逻辑”）。而书中所学的逻辑其实是作为对象。只有当学完一本书，并认识到自己原有的逻辑系统有瑕疵的时候，读者才会把学习来的对象逻辑融入元逻辑当中。

以现在读了很多数理逻辑教材的我的眼光来看，这本书的整体安排有些不同寻常。书中第一章介绍了好几种命题逻辑和谓词逻辑的生成规则和推演规则。直到第二章则一股脑地给出了一堆推演系统的性质。而且第一章解释的系统明显多于现在一般教材上介绍的系统。现在的教材一般命题逻辑和谓词逻辑各介绍一个系统。但这套教材光命题逻辑系统就介绍了好几个，其中甚至包含以谢弗竖和命题常元为基础的系统。然后第三章才介绍重言式。第四章就介绍可靠性和完备性。第五章已经是形式数学系统的举例了。

除了编排不同寻常，此外本书中的一些术语也和现在通用的术语不太一样。所以对于现代读者来说这本书可能并不太适合作为入门数理逻辑的第一本教材。但由于其写得很有独到之处（例如介绍了谢弗竖），可以把它当作补充资料来读。

---

求点赞，求收藏，求分享

欢迎关注我的公众号，微信搜索：知则