In formal semantics and philosophy of language, a meaning postulate is a way of stipulating a relationship between the meanings of two or more words.
They were introduced by Rudolf Carnap as a way of approaching the analytic/synthetic distinction.
[1] Subsequently, Richard Montague made heavy use of meaning postulates in the development of Montague grammar,[2] and they have features prominently in formal semantics following in Montague's footsteps.
[3] Meaning Postulate is a formula to express an aspect of the sense of a predicate.
The formula is expressed with - so-called - connectives.