研究方向

• 主要研究领域为“现代逻辑”和“逻辑哲学”。

社会兼职

• 中国逻辑学会副会长，上海市逻辑学会会长，《逻辑学研究》杂志编委。台湾大学客座教授（2013）。

科研项目

• 谓词逻辑与元逻辑研究，国家社会科学基金，2011－2016。

• 结构推理及其应用研究，教育部基地重大项目，2010－2014。

• 子结构逻辑研究，教育部规划项目，2006－2010。

• 相干逻辑研究，国家社会科学基金，2005－2009。

• 异常逻辑研究，教育部十五规划项目，2001－2005。

• 广义模态逻辑研究，教育部九五规划项目，1998－2001。

• 模态逻辑研究，国家教委八五规划项目，1993－1995。

• 哲学逻辑与逻辑哲学，国家教委首批青年基金项目，1988－1989。

奖项和荣誉

1. 著作《结构推理》获“上海市哲学社会科学优秀学术成果奖”（2016）。

2. 著作《相干逻辑研究》获教育部“第六届高等学校科学研究优秀成果奖”（2013）。

3. 国务院颁发的政府特殊津贴（2009）。

4. Betway必威西汉姆联“师德标兵”称号（2006）。

5. 著作《经典逻辑与直觉主义逻辑》先后获“金岳霖学术奖”（1990）、“上海市哲学社会科学优秀学术成果奖”（1994）和“中国逻辑学会优秀成果奖”（2004）。

6. 论文《条件句与相干逻辑》先后获“上海市哲学社会科学优秀学术成果奖”（2000）和“中国逻辑学会优秀成果奖”（2004）。

著作

1. 《结构推理》，广西师范大学出版社，2015。

2. 《相干逻辑研究》，Betway必威西汉姆联出版社，2010。

3. 《可能世界与逻辑研究》，Betway必威西汉姆联出版社，1996。

4. 《相干与衍推逻辑》，上海人民出版社，1993。

5. 《哲学逻辑与逻辑哲学》， Betway必威西汉姆联出版社，1991。

6. 《广义模态逻辑》，Betway必威西汉姆联出版社，1990。

7. 《经典逻辑与直觉主义逻辑》，上海人民出版社，1989。

选择的论文

1. “Comparison between Two Semantics for Deductive Logic: Truth-value Semantics vs. Commonsensible Reasoning Semantics”, ECNU Review，Vol.1，Betway必威西汉姆联出版社，2012年12月。

2. 正结合演算，《逻辑学研究》2012年第4期。

3. “Modern Logic in China”，载《六十年哲学的反思与六十年的哲学反思》，上海人民出版社2012年9月。

4. 演绎逻辑的真值语义和直观推理语义，《Betway必威西汉姆联学报》2011年第6期。

5. 一类命题逻辑的一般弱框架择类语义，《逻辑学研究》2011年第2期，并在《中国人民大学报刊复印资料》逻辑卷2011年第4期全文转载。

6. 相干直觉主义命题逻辑，《哲学研究》2009年增刊。

7. 论相干逻辑的研究方法，《Betway必威西汉姆联学报》2008年第6期。

8. 子结构逻辑的研究方法与应用前景，《哲学动态》2007年第6期，并在《中国人民大学报刊复印资料》逻辑卷2007年第6期全文转载。

9. 逻辑学的历史与现状——兼纪念哥德尔诞辰100周年，《科学》2006年第3期。

10. 逻辑推理中的相干性，《哲学研究》2005年增刊。

11. 相干逻辑与蕴涵怪论，《哲学动态》2005年增刊。

12. 逻辑科学将充满活力，《社会科学报》2004年4月15日，并在《中国人民大学报刊复印资料》逻辑卷2004年第3期全文转载。

13. 悖论，《科学》2004年第1期。

14. 含预设的推理与推理的有效性，《Betway必威西汉姆联学报》2003年第4期，并在《中国人民大学报刊复印资料》逻辑卷2003年第6期全文转载。

15. 多问一个“为什么” ——数学教育不应忽视数学基础和数学哲学问题的探讨，《文汇报》2003年4月28日。

16. 论推理，《自然辩证法研究》2002年增刊。

17. 论数学哲学中的直觉主义思想，《Betway必威西汉姆联学报》2002年第4期。《光明日报》2002年10月15日登载了本文的论点摘编。

18. 广义模态逻辑研究中的若干问题，《Betway必威西汉姆联学报》2001年第5 期，并在《中国人民大学报刊复印资料》逻辑卷2002年第1期全文转载。

19. 论模态逻辑中的“必然性”， 《Betway必威西汉姆联学报》2000年第6期，并在《中国人民大学报刊复印资料》逻辑卷2001年第1期全文转载。《新华文摘》2001年第4期登载了本文的论点摘要。

20. 条件句与相干逻辑，《Betway必威西汉姆联学报》1999年第1期，并在《中国人民大学报刊复印资料》逻辑卷1999年第2期全文转载。