Dicionário de Termos Linguísticos

Este dispositivo, usado por Carnap (1947), é uma espécie de restrição sobre modelos possíveis. Carnap introduziu-o para dar conta de frases analíticas que não podem ser analisadas como sendo logicamente verdadeiras (como uma sequência da sua forma sintáctica). Por exemplo, "todos os solteiros são não casados" cujo postulado de significação é: ∀x [S (x) → C (x)] quer dizer que, modelos possíveis, se opera uma restrição nos modelos em que tal fórmula é verdadeira. Este dispositivo é também utilizado em semântica intensional, sobretudo a partir de Montague e uma forma de pensar postulados de significação é que eles captam explicitamente alguns aspectos da semântica lexical dos elementos mencionados nos postulados.