Dentre as chamadas lógicas não clássicas, historicamente a lógica modal é a mais antiga, remontando a Aristóteles. Hodiernamente, podemos identificar três importantes sub-ramos das chamadas “Lógicas Modais” (aléticas, epistêmicas e deônticas).
Sobre estas, é correto afirmar.
1. Um traço comum, que permite chamar as lógicas aléticas, epistêmicas e deônticas de “modais” é o fato de que todas elas possuem semânticas de mundos possíveis.
2. Lógicas deônticas são aquelas que se ocupam dos conceitos de possibilidade e necessidade, enquanto as lógicas aléticas tratam de conceitos morais, introduzindo operadores com significados como “é obrigatório que”.
3. À diferença das chamadas lógicas alternativas, que partem do princípio que a lógica clássica precisa ser substituída, as lógicas modais objetivam estender semântica e axiomaticamente a lógica formal em outras direções.
4. As expressões modais mais utilizadas são as da lógica modal alética “é necessário que” e “é possível que”, que são representadas, respectivamente, pelos símbolos ‘◊’ e ‘’.
5. Nem sempre é possível determinar o valor-verdade de uma sentença da forma modal ‘◊ α’ ou ‘ α’ a partir do valor-verdade de α.
Assinale a alternativa que indica todas as afirmativas corretas.