Lógica modal: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 1:
A '''lógica modal''' se refere a qualquer sistema de [[lógica formal]] que procure lidar com ''modalidades'' (tratar de modos quanto a tempo, [[Possibilidade (lógica)|possibilidade]], [[probabilidade]], etc.). Tradicionalmente, as modalidades mais comuns são ''[[Possibilidade (lógica)|possibilidade]]'' e ''[[Necessidade (filosofia)|necessidade]]''. Lógicas para lidar com outros termos relacionados, como ''probabilidade'', ''eventualidade'', ''padronização'', ''poder'', ''poderia'', ''deve'', ''deveria'', são por extensão também chamadas de lógicas modais, já que elas podem ser tratadas de maneira similar.
Uma lógica modal formal representa modalidades usando ''operadores modais''. Por exemplo: "Era possível o assassinato de Arnaldo" e "Arnaldo foi possivelmente assassinado" são exemplos que contêm a noção de possibilidade. Formalmente, essa noção é tratada como o operador modal ''Possível'', aplicado à sentença "Arnaldo foi assassinado".
| |||