李娜

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

1978.02-1981.12  河南大学数学系数学专业，获理学学士学位

1982.02-1983.01  华中工学院哲学所，进修现代逻辑

1986.09-1989.07  中国科学院软件研究所数理逻辑室，获理学硕士学位

1982.01-1982.12  河南信阳师范学院数学系代数教研室，助教

1983.01-2001.12  河南大学政治系逻辑教研室助教、讲师、副教授、教授

2002.01-至今     南开大学哲学院逻辑教研室教授

（一）本科生课程

实验逻辑学、公理集合论

（二）研究生课程

一阶逻辑、集合论、实验逻辑学、数理逻辑研究、模态逻辑研究、集合论研究

（三）研究生名单

硕士生：苏海舰

博士生：叶发扬

【科研成果代表作】

（一）学术专著

1.  独著：《反基础公理的逻辑研究》，社会科学出版社，2016年3月出版，30万字。（国家社科基金项目研究成果）

2.  独著《集合论的含有原子的自然模型和布尔值模型》， 北京师范大学出版社2011年3月出版，18万字（国家社科基金项目研究成果）

3.  独著《数理逻辑的思想与方法》，南开大学出版社，2006年出版，30万字

（二）学术论文

1.独撰：《GB的布尔值模型》，《科学通报》，1990年第1期。

（三）学术翻译

无。

（四）学术出版物

1.独撰：《数理逻辑实验教程》，武汉大学出版社，2010年。

2.独撰：《逻辑学实验教程》，南开大学出版社，2012年。

3.独撰：《实验逻辑学》，南开大学出版社，2017年。

4.独撰：《实验逻辑学》第二版，南开大学出版社，2021年。

（五）其他

【科研项目】

1.  主持天津市教委重大项目“逻辑教学现代化与新文科建设”，在研。

2.  主持南开大学文科发展基金项目“逻辑定理机器证明系统” ，在研。

3.  主持国家社科办重大项目“面向自然语言理解的逻辑建构和符号接地问题的哲学、心理学研究”子课题——自然语言的预设、语境和语义模糊性的逻辑研究，在研。

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

8.2018年，荣获天津市有突出贡献专家称号。

9.2021年，荣获宝钢优秀教师奖。