“意义”不是一个单一问题
问一句话是什么意思，可能是在问词指向什么、句子在什么条件下为真、说话者想做什么，或听者联想到什么。
语义学主要研究语言形式中相对稳定、可组合的意义约束。语用学进一步研究语境、意图和互动推理。两者相连，但若不区分，就会把所有解释都归为“看情况”。
语义分析的目标不是为每个词写更长的字典释义，而是解释不同表达之间的蕴涵、矛盾、歧义和组合规律。
指称、概念与用法
专名、描述语和代词可以用来谈论对象，但它们的方式不同。“晨星”和“暮星”在特定语境中指向同一天体，却呈现不同认知路径。
普通名词通常不只指向一个对象，而提供分类条件。动词表达事件或状态，形容词提供性质或尺度，但跨语言词类和意义映射并不完全一致。
词义还嵌入用法网络。近义词在搭配、语体和评价上可能不同。语料库能显示分布，实验能检验分类与启动效应，哲学分析则澄清指称和真理条件。
真值条件提供一种精确工具
知道一个陈述句的意义，部分上是知道世界在什么条件下会使它为真。真值条件语义学把句子映射到可明确判断的条件。
这不要求我们已经知道句子事实上真不真。理解“火星有三颗卫星”与确认天文事实是两个任务；语义给出核查条件，经验调查决定结果。
疑问、命令、感叹和虚构不能简单缩成真或假。现代语义学因此扩展到可能世界、信息状态、问题集合和动态语境等表示。
组合性怎样工作
组合性原则认为，复杂表达的意义由组成部分及其组合方式系统决定。它解释人为何能理解新句子，也把语义与syntax连接起来。
“每个学生读了一本书”可能表示所有人读同一本，也可能每人读不同一本。这类作用域歧义不是词典多义，而来自量化表达的结构关系。
形式语义学常用集合、函数和逻辑表示组合。数学符号不是为了让语言显得精确，而是迫使分析者公开输入、规则和预测。
词汇关系与意义结构
上位与下位关系连接“动物”和“鸟”，部分—整体关系连接“车轮”和“车辆”，反义关系则有互补、等级和方向等不同类型。
多义指一个形式具有相关意义，偶然同形则可能来自历史上不同词的合并。区分两者需要语义联系、历史和使用证据，边界并不总清楚。
原型效应显示某些成员比另一些更像类别中心，但这不等于类别没有结构约束。语义理论需要同时解释清晰推论和渐变判断。
事件、参与者与时间
动词意义不仅列出参与者，还包含事件结构。开始、持续、完成与结果状态会影响时态、体和时间副词的组合。
语言用不同方式表达时间。有的有丰富时态形态，有的主要依靠体、时间副词和语境。没有某种语法词缀，不等于使用者缺少时间概念。
施事、受事、体验者等语义角色帮助比较参与者，但它们与主语、宾语等句法关系不是一一对应。被动结构正显示同一事件角色可映射到不同句法位置。
模态、可能与义务
“可能”“必须”“应该”涉及模态。它们可能表达知识判断、物理能力、规则义务或愿望目标。
分析模态要明确考虑哪些可能情形，以及哪些情形最符合当前知识、规则或目标。同一句形式在不同语境中可切换模态基础。
条件句进一步连接假设与结果。自然语言条件并不总等同于经典逻辑的材料蕴涵，反事实条件还要求比较与现实接近的可能情形。
预设与蕴涵
如果一句话为真必然使另一句话为真，前者蕴涵后者。矛盾则表示两者不能同时为真。
预设通常在否定或提问下仍被当作背景。例如“他停止吸烟”往往保留“他以前吸烟”的背景承诺。
投射行为并非机械不变，语境可以取消或调整预设。语义与语用的接口因此需要通过系统对比而非单例直觉研究。
跨语言语义不能靠逐词翻译
不同语言可能在颜色、亲属、空间、证据来源、数和时间等领域切分不同。翻译能找到实用对应，却不证明两个词的语义边界完全相同。
研究者使用语境化例句、图片任务、故事板、可接受性判断和自然语料，避免用研究者语言的问题强迫目标语言作同样分类。
社群知识尤其重要。植物、地貌、亲属和仪式词汇可能依赖当地实践，脱离生活世界的词表会丢失关键区分。
语义与人工智能
分布式模型从大量上下文学习词和句子的统计表示，能捕捉相似性并支持生成。但上下文预测能力与稳定指称、行动理解和社会承诺不是同一件事。
评估模型的“理解”应拆成多个任务：是否保持逻辑关系，能否跟踪指称，是否对否定和量化稳定，能否在新情境中根据世界反馈修正。
大语言模型让语义理论获得新的实验对象，也暴露训练语料和语言覆盖的不平等。只在英语基准上成功，不能推出掌握了人类语言意义的普遍结构。
从语义走向语用
一句话的编码意义通常不足以解释完整交流。说“这里有点冷”可能是陈述，也可能是请求关窗；讽刺甚至让表面评价与真实立场相反。
语义给出推理的结构起点，语用利用共同知识、合作期待、身份关系和情境补足。把两者结合，才能从“句子表达什么”走向“人在这里用它做什么”。
words-and-sentences提供组合直觉，syntax提供层级结构，语义则把形式映射到可比较的解释。语言意义不是神秘附着物，而是一组可以提出证据和反例的系统问题。
语义判断怎样成为数据
研究者常用故事和图片创造明确情境，再询问某句能否真实描述场景。这样可以把词义、量化和时态的解释与一般常识分开。
翻译问句容易把研究者语言的范畴带入目标语言。更好的任务让使用者在本地语言中理解情境，并允许他们解释为什么某表达合适或不合适。
判断也可能有梯度。参与者之间差异不一定是噪声，可能反映方言、语境更新或多种分析并存。报告分布比只给“可/不可”更诚实。
证据性与信息来源
一些语言用语法形式标记说话者的信息来自亲见、推断、传闻或其他来源。这类证据性系统显示，语言可以把知识来源常规编码进句子。
证据性不等同真假判断。传闻形式可以转述真实消息，亲见形式也可能报告错觉。它规定的是信息获得方式和说话者立场。
不同语言还把证据性与时态、情态或惊异意义结合。跨语言翻译若只加“据说”，往往无法保留全部语法效果。
语义变化的边界
词义在共同体中变化，但并非每次个人联想都会成为语言意义。创新解释需要在可重复语境中传播，并与已有形式形成稳定关系。
语料频率可以发现新搭配，不能单独证明新义已经形成。词典、实验判断和历史资料需要共同确认。
这也解释了生成模型输出新用法与人类语言变化的区别：模型可以组合形式，只有进入人类共同体的持续使用和协商，才可能改变公共语言惯例。
形式化的限度与价值
形式模型通过精确预测暴露矛盾，也便于跨现象统一。但模型会选择性忽略语调、身份和历史，不应把未编码因素说成不存在。
好的形式化明确适用范围，并能与实验、语料和田野资料连接。符号越复杂不代表解释越深，关键是是否减少任意假设并产生新预测。
破除误解：词义不等于词典释义
词典给出的是便于查询的近似，不是意义本身。把两者等同会立刻遇到几类问题。
第一，释义是循环的。 词典用词解释词，最终必然绕回来。任何有限的词典都无法为所有词提供不依赖其他词的定义——这是原则性的限制，不是编纂水平问题。
第二，很多词没有清晰边界。 「杯子」和「碗」之间存在大量两可的器物；「早上」几点结束因人因语境而异。经典的必要充分条件式定义在这类词上失效，这也是原型理论（prototype theory）被提出的动因：范畴由典型成员和相似度构成，而不是由一条判定规则划定。
第三，意义随语境变动。 「他很快」在赛跑和阅读两个语境里指向不同尺度；「打」在「打人」「打电话」「打毛衣」里几乎是不同的动作。词义更像是一个在使用中被约束下来的潜势，而非固定的内容包。
这对语义学的实际含义是：它不追求给每个词写出完美定义，而是研究意义如何组合（组合性）、如何随结构变化、以及哪些推理关系是由词义本身保证的（比如「所有」蕴含「有些」）。能被形式化的部分是关系，不是内容。
跨域连接
- 语言哲学：真值条件、可能世界与模型论这些工具来自哲学讨论，而它们划出的分工很清楚：知道一个陈述句的意义，部分上是知道世界在什么条件下使它为真——这并不要求已经知道它事实上真不真。语义给出核查条件，经验调查决定结果；疑问、命令与虚构则说明这套工具必须扩展。
- 句法：组合性原则认为复杂表达的意义由组成部分及其组合方式系统决定。「每个学生读了一本书」的两种理解不是词典多义，而来自量化表达的结构关系。可检验推论：若歧义源于结构，它应随语序、韵律或形态标记的改变而消失，而词义从未变过。
- 语用学：编码意义通常不足以解释一次完整交流。预设提供了好判据——「他停止吸烟」在否定和提问下仍保留「他以前吸烟」的背景承诺，但语境可以取消它。因此语义与语用的界线画不出于单例直觉，只能靠否定、疑问、条件句下的系统对比。
- 大语言模型：分布式模型从上下文学习统计表示，能捕捉相似性并支持生成，但上下文预测能力与稳定指称、行动理解、社会承诺不是同一件事。该拆成可测子项：是否保持蕴涵关系、能否跟踪指称、对否定与量化是否稳定、能否根据世界反馈修正。只在英语基准上成功，推不出掌握了人类语言意义的普遍结构。
- 信息论：词义的模糊不是纯粹缺陷。允许一个词覆盖一片相邻含义，可以用有限词汇量表达无限情形，代价是必须靠语境消歧。推论是：语境越可预测，可容忍的模糊就越多——高度依赖共同背景的语域应出现更多多义与省略。
参考文献
- Chierchia, Gennaro, and Sally McConnell-Ginet. Meaning and Grammar. 2nd ed., MIT Press, 2000.
- Saeed, John I. Semantics. 4th ed., Wiley-Blackwell, 2016.
- von Fintel, Kai, and Lisa Matthewson. “Universals in Semantics.” The Linguistic Review 25, 2008.
- Stanford Encyclopedia of Philosophy. Theories of Meaning.