内容简介
逻辑是保证人类正确思维的根本。本书作者在自己学习和研究的基础上比较系统地介绍了现代逻辑学的基本内容。主要包括四个部分：第一部分简略地介绍了传统逻辑学的基本内容，主要包括对逻辑学学科的基本介绍和命题逻辑的基本内容；第二部分介绍了数理逻辑的基本内容，主要包括命题演算、谓词逻辑和谓词演算；第三部分介绍了模态逻辑的基本内容，主要包括对模态逻辑学的性质、模态命题演算的基本内容的介绍；第四部分是对现代逻辑的现代发展情况的一些简略的介绍，主要包括时态逻辑、认知逻辑、自然语言逻辑的基本内容。本书既可供专门的逻辑学工作者阅读和使用，也可供哲学、语言学、人工智能、计算机科学等方面的工作者阅读和使用，还可供对现代逻辑学感兴趣的读者自学使用。