序2
周北海

《现代形式逻辑入门》（以下简称《入门》）是一部由我国语言学家编写的逻辑学导论型教材，主要面向文科读者，特别是语言学方面的读者。逻辑学和语言学有着天然的密切联系。逻辑学也涉及语言、语词、句子，有句法、语义等内容。仅从专业词汇看，逻辑学和语言学就有不少共用的术语。如果掌握逻辑学知识，也就多了一种视角和研究方法，便于更好地理解语言以及进行语言学的学习和研究。我想这应该是作者的用心所在。

逻辑学由古希腊哲学家、逻辑学家亚里士多德所创建。以亚里士多德的三段论逻辑为主要内容形成了传统逻辑学。十九世纪末，围绕数学基础的研究产生了数理逻辑，逻辑学由此进入了现代逻辑学的阶段。现代逻辑可以说是用数学的方法研究数学的逻辑而产生的，这也使得现代逻辑的理论具有高度符号化和数学化的特点。对于文科读者来说，学习这样的逻辑学的确有一定的难度。作者多年来一直致力于在语言学方面推进逻辑学的教学和交叉研究，面对我国语言学教学的实际状况，如何帮助学生快速入门逻辑学，有长期的思考和积累。从内容选取和编排看，可以说《入门》凝聚了作者自己多年来逻辑学的学习以及教学的心得和总结，形成了全书“重在理解，力求全面，循序渐进”的特点。

逻辑学的理论通常充满了公式、推导和证明。学习这样的理论有思想和技术两个方面。思想方面重在了解这些理论的背后的道理或理由，以达至理解。技术方面重在掌握具体的知识和方法，以能够解题为标准。逻辑学的专业学习通常从技术开始，由此体会和学习逻辑学的思想。《入门》重在理解，采取先思想后技术的路线：从逻辑学背后的哲学、逻辑学的历史以及发展脉络说起，力图先给出逻辑学全貌，再到具体内容的讲解。

逻辑学有两千多年历史。特别是现代逻辑产生后，逻辑学发展迅速，已经成为有众多分支领域的学科。对此，《入门》力求全面且循序渐进，首先介绍了现代逻辑的基础一阶逻辑（谓词演算和命题演算部分），继而介绍了内涵逻辑、模态逻辑（狭义的和广义的）、蒙塔古语义学等这些与语言学最为相关的内容。以逻辑专业眼光挑剔，《入门》也有不足。就初稿我曾提出了一些建议，并与作者有过讨论。所提建议有些作者欣然接受，有些作者坚持自己的看法。在此有一点我需要明确坚持。辩证逻辑是一种什么逻辑今天仍在讨论之中。不过无论怎样，以“辩证逻辑”为题将黑格尔的逻辑学以及辩证唯物主义和历史唯物主义放入逻辑学（见第二章第一节，图2.1）是不合适的。这些理论纯属哲学。逻辑学作为一门学科，从亚里士多德开始的传统逻辑到今天的现代逻辑，本质上都是关于形式逻辑的逻辑学，没有其他。辩证逻辑如果有一天被逻辑学所接纳，一定是辩证逻辑自己先成为某种形式逻辑。

《入门》具有自己的特色，也是很有意义的尝试。逻辑学和语言学的交叉学习和研究需要两方面的共同努力，这一次是语言学界走在了前面。

2021年2月 G3vIwlDSRnUKs8F8UGjebktq2c8p4/X62AjgTTpaBZEszXG8cYGgtGXCADjWUXm3