李娜[南開大學哲學院教授]

李娜，女，南開大學哲學院教授。1978年2月入河南大學數學系讀本科，後獲理學學士學位，1989年7月獲中國科學院軟體研究所理學碩士學位。

人物經歷

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