意义公设（meaning postulate）

定义

明确表达词语之间必要语义关系的一条形式化规则。

深入理解

意义公设在形式系统中明确规定某些谓词之间的必要关系，如包含或不相容。设计者可参照日常词义，但其效力来自所选系统的语义规定，不能把事实上的常见情形直接升级成必要条件。Carnap 的讨论也区分形式语言解释与自然语言问题。公设可固定部分关系，无须穷尽每个词的全部意义。

思考如何推进

1. 选择要固定的语义关系。
2. 明确谓词与系统范围。
3. 写出公设并推导后果。
4. 区分约定选择与经验信念。
5. 检验是否意外排除可能情形。

例子

某模型规定：凡能真实地称为bachelor的对象，也属于未婚成年男性。该规则解释一项词汇蕴涵，却不声称给出穷尽定义。

反例与界限

鸟通常会飞，不会自动成为意义公设；不会飞的鸟并不造成语言矛盾。公设要表达的是必要语义关系，而非强烈的日常预期。

与相近概念的区别

意义公设不同于全部定义、默认规则或经验概括，行政规定也不因此自动成为意义公设。

研究与应用

形式语义模型可明确包含和不相容关系，同时记录这些规定的适用范围。

作用与限制

使推理约束显性化，也提醒使用者哪些必然性是系统选择。

共鸣

一条规则把某些通路固定下来，也决定哪些解释不再被允许。

为什么收录这个概念

它展示语义关系如何由明确设定进入逻辑模型。

从中文阅读出发

中文词典的一条解释与形式系统公设不是同层对象；语言习惯可以启发建模，却不能代替说明所作选择。

历史背景与来源范围

Carnap1952 年原文及出版记录已补充核读。它讨论形式系统的语义规定，不自动给出自然语言全部用法的历史或中文名称的最早记录。 本条未确定中文专业名称的最早用例。

实践、术语命名与中文译名的历史须分别核对。本稿不由一个相似例子推出中文术语的首例。

图谱中已有的联系

AT-119-020 · AT-103-009 · AT-133-012 · AT-134-032

来源与查阅范围

下列记录保留原资料的书目名称。所列页码不表示本轮重新阅读全文或独立核验其中全部引文。

• The Routledge Encyclopedia of the Chinese Language · Hsieh Shu-Kai · Chinese Linguistics: Semantics (2016)

  PDF 242 / p. 203; PDF 243 / p. 204

• Rudolf Carnap · Meaning Postulates (1952)

  Philosophical Studies3(5),65–73; read §§1–2, esp.66–69

德文原条目与来源 → · 英文原条目与来源 →

引用本条

Reich, Michael（编）：意义公设（meaning postulate），AT-133-019。语言图谱，Release 17.1.0，中文完整条目稿 0.57.0。引用时请注明访问日期及译稿审校状态。