内容简介<br />《逻辑学导论》的一个主导思想是体现出逻辑学从亚里士多德逻辑三段论的古典形式走向现代逻辑的完全形式化、公理化中的基本理论，因此，上编重点介绍了亚里士多德的三段论。下编介绍了数理逻辑的基础：命题逻辑和狭谓词逻辑。在命题逻辑的基础上介绍了模态命题逻辑；在狭谓词逻辑的基础上介绍了公理化集合论的ZFC系统。<br />序言<br />受武汉大学出版社编辑的委托，我主编了《逻辑学导论》这本教材。根据出版社的要求，我将全书分为上、下两编来介绍逻辑学的基础知识。不过，需要指出的是，我编写这本教材的一个主导思想是体现出逻辑学从亚里士多德逻辑三段论的古典形式走向现代逻辑的完全形式化、公理化中的基本理论，因此，上编重点介绍了亚里士多德的三段论。下编介绍了数理逻辑的基础：命题逻辑和狭谓词逻辑。在命题逻辑的基础上介绍了模态命题逻辑；在狭谓词逻辑的基础上介绍了公理化集合论的ZFC系统。<br />本书的第一、二、五、六、七章由李志国（华北水力电力学院）编写，第三、四、八、九章由刘素姣（河南大学）编写，第十章由魏燕侠（华侨大学）编写，第十一、十二、十三章由李娜（南开大学）编写。李娜负责了对全书的修改。<br />在本书的编写过程中，我们主要参考了国际上有关的书籍和教材，我们还参考了国内的一些逻辑学的教材和著作。如本书的第十、十一两章的逻辑演算系统使用了参考文献中的逻辑演算系统PC和QC。本书在编写过程中曾得到清华大学人文学院王路教授、南开大学哲学系张晓芒教授等的许多帮助。在此我们感谢所有关心和支持本教材的朋友。特别感谢武汉大学出版社给了我们这次机会。

李娜，女，1958年3月生于河南开封市。1982年毕业于河南大学数学系，获理学学士学位。1989年毕业于中国科学院软件研究所，获理学硕士学位。现任南开大学哲学系教授、博士生导师，中山大学逻辑与认知研究所专职研究员。主要著作有《现代逻辑若干问题研究》等。