逻辑是人类智能的核心。本书作者结合自己的研究成果比较系统地介绍了现代逻辑学的基本内容。主要包括三个部分。第一部分介绍集合论的基本内容。第二部分介绍经典逻辑的基本内容，主要包括命题逻辑和谓词逻辑。第三部分介绍非经典逻辑的基本内容。主要包括模态逻辑、时态逻辑、弗协调逻辑和直觉主义逻辑。对现代逻辑的不同系统均采用严格的形式化、公理化方法进行叙述，并详细分析各系统的可靠性、完全性等系统的元性质。本书的内容是自足的，不需要读者其他特别的知识准备。本书既适合逻辑学专业的本科生、研究生使用，也可供计算机科学、人工智能、语言学、哲学等专业的学生使用，还可供对现代逻辑感兴趣的读者自学使用。
