Intensional Semantics

定义 / Definition

内涵语义学（intensional semantics）：语义学与形式逻辑中的一个分支，研究意义如何依赖于“可能世界”、语境、说话者信念/知识、时间与情态（必要/可能）等因素。它常用来分析诸如 believe, know, want, must, might 等结构中，为什么同指称的表达式在某些语境下不能互换而不改变真值或可接受性。
（注：与之相对的是 extensional semantics（外延语义学），更侧重在给定世界中的指称/真值。）

发音 / Pronunciation (IPA)

/ɪnˈtɛnʃənəl sɪˈmæntɪks/

例句 / Examples

Intensional semantics studies how meaning changes across possible worlds.
内涵语义学研究意义如何在不同的可能世界中发生变化。

In intensional semantics, the sentence “Alice believes the winner is honest” can remain true even if Alice does not know that the winner is Bob.
在内涵语义学中，即使爱丽丝不知道获胜者是鲍勃，“爱丽丝相信获胜者是诚实的”这句话也可能仍然为真。

词源 / Etymology

intensional 来自 intension（内涵/概念内容） 的逻辑学用法，常与 extension（外延/指称范围） 成对出现；其更早的词根可追溯到拉丁语 intendere（“指向、延伸、意向”）。semantics 源自希腊语 sēmantikos（“与意义有关的”）。组合在一起，表示“研究内涵层面意义的语义学”。

相关词 / Related Words

• Intension
• Extension
• Possible
• World
• Modality
• Modal
• Proposition
• Context
• Sense
• Reference
• Extensional
• Semantics

文学与学术著作中的用例 / Notable Works

• Richard Montague, Universal Grammar（蒙塔古语法与“可能世界”语义传统的重要代表，广泛涉及内涵分析）
• Rudolf Carnap, Meaning and Necessity（以可能世界/内涵—外延区分为核心的经典著作）
• Irene Heim & Angelika Kratzer, Semantics in Generative Grammar（生成语法语义学教材，系统介绍情态、内涵算子等）
• David Lewis, Counterfactuals（反事实条件句的可能世界分析，与内涵语义紧密相关）
• Johan van Benthem & Alice ter Meulen (eds.), Handbook of Logic and Language（多章讨论内涵、情态与形式语义）