Na Lógica Clássica se tem as contribuições do filósofo grego Aristóteles (384-322 a. C.). Sendo assim, na lógica aristotélica pode ser dividida em formal e material. A lógica formal ou simbólica aborda a estrutura do raciocínio, ou seja, estuda as relações entre conceitos e provas, sendo conhecida também como lógica matemática. BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica Matemática. Cengage Learning, 2011 (adaptado). Assinale a alternativa cujas respostas são estruturas de lógicas formais:

A questão pede estruturas de lógicas formais, isto é, sistemas lógicos que tratam da forma/estrutura do raciocínio (linguagens formais, regras de inferência, semânticas), em oposição ao que seria “material” (conteúdo, aplicações específicas etc.).

Analisando as alternativas:

• (a) Lógica Proposicional, Lógica Paracompleta e Lógica Modal são sistemas lógicos formais bem definidos na lógica contemporânea (clássica e não clássica). Logo, está coerente com “estruturas de lógicas formais”.

• (b) Modal, Epistêmica e Deôntica: apesar de todas poderem ser formalizadas e serem ramos formais, aqui há um detalhe comum em provas: epistêmica e deôntica são frequentemente apresentadas como aplicações/variações temáticas da lógica modal (modalidades de conhecimento e obrigação), e a questão tende a cobrar “estruturas” mais gerais (como proposicional e lógicas não clássicas), não apenas especializações modais.

• (c) e (d) incluem “Lógica de Programação”, que não é tipicamente classificada como um sistema lógico formal ao lado de proposicional/modal (é mais uma área aplicada/da computação, ligada a linguagens, paradigmas e uso de lógica, mas não é uma “estrutura” lógica padrão como as demais).

• (e) Fuzzy, Proposicional e Deôntica: fuzzy e proposicional são lógicas formais, mas novamente deôntica aparece como especialização modal e a alternativa mistura melhor categorias; em geral, a opção (a) é a que reúne três exemplos clássicos de sistemas formais (proposicional, modal e uma não clássica bem definida como a paracompleta).

Portanto, a alternativa mais adequada ao enunciado é a (a).

Alternativa correta: (a).