形式语义学
形式语义学 (Formal Semantics)
形式语义学是语言学中运用数理逻辑和数学工具对自然语言的意义进行精确刻画的分支学科。它的核心命题是：自然语言的意义是组合性的（compositional）——句子的意义由其组成部分的意义及其句法结构组合而来，而这一组合机制可以用形式语言（如类型论、λ演算）来建模。形式语义学与数理逻辑、哲学逻辑、计算语言学和博弈论深度交叉，是当代语义学理论的基石。
基本框架：真值条件语义学
形式语义学最主流的研究纲领是真值条件语义学（truth-conditional semantics），其基本思想源自弗雷格（Gottlob Frege）和塔尔斯基（Alfred Tarski）：理解一个陈述句的意义就是知道它在什么条件下为真。换言之，语义学不是研究"词语的含义是什么"这种模糊问题，而是追问"哪些世界状态使这个句子为真"。
在这一框架下，句子的意义被建模为其真值条件。例如，"雪是白的"的意义就是"当且仅当雪确实是白的时，该句子为真"这一真值条件。这种处理将语义学从内省式的直觉分析推向可计算的、数学化的方向，使自然语言的意义研究获得了与逻辑学同等的精确性。
蒙太古语法：逻辑与语言的桥梁
形式语义学的学科化的转折点是理查德·蒙太古（Richard Montague）在1970年前后的工作。蒙太古提出了一个革命性的主张："自然语言与逻辑形式语言之间不存在重要的理论区别。"他构造了一套被称为蒙太古语法（Montague Grammar）的形式系统，将英语的一个片段翻译为内涵逻辑语言，再通过模型论解释来赋予其意义。
蒙太古语法的核心组件包括：类型论（type theory）——为每个表达式指派语义类型（如个体类型和真值类型，名词短语的类型为）；λ演算（lambda calculus）——用抽象来表达函数性的组合规则；以及内涵逻辑——处理必然性与可能世界等模态概念。这一体系成功地用数学手段说明了为何有限的词汇能生成无限的句子意义，为解决语言生成性的哲学谜题提供了技术方案。
组合性原则与相邻领域
形式语义学最根本的方法论约束是组合性原则（Principle of Compositionality），也称为弗雷格原则：一个复合表达式的意义是其组成部分的意义及其句法组合方式的函项。这意味着语义解释必须与句法结构保持同态（homomorphism）关系。
这一原则是自然语言形式化研究所独有的挑战。与数学公式不同，自然语言存在大量语境敏感现象——指示词（"我"、"这里"）、量化歧义（"每个人爱一个人"）、隐含成分（"约翰比玛丽高"中"高"的缺省比较标准）——它们给直接组合性带来了困难。当代形式语义学通过引入语境参数（context parameter）和动态语义学（dynamic semantics）等方法拓展了组合性框架。
与形式语义学密切相关的领域包括：语用学（研究语境中的意义）、句法学（形式语义学与生成句法学在"语义接口"问题上紧密合作）、计算语言学（将形式语义学用于自然语言理解系统）以及哲学逻辑（可能世界语义学、认知逻辑等）。
在经济学中的应用
形式语义学与博弈论的交汇催生了博弈语义学（game-theoretic semantics）和偏好语义学——将语言使用者之间的策略互动纳入意义解释。在机制设计中，明确信息的语义性是激励相容约束的前提：合约条款的意义必须被形式化定义，否则无法判断参与者是否遵守。
此外，选择理论中的"语言表示"问题——如何用语言刻画个体偏好——直接涉及语义学问题。阿罗不可能定理的关键前提之一（"无关备选的独立性"）本质上是关于偏好陈述的语义可分离性假设。形式语义学为这类跨学科追问提供了精确的概念工具。