O filósofo, matemático e lógico austríaco Kurt Godel em 1933 incluiu a lógica modal como uma extensão da lógica proposicional clássica, e, sobretudo, relacionou pela primeira vez a lógica modal com a lógica intuicionista. Isto posto, foram muitas as contribuições nesta abordagem até alcançar a Semântica Relacional de Mundos Possíveis (SRMP).
HAACK, S. Filosofia das lógicas; tradução Cezar Augusto Mortari, Luiz Henrique de Araújo Dutra. São Paulo: UNESP, 2002.
Considerando as informações apresentadas, analise as afirmativas a seguir:
I. A lógica modal abrange os aspectos de verdades necessárias e verdades contingentes.
II. A verdade necessária é uma verdade que não poderia ser de outra forma.
III. A negação de uma verdade necessária é impossível ou contraditória.
IV. Uma verdade necessária é verdadeira de acordo com a SRMP.
Considerando o contexto apresentado, é correto o que se afirma em:
Escolha uma opção:
a. I, II, III e IV.
b. I, II e IV, apenas.
c. III e IV, apenas.
d. I e II, apenas.
e. I, apenas.
