Lógica aristotélica

A lógica aristotélica é o estudo formal da lógica desenvolvido pelo filósofo grego Aristóteles, na Antiguidade. Compreendeu o maior desenvolvimento de teoria lógica até o século XIX. Kant assegurava-se que nada de significante havia sido adicionado à lógica nos dois milênios entre seu tempo e o de Aristóteles, e que a razão disso é que tudo o que havia para saber sobre o estudo formal do raciocínio já estaria no trabalho de Aristóteles. Entretanto, nos últimos dois séculos a reputação da lógica aristotélica teve uma grande reviravolta. O nascimento da chamada lógica moderna, através do trabalho de Gottlob Frege e Bertrand Russell, trouxeram a tona sérias e numerosas limitações da lógica aristotélica. Hoje, poucos tentariam manter que é adequado como uma base da compreensão científica, filosófica, e matemática. Ao mesmo tempo alunos treinados em técnicas formais modernas voltaram 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.