Trabalho

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.
Para Aristóteles, a distinção entre existencial e universal é uma [metafísica] fundamental, não apenas gramatical. Um termo singular para Aristóteles é de tal natureza sobre ser predicado de algo. Isso não é predicado de mais de uma coisa: "Sócrates não é predicado de mais um objeto, motivo pelo qual nós não dizemos todo Sócrates como dizemos todo homem"(metafísica). Isso pode se caracterizar com uma gramática de predicados, como na sentença "a pessoa vindo até aqui é Callias". Mas isso ainda é um sujeito lógico.
Ele contrasta isso com o "universal". Termos universais são os materiais básicos da lógica aristotélica, proposições contendo termos singulares não fazem parte disso afinal. elas são mencionadas brevemente em De Interpretatione (Interpretação). Depois, no capítulo das Primeiras Analíticas, de onde Aristóteles metodicamente parte sua teoria de silogismo, eles são completamente ignorados.
A razão dessa omissão é clara. A característica essencial do termo lógico é que, dos quatro termos nas duas premissas, um deve ocorrer duas vezes. Assim: