O documento explica que os juízos categóricos podem ser traduzidos para proposições lógicas usando o Cálculo Proposicional. Os quatro tipos de juízos categóricos (A, E, I, O) podem ser expressos como proposições condicionais ou conjuntivas. Isso mostra que a Lógica Clássica pode explicar tudo o que a lógica aristotélica pode e ainda mais.

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