当代语言学理论丛书 形式语义学引论PDF电子书下载

第一章 语义、真值与逻辑 1

第一节 命题、句义和话语义 1

第二节 句义的信息类型 4

第三节 言语交际的意义层次 6

第四节 形式语义学的研究范围 8

第五节 逻辑在语义研究中的地位 8

第六节 几个基本的语义概念 10

第七节 各章内容简介 12

阅读文选 13

第二章 逻辑演算 14

第一节 集合论 14

第二节 关系和函数 18

第三节 命题逻辑和真值表 23

第四节 谓词逻辑 26

第五节 逻辑证明 31

阅读文选 34

第三章 Cp系统和语义解释 35

第一节 部分语句系统CP 35

第二节 Cp的语义解释 44

第三节 模型与语义解释 51

阅读文选 56

第四章 对Cp系统的扩展 57

第一节 三种特殊句式 58

第二节 复句的生成和解释 63

第三节 逻辑否定句 72

第四节 语法范畴和逻辑范畴：传统语法、传统逻辑和形式逻辑的同与异 75

第五节 规则小结 76

第六节 语义解释的递归性 78

第七节 实例分析 79

阅读文选 84

第五章 类型论初步 85

第一节 再论组合性原则 85

第二节 逻辑语义类型 89

第三节 类型驱动的语句分析与生成 95

第四节 特征函项 106

第五节 类型的语义性质 112

第六节 Ct系统 116

阅读文选 117

第六章 量词、辖域与逻辑依存 118

第一节 变量、约束词与量化结构 118

第二节 量化结构的语义解释 123

第三节 逻辑依存 135

第四节 逐指与统指 137

第五节 分支量词 141

第六节 自然语言量化句的歧义和表达 145

第七节 结语 157

阅读文选 158

第七章 λ-转换 159

第一节 自然语句分析中的一些疑难现象 159

第二节 λ-抽象和λ-还原 164

第三节 对疑难现象的分析 170

第四节 λ-表达式的语义解释 179

第五节 广义的λ-转换 183

第六节 λ-抽象与条件引入规则 191

阅读文选 194

第八章 广义量词 195

第一节 从量词到广义量词 195

第二节 作为广义量词的名词组 200

第三节 广义量词的范畴演算 208

第四节 GQ式语义解释 212

第五节 与广义量词相关的语义现象 214

第六节 类型的等级与转换 219

阅读文选 232

第九章 时间、时制与时态 234

第一节 时间与句子的意义 234

第二节 时制：过去时和将来时 236

第三节 时制算子与其他算子之关系 241

第四节 对时间进行直接运算 249

第五节 时段与时态 261

阅读文选 271

第十章 对时间的量化与限制、量化类型及其三分结构 272

第一节 对时间的量化 272

第二节 限制对时间的量化 276

第三节 进一步限制对时间的量化 289

第四节 量化类型与三分结构 292

阅读文选 300

第十一章 可能世界与模态逻辑 301

第一节 可能世界的概念 301

第二节 一个新的模态逻辑模型 303

第三节 时态逻辑与模态逻辑的统一 308

第四节 自然语言中的情态 309

第五节 含有时态和模态算子的新模型 312

第六节 将来时的新定义 315

第七节 时制悖论和非进行态悖论 317

第八节 条件句 321

第九节 可能世界语义学的优越性 327

阅读文选 329

第十二章 内涵逻辑与命题态度 330

第一节 组合性原则与替换定律 330

第二节 弗雷格的所指与含义理论 331

第三节 名词的涉名与涉实解释 333

第四节 内涵与外延 335

第五节 内涵逻辑的基本定义 337

第六节 蒙太格的内涵逻辑 340

第七节 信念与涉实一涉名歧义 342

第八节 直接对索引进行运算 345

第九节 命题态度以及信念的非逻辑性 358

阅读文选 365

第十三章 博弈论语义学 367

第一节 问题的提出 367

第二节 对一阶逻辑式的解释 368

第三节 对自然语言量化句的解释 371

第四节 博弈论语义学的主要特征 373

第五节 博弈论与证明程序 374

阅读文选 380

第十四章 篇章表述理论 381

第一节 传统形式语义学的问题 381

第二节 篇章理论的形式和特点 386

第三节 篇章理论的语义解释 395

第四节 相关问题的讨论 396

第五节 基尔基亚的动态约束理论 401

阅读文选 408

第十五章 研习文献 409

附录 形式语义学经典书目 417

汉英译名对照表 429

参考书目 442