| 约翰·范本特姆，当代世界著名逻辑学家。阿姆斯特丹大学的大学教授、斯坦福大学哲学教授，兼任中山大学客座教授。荷兰皇家艺术与科学院、欧洲科学院和国际哲学院院士，多个杂志编辑。撰写了约300篇论文和6部专著。主编了4部具有权威性的逻辑手册。由于他的卓越成就，荷兰政府于1996年授予他斯宾诺莎奖。 |
| 丛书序译者序引论第1部分 自然语言和形式语言中的量词1 量词问题2 语义自动机3 多元量词4 类型世界中的量词第2部分 范畴语法与证明论5 范畴语法和λ-演算6 兰贝克演算7 语义类型变换和语法识别8 范畴语法和类型论9 处于十字路口的范畴语法10 自然语言的范畴微细结构第3部分 计算与认知11 走向一种计算语义学12 意义：解释与推理13 自然逻辑简史14 自然语言和计算中的语义平行问题15 作为会话的计算16 “彰显价值的博弈”：逻辑、语言与多主体互动17 相互作用下的认知附录附录一 英-汉专业术语对照表附录二 英-汉人名对照表 |
内容加载中，请稍后...
商品评论（0条）