The Syllogism
A forma lógica fundamental de Aristoteles é o silogismo: uma conclusão derivada de duas premissas. O exemplo clássico: Todos os homens são mortais. Sócrates é um homem. Portanto, Sócrates é mortal. Um silogismo válido garante que, se as premissas são verdadeiras, a conclusão deve ser verdadeira. Aristoteles identificou mais de 200 formas silogísticas válidas e as classificou em figuras.
The Categories
Em suas Categorias, Aristoteles argumentou que todas as coisas que podem ser ditas sobre a realidade se enquadram em dez categorias fundamentais: substância, quantidade, qualidade, relação, lugar, tempo, posição, condição, ação e paixão. Este framework ontológico — classificando todo o ser — influenciou a filosofia medieval, a teologia cristã e a filosofia islâmica por séculos.
A Lei da Não-Contradição
Aristoteles formulou a lei da não-contradição: nada pode ser e não ser ao mesmo tempo e sob o mesmo aspecto. Este princípio fundamental — "A não pode ser tanto A quanto não-A" — é a base do raciocínio lógico e da matemática clássica.
A Influência da Lógica Aristotélica
As universidades medievais europeias ensinavam lógica aristotélica como fundamento de todo estudo acadêmico. Estudiosos islâmicos, incluindo Avicena e Averróis, a transmitiram e expandiram. Thomas Aquinas a sintetizou com a teologia cristã. Só foi deslocada no século XIX quando George Boole reduziu a lógica à álgebra e Gottlob Frege desenvolveu lógica de predicados capaz de lidar com provas matemáticas que os silogismos não conseguiam.
Frequently Asked Questions
O que é um silogismo?
Um silogismo é um argumento lógico em três partes: duas premissas levam a uma conclusão. Se as premissas são verdadeiras e o argumento é válido, a conclusão deve ser verdadeira. Exemplo: Todos os homens são mortais; Sócrates é um homem; portanto, Sócrates é mortal.
Aristoteles inventou a lógica?
Aristoteles inventou a lógica formal — o estudo sistemático das regras para o raciocínio válido. Embora filósofos pré-socráticos e Platão usassem argumentos lógicos, Aristoteles foi o primeiro a codificar e classificar as formas de inferência válida.
Por que a lógica aristotélica foi substituída?
No século XIX, George Boole reduziu a lógica a operações algébricas e Gottlob Frege desenvolveu a lógica de predicados — um sistema mais poderoso capaz de lidar com a quantificação complexa necessária para provas matemáticas. A lógica silogística de Aristoteles é um caso especial dentro da lógica formal moderna.