组合式和形式语义学

形式语义学以精确的、真值条件的方式解释意义，其中复杂表达式的意义是根据其组成部分的意义组合而成的。

Definition

组合式和形式语义学是利用形式逻辑和模型理论研究语言意义的学科，其核心是表达式的组合式、真值条件解释。

Scope

该领域涵盖自然语言意义的形式化、模型理论研究。它包括组合性原则、使用逻辑和集合论工具为表达式指定指称、蒙塔古（Montague）以形式逻辑的严谨性处理自然语言的方案、量化和范围的分析，以及时态、体和模态的语义学。其指导思想是，了解一个句子的意义就是了解其真值条件，而这些真值条件是根据其组成部分的意义和组合方式系统地计算出来的。

Sub-topics

• model theoretic and montague semantics
• principle of compositionality
• quantification and scope
• tense aspect and modality

Core questions

• 复杂表达式的意义如何由其组成部分的意义及其句法组合决定？
• 自然语言表达式的意义如何在形式化的模型理论系统中表示？
• 如何分析量词、范围和约束？
• 如何对依赖于语境和内涵现象（时态、模态）进行建模？

Key concepts

• 组合性原则
• 真值条件
• 指称和语义类型
• λ演算
• 模型和解释函数
• 内涵和外延
• 函数应用

Key theories

真值条件、模型理论语义学

根据弗雷格和塔斯基的传统，一个陈述句的意义被认定为其真值条件，这些条件是相对于解释基本表达式的模型计算出来的。

蒙塔古语法

自然语言可以被视为一种形式语言：通过同态性将句法与模型理论语义配对，使用类型化λ演算和内涵逻辑来组合地解释表达式。

类型驱动的组合解释

表达式被赋予语义类型，并通过函数应用等通用规则进行组合，因此解释由成分的类型驱动，如海姆和克拉策框架中所系统化的那样。

History

形式语义学源于弗雷格（Frege）关于意义和指称的工作，以及塔斯基（Tarski）对形式语言真理的定义。决定性的一步是蒙塔古在20世纪70年代初提出的主张，即自然语言和形式语言之间没有根本区别，并且英语可以被赋予模型理论语义。芭芭拉·帕蒂（Barbara Partee）在将蒙塔古的方案传播到语言学领域发挥了核心作用，而海姆（Heim）和克拉策（Kratzer）的教科书后来使类型驱动的组合语义学成为生成语法中的标准。

Debates

直接与间接（表征性）解释

自然语言是应该像蒙塔古的方案那样直接在模型中解释，还是通过翻译成逻辑形式/心理表征的层面来解释。

Key figures

• Richard Montague
• Barbara Partee
• Irene Heim
• Angelika Kratzer
• Gottlob Frege
• Alfred Tarski

Seminal works

• montague1974
• heimkratzer1998
• partee1990

Frequently asked questions

说语义学是真值条件的意味着什么？

这意味着指定一个陈述句的意义就是指定它为真所必须满足的条件；了解意义就是了解世界必须是什么样子才能使该句子成立。