普通高等教育“十·五”国家级规划教材·数理逻辑(博雅…

该书分演绎及其证成，真理与悖论，意义与指称，存在、量化和本体论，休谟问题与归纳逻辑，共五个部分，对逻辑哲学行了全面系统的概论，同时吸收了近几年国际逻辑哲学方面的*展，每一章后面的思考题和推荐阅读文献更是大大方便了教学和阅读。作者在国内长期教授逻辑课程，也曾经写作过逻辑学和逻辑哲学方面的著作，具有深厚的功底和丰富的经验。 本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。