Lógicas Não-Clássicas
Lógica Modal
- Uma das limitações da lógica de primeira ordem é a não diferenciação entre os conceitos de possível e necessário, já que de acordo com o formalismo clássico, fórmulas são apenas verdadeiras ou falsas.
- A lógica modal foi formalizada em 1918 por Lewis, a partir da noção de mundo possível, cuja interpretação pode descrita como uma alternativa “imaginável” ao mundo real.
- As expressões modais mais investigadas são “É possível que” e “É necessário que”. Na lógica modal, essas expressões são representadas, respectivamente, pelos símbolos ? e ?.
- Uma verdade necessária permanece verdadeira em todos os mundos; já uma verdade possível se verifica em apenas alguns mundos.