范畴类型逻辑是当代自然语言逻辑中的一个重要分支，其使用逻辑学中的方法，甚至数学中的方法为自然语言问 题的解决提供一条形式化的解决路径。当下范畴类型逻辑中主要有传统的范畴类型逻辑、多模态的范畴类型逻辑、对称范畴语法三个分支，其中传统的范畴类型逻辑 是在不结合的兰贝克演算的基础上通过添加算子或者结构假设的方式而获得的一个范畴类型逻辑分支；本书将从汉语反身代词回指照应问题出发，以具体的语言学问 题为基础，通过构造三类不同范畴类型逻辑对这一问题的解决方案，说明三者之间的区别和联系，特别是在处理语言学问题上的优缺点。 

贾青，河北沧州人，哲学博士。2008年毕业于燕山大学获哲学硕士学位；2008年毕业于中国人民大学获哲学博士学位；同年进入中国社会科学院哲学研究所从事博士后研究。现为中国社会科学院哲学研究所逻辑学研究室助理研究员。研究方向为范畴类型逻辑。