【数理逻辑开篇】朴实的逻辑学与数学危机
一、数理逻辑的来源
逻辑学可以看成是哲学的一部分,当然自然科学等都可以看成是从哲学中衍生出来的。而理科生们需要学习的数理逻辑。又是逻辑学在数学上的应用。而最早的逻辑是和语言密不可分的,逻辑和语言的‘接口’(interface)就是依靠语义(meaning)联系起来的。西方的哲学研究,历来是把逻辑和语言作为一个整体,这个传统始自于亚里士多德时代。19世纪和20世纪之交,分别出现了数理逻辑和结构主义语言学,自此逻辑和语言的研究开始分家,走上了各自的发展道路。所以不仅是理科生需要学逻辑(数理逻辑),在国内文科哲学类的也要学普通逻辑。
国内的一般离散数学课程,一上来就讲了命题逻辑、谓词逻辑等一阶逻辑。但不会告诉你,逻辑与数学,逻辑与语言(自然语言、人工语言、编程语言)、形式化系统/形式化语言、以及形式化推理与代数结构等等它们之间相互之间的关系。甚至学生都不知道为什么要学命题逻辑、谓词逻辑等一阶逻辑。如果没有建立起来知识与知识之间的联系,笔者认为也很难真正的理解一个知识。而本系列的文章,将结合《Logic, Language, and Meaning》逻辑、语言与语义这本书回答上述的问题。让学习者知道为什么要学,学了有什么用 ?