简明实验逻辑学

　　为了推广《实验逻辑学》课程，2021年我们联合国内的一些高校，牵头申报了虚拟“逻辑推理教研室”，项目获南开大学批准，2022年获教育部批准为“逻辑推理课程虚拟教研室”。为了使国内学习逻辑学的学生获得收益，特编写了这本《简明实验逻辑学》教材。《简明实验逻辑学》是在之前的《数理逻辑实验教程》（武汉大学出版社，2010年）、《逻辑学实验教程》（南开大学出版社，2012年）、《实验逻辑学》（南开大学出版社，2017年）、《实验逻辑学》（第二版，南开大学出版社，2021年）的基础上，利用新版的LPL软件（LPL软件包含三个子程序：Tarski's World 7.2、Fitch 3.7和Boole 4.2）完成的，特别标明了选修部分并增加了附录。为了便于《实验逻辑学》慕课（智慧树网平台）的学习，除第8章和第9章的顺序做了调动，《简明实验逻辑学》基本上保留了原来的章节顺序。

　　李娜，女，南开大学哲学院教授，主要研究方向为数理逻辑、模态逻辑、集合论、抽象代数。主持多项数理逻辑国家项目，主编多部教材如《数理逻辑实验教程》（武汉大学出版社，2010年）、《逻辑学实验教程》（南开大学出版社，2012年），《实验逻辑学》（南开大学出版社，2017年），《实验逻辑学》（第二版，南开大学出版社，2021年）并发表多篇数理逻辑高水平研究论文。