碧泉书院博士生导师，1953年7月出生于四川省成都市。中国社会科学院研究生院哲学博士。现任中国社会科学院创新工程首席研究员，哲学所逻辑室主任，所学术委员会委员和职称评审委员会委员，国务院政府特殊津贴专家，国家社科基金评审专家，教育部战略规划课题专家组成员，国家社科基金重大招标课题“自然语言信息处理的逻辑语义学研究”（2011—2015）首席专家，中国逻辑学会第九届理事会会长。曾任浙江大学兼职教授、中山大学和西南大学的兼职研究员。现任湘潭大学****，燕山大学和四川师范大学的客座教授。专著《逻辑、语言和蒙太格语法》获2000年金岳霖学术奖。专著《自然语言逻辑研究》获2001年中国社科院哲学所科研成果一等奖和2002年中国社科院优秀科研成果二等奖。专著《逻辑、语言和信息》获2004年中国逻辑学会2004年第一届优秀科研成果最高奖。论文《多模态范畴逻辑研究》（《哲学研究》2006年第9期）获中国逻辑学会2008年第二届优秀科研成果最高奖。专著《范畴类型逻辑》获2012年中国社会科学院哲学所第八届优秀科研成果奖专著类一等奖。多年来主持或参加国家社科基金课题、国家自然科学基金课题、教育部和中国社科院的科研项目共计18项。