【数理逻辑开篇】朴实的逻辑学与数学危机

【数理逻辑开篇】朴实的逻辑学与数学危机

 

一、数理逻辑的来源

逻辑学可以看成是哲学的一部分，当然自然科学等都可以看成是从哲学中衍生出来的。而理科生们需要学习的数理逻辑。又是逻辑学在数学上的应用。而最早的逻辑是和语言密不可分的，逻辑和语言的‘接口’（interface）就是依靠语义（meaning）联系起来的。西方的哲学研究，历来是把逻辑和语言作为一个整体，这个传统始自于亚里士多德时代。19世纪和20世纪之交，分别出现了数理逻辑和结构主义语言学，自此逻辑和语言的研究开始分家，走上了各自的发展道路。所以不仅是理科生需要学逻辑（数理逻辑），在国内文科哲学类的也要学普通逻辑。

国内的一般离散数学课程，一上来就讲了命题逻辑、谓词逻辑等一阶逻辑。但不会告诉你，逻辑与数学，逻辑与语言（自然语言、人工语言、编程语言）、形式化系统/形式化语言、以及形式化推理与代数结构等等它们之间相互之间的关系。甚至学生都不知道为什么要学命题逻辑、谓词逻辑等一阶逻辑。如果没有建立起来知识与知识之间的联系，笔者认为也很难真正的理解一个知识。而本系列的文章，将结合《Logic, Language, and Meaning》逻辑、语言与语义这本书回答上述的问题。让学习者知道为什么要学，学了有什么用 ？

 

二、逻辑是什么与逻辑系统的统一性

逻辑无非就是一套描述语言，用来描述任何一个可形式化的公理系统。因此，逻辑心中的第一个白马王子自然是数学了。倘若自然语言收起天生的那份狂野，被强行纳入一个规整漂亮的形式系统，逻辑是很愿意做他的女仆的。哲学在这里像是个饱经沧桑的老人，不疾不徐地述说着逻辑与数学、逻辑与语言学之间过往的情事。

逻辑与数学发展出了演算