哲学院《实验逻辑学》入选首批国家级一流本科线下课程

根据《教育部关于一流本科课程建设的实施意见》（教高〔2019〕8号）、《关于开展2019年国家精品在线开放课程认定工作的通知》（教高司函〔2019〕32号）、《关于开展2019年度国家虚拟仿真实验教学项目认定工作的通知》（教高司函〔2019〕33号）和《关于开展2019年线下、线上线下混合式、社会实践国家级一流本科课程认定工作的通知》（教高厅函〔2019〕44号）的有关要求，经各省级教育行政部门和高校申报推荐，教育部组织网络评审和会议评审，我院《实验逻辑学》入选首批国家级一流本科线下课程。

授课教师介绍：李娜

1978年2月入河南大学数学系读本科，后获理学学士学位，1989年7月获中国科学院软件研究所理学硕士学位。1983年起在河南大学政治系工作，1994年—2000年任河南大学政治系副教授，2000年任教授。2002年1月调入南开大学哲学系工作。一直从事现代逻辑的教学与研究。

每年承担本科生的《实验逻辑学》和《公理化集合论》课程；承担硕士研究生的《一阶逻辑》和《集合论》课程；承担博士研究生的《现代逻辑专题（二）》《数理逻辑研究》《模态逻辑研究》《集合论研究》等课程。每年的实际教学工作量在400学时以上。同时还指导本科生、硕士研究生和博士研究生的毕业论文。2007年主持建立国内第一个逻辑推理实验室的工作，2015年，主持在新校区重建工作。

论文“现代教育技术在《数理逻辑》课程中的应用”发表在《中国大学教学》2018年第12期。独立撰写教材3部（《模态逻辑》2015，《数理逻辑的思想与方法》（入选“十二五”普通高等教育本科国家级教材）2016，《实验逻辑学》2017，均有南开大学出版社出版）；参加编写马工程教材《逻辑学》第四章。

主持教学改革项目“《数理逻辑》课程的教育技术现代的应用研究”，2017年获南开大学优秀教学成果一等奖（第1名），2018年获第八届高等教育天津市级教学成果奖二等奖（第1名）。2017年获南开大学“宁一弘道奖教金‘魅力教师’”光荣称号。

课程介绍：《实验逻辑学》

本课程以讲授+操作为主，利用所建的现代实验教学平台“逻辑推理实验室”（国内唯一），让逻辑学专业的学生上机操作由世界著名逻辑学家巴维斯的Languane Proof and Logic一书所附的美国斯坦福大学多位编程人员研究开发并经过不断改进而成的一套专门用于数理逻辑学习的计算机程序软件LPL以及在线逻辑学习软件TPG，从而激发了学生学习《数理逻辑》课程的兴趣，熟练掌握了数理逻辑中的方法，理解了数理逻辑中抽象的思想和概念，从而提升了学生的综合能力。

本课程的特色及教学改革创新点

（1）由于本课程讲授和学习的内容之一是使用逻辑学习软件Fitch 3.2进行逻辑定理的机器证明，因此本课程的教学内容具有前沿性和时代性。

（2）本课程在讲授和学习时，利用互联网、多媒体、慕课视频（线上）、计算机和软件等这些现代教育的技术和手段，从而体现了教学形式的先进性。

（3）由于在课程学习过程中，学生们不仅能够通过计算机的操作，熟练掌握教材上的内容，而且还能展现与教材上不同的结果、给出创新的工作。从而增加了教师与学生，学生与学生的互动性，也体现出了学习结果的探究性和个性化。

李娜教授《实验逻辑学》慕课链接：

https://coursehome.zhihuishu.com/courseHome/2069956#teachTeam

文案：王琴

排版：常俊丽

审核：田佳佳

编辑：刘心一

哲学院融媒体中心 宣