《数理逻辑》书评

非常乱

这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”，他们“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。可能邢老师是想学生在第一章对全书有个全面的掌握，然后在学习后面的内容的时候带着这样的问题去读。但我不得不表示，至少以我个人的浅见，这问题带的太多，反而阻碍了对于全书的理解。想学逻辑学，或者说想学数理逻辑，绝不能只看这一本书，因为你无法理解。但是，又不可不看这本书，因为本书对于语义学的讲述十分详实，并且在自然推演系统方面的讲解独具一格，仍然是值得一看的书。