Dicionário de Termos Linguísticos

Os nomes próprios se forem traduzidos para constantes lógicos (como na lógica de predicados) têm uma referência constante. Kripke introduziu a noção de designador rígido para esta característica semântica dos nomes próprios. A extensão de um nome próprio é a mesma entidade no domínio de qualquer índice e por isso, avaliar um nome próprio em dois índices dá-nos a mesma extensão. Veja-se, por exemplo, o que se passa em contextos opacos. Exemplos: o João crê que a Maria ganhou a corrida; acerca da Maria, o João crê que ganhou a corrida.