《形式语义学引论》求取 ⇩

目录1

徐烈炯教授序1

作者前言1

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

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

第二节 句义的信息类型4

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

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

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

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

第七节 各章内容简介16

阅读文选17

第二章　逻辑演算18

第一节 集合论18

第二节 关系和函数22

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

第四节 谓词逻辑33

第五节 逻辑证明38

阅读文选42

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

第一节 部分语句系统Cp43

第二节 Cp的语义解释54

第三节 模型与语义解释63

阅读文选69

第四章　对Cp系统的扩展70

第一节 三种特殊句式71

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

第三节 逻辑否定句88

第四节 语法范畴和逻辑范畴91

第五节 规则小结93

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

第七节 实例分析96

阅读文选102

第五章　类型论初步103

第一节 再论组合性原则103

第二节 逻辑语义类型109

第三节 类型驱动的语句分析和生成117

第四节 特征函项131

第五节 类型的语义性质140

第六节 C1系统145

阅读文选146

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

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

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

第三节 逻辑依存169

第四节 逐指与统指172

第五节 分枝量词177

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

第七节 结语197

阅读文选198

第七章 λ-转换199

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

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

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

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

第五节 广义的λ-转换228

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

阅读文选241

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

第八章　广义量词242

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

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

第四节 GQ式语义解释262

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

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

阅读文选288

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

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

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

第三节 时制算子与其它算子之关系298

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

第五节 时段与时态323

阅读文选335

第一节 时间的量化336

第十章 对时间的量化与限制336

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

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

阅读文选360

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

第一节 可能世界的概念361

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

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

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

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

第六节 将来时的新定义378

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

第八节 条件句385

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

阅读文选394

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

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

第二节 弗雷格的所指与涵义理论397

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

第四节 内涵与外延401

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

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

第七节 信念与涉实-涉名歧义410

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

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

阅读文选436

第十三章 博弈论语义学438

第一节 问题的提出438

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

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

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

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

阅读文选453

第十四章 篇章表述理论454

第一节 传统形式语义学理论存在的问题455

第二节 篇章表述理论的基本形式和特点459

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

第四节 相关问题的讨论472

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

阅读文选486

第十五章 研习文献487

参考书目503

汉英译名对照表532