导论 1
0.1自然语言的逻辑语义学 1
0.2逻辑语义学研究概述 5
0.3本书研究内容简述 12
参考文献 18
第一编 逻辑语义学研究概论 21
1逻辑语义学——自然语言的逻辑研究 21
1.1作为形式符号系统的自然语言 21
1.2自然语言的组合性 25
1.3逻辑语义和自然语言语义 30
1.4逻辑语义学的研究方向 48
2面向自然语言信息处理的逻辑语义学 58
2.1自然语言的计算 58
2.2部分语句系统的计算思想 61
2.3范畴语法CG的计算思想 63
2.4句法语义并行推演的计算思想 68
2.5结束语 71
参考文献 72
第二编 逻辑语义学的重要理论——范畴类型逻辑CTL 80
第一部分 范畴类型逻辑CTL梳理 80
3CTL的发展历程 80
3.1AB演算 80
3.2兰贝克的句法演算 82
3.3蒙太格的语义分析 83
3.4新近的发展方向 86
4CTL的主要理论 90
4.1传统的CTL——结合的兰贝克演算 90
4.2多模态的CTL 99
4.3对称范畴语法 102
5CTL的其他分支 123
5.1完全的兰贝克演算 123
5.2加一元算子的CTL 132
5.3准群语法与抽象的CTL 134
6CTL的类型语义学：兰贝克演算匹配λ词项 138
6.1从经典命题逻辑到兰贝克演算 138
6.2λ演算 144
6.3哈里-霍华德对应 147
6.4匹配λ词项的兰贝克演算树模式ND表述 159
第二部分 范畴类型逻辑CTL应用于汉语的研究 162
7传统CTL对汉语反身代词的研究 162
7.1带受限缩并规则的兰贝克演算LLC 162
7.2前后搜索的（Bi）LLC系统 171
7.3语言学中的应用 181
8汉语照应省略的范畴逻辑分析 183
8.1引言 183
8.2LLC系统与汉语照应省略 185
8.3LLC系统与空代词 189
8.4LLCW′系统 196
8.5LLCW′系统的特色及语言学检验 222
8.6结束语 227
9基于多分法的CTL 229
9.1多分法的逻辑学依据 230
9.2多分法的语言学依据 235
9.3基于多分法的CTL系统 246
9.4匹配λ项的工作 253
9.5结束语 256
参考文献 258
第三编 逻辑语义学的重要应用——组合范畴语法CCG 264
第一部分 组合范畴语法CCG梳理 264
10组合范畴语法CCG综述 264
10.1引言 264
10.2AB演算的缺陷 268
10.3原生态CCG 272
10.4多模态CCG 285
10.5组合范畴语法与范畴类型逻辑之联系 294
11CCG的计算语言学价值与CCG树库 317
11.1CCG的计算语言学价值 317
11.2英语CCG树库 318
11.3汉语CCG树库 343
12CCG处理自然语言存在的困难和问题 349
12.1CCG处理自然语言的局限 349
12.2使用CCG分析自然语言语义面临的困境 358
12.3添加CCG句法分析树缺失的语义表述存在的困难 361
第二部分 组合范畴语法CCG研究 367
13CCG对汉语非连续结构的处理 367
13.1概述 367
13.2CCG对汉语NCC结构的处理 371
13.3CCG对汉语话题句的处理 374
13.4汉语连动句和复杂谓词并列结构的处理尝试 378
14组合范畴语法对汉语形容词谓语句的处理 381
14.1汉语形容词谓语句的定义和分类 381
14.2汉语光杆形容词谓语句的组合范畴语法分析 381
14.3汉语复杂形容词谓语句的组合范畴语法分析 383
15组合范畴语法对汉语主谓谓语句的处理 389
15.1汉语主谓谓语句的语法结构及语法特征 389
15.2汉语主谓谓语句的组合范畴语法分析 389
第三部分 汉语CCG研究的计算机实现（汉语CCGbank的构建） 398
16组合范畴语法的计算语言学价值 398
16.1面向大规模自然语言处理的形式文法综述 398
16.2CCG适用于计算语言学的特性 402
16.3CCG的应用 412
17汉语CCG研究 420
17.1范畴的构造与组合规则 420
17.2与名词短语相关的范畴分析 425
17.3与动词相关的范畴分析 428
17.4标点与并列的范畴分析 435
17.5句子层面的范畴分析 439
18从宾州汉语树库转汉语CCGbank 444
18.1介绍 444
18.2汉语CCGbank转换系统的架构与设计 450
18.3汉语CCGbank核心转换算法 457
18.4汉语CCGbank的统计与分析 475
参考文献 478
附录1 宾州汉语树库（PCTB）的标签集 485
A1.1词性标签Part-Of-Speech tags（33） 485
A1.2句法标记（23） 486
附录2 “的”在汉语CCGbank中的范畴 488
汉英术语、人名对照表 491