A lógica modal pertence as lógicas não clássicas ou heterodoxas. Isto posto, os precursores da lógica modal foram: Gottlob Frege (1848-1925), Bertr...

A afirmação apresentada na pergunta está correta. A lógica modal é considerada uma lógica não clássica ou heterodoxa, e seus precursores foram Gottlob Frege, Bertrand Russel e Clarence Irving Lewis. Frege e Russel contribuíram com o cálculo sentencial não-modal, enquanto Lewis foi o responsável pela primeira tentativa de organizar e axiomatizar a lógica modal.

A lógica modal pertence as lógicas não clássicas ou heterodoxas. Isto posto, os precursores da lógica modal foram: Gottlob Frege (1848-1925), Bertrand Russel (1829-1970) por meio do cálculo sentencial não-modal, e, sobretudo Clarence Irving Lewis com a primeira tentativa de organizar e axiomatizar a lógica modal. KNEALE, W.; KNEALE, M. O desenvolvimento da lógica. 2. ed. Lisboa: Fundação Calouste Gulbenkian, 1962. Sobre isso, a lógica modal segundo Machado e Cunha (2019) trata de duas expressões, quais são elas?

Assinale a alternativa correta. Escolha uma opção:

a. “necessariamente” e “possivelmente”.

b. “globalmente” e “possivelmente”.

c. “necessariamente” e “localmente”.

d. “localmente” e “possivelmente”.

e. “necessariamente” e “globalmente”.

“necessariamente” e “possivelmente”.