数理逻辑
2008-8
北京大学出版社
邢滔滔
273
无
本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，书名从课名。原讲义在实际使用中，经过了多次删改与修补，最后成书时，我们做了进一步的加工，重写了若干部分，增加了一些内容，以求能够满足更大范围的读者的需要。 下面就本书的内容及编写方式做几点说明。 第一，这是一本入门教材，针对逻辑学的初学者，尤其是初学逻辑的学生，而不要求读者有数学方面的预备知识。在内容方面，本书只介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。这些知识和技术已经成为逻辑入门的必
该书分演绎及其证成，真理与悖论，意义与指称，存在、量化和本体论，休谟问题与归纳逻辑，共五个部分，对逻辑哲学进行了全面系统的概论，同时吸收了近几年国际逻辑哲学方面的最新进展，每一章后面的思考题和推荐阅读文献更是大大方便了教学和阅读。作者在国内长期教授逻辑课程，也曾经写作过逻辑学和逻辑哲学方面的著作，具有深厚的功底和丰富的经验。 本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。
邢滔滔，北京大学哲学系副教授
第一章 绪论：从直观到形式 1 从“矛盾”说起 2 直观上的推理 3 正确推理 4 一阶语言 5 推演系统第二章 集合 1 集合（不）是什么？ 2 关系 3 函数 4 可数集与不可数集第三章 一阶语言的语形 1 字母表 2 归纳定义 3 项 4 公式 5 递归定义 6 自由和约束代入第四章 经典语义学 1 结构与解释 2 等词、量词和联结词 3 满足真 4 语义后承 5 可满足性有效性语义等值 6 代入引理 7 模型举例第五章 自然推演系统 1 推理规则概说 2 联结词规则 3 命题推演语形后承 4 量词和等词规则 5 一阶推演 6 经典与直觉主义逻辑的关系第六章 可靠性与完全性 1 经典可靠性 2 一致性 3 经典命题完全性 4 Henkin定理 5 可满足性定理 6 经典完全性 7 紧致性定理与Lowenheim-Skolem定理 8 直觉主义完全性参考文献
按照许多学校的安排，在逻辑的入门课之后，还有相应的进深课程，供有兴趣的同学选修。我们在课程设置上，也采取了这个策略。在这样的安排之下，《数理逻辑》的内容，对应于大学本科的第一门"数理逻辑"或"符号逻辑"课程。
无
为了学哲学，回头来补数理逻辑的课。
这本书非常的强调数理逻辑基本思想的阐释，强调逻辑概念的从直观到形式化的连续性。但是没有引入公理化的系统有点美中不足。
一本值得一读的好书！如果你喜欢逻辑推理，可以读读此书！！
结构安排的和其他逻辑书不同。
逻辑学入门必备，请收藏
内容还是比较通俗，深度适合普通的人，不错！
书不错，内容很丰富，对学概率很有帮助!
要看就得用心看
不错的书，很值得一读
图书馆发现之后，果断入手。
帮同学买的，考清华北大自招很适用。
书很不错，就是感觉有点难，题目没答案那。
读研时，没学该课，现在补补习！
入门的好书籍 值得大家读读
书还没看，听那个说很不错，先顶一下
内容一般，感觉用处不大
我自学过金岳霖的形式逻辑，感觉邢滔滔教授写的还是有点专业（当然也许写作者本人也许意识不到这儿）。
这本书是北京大学出版社博雅大学堂哲学系列教材的一本，所以对于文史哲之类的学生很实用。对于理工农医科的学生似乎就比较浅了。
我当初以为和理学一样呢，就买了，买了以后才知道这是哲学类的书
书还不错，是北大的讲义。适合文科入门。但缺点是习题没解答。
虽然没看多少，但是觉得还不错。要是习题有答案就好了，或者有配套辅导。。。。
好奇。。。。
学文科的自学的确很难，不过我会努力攻关！
偏向文科的！计算机专业的就不要买了！