自然语言逻辑研究2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

自然语言逻辑研究PDF格式电子书版下载

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

序言1

第一编 自然语言逻辑的基础——形式语义学1

自序5

第一章 自然语育形式语义学的研究方法5

第1节 关于自然语言句法的数理方法5

1.1 自然语言的逻辑结构层次5

1.2 λ-表达式的运用7

1.3 递归定义方法9

绪论9

1.4 树形图方法12

1.5 部分语句系统方法18

第2节 关于自然语言语义的模型论方法21

2.1 代数结构与语义模型21

2.2 意义的组合原则27

2.3 间接的语义解释29

2.4 意义公设方法33

1.1 蒙太格语法和自然语言逻辑37

第1节 蒙太格语法概况37

第二章 蒙太格语法37

1.2 蒙太格语法的理论来源及其发展40

1.3 蒙太格语法的基本体系45

第2节 通用语法思想及其英语语句系统48

2.1 逻辑语言和自然语言的通用语法48

2.2 直接语义解释的英语系统67

第3节 蒙太格语法的语用学研究85

1.1 DRT的渐进动态方法95

第1节 DRT的基本体系95

第三章 话语表现理论DRT95

1.2 DRT的句法部分97

1.3 DRT的语义部分——话语表现结构DRS109

1.4 DRT的语义部分——DRS的语义模型126

1.5 从DRS到谓词逻辑133

第2节 DRT的扩展及其述评141

2.1 DRT对复合句的处理特色142

2.2 DRT关于复数名词与代词照应关系的刻画171

2.3 DRT关于句子之间时间联系的描述189

第四章 类型-逻辑语法207

第1节 范畴语法发展简述208

第2节 类型-逻辑语法213

2.1 简单类型λ-演算213

2.2 高阶逻辑226

2.3 贴合的范畴语法230

2.4 Lambek演算239

3.1 并列关联与无界限依赖关系的处理257

第3节 类型-逻辑语法述评257

3.2 量化辖域现象的推广268

第二编 自然语言逻辑的深化——形式演绎系统279

第五章 蒙太格语法的内涵逻辑公理系统283

第1节 内涵逻辑的句法和语义283

第2节 内涵逻辑的公理系统290

2.1 广义语义学与一般模型290

2.2 可靠性定理与广义完全性定理294

第3节 内涵逻辑公理系统简评318

第六章 DRT的自然推演系统SDRT323

第1节 SDRT的句法和语义325

1.1 SDRT的句法部分325

1.2 SDRT的语义部分330

第2节 SDRT的推演规则与系统特征333

2.1 推演的重要概念——可导与变换333

2.2 SDRT的推演规则337

2.3 SDRT的系统特征355

第3节 SDRT简评359

第三编 汉语的自然语言逻辑研究365

第七章 汉语时间系统的形式语义学处理369

第1节 自然语言时间系统的三个方面——时相、时制和时态369

第2节 汉语具有丰富的时态结构376

第3节 汉语时态结构的特色及其处理方案382

第4节 处理汉语时态结构的部分语句系统400

第5节 进一步研究的展望410

参考书目423

术语索引439

后记449