引论 1
第1部分 自然语言和形式语言中的量词 10
1量词问题 10
2语义自动机 37
3多元量词 60
4类型世界中的量词 85
第2部分 范畴语法与证明论 102
5范畴语法和λ-演算 102
6兰贝克演算 122
7语义类型变换和语法识别 149
8范畴语法和类型论 165
9处于十字路口的范畴语法 206
10自然语言的范畴微细结构 225
第3部分 计算与认知 253
11走向一种计算语义学 253
12意义：解释与推理 286
13自然逻辑简史 302
14自然语言和计算中的语义平行问题 320
15作为会话的计算 365
16“彰显价值的博弈”：逻辑、语言与多主体互动 391
17相互作用下的认知 402
附录 416
附录一 英-汉专业术语对照表 416
附录二 英-汉人名对照表 425