数理逻辑
出版社:北京大学出版社
出版日期:2008-8
ISBN:9787301112557
作者:邢滔滔
页数:274页
作者简介
本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。
书籍目录
第一章 绪论：从直观到形式 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 直觉主义完全性参考文献
编辑推荐
按照许多学校的安排，在逻辑的入门课之后，还有相应的进深课程，供有兴趣的同学选修。我们在课程设置上，也采取了这个策略。在这样的安排之下，《数理逻辑》的内容，对应于大学本科的第一门"数理逻辑"或"符号逻辑"课程。
前言
本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，书名从课名。原讲义在实际使用中，经过了多次删改与修补，最后成书时，我们做了进一步的加工，重写了若干部分，增加了一些内容，以求能够满足更大范围的读者的需要。 下面就本书的内容及编写方式做几点说明。 第一，这是一本入门教材，针对逻辑学的初学者，尤其是初学逻辑的学生，而不要求读者有数学方面的预备知识。在内容方面，本书只介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。这些知识和技术已经成为逻辑入门的必
内容概要
邢滔滔，北京大学哲学系副教授
图书封面
发布书评
精彩书评 (总计2条)
-
这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”，他们“03、04、05级的同学使用修习了数理逻辑课程”。这里我表示对北大同学的无穷敬仰，他们为这本书当了小白鼠，不知他们 有木 有 因此 学得 狠桑心 ？为了让大家“既见树木又见森林”以绪论的形式把数理逻辑的几乎所有专有名词像挤狗屎一样挤在了第一章----三十页的文字里星星点点离散分布。且无耻的是以后的章节每当提到一个新概念都会“在第一章中，我们……”，于是你必须把书返回第一章并重新检索那三十页的文字。如果那一章绪论给你一张整齐的表或者几张名词解----就像《时间简史》的附录那样。那么这还是一本有的看的树，但遗憾的，滔滔哥真的把森林原封不动的缩印给我们……后边的章节， @#￥%% 我就不说了 你就递归想象……附：什么是“挤狗屎”http://www.guannei.com/space-1036-do-blog-id-1591.htmlhttp://www.hljsunwu.gov.cn/swjy/Article/ShowArticle.asp?ArticleID=73（我觉得这本书也有“容易造成窒息、胸腔出血甚至……”） -
我认为，这是一本文科写出来的书，采用了标准的总分方式，在第一章囤积了太多的内容，直到通读全书后，才会再去醒悟说：啊，这原来就是第一章里面说的XXX。可能邢老师是想学生在第一章对全书有个全面的掌握，然后在学习后面的内容的时候带着这样的问题去读。但我不得不表示，至少以我个人的浅见，这问题带的太多，反而阻碍了对于全书的理解。想学逻辑学，或者说想学数理逻辑，绝不能只看这一本书，因为你无法理解。但是，又不可不看这本书，因为本书对于语义学的讲述十分详实，并且在自然推演系统方面的讲解独具一格，仍然是值得一看的书。
精彩短评 (总计44条)
-
偏向文科的！计算机专业的就不要买了！ -
帮同学买的，考清华北大自招很适用。 -
要看就得用心看 -
读研时，没学该课，现在补补习！ -
2017.01.07 -
内容一般，感觉用处不大 -
逻辑学入门必备，请收藏 -
这要是考试我不知道自己能不能过 还有 不用花体字能die吗(●｀・ω・)=Ｏ)｀-д゜)ポカ -
我自学过金岳霖的形式逻辑，感觉邢滔滔教授写的还是有点专业（当然也许写作者本人也许意识不到这儿）。 -
文字性描述太多，不喜欢。 -
随便翻了一遍，没纠缠细节。基本的东西都大致都讲到了。不过对于非逻辑学专业，尤其是欧陆方向并不基础也无甚卵用，没事不要随便作死。PS：滔滔逻辑老湿(Prof. Tautology)既然都敢全英文授课了，书里几百个专有名词弄个中英对照表吼不吼哇？以及火星文少一点吼不吼哇？ -
好奇。。。。 -
这本书是北京大学出版社博雅大学堂哲学系列教材的一本，所以对于文史哲之类的学生很实用。对于理工农医科的学生似乎就比较浅了。 -
书很不错，就是感觉有点难，题目没答案那。 -
讲解挺好的，语义部分很赞，语形只有自然推演这个比较纠结，可惜例子太少不适合自学，于是被习题虐惨了。。。 -
我当初以为和理学一样呢，就买了，买了以后才知道这是哲学类的书 -
本书比较基础。配合《符号逻辑讲义》读更好 -
虽然没看多少，但是觉得还不错。要是习题有答案就好了，或者有配套辅导。。。。 -
学文科的自学的确很难，不过我会努力攻关！ -
结构安排的和其他逻辑书不同。 -
不错的书，很值得一读 -
结构不太清晰，但讲述非常适合文科生~~ -
哥德尔证明了一阶逻辑的语义后承和语形后承这两个概念在外延上是重合的。 -
一本值得一读的好书！如果你喜欢逻辑推理，可以读读此书！！ -
北大的书就是看起来蛋疼啊- -仔细琢磨倒是有文人的风范，但是确实需要挖掘好长时间。 -
算是浅显易懂。。。 -
救命～～～～ -
滔滔老师很可爱，嘿嘿 -
作为一个文科非逻辑学背景的读者，感觉讲解还是比较详实的。p.s. 为什么要使用花体字？ -
内容还是比较通俗，深度适合普通的人，不错！ -
本科讲义，可以作为入门读物。因为是讲义，编写循序渐进，跟着思路走，就能提供理解的效率。 -
书还没看，听那个说很不错，先顶一下 -
这本书非常的强调数理逻辑基本思想的阐释，强调逻辑概念的从直观到形式化的连续性。但是没有引入公理化的系统有点美中不足。 -
没有公理系统 -
入门教材，如果能写一个标准答案，加上一些过程详细的例题就好了。（例题并没有涵盖所有的姿势点） -
书还不错，是北大的讲义。适合文科入门。但缺点是习题没解答。 -
入门的好书籍 值得大家读读 -
看跪了。希望晚上考试顺利 -
文科生看够了。 -
图书馆发现之后，果断入手。 -
基础，细读。多读。 -
我无法理解这本教材为什么会那么有信心在前言里声称“这是一本入门教材……不要求读者有数学方面的预备知识” -
书不错，内容很丰富，对学概率很有帮助! -
为了学哲学，回头来补数理逻辑的课。