个人简介
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.独撰：《数理逻辑实验教程》，武汉大学出版社，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年，荣获宝钢优秀教师奖。
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
直觉主义真与可知性悖论
来源：哲学动态( P 1002-8862 E ) 发表时间: 2019/02
论集合论的模型
来源：逻辑学研究( P 1674-3202 E ) 发表时间: 2019/02
现代教育技术在“数理逻辑”课程中的应用
来源：中国大学教学( P 1005-0450 E ) 发表时间: 2018/12
直觉主义解决集合论悖论的方案
来源：自然辩证法通讯( P 1000-0763 E ) 发表时间: 2018/09
直觉主义逻辑上的Friedman-Sheard理论
来源：逻辑学研究( P 1674-3202 E ) 发表时间: 2018/06
紧缩论和公理化真理论的匹配性问题研究
来源：湖南科技大学学报(社会科学版)( P 1672-7835 E ) 发表时间: 2018/03
一种处理集合论悖论的新方法
来源：哲学动态( P 1002-8862 E ) 发表时间: 2017/11
一种模糊集合论的公理化方法
2017 - 李娜，杨帆 - 《重庆理工大学学报:社会科学》
公理化真理论的巩固与扩展
2017 - 李娜，孙新会 - 《天津大学学报:社会科学版》
国外博弈逻辑研究述评
来源：贵州民族大学学报(哲学社会科学版)( P 1003-6644 E ) 发表时间: 2017/10
满模拟下的一些保持性
2016 - 李娜 - 《贵州民族大学学报:哲学社会科学版》
紧缩真理论的多元化发展
2016 - 李娜，孙新会 - 《重庆理工大学学报:社会科学》
京公网安备 11010802027423号