Lógicas Não-Clássicas
Lógica Modal
- As proposições necessariamente verdadeiras são também chamadas de proposições “necessárias”. As proposições limitadas a falso são chamadas proposições “impossíveis”. Proposições ora falsas ora verdadeiras, são denominadas “contingentes”. Se uma proposição é não-impossível, então ela é dita “possível”.
- Estas quatro noções básicas, a necessidade, a impossibilidade, a contingência e a possibilidade, são noções modais.
- Nem sempre podemos determinar o valor verdade de uma sentença da forma ‘? P’ ou ‘? P’ a partir do valor verdade de P.