A
lógica aristotélica é o estudo formal mais moderno da
lógica na atualidade, desenvolvido pelo
filósofo grego Aristóteles, na
Antiguidade. Compreende o maior desenvolvimento de teoria lógica, que foi respeitado durante séculos:
Kant, que estava dez vezes mais distante de Aristóteles do que nós, assegurou que nada de significante foi adicionado a lógica de Aristóteles durante dois milênios.
No último século a reputação de Aristóteles teve duas grandes reviravoltas. O nascimento da chamada lógica moderna, através do trabalho de
Gottlob Frege e
Bertrand Russell, trouxeram a tona sérias limitações da lógica aristotélica. Hoje, poucos tentariam manter que é adequado como uma base da compreensão cientifica e matemática. Ao mesmo tempo alunos treinados em técnicas formais modernas começaram a ver Aristóteles com mais respeito, não só pela clareza de seus resultados, mas também pelo notável trabalho dele em lógica moderna.