逻辑、语言和认知PDF电子书下载

引论 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