意义公设(meaning postulates),文学-语言文字-语义学,一个通过假设而形成的概念,认为词项可以在它与其他词项的关系中被定义。在模型论语义学中,意义公设用一种对象语言(L)中分析为真的句子来描写词汇意义,由此对L的各种释义可能性施加限制。经典的例子由R.卡尔纳普制定,如:单身汉=未婚男性。意义公设的实质是一种表示词项(尤其是谓词)语义中某方面特征的公式,这一公式通常由逻辑联结词表达。常用的联结式有等值≡(联结词表述为“当且仅当”)、衍推→(联结词表述为“当/若/如果…则/那么”)、否定~(联结词表述为“非/没有”)。例如:①小王通过了考试,当且仅当他考试获得60分以上成绩。②如果小王是一个男孩,那么他是一个男性。③小王没睡着,那么他是醒着的。在意义公设中,以上三句可以被表示为:①(小王)通过考试 ≡(小王)60分以上②(小王)是男孩 →(小王)是男性③(小王)醒着 → ~(小王)睡着“意义公设”中的“公设”原本为逻辑学术语,指理论上设定为真的一组最初的命题。