逻辑、语言与意义 第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 及物动词Be 231

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