序言&张家龙 1
引论 1
第一章 逻辑、语言和信息计算交叉的领域——逻辑语法 14
第一节 逻辑语法的主要理论 15
1．1 逻辑语法的开端——蒙太格语法 17
1．1．1 蒙太格语法的理论背景及其发展 18
1．1．2 蒙太格语法的基本思想 22
1．2 逻辑语法的其他主要理论 30
1．2．1 广义量词理论 30
1．2．2 话语表现理论 33
1．2．3 情境语义学 40
1．2．4 动态语义学 42
1．2．5 类型-逻辑语法 44
1．2．6 自然语言理解的加标演绎系统 49
第二节 逻辑语法的现实特征——三大板块内容 51
2．1 自然语言的形式语义学分析 52
2．2 自然语言的部分语句系统和信息处理 54
2．3 自然语言的逻辑题材挖掘 62
第三节 逻辑语法理论发展的创新特色 66
3．1 从逻辑系统到自然语言语句系统的类比 66
3．2 从具体到抽象再到具体的创新——量词概念的推广 71
3．3 蒙太格语法的生成推演概念的细化 73
3．4 动态语义学理论发展的创新过程 75
第二章 广义量词理论 82
第一节 从蒙太格语法到广义量词理论 83
1．1 蒙太格语法以前的广义量词理论 83
1．2 蒙太格语法促进广义量词理论的发展 85
1．3 Barwise最初的广义量词理论研究 92
第二节 广义量词理论对自然语言量化表达式的深入研究 99
2．1 类型为<1>的量词 100
2．2 类型为<1，1>的量词 108
2．2．1 具有逻辑性质的量词 109
2．2．2 关于限定词的语义特征的基本条件——驻留性和扩展性 113
2．2．3 <1，1>类型量词的基本分类 121
2．2．4 比例量词和逻辑的可定义性 123
2．3 类型为<<1，1>，1>的量词 127
2．4 多样模式的量词 129
2．4．1 量词的叠置复合 130
2．4．2 其他多样模式的量词 136
2．4．3 多样模式量词的类型提升 140
第三节 广义量词理论的自然语言语句系统 141
3．1 Barwise的英语部分语句系统 142
3．1．1 逻辑语言L（GQ） 142
3．1．2 英语部分语句系统 146
3．1．3 从英语系统到L（GQ）逻辑语言的翻译 149
3．2 Lφnning刻画名词短语聚合意义的语句系统 154
第四节 广义量词理论的逻辑研究 163
4．1 作为逻辑推演工具的广义量词逻辑系统 164
4．2 作为刻画结构工具的广义量词逻辑系统 174
4．3 条件关系逻辑的广义量词解释 180
第三章 情境语义学 187
第一节 情境语义学的基础——情境理论 191
1．1 个体化模式、信息和信息条目 191
1．2 情境、真实情境和抽象情境 193
1．3 情境的类型和对象的类型 197
1．4 情境或情境类型之间的关系 205
1．5 情境理论的认知价值 208
1．6 情境理论的元理论研究 211
第二节 情境语义学关于自然语言意义的信息处理 214
2．1 从信息角度看“意义”的普遍存在 215
2．2 自然语言表达式的意义——情境之间的制约关联 218
2．3 涉及“命题态度词”表达式的意义特征 228
第三节 情境语义学的自然语言语句系统 234
3．1 Barwise的有关工作 234
3．2 Cooper的两个语句系统 240
第四节 情境语义学对理论语言学的影响 255
第五节 自然语言逻辑问题的情境语义学研究 267
5．1 关于自然语言的量化表达式 267
5．2 关于自然语言的否定 269
5．3 关于自然语言的条件句 272
第六节 情境语义学对经典逻辑系统的扩展 276
第四章 动态语义学 293
第一节 各种各样的动态理论 294
1．1 刻画指派更新的动态理论 294
1．1．1 文本更新语义学 295
1．1．2 话语表现理论 299
1．1．3 动态谓词逻辑 302
1．2 其他动态理论 305
1．2．1 语境更新的理论 305
1．2．2 目标更新的理论 310
1．2．3 信仰更新的理论 314
第二节 动态蒙太格语法 317
2．1 蒙太格语法的局限性 318
2．2 动态内涵逻辑语言 321
2．3 动态蒙太格语法的部分语句系统 328
2．4 动态蒙太格语法简评 335
第三节 动态语义学的逻辑研究方向 336
3．1 动态谓词逻辑的逻辑特色 336
3．2 普通动态逻辑简述 344
3．3 动态逻辑关于推理的多种语义理论 351
第五章 自然语言理解的加标演绎系统 356
第一节 Gabbay的加标演绎系统理论 360
1．1 从结构角度审视的逻辑系统 360
1．2 逻辑系统的加标演绎系统表述 363
1．3 加标演绎系统的深入研究 366
1．3．1 加标演绎系统和逻辑系统的证明论 367
1．3．2 加标演绎系统和逻辑系统的语义学 378
第二节 自然语言理解的加标演绎系统 384
2．1 形式语义学与语用研究的合流 384
2．2 自然语言理解的加标演绎系统 388
2．3 LDSNL的结构特征与代词的照应 392
2．4 宾语从句的处理和演绎模型的嵌入 393
2．5 关系从句的描述和程序合一运算 397
第六章 广义量词理论对汉语量化句的研究 401
第一节 汉语量化句的简洁性 405
第二节 汉语的简单量词和复合量词 411
2．1 汉语的简单量词 411
2．2 汉语的复合量词 419
第三节 汉语表聚合语义的量化句 426
第四节 汉语量化句的进一步研究 432
4．1 汉语具分解特征的量化句 432
4．2 汉语量化句的其他特征 434
第五节 刻画汉语量化句的部分语句系统 438
第六节 汉语量化句研究的逻辑题材 447
6．1 普通逻辑对当关系和三段论推理的广义量词解释 448
6．2 刻画聚合语义的谓词逻辑 454
第七章 语用交际理论与情境语义学 472
第一节 周礼全的语用交际理论 473
第二节 情境语义学的有关技术手段 479
第三节 语用交际图式的情境语义学描述 487
参考文献 497
术语索引 518
后记 528