Silogismo: qué es, estructura, tipos y ejemplos

Un silogismo es un argumento en el que, a partir de dos afirmaciones dadas, se obtiene una tercera que se sigue de ellas por necesidad. Es la pieza central de la lógica aristotélica y el modelo clásico del razonamiento deductivo: si las premisas son verdaderas y la forma es correcta, la conclusión no puede ser falsa.

¿Qué es un silogismo?

La palabra viene del griego syllogismós («cómputo», «razonamiento»), formada por syn («con») y logízomai («calcular, razonar»). Aristóteles lo define en los Analíticos primeros como un discurso en el que, puestas ciertas cosas, resulta necesariamente otra distinta por el mero hecho de haberlas puesto.

El ejemplo más conocido, repetido durante siglos en los manuales, es este:

Premisa mayor: todos los hombres son mortales.
Premisa menor: Sócrates es un hombre.
Conclusión: por tanto, Sócrates es mortal.

Estructura: términos y premisas

Un silogismo categórico (el tipo básico) se compone de tres proposiciones y exactamente tres términos, cada uno de los cuales aparece dos veces:

Término mayor (P): el predicado de la conclusión («mortal»).
Término menor (S): el sujeto de la conclusión («Sócrates»).
Término medio (M): aparece en las dos premisas y desaparece en la conclusión («hombre»). Es el que enlaza los otros dos.

La premisa mayor contiene el término mayor y el medio; la menor, el menor y el medio. La conclusión une el menor con el mayor.

Tipos de proposiciones

La lógica tradicional clasifica las proposiciones categóricas según su cantidad (universal o particular) y su cualidad (afirmativa o negativa). Se designan con las vocales A, E, I, O, tomadas de los verbos latinos affirmo y nego:

Letra	Forma	Ejemplo
A	Universal afirmativa	Todos los gatos son mamíferos.
E	Universal negativa	Ningún gato es un reptil.
I	Particular afirmativa	Algunos gatos son negros.
O	Particular negativa	Algunos gatos no son negros.

Figuras y modos

La figura depende de la posición del término medio en las premisas (sujeto o predicado). Aristóteles describió tres; la tradición posterior añadió una cuarta. El modo es la combinación concreta de proposiciones A, E, I y O que forman el silogismo. La escolástica medieval dio nombre a los modos válidos con palabras mnemotécnicas cuyas vocales indican el tipo de cada proposición:

Barbara (AAA, primera figura): todo M es P; todo S es M; luego todo S es P.
Celarent (EAE): ningún M es P; todo S es M; luego ningún S es P.
Darii (AII): todo M es P; algún S es M; luego algún S es P.
Ferio (EIO): ningún M es P; algún S es M; luego algún S no es P.

El silogismo de Sócrates es un ejemplo de Barbara (si se trata «Sócrates» como término universal, como hacía la tradición).

Reglas para que un silogismo sea válido

La lógica clásica enumera varias reglas. Las más importantes:

Debe haber exactamente tres términos. Si uno cambia de significado, se comete la falacia de cuatro términos.
El término medio debe estar tomado en toda su extensión (universalmente) al menos en una premisa.
Ningún término puede ser universal en la conclusión si no lo era en las premisas.
De dos premisas negativas no se puede concluir nada.
De dos premisas particulares no se puede concluir nada.
Si una premisa es negativa, la conclusión es negativa; si una premisa es particular, la conclusión es particular.

Validez no es verdad

Un error muy frecuente es confundir ambas cosas. La validez se refiere a la forma: si las premisas fueran verdaderas, la conclusión también lo sería. La verdad se refiere al contenido. Un argumento puede ser válido y tener una conclusión falsa si alguna premisa es falsa:

Todos los pájaros vuelan. Los pingüinos son pájaros. Luego los pingüinos vuelan. (Forma válida, premisa mayor falsa.)

Y puede tener premisas y conclusión verdaderas pero ser inválido:

Todos los perros son mamíferos. Todos los gatos son mamíferos. Luego todos los gatos son perros. (Falacia del término medio no distribuido: «mamíferos» no está tomado en toda su extensión en ninguna premisa.)

Un argumento es sólido cuando es válido y, además, sus premisas son verdaderas.

Otros tipos de silogismo

Hipotético: incluye una condicional. «Si llueve, la calle se moja; llueve; luego la calle se moja».
Disyuntivo: parte de una alternativa. «O está en casa o en el trabajo; no está en casa; luego está en el trabajo».
Entimema: silogismo con una premisa o la conclusión sobrentendida. «Es humano, luego es mortal». Es muy habitual en el lenguaje cotidiano y en la retórica.

Importancia

El silogismo fue durante más de dos mil años el modelo del razonamiento riguroso y vertebró la enseñanza de la lógica en la Edad Media. Hoy la lógica moderna (cuantificacional, simbólica) lo ha integrado como un caso particular de un sistema más general, pero su estudio sigue siendo útil para aprender a detectar falacias, analizar la estructura de un argumento y distinguir entre una forma válida y una apariencia de validez.

Preguntas frecuentes

¿Qué es un silogismo en pocas palabras?

Es un razonamiento deductivo formado por dos premisas y una conclusión que se deriva necesariamente de ellas, en el que intervienen tres términos: mayor, menor y medio.

¿Cuáles son las partes de un silogismo?

Premisa mayor, premisa menor y conclusión. A su vez, los tres términos son el mayor (predicado de la conclusión), el menor (sujeto de la conclusión) y el medio (presente en ambas premisas, pero no en la conclusión).

¿Quién inventó el silogismo?

Aristóteles (siglo IV a. C.) lo formuló de manera sistemática en los Analíticos primeros, obra incluida en el conjunto de sus escritos lógicos conocido como Órganon. Es considerado el fundador de la lógica formal.

¿Un silogismo válido siempre tiene una conclusión verdadera?

No. Si alguna premisa es falsa, la conclusión puede serlo aunque la forma sea correcta. Solo cuando es válido y sus premisas son verdaderas, la conclusión es necesariamente verdadera.

¿Qué diferencia hay entre silogismo y falacia?

Un silogismo válido respeta las reglas formales de la inferencia. Una falacia es un argumento que parece correcto, pero no lo es, por ejemplo por usar cuatro términos o por no distribuir el término medio.

Referencias

Aristóteles. Analíticos primeros, en Tratados de lógica (Órganon). Madrid: Gredos.
Copi, I. M. y Cohen, C. Introducción a la lógica. México: Limusa.
Kneale, W. y Kneale, M. El desarrollo de la lógica. Madrid: Tecnos.

Cómo citar este artículo

Equipo de Conceptualia. (2026). «Silogismo». Conceptualia. https://conceptualia.es/cultura-y-sociedad/conocimiento/silogismo/

Sobre el autor

Conceptualia — El equipo editorial de Conceptualia redacta y revisa cada concepto para que sea claro, riguroso y útil, con ejemplos y ejercicios cuando ayudan a entenderlo.