自然语言逻辑研究pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

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

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

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

序言 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

第三章 话语表现理论DRT 95

1.2 DRT的句法部分 97

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

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的自然推演系统SDRT 323

第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