幻神在上周的函数式编程圈里的分享，水平很高，逼格更高，超越了一般软件领域分享的逼格，直奔逻辑学绝尘而去，一门脚还踏进了认识论。我们都知道，西方哲学从笛卡尔开始，哲学的核心从本体论转向到认识论。幻神已经到了这一阶段的高峰，成果基于弗雷格、罗素和哥德尔，眼看要向第二次大转向，即维特根斯坦开启的语言学转向的方向。
正好借此机会分享一点关于逻辑学的浅显理解，主要希望是能够给没有学过相关知识的同学拓展一下思路。车品觉老师说『我们不怕我们知道我们不知道的知识，用到的时候我们自然会去学习和掌握它，怕的是我们不知道我们不知道的知识。』
若能起到一点帮助一些同学拓展盲区的作用，我的目的就达到了。
我们首先来看科班的逻辑学教材的主要内容．我选的教材是Copi和Cohen的＜逻辑学导论＞第13版，其主要知识体系的导图如下所示：
也就是说，逻辑学大致学为三种：一种是演绎逻辑，又分为经典的形式逻辑，在古希腊的亚里士多德时代基本形成，和现代逻辑，以弗雷格为主要开创者．这一种是相对成熟，没有太大争议的．第二种是归纳逻辑．比如类比推理和因果推理．这一部分已经超越了逻辑学的范畴，开始跟哲学的一大主题认识论纠缠在一起了．第三种是非形式逻辑，涉及到另外一个大的哲学主题语言．现代逻辑史上有重要影响的哲学家维特根斯坦就是因为语言学而转向，引领了整个现代西方哲学的方向的大变化．
我们通过逻辑学的简史来看一下逻辑学的发展过程，内容引自安东尼．肯尼的＜牛津西方哲学史＞
整个古代和中世纪，逻辑学都是围绕演绎逻辑为主进行发展的，奠基性工作由柏拉图开始，由亚里士多德集大成．中世纪已经有很多跟语言打交道的工作．
现代逻辑学中第一个出场的是密尔的经验主义逻辑．密尔认为，演绎的严谨性是值得信赖的，但是演绎逻辑的前提是如何得到的呢？如果是通过归纳得出来的，那么归纳的可靠性有多高呢？于是密尔试图为归纳逻辑定义规则．书的作者肯尼认为，密尔是混淆了逻辑学与认识论的界限，归纳本质上是人类获得知识的方式，这是一个认识论的问题．
逻辑学的第二个高峰出自弗雷格，他将亚里士多德的逻辑学用人工的符号语言重新定义，开始了数理逻辑．弗雷格直接影响到了罗素等哲学家．
下面我们看下罗素眼中的西方哲学史：
近代哲学被罗素分为了两段，第一段以休谟为结束．结束之前的三个人：洛克，贝克莱和休谟和密尔一样都是经验主义学派的．洛克是经验主义的创始人，他是唯物的经验主义．到了贝克莱演变出了主观经验主义，发展到休谟又变成了不可知主义的经验主义．
经验主义在二十世纪发展成了两大思潮之一的科学主义．
而第二段的重要代表康德的先验论批判哲学所代表的欧洲大陆的理性主义，在二十世纪发展成另一大思潮人本主义．这两大学派互不相容．
前面我们看到的现代逻辑的奠基人弗雷格，和逻辑学的另一位大师罗素所开创的逻辑哲学，在另一位大哲学家维特根斯坦的著作＜逻辑哲学论＞中达到高峰．但是，随着科学的不断向前发展，个人在科学中的作用越来越被科学家团体的作用所替代．语言交流是科学家团队中重要的活动．于是维特根斯坦的兴趣从创始人工语言变成了研究自然语言，结果导致了整个哲学界的第二次大转向．第一次大转向是从是否存在这个本体论向认识论的方向转向，这一次又从认识论向语言学转向．
继承科学主义思想的，在语言学转向后所研究的学问叫做分析哲学．比如逻辑实证主义是分析哲学的主要部分．
而继承人本思想的，语言学转向后变成了哲学解释学，比较著名的是海德格尔的存在主义，也叫做系统哲学解释学．
二者最后融合成了后现代哲学．
建立在上面的逻辑学和哲学史的视角上，再回头看幻神的文章，是不是别有一番风味了呢？
我们来梳理一下逻辑学的过程：
- 形式逻辑始于柏拉图，在他的学生亚里士多德手中基本完善
- 时隔千年，弗雷格重新奠基逻辑学，以比较完善的的符号逻辑-数理逻辑，改写了整个逻辑学。认识论上，弗雷格和罗素继承自科学主义，而科学主义的思潮继承自洛克、贝克莱和休谟的英国经验主义哲学。
- 维特根斯坦继承和发展了弗雷格、罗素的逻辑学，写出在哲学史上重要的《逻辑哲学论》。但是在后期，他一手开辟了哲学的语言学转向，他的后期著作《哲学研究》响深远。
- 科学主义转向后的分析哲学与人本主义的后继现象学最后走向融合，其实是以科学主义后代越来越向人本主义靠拢的方式来实现的。融合的结果是后现代哲学。
下面我们会详细介绍这个框架中的细节，这一节我们只要了解这张地图就好。
