数理逻辑

出版时间：2008-8  出版社：北京大学出版社  作者：邢滔滔  页数：273  
Tag标签：无  

前言

　　本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，书名从课名。原讲义在实际使用中，经过了多次删改与修补，最后成书时，我们做了进一步的加工，重写了若干部分，增加了一些内容，以求能够满足更大范围的读者的需要。　　下面就本书的内容及编写方式做几点说明。　　第一，这是一本入门教材，针对逻辑学的初学者，尤其是初学逻辑的学生，而不要求读者有数学方面的预备知识。在内容方面，本书只介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。这些知识和技术已经成为逻辑入门的必

内容概要

该书分演绎及其证成，真理与悖论，意义与指称，存在、量化和本体论，休谟问题与归纳逻辑，共五个部分，对逻辑哲学进行了全面系统的概论，同时吸收了近几年国际逻辑哲学方面的最新进展，每一章后面的思考题和推荐阅读文献更是大大方便了教学和阅读。作者在国内长期教授逻辑课程，也曾经写作过逻辑学和逻辑哲学方面的著作，具有深厚的功底和丰富的经验。　　本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。

作者简介

邢滔滔，北京大学哲学系副教授

书籍目录

第一章　绪论：从直观到形式　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　直觉主义完全性参考文献

编辑推荐

　　按照许多学校的安排，在逻辑的入门课之后，还有相应的进深课程，供有兴趣的同学选修。我们在课程设置上，也采取了这个策略。在这样的安排之下，《数理逻辑》的内容，对应于大学本科的第一门"数理逻辑"或"符号逻辑"课程。

用户评论 (总计24条)

•   为了学哲学，回头来补数理逻辑的课。
•   这本书非常的强调数理逻辑基本思想的阐释，强调逻辑概念的从直观到形式化的连续性。但是没有引入公理化的系统有点美中不足。
•   一本值得一读的好书！如果你喜欢逻辑推理，可以读读此书！！
•   结构安排的和其他逻辑书不同。
•   逻辑学入门必备，请收藏
•   内容还是比较通俗，深度适合普通的人，不错！
•   书不错，内容很丰富，对学概率很有帮助!
•   要看就得用心看
•   不错的书，很值得一读
•   图书馆发现之后，果断入手。
•   帮同学买的，考清华北大自招很适用。
•   书很不错，就是感觉有点难，题目没答案那。
•   读研时，没学该课，现在补补习！
•   入门的好书籍 值得大家读读
•   书还没看，听那个说很不错，先顶一下
•   内容一般，感觉用处不大
•   我自学过金岳霖的形式逻辑，感觉邢滔滔教授写的还是有点专业（当然也许写作者本人也许意识不到这儿）。
•   这本书是北京大学出版社博雅大学堂哲学系列教材的一本，所以对于文史哲之类的学生很实用。对于理工农医科的学生似乎就比较浅了。
•   我当初以为和理学一样呢，就买了，买了以后才知道这是哲学类的书
•   书还不错，是北大的讲义。适合文科入门。但缺点是习题没解答。
•   虽然没看多少，但是觉得还不错。要是习题有答案就好了，或者有配套辅导。。。。
•   好奇。。。。
•   学文科的自学的确很难，不过我会努力攻关！
•   偏向文科的！计算机专业的就不要买了！