Formal Semantics

定义 Definition

formal semantics（形式语义学）：语言学与逻辑学交叉领域，用形式化工具（如逻辑、集合论、模型论）来刻画自然语言表达式（词、短语、句子）的意义，以及意义如何由成分组合而成。常用于研究量词、时态、情态、指称、蕴涵等现象。（该词组在不同学科语境下也可泛指“用形式方法研究意义”的语义学方法。）

例句 Examples

I’m taking a course in formal semantics this semester.
这学期我在上形式语义学课程。

Formal semantics helps explain why some sentences entail others, using precise logical representations.
形式语义学借助精确的逻辑表征来解释为什么某些句子会蕴涵另一些句子。

发音 Pronunciation

/ˈfɔːrməl sɪˈmæntɪks/

词源 Etymology

formal 源自拉丁语 forma（“形式、形状”），在学术语境中常指“采用明确规则与符号系统的”。semantics 来自希腊语 sēmantikos（“与意义有关的”）。合起来即“用形式化方法研究意义的学科”。

相关词 Related Words

• Compositionality
• Model Theory
• Predicate Logic
• Truth Conditions
• Montague Grammar
• Pragmatics
• Syntax

文学与学术作品 Literary Works

• Semantics in Generative Grammar（Irene Heim & Angelika Kratzer）：广泛使用并系统阐述形式语义学框架。
• Formal Semantics: The Essential Readings（Paul Portner & Barbara H. Partee 编）：收录多篇形式语义学经典论文。
• Logic, Language, and Meaning（L.T.F. Gamut）：以逻辑与形式方法讲解语言意义，涉及形式语义学核心思想。
• Meaning and Grammar: An Introduction to Semantics（Gennaro Chierchia & Sally McConnell-Ginet）：介绍语义学基础，含大量形式语义学内容。