绪论

第一章 范畴类型逻辑的发展阶段

第1节 古典范畴语法

1.1 范畴和运算

1.2 形式化表述

1.3 古典范畴语法的变异一

 第2节 Lambek句法演算

2.1 运算即推演

2.2 形式系统

 第3节 蒙太格语法

3.1 范畴语法的独特形态

3.2 通用语法模式

3.3 直接和间接的语义解释

 第4节 类型-逻辑语义学

4.1 句法和语义的综合表述

4.2 后承演绎图式和自然演绎系统

4.3 关于量化表达式的处理

 第5节 语法逻辑

5.1 公理系统

5.2 框架语义学

5.3 GentZen后承表述

5.4 合并或交织的多模态系统

第二章 范畴类型逻辑的特性——逻辑的新功能

 第1节 范畴类型逻辑的自然语言语句系统

1.1 蒙太格语法的语句系统

1.2 类型-逻辑语义学的语句系统

 第2节 范畴类型逻辑和自然语言的计算机处理

2.1 基于范畴类型逻辑的逻辑程序语言

2.2 基于范畴类型逻辑的语法自动分析

 第3节 范畴类型逻辑的逻辑系统

3.1 Lambek演算对判定问题的解决

3.2 对应λ-词项的完全性证明

3.3 展示自然语言句法生成的语法逻辑

3.4 表现自然语言语义的高阶内涵逻辑

 第4节 逻辑的新功能——关于自然语言的逻辑系统

4.1 源于语言照应关系的动态逻辑

4.2 用于语法分析的特征结构逻辑

4.3 基于情境关联的信息流逻辑

第三章 范畴类型逻辑研究

 第1节 非连续量词的类型-逻辑语义处理

 第2节 有关汉语灵活语序的多模态范畴逻辑

 第3节 融合特征结构的范畴类型推演

 第4节 处理照应关系的范畴类型推演

参考文献

后记

本书是“哲学宗教研究系列”之一，该书分范畴类型逻辑的发展阶段、范畴类型逻辑的特性及范畴类型逻辑研究3个章节，对范畴类型逻辑作了系统全面的介绍，具体包括Lambek句法演算、蒙太格语法、范畴类型逻辑的自然语言语句系统、基于范畴类型逻辑的语法自动分析、有关汉语灵活语序的多模态范畴逻辑等。该书可供从事相关工作的人员作为参考用书使用。