中國社會科學(xué)院哲學(xué)研究所研究員,中國邏輯學(xué)會會長,主要研究方向包括邏輯學(xué)、分析哲學(xué)和科學(xué)哲學(xué),在相關(guān)領(lǐng)域有重要學(xué)術(shù)貢獻。