Silogismo: definición, tipos y ejemplos del razonamiento aristotélico

Descubre qué es el silogismo, sus tipos y ejemplos prácticos del razonamiento aristotélico: definición, estructura, premisas y cómo validar conclusiones lógicas.

Un silogismo es una deducción. Es un tipo de argumento lógico en el que una proposición (la conclusión) se infiere de otras dos o más (las premisas). La idea es una invención de Aristóteles.

En los Analíticos Previos, Aristóteles define el silogismo como "un discurso en el que, habiéndose supuesto ciertas cosas, resulta por necesidad algo distinto de las cosas supuestas porque éstas son así". (24b18-20)

Cada proposición debe contener alguna forma del verbo "ser". Un silogismo categórico es como una pequeña máquina compuesta por tres partes: la premisa mayor, la premisa menor y la conclusión. Cada una de estas partes es una proposición y, a partir de las dos primeras, se decide el "valor de verdad" de la tercera parte.

Componentes y términos del silogismo

Un silogismo clásico tiene tres términos, cada uno con su papel:

• Término mayor: aparece en la conclusión como predicado. Su proposición correspondiente es la premisa mayor.
• Término menor: aparece en la conclusión como sujeto. Su proposición correspondiente es la premisa menor.
• Término medio: aparece en ambas premisas pero no en la conclusión; su función es relacionar mayor y menor.

Ejemplo clásico: "Todos los hombres son mortales; Sócrates es hombre; por tanto, Sócrates es mortal." Aquí, "mortales" es término mayor, "Sócrates" término menor y "hombres" término medio.

Proposiciones categóricas: formas A, E, I, O

Los silogismos categóricos se construyen con proposiciones de cuatro tipos fundamentales:

• A (universal afirmativa): "Todos los S son P" (p. ej., Todos los hombres son mortales).
• E (universal negativa): "Ningún S es P" (p. ej., Ningún cuadrado es círculo).
• I (particular afirmativa): "Algunos S son P" (p. ej., Algunos estudiantes son músicos).
• O (particular negativa): "Algunos S no son P" (p. ej., Algunos pájaros no vuelan).

Cada tipo distribuye (se refiere a todos los individuos del término) de manera distinta: A distribuye el sujeto, E distribuye sujeto y predicado, I no distribuye ninguno, O distribuye el predicado. Saber qué términos están distribuidos es clave para evaluar la validez.

Figuras y modos

Aristóteles clasificó los silogismos por figura (la posición del término medio en las premisas) y por modo (la combinación de formas A/E/I/O en premisas y conclusión). Hay cuatro figuras clásicas y numerosos modos, de los cuales algunos son válidos y otros no.

Algunos modos clásicos válidos en la primera figura:

• Barbara (AAA-1): Todos M son P; Todos S son M; por tanto, Todos S son P.
• Celarent (EAE-1): Ningún M es P; Todos S son M; por tanto, Ningún S es P.
• Darii (AII-1): Todos M son P; Algunos S son M; por tanto, Algunos S son P.
• Ferio (EIO-1): Ningún M es P; Algunos S son M; por tanto, Algunos S no son P.

Reglas de validez y método para comprobar un silogismo

Reglas clásicas para que un silogismo categórico sea válido (forma aristotélica):

• Debe haber exactamente tres términos (no más, no menos).
• El término medio debe estar distribuido al menos una vez (debe referirse a toda su extensión en alguna premisa).
• Si un término está distribuido en la conclusión, debe estar distribuido en la premisa correspondiente.
• No puede haber dos premisas negativas.
• Si una premisa es negativa, la conclusión debe ser negativa; si las premisas son afirmativas, la conclusión debe ser afirmativa.
• No se puede inferir una conclusión particular (I u O) a partir de premisas totalmente universales, salvo que se asuma importación existencial (cuestión tratada más abajo).

Métodos para verificar validez:

• Aplicar las reglas anteriores.
• Usar diagramas de Venn: tres círculos para los tres términos; sombrear y marcar según las premisas y comprobar si la conclusión se sigue.
• Reconocer el modo y la figura y compararlos con las formas clásicas válidas (tabla de modos).

Falacias comunes en silogismos

Algunos errores frecuentes:

• Silogismo con término medio no distribuido (medio oculto): la premisa no relaciona debidamente los términos. Ejemplo: "Todos los gatos son mamíferos; Algunos perros son mamíferos; por tanto, algunos perros son gatos." (No válido).
• Ilícito mayor o menor: se distribuye un término en la conclusión que no estaba distribuido en la premisa correspondiente. Ejemplo: "Algunos filósofos son griegos; Todos los griegos son europeas; por tanto, Todos los filósofos son europeos." (Ilícito).
• Dos premisas negativas: no conducen a conclusión válida.
• Falacia existencial: sacar una conclusión particular desde premisas universales sin asumir existencia (problema en lógica moderna frente a la lógica aristotélica).

Ejemplos resueltos

• Valido (Barbara): "Todos los mamíferos son animales. Todos los perros son mamíferos. Por tanto, Todos los perros son animales." (AAA-1).
• No válido: "Todos los gatos son animales. Ningún perro es gato. Por tanto, Ningún perro es animal." (contradicción y error de distribución).
• Falacia existencial: "Todos los unicornios son blancos. Todos los unicornios son mitológicos. Por tanto, Algunos unicornios son blancos." — en lógica contemporánea la conclusión particular no se sigue porque no hay garantía de que existan unicornios.

Variantes: silogismos hipotéticos, disyuntivos y silogismo modal

Aparte del silogismo categórico, Aristóteles y la tradición lógica han analizado otras formas:

• Silogismo hipotético: usa condicionales (si A entonces B; si B entonces C; por tanto si A entonces C).
• Silogismo disyuntivo: parte de una alternativa (A o B; no A; por tanto B).
• Silogística modal: incorpora modalidades como posibilidad y necesidad; es más compleja y fue objeto de discusión entre los escolásticos y en la tradición aristotélica.

Silogismo aristotélico vs. lógica moderna

La lógica aristotélica se centra en las proposiciones categóricas y su combinatoria. La lógica simbólica contemporánea (lógica de predicados) generaliza estas ideas con cuantificadores y variables, permitiendo un tratamiento más rígido de la existencia y mayor expresividad. No obstante, el silogismo sigue siendo una herramienta pedagógica útil para entender inferencias básicas y la noción de validez.

Importancia y uso

Los silogismos sirven para:

• Enseñar las reglas básicas de inferencia y la distinción entre validez y verdad de las premisas.
• Analizar argumentos cotidianos y detectar errores formales.
• Conectar la tradición filosófica (especialmente la obra de Aristóteles) con métodos actuales de razonamiento.

En resumen, el silogismo aristotélico ofrece un marco claro y sistemático para estudiar deducciones formales. Conocer sus componentes, las formas de las proposiciones y las reglas de validez permite tanto construir argumentos correctos como identificar falacias en razonamientos ajenos.

Búsqueda por letra