第一章 类型逻辑语法 1
第一节 范畴思想概述 1
第二节 类型逻辑语法 4
第三节 范畴语法的历时发展 5
一、范畴语法早期 5
二、句法邂逅语义 12
三、后继发展 16
第四节 范畴语法与类型逻辑语法 17
第二章 类型逻辑系统 21
第一节 类型、逻辑与语法 21
第二节 公理表述 22
一、句法系统与公理表述 22
二、框架语义 24
三、可靠性和完全性 27
第三节 根岑表述 30
一、根岑表述 30
二、可判定性 31
三、公理表述与根岑表述等价 34
四、根岑表述的结构规则 37
五、根岑表述与自然语言推演 39
第四节 ND表述 40
一、ND表述 40
二、配以语义的ND表述 41
第五节 加标树模式表述 43
一、加标与树模式 43
二、加标树模式的演绎图示 47
第六节 小结 49
第三章 TLG与非连续现象 51
第一节 关注非连续现象 51
第二节 非连续现象与组合规则 52
一、广义布尔合取 52
二、右节点提升 53
三、非成分并列 54
四、语缺 55
五、汉语兼语句 57
第三节 照应现象与类型逻辑语法 59
一、词汇方法 59
二、早期的句法处理 65
三、后期的句法处理方法 65
第四节 LLC系统与照应省略 72
一、关系代词从句 73
二、量词与代词的交叉互指 74
三、VP回指 75
第四章 基于LLC的汉语分析 79
第一节 代词回指 79
一、人称代词 80
二、空代词 85
第二节 自己 88
一、“自己”作为反身代词 88
二、代词＋“自己” 91
三、“自己”的其他用法 95
第三节 扩展应用——非代词的回指 96
一、“是”字结构 96
二、“是”字结构与代词相互作用 97
三、更多推广 98
第四节 小结 104
第五章 LLCW’系统 107
第一节 基本设想 107
第二节 LLCW’系统 108
一、LLCW’的公理表述 109
二、LLCW’的根岑表述 118
三、LLCW’的ND表述及与根岑表述等价 127
四、LLCW’的加标树模式表述 130
第三节 LLCW’系统的特色 133
一、下标 133
二、照应假设的引入 134
第六章 基于LLCW’的汉语照应省略现象分析 139
第一节 空代词与话题 139
一、背景 139
二、空代词与话题的不对称 140
第二节 重动句 144
第三节 兼语句 146
一、兼语句的致使义 146
二、致使类兼语句 148
第四节 “NP1+VP1＋得＋NP2+C”型“得”字结构 150
第五节 非成分并列 154
一、英语中的非成分并列 154
二、汉语中的非成分并列 156
结论与展望 159
致谢 161
参考文献 164
术语对照表 175