引论 1
第一节 为何面向自然语言信息处理的语言学研究离不开逻辑学 2
一、开启语言学与逻辑学的沟通交流模式 2
二、交叉研究中存在的主要问题及相应对策 3
三、逻辑、语言、信息与计算的交叉研究亟待加强 13
第二节 何为语言表达式的意义 14
一、语言表达式的意义是逻辑哲学研究的重要课题 14
二、意义的静态理论 15
三、意义的动态理论 17
四、意义的算法理论 19
1.算法理论的形成过程 20
2.算法理论的理论预设 21
3.同义概念与等价算法 23
4.算法理论的思想脉络 24
第三节 指代消解的主要方法及其机制 25
一、指代消解的主要方法 27
二、指代消解的主要机制 28
1.中介机制 28
2.动态约束机制 30
3.加标机制 31
4.复合机制 33
5.范畴机制 35
第一章 动态谓词逻辑 37
第一节 动态谓词逻辑产生的最初动力 37
第二节 动态谓词逻辑的动态机制 40
一、合取式和存在量化式的动态解释 42
二、蕴涵式的动态解释 44
三、全称量化式、否定式与析取式的动态解释 45
第三节 动态谓词逻辑的形式系统 47
一、语法和语义 47
二、意义、真和等值 49
三、辖域与约束 51
四、一些逻辑事实 54
五、动态后承 58
第四节 动态谓词逻辑的主要特征 63
一、组合性的语义特征 63
二、表达式的测试特征 66
三、变元的复位特征 68
第五节 动态谓词逻辑与其相关逻辑的关系 68
一、动态谓词逻辑与标准谓词逻辑的比较 69
二、动态谓词逻辑与量化动态逻辑的比较 74
三、动态谓词逻辑与话语表现理论的比较 81
第六节 动态谓词逻辑研究展望 90
第二章 范畴类型逻辑 96
第一节 范畴类型逻辑的理论基础 96
一、国内外相关研究 96
二、自然语言的毗连性 98
三、类型论 100
四、λ-算子 103
第二节 基本范畴语法 104
一、非形式描述 104
二、形式系统 108
1.基本范畴语法的句法 108
2.基本范畴语法的语义 111
第三节 类型逻辑语法 117
一、组合子和并列关系 118
二、量词 121
三、右结点提升 124
四、左结点提升 125
第四节 兰贝克演算 129
一、作为范畴类型逻辑重要形式系统的兰贝克演算 129
二、兰贝克演算L 130
1.Curry-Howard对应 132
2.兰贝克演算的相关规则 133
3.兰贝克演算对无约束依赖的处理 135
4.并列与组合子 139
5.兰贝克演算的矢列表述 141
三、兰贝克演算的模型论 141
第五节 基于范畴类型逻辑的指代消解 144
一、反身代词的消解 145
二、主格代词和宾格代词的消解 147
三、歧义消解 150
第六节 带有受限缩并规则的兰贝克演算 152
一、带有受限缩并规则的兰贝克演算的形式系统 152
二、带有受限缩并规则的兰贝克演算的模型论 154
第七节 基于带有受限缩并规则的兰贝克演算的指代消解 156
一、范畴理论中进行指代消解的几种主要处理方法 157
二、带有受限缩并规则的兰贝克演算的形成过程 159
三、带有受限缩并规则的兰贝克演算中的指代算子 160
1.指代算子“|”的相关定义 161
2.关于指代算子“|”具有后承风格的加标自然演绎 162
3.关于指代算子“|”的树模式 163
四、有关指代算子“|”的引入规则的证明 165
第三章 自然语言推理研究的简便工具——广义量词理论 169
第一节 广义量词理论概览 170
一、广义量词理论发展简史 170
二、广义量词理论的基本思想 172
三、广义量词理论的主要研究方向 174
第二节 广义量词的语义性质 177
一、广义量词的主要语义性质 177
二、广义量词的单调性与其三种否定量词的单调性之间的关系 179
三、实例分析 183
第三节 广义量词理论：自然语言推理的简便工具 186
一、广义量词的真值定义 187
二、基于广义量词理论的自然语言推理实例 188
第四节 广义量词的推理模式 191
一、论元结构推理 192
二、单调性推理 194
三、广义三段论推理 200
第四章 基于广义量词理论的直言三段论研究 203
第一节 基于周延性形式化定义的直言三段论的形式化辨析 203
一、普通逻辑的周延性定义存在的问题 203
二、有效的直言三段论的形式化 205
三、直言命题主谓项周延性的形式化定义 207
四、基于周延性形式化定义的直言三段论的形式化证明 209
第二节 基于广义量词理论的直言三段论推理规则的形式化辨析 212
一、传统逻辑对直言三段论非形式处理的缺憾 213
二、基于广义量词理论的直言三段论的形式化表示 214
三、基于广义量词理论的直言三段论推理规则的形式化辨析 217
第三节 基于广义量词理论的传统三段论的公理化 219
一、基于广义量词理论的传统三段论公理化的可能性探讨 219
二、传统三段论的形式化 220
三、传统三段论的公理化 222
1.根据AAA-1三段论有效可以推出的有效三段论 222
2.根据EAE-1三段论有效可以推出的有效三段论 226
第五章 基于广义量词理论的广义三段论研究 229
第一节 自然语言语篇推理的形式化研究 229
一、国内外语篇推理研究概况 230
二、基于传统三段论的语篇推理 231
三、基于广义三段论的语篇推理 235
第二节 关于广义量词“ almost all”的语篇推理研究 237
一、国内外相关研究 237
二、相关真值定义 238
三、关于almost all的有效的广义三段论推理模式及其证明 240
四、关于almost all的自然语言语篇推理 243
第三节 关于居间量词“most”的语篇推理研究 245
一、居间广义量词研究概况 245
二、相关真值定义 246
三、关于most的有效广义三段论推理模式及其证明 248
第六章 模态三段论的有效性与公理化研究 254
第一节 国内外相关研究概览 254
第二节 相关定义与推理规则 258
第三节 有效的模态三段论的形式化证明 261
第四节 有效的模态三段论应该满足的规则探讨 279
第五节 有效的模态三段论的筛选方法 285
一、通过AAA-1添加模态词得到的有效的模态三段论 286
二、通过AAI-1添加模态词得到的有效的模态三段论 287
三、通过EIO-3添加模态词得到的有效的模态三段论 289
第六节 全部的有效的模态三段论 290
第七节 对模态三段论进行公理化的基础公理探讨 297
第八节 对模态三段论进行公理化的形式证明 305
一、通过AAI-1添加模态词得到的有效的模态三段论的公理化 306
二、通过AⅡ-1添加模态词得到的有效的模态三段论的公理化 307
三、通过EAO-1添加模态词得到的有效的模态三段论的公理化 309
四、通过EIO-1添加模态词得到的有效的模态三段论的公理化 311
五、通过AEE-2添加模态词得到的有效的模态三段论的公理化 312
六、通过AEO-2添加模态词得到的有效的模态三段论的公理化 314
七、通过EAE-2添加模态词得到的有效的模态三段论的公理化 316
八、通过EAO-2添加模态词得到的有效的模态三段论的公理化 318
九、通过EIO-2添加模态词得到的有效的模态三段论的公理化 320
十、通过AOO-2添加模态词得到的有效的模态三段论的公理化 321
十一、通过AII-3添加模态词得到的有效的模态三段论的公理化 323
十二、通过AAI-3添加模态词得到的有效的模态三段论的公理化 324
十三、通过EAO-3添加模态词得到的有效的模态三段论的公理化 327
十四、通过EIO-3添加模态词得到的有效的模态三段论的公理化 329
十五、通过IAI-3添加模态词得到的有效的模态三段论的公理化 331
十六、通过OAO-3添加模态词得到的有效的模态三段论的公理化 332
十七、通过AAI-4添加模态词得到的有效的模态三段论的公理化 333
十八、通过AEE-4添加模态词得到的有效的模态三段论的公理化 335
十九、通过AEO-4添加模态词得到的有效的模态三段论的公理化 337
二十、通过EAO-4添加模态词得到的有效的模态三段论的公理化 340
二十一、通过EIO-4添加模态词得到的有效的模态三段论的公理化 343
二十二、通过IAI-4添加模态词得到的有效的模态三段论的公理化 345
第九节 基于模态三段论的语篇推理 347
参考文献 350
后记 362