李娜
发布人:  发布时间:2017-03-23   动态浏览次数:264
 \

基本信息:

姓名: 李娜

性别:女

职称: 教授

职务:

工作地址:哲学楼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等奖。

学术活动(组织/参与)

 

个性化感言: