逻辑、语言和信息 逻辑语法研究PDF|Epub|txt|kindle电子书版本网盘下载

逻辑、语言和信息 逻辑语法研究PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

序言&张家龙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