研究領域
邏輯學、分析哲學
個人著作
《邏輯哲學引論》、《蒯因》、《馮·賴特》、《奎因哲學研究——從邏輯和語言的觀點看》、《愛默生》、《邏輯哲學導論》、《邏輯學是什麼》、《邏輯學導論》、《邏輯哲學》、《邏輯學十五講》等,
主編
《分析哲學——回顧與反省》、《邏輯學讀本》、《邏輯與語言——分析哲學經典文選》(合編)、《意義、真理與行動——實用主義經典文選》(合編)、《蒯因著作集》(合編)、《當代西方學術名著?哲學系列》(合編)等。
主譯
《哲學百年-新近哲學家》、《知識之樹》、《證據與探究——走向認識論的重構》、《當代語言哲學導論》、《簡明邏輯學導論》等。
科研項目
當代西方語言哲學研究,國家社科基金重點項目
對克里普克語言哲學的系統性質疑和對一種新理論的建構,教育部重點項目
西方邏輯史研究,教育部一般項目
人物成就
2018年8月,當選國際哲學學院院士。