Dicionário de Termos Linguísticos

Uma proposição é contingente se pode ser verdadeira ou falsa, e nesse sentido o seu valor de verdade depende da atribuição de valor de verdade às suas proposições atómicas. Uma proposição em lógica de predicados cujo valor varia de modelo para modelo é contingente. Uma outra forma de definir: qualquer proposição que é não só verdadeira em alguns mundos possíveis mas também é falsa nalguns mundos possíveis. Desta forma é possivelmente verdadeira "e" possivelmente falsa. Na lógica modal, desde Aristóteles, a definição de contingente está relacionada com necessário e possível: "É contingente que P" é a conjunção de "é possível que P" e não é necessário que P".