逻辑、语言与意义 第2卷PDF|Epub|txt|kindle电子书版本网盘下载

逻辑、语言与意义 第2卷PDF格式电子书版下载

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

前言1

序言3

第1章 内涵逻辑的起源9

1.1 引言9

1.2 意义对应理论10

1.3 自然主义与约定主义10

1.4 意义对应理论的变体12

1.5 作为意义指称理论的逻辑语义学13

1.6 意义指称理论存在的问题15

1.7 弗雷格的意义理论17

1.8 语境依赖23

第2章 内涵命题逻辑27

2.1 引言27

2.2 可能世界语义学27

2.3 模态命题逻辑31

2.3.1 历史背景31

2.3.2 句法与语义33

2.3.3 有效性概念的句法方法42

2.3.4 真势模态与认知模态44

2.3.5 一个应用46

2.4 时态命题逻辑47

2.4.1 句法与语义47

2.4.2 “现在”：一个扩展54

2.4.3 其他方法56

2.5 时态与模态的结合58

第3章 内涵谓词逻辑63

3.1 晦暗语境：从言模态与从物模态63

3.2 专有名词与限定摹状词：严格指称68

3.3 模态谓词逻辑语义学74

3.3.1 没有变项的公式74

3.3.2 等词79

3.3.3 变项与量词81

3.3.4 一个论域：存在谓词86

3.4 其他语境90

3.5 一个方法论的注解95

第4章 类型论与范畴语法100

4.1 引言100

4.2 类型论100

4.2.1 自然语言中类型的划分100

4.2.2 句法105

4.2.3 语义110

4.3 范畴语法120

4.3.1 引言120

4.3.2 范畴语法的特征121

4.3.3 范畴语法的描写充分性127

4.3.4 范畴语法和类型论130

4.4 λ-抽象132

4.4.1 λ-算子132

4.4.2 λ-转换140

4.4.3 λ-算子与组合性144

第5章 内涵类型论150

5.1 引言150

5.2 内涵构造和内涵概念150

5.3 句法152

5.4 语义155

5.5 算子^和？163

5.6 λ-转换167

5.7 时态算子169

5.8 两体类型论170

第6章 蒙太格语法177

6.1 引言177

6.1.1 意义和句法的组合性178

6.1.2 对象语言和元语言：语义封闭性180

6.1.3 语义学与真值理论182

6.2 蒙太格语法的体系184

6.3 英语部分语句的蒙太格语法189

6.3.1 范畴和基本表达式189

6.3.2 词项、不及物动词、句子191

6.3.3 翻译进程的体系195

6.3.4 词项的翻译199

6.3.5 及物动词206

6.3.6 意义公设的作用213

6.3.7 部分语句系统的意义公设215

6.3.8 辖域歧义、从物解读和量化规则221

6.3.9 及物动词Be231

6.3.10 合取规则、析取规则和否定规则236

6.3.11 句子补语、非限定补语、形容词、关系从句和副词241

6.4 个体概念251

6.4.1 引入个体概念的必要性251

6.4.2 引入个体概念的后果254

6.4.3 一些实例257

6.4.4 意义公设259

6.5 组合性、逻辑形式和语法形式263

6.6 结语270

第7章 新近发展273

7.1 引言273

7.2 广义量词理论274

7.2.1 主要目标274

7.2.2 蒙太格语法中作为广义量词的NP短语278

7.2.3 限定词：两个视角280

7.2.4 NP和量词的一些基本性质282

7.2.5 普遍限制300

7.2.6 逻辑限定词308

7.2.7 进一步的发展315

7.3 灵活的范畴语法和类型论315

7.3.1 范畴变化315

7.3.2 逻辑的视角318

7.3.3 进一步的发展322

7.4 话语表现理论323

7.4.1 引言323

7.4.2 有关回指关系和非限定词项的一些问题325

7.4.3 DRT的非形式介绍332

7.4.4 形式定义339

7.4.5 DRT和组合性349

7.4.6 结论362

练习答案364

参考文献说明404

参考文献407

索引418

译后记428