中国社会科学出版社，2008年1月，255千字。

全书分为3章。第1章从历史的纵向角度审视，范畴类型逻辑的发展阶段分为：古典范畴语法; Lambek句法演算；蒙太格语法；类型—逻辑语义学和语法逻辑。古典范畴语法通过范畴的运算来刻画语言符号串由小到大逐层逐级的生成毗连；Lambek句法演算的做法是用范畴构成一个形式系统，用定理推演来表示范畴的运算规律；蒙太格语法的句法规则在范畴语法的基础上展现自然语言自身的生成，并通过句法范畴和逻辑类型的对应，建立了自然语言的形式语义理论；类型—逻辑语义学通过句法范畴和l-词项的并行推演，构成展示自然语言句法语义特征的后承演绎模式和自然演绎系统；语法逻辑的特色是把函子范畴和毗连的范畴当做二元模态公式，在范畴类型逻辑领域内开辟了模态逻辑的发展方向。第2章从理论的横向角度剖析，范畴类型逻辑有两大内容：一是基于自然语言句法层面范畴运算推演规律的语句系统，其直接的语义解释建立在集合论基础上，其间接的语义解释依赖高阶内涵逻辑或简单类型l-演算。二是基于自然语言句法层面的范畴运算推演规律可以构建新的范畴逻辑的多模态系统。第3章是作者关于改进范畴类型逻辑工具的思考，分为四个方面：关注自然语言中在句法层面是非连续的而在语义层面又是整体性的情况；关注汉语的灵活语序问题；关注汉语生成的语言认知特点；结合上下文的范畴类型推演是一个新领域，以汉语的主题句和焦点句为例开始进行这方面的工作。

（刘新文）

（原载《中国哲学年鉴２００９》，录入编辑：乾乾）