A lógica formal aristotélica pode ser definida como
o estudo dos métodos e princípios usados para distinguir o raciocínio correto do incorreto.
o corpo de proposições que tem por finalidade garantir o estatuto do que é legítimo ou razoável.
o estudo da arte de convencer, que tem como objetivo demonstrar que qualquer raciocínio é lógico.
a arte de convencer, pautada na mobilização de emoções, como o medo, a hostilidade ou a reverência.
a estruturação simbólica do real, que tem por objetivo demonstrar as origens religiosas e metafísicas do homem.