本书首先将范畴语法和话语表现理论两大框架合并在一起，诠释了逻辑语义学的组合原则，然后梳理了具有动态特征、遵循组合性的动态谓词逻辑、动态蒙太格语法、范畴语法与话语表现理论结合的逻辑语义学系统，最后援引语义库PMB中的内容，解释英语和汉语的语言学现象和问题。
本书适合逻辑学、语言学等专业的高校师生及相关科研人员参考。

序
前言
常用缩写一览表
第一章 预备知识
第一节 简单类型论
一、简单类型论的起源
二、简单类型论简介
第二节 范畴语法
一、范畴语法的起源
二、范畴语法简介
三、组合范畴语法简介
第三节 标准话语表现理论
一、话语表现理论中自然语言的生成句法
二、话语表现理论的语义部分—话语表现结构DRS
三、话语表现理论的语义部分—DRS的语义模型
第四节 λ-演算
一、α-转换
二、β-转换
三、η-转换
第二章 从话语表现理论看组合性问题
第一节 组合原则的界定及简单梳理
一、组合原则的界定
二、组合性的历史
三、组合原则的争议
第二节 逻辑语义学的组合性问题的缘起
第三节 标准话语表现理论中的组合性问题
一、标准话语表现理论的产生与非组合性定位
二、标准话语表现理论句法构造的非组合性特征
三、标准话语表现理论语义方面的组合性问题
第四节 两种研究进路及“中庸之道”
一、吸收动态性的经典组合性系统
二、吸收组合性的话语表现理论系统
三、“中庸之道”—合并两大语义框架
第三章 吸收动态性的经典组合性系统
第一节 吸收动态性而弃用DRS的组合性系统
一、动态谓词逻辑方案
二、动态蒙太格语法方案
三、替代性方案总结
第二节 保留话语表现结构且遵循组合性的典型方案
一、缪斯肯斯1994年的工作
二、缪斯肯斯1996年的工作
第三节 方案回顾与展望
第四章 吸收组合性的话语表现理论语义框架
第一节 齐瓦特方案
一、重述DRS构造
二、一个英语片段
第二节 实用方案
一、博斯等采用的λ-话语表现理论
二、科尔哈赛等的工作
第三节 范·艾克和坎普方案
一、改造句法与语义系统
二、一个英语片段
第四节 其他成果及小结
第五章 范畴语法与话语表现理论结合的原型
第一节 改造标准话语表现理论原有的自然语言句法系统
一、范畴语法思想
二、兰贝克演算：自然语言句法
第二节 句法语义并行推演：简约话语表现理论作为语义层
一、从兰贝克演算到类型逻辑
二、从类型逻辑到双指针投射话语表现理论
三、兰贝克证明与投射话语表现理论并行推演
四、适用于动词省略现象的投射话语表现理论
第三节 一个简单的应用
第四节 方案回顾与总结
一、话语表现理论组合性问题得以解决
二、省略与回指之间存在类似的机制与处理方法
三、动态性与组合原则之间存在互动
第六章 组合范畴语法与投射话语表现理论结合的系统
第一节 PMB中所使用的DRS说明
一、简单DRS条件
二、简单DRS的几个应用
三、复杂DRS条件
四、投射DRS条件
第二节 语义角色标注的标准刻画及事件、时间概念的简介
一、语义角色标注的标准刻画
二、事件和时间间隔概念简介
第三节 组合范畴语法和投射话语表现理论的平行推演
一、量化问题的刻画
二、回指照应现象的刻画
三、含预设成分的刻画
四、其他现象的刻画
第四节 方案特色与展望
一、方案特色：逻辑与自然语言信息处理的交叉互动
二、后续展望
参考文献
后记

当下中美之间竞争愈演
愈烈，前一阶段报出的芯片
问题揭示出我国某些领域原
创性不足，敲响了本土“智
造”的警钟。究其根本原因
，还是我国基础理论研究水
平不高。拿程序语言来说，
《编译原理》（2003）第
一章提到，世界上有数千种
编程语言，而我国原创的却
寥寥无几。我们不缺程序员
，缺少的是计算科学家，缺
少的是潜心研究基础计算理
论和计算科学的学者。值得
欣慰的是，国家、社会都在
提倡工匠精神，鼓励基础学
科建设。2018年4月，在清
华大学“金岳霖逻辑学讲席
教授团组授聘典礼”上，图
灵奖获得者，受杨振宁教授
邀请回国工作的姚期智教授
尤其强调逻辑学对人工智能
和计算科学的重要作用，且
不论作为基础性学科的逻辑
学如何重要，单就清华大学
聘请范·本特姆（Johan van
Benthem，又称范丙申，斯
坦福大学斯图尔特教授、阿
姆斯特丹大学教授、荷兰皇
家科学院院士、美国科学院
院士、欧洲科学院院士、国
际哲学学院院士，1996年
获荷兰国家级斯宾诺莎奖—
—荷兰自然科学和社会科学
领域的最高奖项）、塞利格
曼（Jeremy Seligman，又
称谢立民，奥克兰大学副教
授，清华大学伟伦特聘教授
，信息流逻辑和混合逻辑的
创始人之一，担任《澳大拉
西亚逻辑学杂志》等多个杂
志的主编）、斯托克霍夫（
Martin Stokhof，又称司马
亭，阿姆斯特丹大学教授、
荷兰皇家科学院院士，欧洲
研究基金委副主席，荷兰皇
家科学院与荷兰科学基金委
“中国委员会”主席）、韦斯
特斯达（Dagwestersathl，
又称魏达格，瑞典斯德哥尔
摩大学教授、瑞典皇家科学
院院士，国际科学史和科学
哲学学会逻辑学、方法论和
哲学委员会秘书长，瑞典逻
辑学、方法论与科学哲学委
员会主席）这四位国外逻辑
学领域顶尖学者来说，足见
清华大学重视文科建设、基
础理论研究，注重培养文理
汇通的精神（温才妃，
2018）。不论是芯片问题
还是人工智能研发，都必须
重视逻辑学、数学等基础学
科建设。
当今是“大数据”和“人工
智能”的时代，重视基础学
科发展的重要思想关系各个
领域的发展。逻辑语义学的
研究与人工智能领域相关的
是“自然语言处理”（natural
language processing）（
林胜强等，2016）。
计算机首先要“读懂”自
然语言，才能进行处理，该
步骤的完成需要使自然语言
的句法和语义做到精确化和
形式化。有这么几位自然语
言处理的重要人物，他们是
机器翻译之父希勒尔
（B.Hillel）和数学家兰贝克
（Lambek）及语言学界“哥
白尼式革命”的倡导者乔姆
斯基（N.Chomsky），他们
在自然语言的形式化工作方
面做出了重要贡献，一定程
度上解决了计算机“理解”自
然语言的形式化工作问题（
邹崇理，2016）。随后，
20世纪60～70年代，蒙太
格（Montague）在自然语
言形式化分析和推导方面做
出了奠基作用，他的工作是
基于组合原则做出的。《逻
辑语义学的组合原则研究》
围绕AI时代极具挑战的主题
“自然语言处理”，以“组合
原则”为纽带和研究对象，
考察了诸系统中组合原则的
贯彻情况。
逻辑语义学在当今计算
机人工智能的自然语言处理
领域有巨大作用。自然语言
的逻辑语义学采用跨学科视
角，融合了逻辑学、语言学
、计算科学等学科的前沿研
究成果，揭示自然语言的句
法结构和语义解释，研究自
然语言复合表达式的语义如
何由其构成成分的语义进行
组合的机制。逻辑语义学的
研究是一种基础性研究，是
为人工智能领域的“自然语
言的计算机处理”这项任务
服务的先期工作。
乔姆斯基认为人脑“预先
载入了”生成语言和理解语
言的先天机制（邹崇理，
2016）。语言活动是基于
已有的背景知识进行加工和
重塑，本质是人脑中关于语
言的有限处理机制的重复利
用，即
（1）以“有穷多”的词条
作为分析的起点；
（2）以“有穷多”的规则
去分析和理解“无穷多”的语
言现象（石运宝，2016）
。
正是因为具有这样的特
殊机制，人脑才能分析和理
解从未见过的语句，构造出
也能理解无穷多的语言现象
。但对于机器而言，首先需
要一种类似人脑的机制，“
逻辑语义学”便是服务于机
器理解和探索语言意义的形
式机制。
要使语义分析形式化，
那么就要强调句法和语义的
对应，这样才能使得句法的
分析投射到语义分析，这就
是句法和语义对应的价值；
对语义进行形式化，其基础
是句法和语义的对应原则，
即组合原则（林胜强等，
2016）。
组合原则既是该书的研
究对象，也是该书研究的重
要工具和切入点。该书以组
合性和动态性为主线，以话
语表现理论的组合性问题为
切入点，梳理了具有动态特
征、遵循组合性的动态谓词
逻辑、动态蒙太格语法、范
畴语法与话语表现理论结合
的系统、组合的话语表现理
论等逻辑语义学系统。在梳
理典型系统、建立新系统过
程中，受话语表现理论、程
序语言等影响，组合原则也
得到扩展，该书还用以处理
一些语言现象和语言问题。
石运宝在最初的