7、语义学：自然语言意义的探索与计算

语义学：自然语言意义的探索与计算

语义学主要聚焦于意义相关的研究，涵盖了意义的本质、自然语言和形式语言中词汇、短语及句子意义的赋予方式，以及意义的组合与推理应用。接下来，我们将深入探讨语义学的多个关键方面。

句子语义学

表示与逻辑形式

在形式语义表示的发展历程中，布尔（1854 年）的命题逻辑语义学和弗雷格（1879 年）的一阶谓词逻辑（FOPL）具有里程碑意义。弗雷格的工作为精确刻画句子意义提供了有效途径。例如，句子 “Fischer played a Russian” 可表示为 “∃x (russian(x) ∧ played(Fischer,x))”。这其中涉及到对象语言和元语言的区别，像 “Fischer played a Russian” 属于对象语言，而其翻译后的 FOPL 表达式则是元语言。

逻辑形式（LFs）在处理计算任务方面具有重要作用。以国际象棋锦标赛信息数据库为例，虽然用任意英语句子查询数据库并非易事，但验证 FOPL 句子是否符合数据库记录却相对简单，具体步骤如下：
1. 将英语句子翻译成 FOPL 句子。
2. 验证翻译后的句子。

不过，FOPL 并非解决所有问题的万能方案。句子往往存在多个 LF，且有些 LF 并不直观。例如，罗素（1905 年）指出，像 “The American won” 这样的限定描述并非简单地指称某个个体，而应表示为 “∃x (american(x) ∧ ∀y (american(y) → x = y) ∧ won(x))”。此外，句子 “Every Russian played an American” 存在范围歧义，有两种不同的 LF 表示：
- 宽范