索引 / 001 ZH-CN
Semantics in Generative Grammar(生成语法中的语义学) cover

语言学

语言学

Semantics in Generative Grammar(生成语法中的语义学)

Irene Heim; Angelika Kratzer

英文原名: Semantics in Generative Grammar

一本研究生教材,在生成语法的句法结构之上为自然语言构建组合性的真值条件语义学。它从少数解释原则出发,逐步引入带类型的 λ 记法,并用它分析修饰、关系从句、量化、约束和代词,习题着重训练精确的推导能力。

需要的基础: 语义学入门课程、集合论与逻辑的基础知识,以及对生成语法框架中句法树的熟悉。

难度等级
高级
学术层次
研究生
formal semanticscompositionalitylambda calculusquantificationgenerative grammar教科书

01 / 导读

导读

引用

Heim, I., & Kratzer, A. (1998). Semantics in Generative Grammar. Blackwell.

章节概要

本书共十二章和索引,全书约310页,属“布莱克威尔语言学教科书”丛书。从目录看,内容层层递进:前三章建立弗雷格式的真值条件框架及其与句法的联系;第4至6章把它扩展到修饰语、关系从句和量化词;第7至12章涉及量化、约束、代词以及迈向内涵语义的第一步。出版社称本书教学生“做语义学”的功夫,并附有检查理解、引向进一步课题的练习。

第1章:真值条件语义学与弗雷格纲领(Truth-conditional Semantics and the Fregean Program)

本章介绍真值条件语义学和弗雷格的组合性思想,并包含关于集合与函数的辅导:集合、集合的抽象记法和函数。

第2章:执行弗雷格纲领(Executing the Fregean Program)

本章演算了弗雷格式解释的第一个例子,包括把语义学应用于一个例句、在外延语义学中推导真值条件,以及对象语言与元语言的区别。随后讨论集合及其特征函数、加入及物动词时的语义类型和指称域、舍恩芬克尔化(Schönfinkelization),以及用λ记法定义函数。

第3章:语义学与句法(Semantics and Syntax)

本章把语义机制与句法结构联系起来:类型驱动的解释、语义解释的输入结构、合格性与可解释性、θ准则,以及论元结构与联系。

第4章:更多英语:非动词谓语、修饰语、定指描述(More of English: Nonverbal Predicates, Modifiers, Definite Descriptions)

本章处理语义空洞词和非动词谓语,然后讨论作为限制性修饰语的谓语,包括一条新的组合规则、作为函项应用的修饰,以及非交集性形容词的问题。本章还展开对定冠词的分析,涉及部分指称、预设与断言的区别,以及预设失败与不可解释性之别。

第5章:关系从句、变量、变量约束(Relative Clauses, Variables, Variable Binding)

关系从句被分析为谓语,涉及从句内部的语义组合、变量和谓词抽象。本章接着处理多个变量(such-that 关系从句、嵌套关系从句、共指标),并追问什么是变量约束,给出定义、定理以及对标引的句法限制。

第6章:量化词:它们的语义类型(Quantifiers: Their Semantic Type)

本章说明为什么把个体作为限定词短语(DP)的指称会带来问题,并提出广义量化词作为解决办法。随后讨论量化限定词、集合之间的关系、关系性限定词意义的形式性质,以及预设性量化短语,包括有争议的情形。

第7章:量化与语法(Quantification and Grammar)

针对宾语位置上的量化词问题,本章提出修复类型不匹配的两种办法:原位的灵活类型和移位。随后比较自然语言中的量化词与谓词逻辑,并衡量支持量化词移位的几种标准论证:辖域歧义、先行语包含的删除,以及约束代词的量化词。

第8章:量化词移位的句法与语义限制(Syntactic and Semantic Constraints on Quantifier Movement)

哪些 DP 可以移位、哪些必须移位,带走多少成分,着陆位置有哪些。本章讨论量化进入 VP、PP、AP、NP 和 DP 的情形。

第9–11章:约束代词与指称代词及省略;句法约束与语义约束;E 型回指(Bound and Referential Pronouns and Ellipsis; Syntactic and Semantic Binding; E-Type Anaphora)

第9章讨论作为自由变量的代词、共指与约束,以及省略中的“松散同一”之谜。第10章结合约束原则和弱跨越,区分句法约束与语义约束。第11章转向以量化词为先行语的 E 型代词,以及既非约束变量也非指称性的代词,包括库珀(Cooper)的分析。

第12章:迈向内涵语义学的第一步(First Steps Towards an Intensional Semantics)

最后一章说明外延语义学在何处失效,引入内涵,勾勒一种内涵语义学,并以其局限和前景作结。

核心概念

第1–3章:框架

  • 组合性:句子的意义由其各部分的意义及其句法排列计算得出。
  • 语义类型与指称域:规定意义如何组合的分类。
  • 舍恩芬克尔化与λ记法:关系的函数式表示。
  • 类型驱动的解释:由被组合各部分的语义类型引导的解释。

第4–6章:修饰、约束与量化词

  • 谓词抽象:关系从句如何由带语迹的句子产生谓语。
  • 预设与断言:这一区分在定指描述中的应用。
  • 广义量化词:DP 指称集合的集合,限定词是集合之间的关系。

第7–12章:量化、回指与内涵

  • 量化词移位与灵活类型:解决宾语量化词类型不匹配的两种办法。
  • 约束与共指:省略中松散同一现象背后的区别。
  • E 型代词:被解释为描述语的代词。
  • 内涵:随评价情境而变化的意义。

评析

优点

  • 循序渐进、层层累积。 目录从集合和函数出发,经由一个最小语法,一直到量化词移位和回指,每一章增加一项扩展。
  • 把推导当作技能来教。 出版社强调“做”语义学;目录中除分析之外,还强调证明、定理和方法论评述。
  • 始终与句法相连。 关于θ准则、量化词移位和约束的各章,把语义分析与生成句法结构联系起来。
  • 正视争议。 关于预设性量化短语的有争议情形和非交集性形容词的小节,呈现了相互竞争的分析。

局限

  • 预设读者已有基础。 从最初几章起就需要熟悉生成句法树形图、基本逻辑和集合论。
  • 外延为主,内涵只是短短的尾声。 内涵直到最后一章(题为“第一步”)才出现,因此内涵性话题只得到引介。
  • 一份1990年代框架的快照。 这是1998年的著作,反映的是当时的分析和句法假设。

在课程中的定位

在本课程书单的语义学与语用学书籍中,海姆与克拉策是形式化的一本。克鲁斯的 Meaning in Language、萨伊德的 Semantics 以及赫福德、黑斯利和史密斯的 Semantics: A Coursebook 都是入门读物,不借助完整的形式系统来讲意义。莱文森的 Pragmatics 和比尔纳的 Introduction to Pragmatics 讲的是语境中的意义。

建议在读过某本入门书之后、想要精确推导时再读海姆与克拉策。它可以与莱文森配对:对他那些依赖语境的话题而言,它提供组合性的对应面。

如何使用本书

本书适合已修过语义学入门课、具备一些集合论和逻辑知识并熟悉句法树形图的研究生和高年级本科生。

阅读安排:

  • 核心: 依次读第1至3章并做练习,因为后面的一切都建立在类型系统之上。
  • 接着: 第4至6章,然后是讲量化的第7、8章。
  • 分支: 讲代词和省略的第9至11章;讲内涵的第12章。

请做练习。出版社说练习用于检查理解并引向后续课题,而本书的方法正有赖于重做推导。