李娜

基本信息：

姓名： 李娜

性别：女

职称： 教授

职务：

工作地址：哲学楼406

邮编：300350

办公电话： 23500958

电子邮件：linawii@nankai.edu.cn

接待时间：每周2/4上午10:00

个人简历：

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

教学情况：                                                              

（一）本科生课程：

（二）研究生课程：
数理逻辑、模态逻辑、集合论、抽象代数

科研情况：                                                       

（一）研究领域：
现代逻辑

（二）学术专著和论文简况：
1．专著《数理逻辑的思想与方法》，南开大学出版社，2006年。
2．专著《集合论含有原子的自然模型和布尔值模型》，北京师范大学出版社，2011年。
3．专著《反基础公理的逻辑研究》，中国社会科学出版社，2016年。
4．论文《GB的布尔值模型》，科学通报，1990年第1期。
（链接：http://csb.scichina.com:8080/CN/volumn/volumn_579.shtml#）

 
（三）出版教材：
1．《逻辑学导论》，武汉大学出版社，2010.6
2．《数理逻辑实验教程》，武汉大学出版社，2010.10
3．《数理逻辑的思想与方法》，南开大学出版社，2012
4．《逻辑学实验教程》，南开大学出版社，2012
5．《模态逻辑》，南开大学出版社，2015
6．《实验逻辑学》，南开大学出版社，2015

（四）科研项目：

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等奖。