李娜

1983年起在河南大學政治系工作，1994年—2000年任河南大學政治系副教授，2000年任教授。2002年1月調入南開大學哲學系工作。一直從事現代邏輯的教學與研究。

數理邏輯、模態邏輯、集合論、抽象代數

1．專著《數理邏輯的思想與方法》，南開大學出版社，2006年。

2．專著《集合論含有原子的自然模型和布爾值模型》，北京師範大學出版社，2011年。

3．專著《反基礎公理的邏輯研究》，中國社會科學出版社，2016年。

4．論文《GB的布爾值模型》，科學通報，1990年第1期。

1．《邏輯學導論》，武漢大學出版社，2010.6。

2．《數理邏輯實驗教程》，武漢大學出版社，2010.10。

3．《數理邏輯的思想與方法》，南開大學出版社，2012。

4．《邏輯學實驗教程》，南開大學出版社，2012。

5．《模態邏輯》，南開大學出版社，2015。

6．《實驗邏輯學》，南開大學出版社，2015 。

《GB的布爾值模型》（《科學通報》，1990年第1期）。

《有真類的力迫》（《數學季刊》，1996年第4期）。

《關於模態命題邏輯的一種布爾值模型》（《南京大學學報數學半年刊》，2001年5月）等。

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