李娜 （南开大学哲学院教授）

人物经历

1983年起在河南大学政治系工作，1994年—2000年任河南大学政治系副教授，2000年任教授。2002年1月调入南开大学哲学系工作。一直从事现代逻辑的教学与研究。

主讲课程

数理逻辑、模态逻辑、集合论、抽象代数

主要贡献

主要著述

1．专著《数理逻辑的思想与方法》，南开大学出版社，2006年。

2．专著《集合论含有原子的自然模型和布尔值模型》，北京师范大学出版社，2011年。

3．专著《反基础公理的逻辑研究》，中国社会科学出版社，2016年。

4．论文《GB的布尔值模型》，科学通报，1990年第1期。

出版教材

1．《逻辑学导论》，武汉大学出版社，2010.6。

2．《数理逻辑实验教程》，武汉大学出版社，2010.10。

3．《数理逻辑的思想与方法》，南开大学出版社，2012。

4．《逻辑学实验教程》，南开大学出版社，2012。

5．《模态逻辑》，南开大学出版社，2015。

6．《实验逻辑学》，南开大学出版社，2015 。

论文

《GB的布尔值模型》（《科学通报》，1990年第1期）。

《有真类的力迫》（《数学季刊》，1996年第4期）。

《关于模态命题逻辑的一种布尔值模型》（《南京大学学报数学半年刊》，2001年5月）等。

参与项目

1.主持并完成1996年度全国哲学规划办项目：现代逻辑中若干重大理论问题的逻辑分析。

2.主持并完成2005年度全国哲学规划办项目：无穷长语言的模型及可满足问题研究优秀，鉴定等级：优秀。

3.主持并完成2008年度全国哲学规划办项目：超集、双仿以及在模态逻辑、计算机科学中的作用研究，鉴定等级：良好。

4.主持2012年度全国哲学规划办项目：公理化真理论研究 在研。

5.主持并完成2004年度天津市社科规划办项目：面向哲学的逻辑学研究 鉴定等级：A。

6.主持并完成2012年度天津市社科规划办项目：基于反基础公理AFA的解悖方法及应用研究 鉴定等级：A。

7.主持并完成2006年度教育部哲学规划办项目：弗协调逻辑研究 已结项。

获奖记录

1．2008年获天津市第十一届社会科学优秀成果3等奖；

2008年获中国逻辑学会第二届优秀教材奖。

2．2009年获教育部高校科学研究优秀成果3等奖；

2009年获南开大学教学成果2等奖。

3．2010年专著《集合论含有原子的自然模型和布尔值模型》入选国家哲学社会科学成果文库；

4．2010获金岳霖学术奖1等奖。

5．2012获南开大学教学成果1等奖。

6．2013年获南开大学名师奖；

2013年获天津市第十三届社会科学优秀成果2等奖。

7．2015年专著《反基础公理的逻辑研究》入选国家哲学社会科学成果文库；

2015年专著《集合论含有原子的自然模型和布尔值模型》获教育部高校科学研究优秀成果2等奖。

2021年10月，入选第十三届“高校辅导员年度人物”候选人公示名单。