O Silogismo
A forma lógica fundamental de Aristóteles é 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 forem verdadeiras, a conclusão deve ser verdadeira. Aristóteles identificou mais de 200 formas silogísticas válidas e as classificou em figuras.
As Categorias
Em suas Categorias, Aristóteles argumentou que todas as coisas que podem ser ditas sobre a realidade se encaixam em dez categorias fundamentais: substância, quantidade, qualidade, relação, lugar, tempo, posição, condição, ação e paixão. Esse arcabouço ontológico — classificando todo o ser — influenciou a filosofia medieval, a teologia cristã e a filosofia islâmica por séculos.
O Princípio da Não Contradição
Aristóteles formulou o princípio da não contradição: nada pode ser e não ser ao mesmo tempo e sob o mesmo aspecto. Esse princípio fundamental — "A não pode ser A e não-A ao mesmo tempo" — é a base do raciocínio lógico e da matemática clássica.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →A Influência da Lógica Aristotélica
As universidades europeias medievais ensinaram a lógica aristotélica como fundamento de todo estudo acadêmico. Eruditos islâmicos, incluindo Avicena e Averróis, a transmitiram e expandiram. Tomás de Aquino a sintetizou com a teologia cristã. Ela só foi deslocada no século XIX, quando George Boole reduziu a lógica à álgebra e Gottlob Frege desenvolveu a lógica de predicados, capaz de lidar com provas matemáticas que os silogismos não conseguiam processar.
Perguntas Frequentes
O que é um silogismo?
Um silogismo é um argumento lógico de três partes: duas premissas levam a uma conclusão. Se as premissas forem verdadeiras e o argumento for válido, a conclusão deve ser verdadeira. Exemplo: Todos os homens são mortais; Sócrates é um homem; portanto, Sócrates é mortal.
Aristóteles inventou a lógica?
Aristóteles 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, Aristóteles 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 potente, capaz de lidar com a quantificação complexa necessária para provas matemáticas. A lógica silogística de Aristóteles é um caso especial dentro da lógica formal moderna.