姓名：李娜  
　　
　　职称：教授

　　职务：
　　 
　　所在教研室：逻辑学

　　研究领域：现代逻辑

　　个人简况：1978年2月入河南大学数学系读本科，后获理学学士学位，1989年7月获中国科学院软件研究所理学硕士学位。1983年起在河南大学政治系工作，1994年—2000年任河南大学政治系副教授，2000年任教授。2002年1月调入南开大学哲学系工作。一直从事现代逻辑的教学与研究。
　　 
　　主讲课程：数理逻辑、模态逻辑、集合论、抽象代数
　　 
　　主要著述：
　　 
　　著作：
　　《现代逻辑的方法》（河南大学出版社1997年版）。
　　
　　《现代逻辑若干问题研究》（河南大学出版社2000年版）。
　　
　　《数理逻辑的思想与方法》（南开大学出版社2006年版）。
　　
　　论文：
　　
　　《GB的布尔值模型》（《科学通报》，1990年第1期），
　　
　　《有真类的力迫》（《数学季刊》，1996年第4期），
　　
　　《关于模态命题逻辑的一种布尔值模型》（《南京大学学报数学半年刊》，2001年5月）等。
　　 
　　获奖情况：金岳霖学术三等奖奖（逻辑学科）
　　 
　　参与项目：
　　 
　　1．主持并完成了国家社科基金1996年度青年项目“现代逻辑中若干重大理论问题的逻辑分析”。
　　
　　2．主持并完成了天津市2004年度社科规划项目“面向哲学的逻辑学研究”。
　　
　　3．主持国家社科基金2004年度一般项目“无穷长语言的模型及可满足问题研究”。