2. É perfeitamente possível traduzir os juízos
categóricos para proposições utilizáveis
pelo Cálculo Proposicional.
Sabemos que há quatro tipos de juízos
categóricos:
Tipo A – ‘Todos os países têm uma bandeira’.
Tipo E – ‘Nenhum país tem uma bandeira’.
Tipo I – ‘Alguns países têm bandeira’.
Tipo O – ‘Algumns países não têm bandeira’.
3. Tipo A torna-se: ‘Se algo é um país,
então tem uma bandeira’.
Tipo E torna-se: ‘Se algo é um país,
então não tem uma bandeira’.
Tipo I torna-se: ‘Algo é um país e tem
uma bandeira’.
Tipo O torna-se ‘Algo é um país e não
tem uma bandeira’.
4. Explica-se assim que a Lógica Clássica,
especificamente o Cálculo
Proposicional, consegue explicar tudo
aquilo que o sistema aristotélico
consegue.
5. Para além disso, a Lógica Clássica
permite explicar também qualquer
argumento que não se deixe reduzir
Assim, o esquema em baixo mostra que
a Lógica é mais ampla em termos
explicativos do que a aristotélica.
Lógica Aristotélica
Lógica Clássica
