Lógicas Não-Clássicas
Lógica Modal
- Suponha que um certo rio é poluído. Seja P representando esse enunciado. Então, P é verdade e ? P é falso.
- Contudo os enunciados
- ? P - É necessário que este rio seja poluído; e
- ?? P - É necessário que este rio não seja poluído.
São falsos. Nenhuma condição é necessária. A condição do rio é um fato contingente; ele não está destinado a ser de uma maneira ou de outra.
- Analogamente os enunciados
- ? P - É possível que este rio seja poluído; e
- ? ? P - É possível que este rio não seja poluído.
São verdadeiros. As duas condições são possíveis.
- Se P é verdadeira, então ? P é certamente verdadeira. Se P é falsa, então ? P é falsa.