The Syllogism
La forma lógica fundamental de Aristóteles es el silogismo: una conclusión derivada de dos premisas. El ejemplo clásico: Todos los hombres son mortales. Sócrates es un hombre. Por lo tanto, Sócrates es mortal. Un silogismo válido garantiza que si las premisas son verdaderas, la conclusión debe serlo. Aristóteles identificó más de 200 formas silogísticas válidas y las clasificó en figuras.
The Categories
En sus Categorías, Aristóteles argumentó que todas las cosas que pueden afirmarse sobre la realidad caen en diez categorías fundamentales: sustancia, cantidad, cualidad, relación, lugar, tiempo, posición, condición, acción y pasión. Este marco ontológico — clasificar todo el ser — influyó en la filosofía medieval, la teología cristiana y la filosofía islámica durante siglos.
La ley de no contradicción
Aristóteles formuló la ley de no contradicción: nada puede ser y no ser al mismo tiempo y en el mismo aspecto. Este principio fundamental — "A no puede ser tanto A como no-A" — es el fundamento del razonamiento lógico y la matemática clásica.
La influencia de la lógica aristotélica
Las universidades medievales europeas enseñaban la lógica aristotélica como fundamento de todos los estudios académicos. Eruditos islámicos como Avicena y Averroes la transmitieron y expandieron. Tomás de Aquino la sintetizó con la teología cristiana. Solo fue desplazada en el siglo XIX cuando George Boole redujo la lógica al álgebra y Gottlob Frege desarrolló la lógica de predicados capaz de manejar demostraciones matemáticas que los silogismos no podían.
Frequently Asked Questions
¿Qué es un silogismo?
Un silogismo es un argumento lógico de tres partes: dos premisas conducen a una conclusión. Si las premisas son verdaderas y el argumento es válido, la conclusión debe ser verdadera. Ejemplo: Todos los hombres son mortales; Sócrates es un hombre; por lo tanto, Sócrates es mortal.
¿Inventó Aristóteles la lógica?
Aristóteles inventó la lógica formal — el estudio sistemático de las reglas para el razonamiento válido. Aunque los filósofos presocráticos y Platón usaban argumentos lógicos, Aristóteles fue el primero en codificar y clasificar las formas de inferencia válida.
¿Por qué fue reemplazada la lógica aristotélica?
En el siglo XIX, George Boole redujo la lógica a operaciones algebraicas y Gottlob Frege desarrolló la lógica de predicados — un sistema más potente capaz de manejar la cuantificación compleja necesaria para las demostraciones matemáticas. La lógica silogística de Aristóteles es un caso especial dentro de la lógica formal moderna.