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

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

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

引论1

第一章 自然语言的逻辑框架——蒙太格语法1

第一节 蒙太格语法产生的背景1

1.1 逻辑学背景1

1.2 语言学背景4

第二节 类型论和λ－演算7

2.1 类型论7

2.2 λ－演算14

第三节 内涵逻辑19

3.1 内涵与外延19

3.2 内涵类型论逻辑的语形21

3.3 内涵类型论逻辑的语义23

3.4 时态算子27

第四节 蒙太格的PTQ系统28

4.1 普遍语法29

4.2 PTQ系统中的语形32

4.3 内涵逻辑40

4.4 PTQ系统的小结44

第二章 句法范畴的逻辑演算——类型－逻辑语法46

第一节 类型－逻辑语法的句法学46

1.1 范畴语法简介46

1.2 兰贝克演算50

第二节 类型－逻辑语义学56

2.1 简单类型λ－演算的基础56

2.2 类型－逻辑语义学的核心内容56

第三节 类型－逻辑语法的形成62

3.1 兰贝克句法演算和类型－逻辑语义学的结合62

3.2 配以λ－词项的兰贝克句法演算63

3.3 类型－逻辑语法的词库65

3.4 类型－逻辑语法对自然语言句法和语义的描写66

3.5 自然演绎的兰贝克演算68

3.6 类型－逻辑语法与逻辑形式系统的深刻联系72

第四节 类型－逻辑语法在应用中的丰富和发展73

4.1 对并列结构的处理73

4.2 对无界约束结构的处理76

4.3 类型－逻辑语法对汉语的处理82

第三章 量词的自然语言推广——广义量词理论86

第一节 广义量词理论概要87

1.1 量化简史87

1.2 广义量词的概念89

1.3 广义量词的分类91

1.4 广义量词的布尔运算92

第二节 广义量词的主要性质97

2.1 同构闭包性97

2.2 驻留性101

2.3 扩展性104

2.4 单调性108

2.5 对称性118

第三节 广义量词理论对经典量词逻辑的扩张125

3.1 扩张路径125

3.2 有待进一步研究的几个问题129

第四章 动态的语义分析方法——话语表现理论131

第一节 传统形式语义学存在的问题132

1.1 静态的形式语义分析132

1.2 驴子句和不定摹状词133

1.3 句子序列的回指照应关系134

第二节 DRT的基本框架136

2.1 句法规则136

2.2 DRS的构造规则140

2.3 DRS在模型中的解释150

第三节 DRT对复合语句的刻画152

3.1 DRT对条件句的刻画153

3.2 DRT对选言句的刻画156

3.3 DRT对联言句的刻画158

3.4 从DRS到一阶谓词逻辑公式的翻译159

第四节 DRT对照应关系的处理161

4.1 对复数代词照应关系的处理161

4.2 DRT对时间照应关系的处理163

第五节 DRT的进一步发展168

5.1 双重否定DRT168

5.2 SDRT174

第六节 DRT与汉语语义的处理182

6.1 DRT处理汉语语义的可行性182

6.2 DRT处理汉语语义的展望184

第五章 蒙太格语法的动态变异——动态蒙太格语法186

第一节 动态蒙太格语法的产生历程187

1.1 动态蒙太格语法的产生背景188

1.2 动态蒙太格语法的基本思想189

1.3 动态蒙太格语法的基本要素190

第二节 动态蒙太格语法的形式工具——动态内涵逻辑193

2.1 动态内涵逻辑的基本要素193

2.2 动态内涵逻辑的基本事实197

第三节 语句在动态蒙太格语法中的解释和翻译198

3.1 语句在动态蒙太格语法中的翻译199

3.2 动态蒙太格语法的信息更新机制200

3.3 语句序列在动态蒙太格语法中的解释202

3.4 相关定义和基本事实205

第四节 动态蒙太格语法的语句系统208

4.1 相关定义208

4.2 实例分析211

4.3 动态蒙太格语法的动态能力的扩展214

第五节 拓展研究220

5.1 动态语义学的基本理念221

5.2 有待进一步研究的问题222

第六章 态度句的逻辑研究——情境语义学视野下的态度句224

第一节 概述224

1.1 态度动词224

1.2 态度语境中的同一替换问题225

1.3 态度语义研究须满足的条件231

第二节 SEEn态度报告语义及相关逻辑原则233

2.1 SEEn概述233

2.2 SEEn态度报告语义分析237

2.3 从SEEn态度报告语义看相关逻辑原则241

第三节 SEEt态度报告语义及相关逻辑原则252

3.1 SEEt概述253

3.2 SEEt等态度报告语义分析262

3.3 从SEEt等态度报告语义看相关逻辑原则267

第四节 分析和评价270

第七章 预设的逻辑研究——投射问题的解决途径277

第一节 语义预设与语用预设277

1.1 预设理论的提出278

1.2 预设的语义解释281

1.3 预设的语用解释291

第二节 预设投射问题的解决途径296

2.1 组合原则与累积假设296

2.2 PHF模式297

2.3 基于PTQ的解决模式302

2.4 潜在预设说306

2.5 心里空间说309

第三节 预设的多值逻辑解释311

3.1 预设的语义性质在三值逻辑中的体现311

3.2 为语义预设的辩护313

3.3 三值逻辑与复合命题的预设315

3.4 四值逻辑与复合命题的预设320

主要参考文献324

后记333