Em
filosofia e
lógica,
contingência é o status de proposições que não são necessariamente verdadeiras nem necessariamente falsas. Há quatro classes de
proposições, algumas das quais se sobrepõem:
- proposições necessariamente verdadeiras ou Tautologias, que devem ser verdadeiras, não importa quais são ou poderiam ser as circunstâncias. Geralmente o que se entende por "proposição necessária" é a proposição necessariamente verdadeira:
- 2 + 2 = 4
- Nenhum solteiro é casado
- proposições necessariamente falsas ou Contradições, que devem ser falsas, não importa quais são ou poderiam ser as circunstâncias:
- 2 + 2 = 5
- Ana é mais alta e é mais baixa que Beto
- proposições contingentes, que não são necessariamente verdadeiras nem necessariamente falsas:
- Há apenas três planetas
- Há mais que três planetas
- proposições possíveis, que são verdadeiras ou poderiam ter sido verdadeiras sob certas circunstâncias:
- 2 + 2 = 4
- Há apenas três planetas
- Há mais que três planetas