经典逻辑与非经典逻辑基础

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