这个书单是自己特别无知的时候列的，其实有很多不合适的地方，很久以来疏于修改，2015年的时候做过一次整理。
关于一个主题，同类型的书相当地不少，我一人之力并不能做到全推荐，因此也参考了许多其它人的意见。就学习而言，个人以为，选择其中一二即可。
维特根斯坦的相关研究参差不齐，与逻辑学的关系也很难判断，所以我觉得不必添加地过于细致，以简单了解，这方面比我有资格谈论的人有很多。
上次修订，我在这里说建议进阶按编辑顺序。其实也还是托大了。这个书单的前半部分的确略有顺序，因为涉及技术性问题，但也不是非得一步步走。而后半部分的技术味道较淡，未必非读不可了。但我觉得换个豆列名字也似乎不好，就还是保留，在此声明。
最后，还是希望以下名字能被铭记：刘壮虎、周北海、叶峰、徐明、赵希顺、李小五、张羿、王路。
——2016.5.23
由于最近常被问到如何提高逻辑能力，所以这里再增添几句话，逻辑学的一个附加功能可能是提高逻辑的能力，但这并不是逻辑学的主要聚焦点。所以我的书单里并没有过多的批判性思维或者非形式逻辑的内容，尤其是没有“普通逻辑学”的内容，因为在我看来，这不是逻辑学的必学内容，也不应该是。从这个意义上来说，这个书单依然只是一个具有偏见的东西，各位在参考时，也请保持谨慎。——2016.9.29
1
来自：豆瓣读书
7.9
(293人评价)
作者: 陈波
出版社: 北京大学出版社
出版年: 2008-1
评语：这本书已经讲的很浅，如果有比这本更浅但有还算值得读的话，那么应该是陈波的另一本书——《逻辑学是什么》，或者麦克伦尼的《简单的逻辑学》(不推荐麦克伦尼那本，虽然翻译做的很认真)。个人觉得看这本就够了，因为这只是最初的梯子，是要扔掉的。这本书的优点是点到了逻辑学的一些方面，然后写的也很照顾读者的感受。我个人推荐过好几次给别人作为基础了解。所以就放最开始吧。
2
来自：豆瓣读书
9.1
(289人评价)
作者: 殷海光
出版社: 上海三联书店
出版年: 2004-07-01
评语：很宏观的入门，没有像十五讲那样分章，但是殷海光的论述非常到位，适合就是想一般了解的人，引起他们的兴趣。很可惜这本书已经缺货，所以并未列在第一本。书中有些错误，但是能区分是编辑的问题而不是作者的问题。
3
来自：豆瓣读书
(5人评价)
作者: Wilfrid Hodges
出版社: Penguin Global
出版年: 2005-12-28
4
来自：豆瓣读书
7.6
(107人评价)
作者: 斯蒂芬·雷曼（C.Stephen Layman）
出版社: 中国人民大学出版社
出版年: 2010-12
评语：也算是很入门的书，严格说这本书的面似乎还不如陈波那本，不过在非形式方面较为详细。对于只想大概了解逻辑知识的人，我觉得还是有用的。可以在这本和陈波那本里选择一下。
5
来自：豆瓣读书
8.9
(1365人评价)
作者: [美] 欧文·M·柯匹 / [美] 卡尔·科恩
出版社: 中国人民大学出版社
出版年: 2007-3-1
评语：纯入门，不过国外的教材写法还真是不同。例子很有意思。
补一句，感觉导论里这本看看就可以了，有些基础的，甚至可以跳过其中很多，外国的书极为照顾读者，尽量通俗多言，坏处就是啰嗦了。但是例子真的很不错。
6
来自：豆瓣读书
8.1
(207人评价)
作者: （美）帕特里克·赫尔利（Patrick Hurley）
出版社: 世界图书出版公司
出版年: 2010.9
评语：新出的另一本导论性质入门书籍，和柯匹的不相上下？
很惭愧，我并没有认真看这本书，所以仍然不能给出更多评价。粗翻下来，例子也还不错。英文版也能找到的。
7
来自：豆瓣读书
6.3
(30人评价)
作者: 黄华新
出版社: 浙江大学出版社
出版年: 2005-1
评语：既然由浅入深，那就顺便列一下这本。其实国内没有很好的导论教材，这本经过了修订后，内容多了一些，不过如果能更进一步修订就好了。比如十五讲还是多了些内容，也许作为教材还是合适的。不过，毕竟还有更具可读性的其它教材。
8
来自：豆瓣读书
7.9
(62人评价)
作者: 中国人民大学哲学院逻辑学研究室 编
出版社: 中国人民大学
出版年: 2008-5
评语：涉及面挺多的，传统逻辑和现代逻辑的一些方面都点到了，对于想要学逻辑的文科生来说，还是比较能读进去。不过这本书和上面的几本，选一本读读就差不多了，即便都想翻翻，也请不要太仔细，多留点时间往进阶的教材去。
9
来自：豆瓣读书
7.9
(42人评价)
作者: （瑞典）詹斯﹒奥尔伍德 / 拉斯﹒冈纳尔﹒安德森 / 奥斯坦﹒达尔
出版社: 北京大学出版社
出版年: 2009-1
评语：这本书的翻译质量我觉得很不错，老先生们的语言功底与认真程度都可见诸于文字。逻辑学在国内多被编入文科，但尴尬的是文科其它学科并不怎么学习，个人以为这本书颇为适合文科生阅读。虽然是叫语言学中的逻辑，其实当做导论来读也是可以的。需要注意的是，芭芭拉的那本《语言学中的数学方法》就不是这么基础了。
10
来自：豆瓣读书
(9人评价)
作者: 陈慕泽
出版社: 上海人民出版社
出版年: 2002-03
评语：当初列书单时，这本书没有添加，如果有人能借到，看看还是挺好的。陈慕泽的这本书思路很清晰，不过自然语言表达形式内容有时还是难免有点勉强。可以说我的初步逻辑学框架就是在这本书基础上建立的。觉得看过柯匹的导论或者语言学中的逻辑后就可以看这本。当然，对于有基础者并非是必读。
11
来自：豆瓣读书
7.7
(104人评价)
作者: 王路
出版社: 人民出版社
出版年: 2004-1-1
评语：这本书其实还是有挺多数理逻辑（现代逻辑？）内容，大概因为王路老师本来就认为“数理逻辑基础=逻辑基础”吧。总的来说也是适合作为文科生的初阶（自学）教材，例子挺多，加上作者的文风，还是比较便于理解。这本书的章节安排是比较“避免争议”的，分出了命题逻辑，词项逻辑（三段论），谓词逻辑，一阶逻辑等部分，其中命题逻辑和谓词逻辑都侧重语义上的讲解，一阶逻辑中的公理系统则和汉密尔顿的那本《数理逻辑》一样。即便是词项逻辑和语言思维这些非数理逻辑内容，看看也还有意思。这本书有一个优点是习题有答案。平心而论，这本书更像是一本基础教材而非纯粹的数理逻辑教材。最后，这本书好像出新版了。
12
来自：豆瓣读书
7.3
(23人评价)
作者: 陈慕泽 / 余俊伟
出版社: 人民大学
出版年: 2003-9
评语：对于文科生来说，陈老师的《数理逻辑教程》是不错的现代逻辑入门书，可惜豆瓣上似乎没找到，那么本书或许也可作为一个替代。
注：《数理逻辑教程》已有人添加了，但书早已断货，恐怕只有图书馆里寻觅，其实这本基础也是一样，颇为可惜。
13
来自：豆瓣读书
7.4
(17人评价)
作者: 胡龙彪
出版社: 浙江大学出版社
出版年: 2000-5
评语：这本书并不怎么常见，里面的内容主要还是偏数理逻辑，不过也有些导论性质的内容，采取了略不同的公理系统，质量还是可以。
14
来自：豆瓣读书
9.1
(10人评价)
作者: L. T. F. Gamut
出版社: University Of Chicago Press
出版年: 1990-12-15
评语：好书，谈了很多方面，也不算特别入门，但也可以说写的还是比较简明。值得读的。
15
来自：豆瓣读书
(6人评价)
作者: L. T. F. Gamut
出版社: University Of Chicago Press (December 26, 1990)
出版年: 1990-12-26
评语：同上，当然，毕竟成书多年，不可避免的会有些过时的东西
16
来自：豆瓣读书
(8人评价)
作者: David Barker-Plummer / Jon Barwise / John Etchemendy
出版社: Center for the Study of Language and Inf
出版年: 2011-10-15
17
来自：豆瓣读书
(5人评价)
作者: Peter Smith
出版社: Cambridge University Press
出版年: 2003-12-8
评语：形式逻辑导论，对于概念的讲解多于技术实现，适合理解上跟不上的拿来参考
18
来自：豆瓣读书
7.2
(53人评价)
作者: 邢滔滔
出版社: 北京大学出版社
出版年: 2008-8
评语：这本书据说是邢老师在哲学系的逻辑课讲稿，很适合文科学生看，第一章最好先略读，然后等全书读完再回头读一下，不知道这是不是作者的本意。比起陈慕泽的书难度是更大的，适合有心入门的人读，但想学数理逻辑只读这一本还是不够。当然，这本书依然很有价值，因为作者特意用了根岑自然推演系统，此外这本书对于语义的讲述十分详细，或许也是因为面向文科生的缘故吧。
19
来自：豆瓣读书
8.4
(47人评价)
作者: [美]Herbert B.Enderton
出版社: 人民邮电出版社
出版年: 2007-3
评语：老师推荐的适合理科生的教材……和计算机挂钩了？这本还是不错的，里面多了些计算机的内容，不喜欢可以跳的，但是据说翻译质量一般，所以英文版也列在下面吧。
20
来自：豆瓣读书
9.1
(39人评价)
作者: (美)Herbert B. Enderton 著
出版社: 人民邮电出版社
出版年: 2006-01-01
21
来自：豆瓣读书
(2人评价)
作者: Dirk van Dalen / Dirk van Dalen
出版社: Springer
出版年: 2008-9-1
评语：我本人并没有看过，但是有人建议这本可以接着 Enderton的那本继续深入。然而略微值得注意的是，这本书是被划为elementary logic范围的。
22
来自：豆瓣读书
(5人评价)
作者: A.G.汉密尔顿
出版社: 华东师范大学出版社
出版年: 1986年
评语：这本书很不错，翻译质量也挺好。原书就比较简略，英文名记得好像是《数学家的逻辑》，据前言说是写给数学专业的人看，用来了解逻辑在做什么。跳的很快，都到哥德尔了，不过四论讲的不多。有老师的话，带一带读很好。
23
来自：豆瓣读书
8.2
(24人评价)
作者: A.G.Hamilton
出版社: 清华大学
出版年: 2003-8
评语：上面这本的英文影印版，相较于原版，还算是在图书馆里较易借得的
24
来自：豆瓣读书
(1人评价)
作者: J.L. Bell / M. Machover
出版社: 世界图书出版公司
出版年: 2015-3-1
评语：据说是一本研究生标准教材，影印版终于出来了。同款的更著名的还有Shoenfield的Mathematical Logic
25
来自：豆瓣读书
9.3
(46人评价)
作者: 艾宾浩斯 (Ebbinghaus H.D.) / J. Flum / W. Thomas
出版社: 世界图书出版公司
出版年: 2008-5
评语：这本书有些学校是作为教材的，虽然书上标的是本科生教材，不过北大以此作为研究生的数理逻辑教材。 据说邢滔滔老师的《数理逻辑》脱胎于此。 书中对于基础的内容过的比较快，因此更适合有些逻辑基础的人来学习， 其推演系统是矢列演算，在国内教材中很少见。 后面讲了些递归论，模型论，证明论等内容，总体面还是涉及的较多
|
