Dicionário de Termos Linguísticos

É uma fórmula do cálculo proposicional intensional que deve ser verdadeira em qualquer modelo admissível para interpretar CPI. Os postulados de significação colocam restrições na interpretação semântica de um sistema de linguagem formal através da limitação da classe de modelos admitidos para interpretar tal sistema ou cálculo. Os postulados de significação permitem uma análise semântica incompleta na medida em que só restringem a classe de modelos admissíveis. Só por esta razão os postulados de sentido e outras abordagens de restrição de modelos parecem ser mais flexíveis do que as traduções decomposicionais.