人物經歷
1995/9~1997/6 南京大學哲學系邏輯學專業碩士研究生;
1997/9~2000/6 中國社會科學院研究生院邏輯學專業博士研究生;
2000/9~2006/5 南京大學哲學系副教授;
2006/6~2010/10 南京大學哲學系教授。
2010/10~今 中國社會科學院研究員,博士生導師。
江蘇省盱眙縣人,二級教授,博士生導師,享受國務院政府特殊津貼專家(2018年)。中國邏輯學會秘書長,金岳霖學術基金會秘書長,中國邏輯學會套用邏輯專業委員會主任,中國人工智慧學會可拓工程專業委員會常務理事,學術委員會委員,中國計算機學會多值邏輯與智慧型邏輯專業委員會委員。
主要貢獻
一、著作類
1.真的歷程 獨 著 中國社會科學出版社2003年11月;
2.經典邏輯與非經典邏輯基礎 獨 著 高等教育出版社2006年7月,
教育部推薦研究生教學用書;
3.圖形世界探秘 獨 著 東南大學出版社2006年12月;
4.邏輯·科學·創新 副主編 吉林人民出版社2002年12月版。
二、論文類
1.可拓策略存在性 哈爾濱工業大學學報(自然科學版)2006年第7期(EI收錄)
2.顯示法證明分析 哲學研究2004年第6期
3.單獨函項完全的運算元 哲學研究2000年第6期
4.論作為跨界謂詞的存在 哲學研究1997年第2期
5.歸謬法和反證法的現代分析 自然辯證法研究2005年第3期
6.先秦名辯為何成絕學 中國文化月刊(台灣)2001年第8期總第257期
7.金岳霖對邏輯學的貢獻 哲學與文化(台灣)2000年第7期
8.現代邏輯與哲學研究 鵝湖(台灣)1998年第8期
三、主持的主要研究項目
“多值邏輯函式完全性研究”(國家社會科學基金青年項目,2002年),
“不協調理論的推理機制研究”(國家社會科學基金一般項目,2010年),
“面向矛盾信息的邏輯研究”(中國社會科學院青年科研啟動基金A類項目,2011年),
“提高國民邏輯素質的理論和實踐探索研究”(國家社會科學基金重點項目,2013年),
“套用邏輯與邏輯套用研究”(國家社會科學基金重大招標項目,2014年)。
獲獎記錄
2005年8月獲金岳霖學術獎;2010年,獲“金岳霖學術獎”二等獎,2012年,獲中國邏輯學會優秀成果二等獎。