中国人民大学教授，博士生导师，中国逻辑学会副会长，美国斯坦福大学访问学者。