El silogismo
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 ser verdadera. Aristóteles identificó más de 200 formas silogísticas válidas y las clasificó en figuras.
Las categorías
En sus Categorías, Aristóteles argumentó que todo lo que se puede decir sobre la realidad cae 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.
El principio de no contradicción
Aristóteles formuló el principio de no contradicción: nada puede ser y no ser al mismo tiempo y en el mismo sentido. Este principio fundamental —«A no puede ser A y no-A a la vez»— es la base del razonamiento lógico y la matemática clásica.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →La influencia de la lógica aristotélica
Las universidades europeas medievales enseñaron la lógica aristotélica como el fundamento de todo estudio académico. 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 pruebas matemáticas que los silogismos no podían.
Preguntas frecuentes
¿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 tanto, Sócrates es mortal.
¿Aristóteles inventó la lógica?
Aristóteles inventó la lógica formal: el estudio sistemático de las reglas para un razonamiento válido. Si bien los filósofos presocráticos y Platón usaron 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 pruebas matemáticas. La lógica silogística de Aristóteles es un caso especial dentro de la lógica formal moderna.