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年)。