中国人民大学人文学院哲学系和宗教学系教授，博士生导师，系主任助理，逻辑教研室主任。兼任中山大学逻辑与认知研究所（教育部科研基地）兼职研究员，中国逻辑学会常务理事，中国逻辑学会形式逻辑专业委员会主任，中国逻辑学会现代逻辑专业委员会副主任，北京市逻辑学会副会长。主要讲授《逻辑学》、《数理逻辑》、《数理逻辑史》、《模态逻辑》、《专业外语》等课程。主要著作有《数理逻辑教程》、《智力大挑战》、《现代逻辑方法论》、《逻辑学》等。