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