El silogismo es una forma de razonamiento deductivo que consta de dos

proposiciones como premisas y otra como conclusin, siendo la ltima una

inferencia necesariamente deductiva de las otras dos. Fue formulado por primera
vez por Aristteles, ampliamente reconocido como padre fundador de la lgica. El
silogismo es la nocin central de la lgica aristotlica, pilar fundamental del
pensamiento cientfico y filosfico desde su invencin hace ms de dos milenios.

Aristteles public los silogismos en su obra lgica recopilada rganon, de sus

libros conocidos como Primeros Analticos (en griego Proto Analytika, en latn
Analytica Priora - idioma con el que se conoci la obra en Europa Occidental).

Elementos de los silogismos

El juicio aristotlico considera la relacin entre dos trminos: un sujeto S, y
un predicado P. El silogismo compara estos dos trminos con un trmino
medio M, para obtener por razonamiento deductivo una conclusin sobre la
relacin entre el sujeto S y el predicado P.
Estructura del silogismo
El silogismo est compuesto por un antecedente, el cual consta de dos
juicios llamados premisas, y un consecuente, el juicio resultante como
conclusin. De esta forma, el silogismo tiene la siguiente estructura:

Premisa mayor, juicio en el que se encuentra el trmino mayor

o predicado de la conclusin, P, comparado con el trmino medio M.

Premisa menor, juicio en el que se encuentra el trmino menor o sujeto de

la conclusin, S, comparado con el trmino medio M.

Consecuente, un juicio de conclusin al que se llega, el cual afirma (une)

o niega (separa) la relacin entre S y P.
Entonces, los juicios, que dan origen a las premisas mayor y menor, se relacionan
unos con otros para constituir un argumento. De esta manera, el silogismo
argumenta estableciendo la conclusin como una relacin entre dos trminos,
derivada de la comparacin de ambos trminos con un tercer trmino.
Cantidad, o extensin de los trminos
La extensin de los trminos se refiere a un criterio de cantidad. Los
trminos S, P y M pueden ser tomados en su extensin universal, abarcando a
todos los posibles individuos- el dominio de discurso - a los cuales pueda referirse
el concepto, o en su extensin particular, cuando se refiere slo a algunos. Por
ejemplo, la relacin entre S y P de acuerdo a su extensin puede ser:

Universal: donde todo S es P.Los nombres propios tienen

extensin universal; pues el uno, como nico, equivale a
un individuo que siendo nico es, por eso, todos los posibles.
 Particular: donde algunos S son P
Cualidad, o relacin entre trminos
Especficamente, la cualidad o relacin entre trminos puede ser:

Afirmativa o de unin: S es P.

Negativa o de separacin: S no es P.
El predicado de una afirmacin siempre tiene extensin particular, y el predicado
de una negacin est tomado en su extensin universal. Cuando un concepto,
sujeto o predicado, est tomado en toda su extensin se dice que est distribuido;
cuando no, se dice que est no distribuido.
Clasificacin de los juicios
Segn el criterio de cantidad y cualidad, los juicios o premisas pueden agruparse
en las siguientes clases:
CLASE DENOMINACIN ESQUEMA EXPRESIN-EJEMPLO Extensin de los trminos
Todos
A Universal Afirmativo Todo S es P S: Universal P: Particular
los hombres son mortales
Todos los S no
E Universal Negativo Ningn hombre es mortal S: Universal P: Universal
son P
I Particular Afirmativo Algn S es P Algn hombre es mortal S: Particular P: Particular
Algn hombre no
O Particular Negativo Algn S no es P S: Particular P: Universal
es mortal

Figuras y modos silogsticos

Teniendo en cuenta la disposicin de los trminos en las premisas y en
la conclusin se pueden dar las siguientes figuras silogsticas:
1 2 3 4
ELEMENTO
FIGURA FIGURA FIGURA FIGURA
Premisa
MP PM MP PM
mayor
Premisa
SM SM MS MS
menor
Conclusin SP SP SP SP

Los modos silogsticos son las distintas combinaciones que se pueden hacer con
los juicios que forman parte de las premisas y la conclusin. Como los juicios
tienen cuatro clases distintas (A,E,I,O), y para formar figuras se toman de tres en
tres dos premisas y una conclusin hay 64 combinaciones posibles. Estas 64
combinaciones posibles quedan reducidas a 19 modos vlidos, al aplicar las
reglas del silogismo.
REGLAS DEL SILOGISMO
Reglas para los trminos
El silogismo no puede tener ms de tres trminos
Esta ley se limita a cumplir la estructura misma del silogismo: la comparacin de
dos trminos con un tercero. Aunque la regla es clara, su aplicacin no siempre lo
es. Es lo que algunos llaman silogismo de cuatro patas, ya que se introduce
equivocadamente un cuarto trmino o quaternio terminorum.
Ejemplo: Consideremos el siguiente silogismo errneo:

Premisa Mayor Los hombres son esencialmente libres.

Premisa Menor Las mujeres no son hombres.

Conclusin Las mujeres no son libres.

Los trminos que aparecen como evidentes son las palabras hombre, libre, mujer.
Pero, a modo de non sequitur (un tipo de error lgico) en la supuesta premisa
mayor se utiliza la palabra hombre en su acepcin de especie (Homo sapiens)
mientras que en la supuesta premisa menor del quaternio terminorum se ha
trocado el significado de la palabra hombre utilizando la acepcin
de gnero (hombre como sinnimo de varn). Es decir, se ha incluido
subrepticiamente un cuarto trmino, de all que la conclusin del quaternio
terminorum es errnea, un sofisma. Si se observa bien, en el ejemplo dado
de quaternio terminorum se ha expresado de un modo entimemtico.
Los trminos no deben tener mayor extensin en la conclusin que en las
premisas
Por la misma estructura del silogismo; nicamente podremos obtener conclusiones
acerca de lo que hemos comparado en las premisas.
El trmino medio no puede entrar en la conclusin
Por la misma estructura del silogismo la funcin del trmino medio es servir de
intermediario, como trmino de la comparacin.
El trmino medio ha de tomarse en su extensin universal por lo menos en
una de las premisas
Para que la comparacin sea tal, es necesario que el trmino medio sea
comparado en su totalidad. De otra forma, podra ser comparado un trmino con
una parte y el otro con la otra, constituyndose en realidad entonces un silogismo
de cuatro trminos.
Ejemplo: Consideremos el siguiente silogismo errneo:

Premisa Mayor Todos los andaluces son espaoles.

Premisa Menor Algunos espaoles son gallegos.

Conclusin Por tanto, algunos gallegos son andaluces.
Lo que evidentemente no es un modo vlido, puesto que "espaoles" en la
premisa mayor al ser predicado de una afirmativa est tomado en su extensin
particular.
Reglas de las premisas
De dos premisas negativas no puede obtenerse conclusin alguna
Dos premisas negativas no se adaptan a la estructura del silogismo, ya que si
negamos S de M, y P de M, no sabemos qu relacin puede haber entre S y P.
Para establecer la relacin, por lo menos uno de los trminos tiene que
identificarse con M. Por tanto una de las dos premisas tiene que ser afirmativa.

De dos premisas afirmativas no puede sacarse una conclusin negativa

En efecto, si S se identifica con M, y P tambin se identifica con M, no tiene
sentido establecer una relacin negativa con entre S y P. La conclusin ser
afirmativa.

La conclusin siempre sigue la parte ms dbil. Se entiende por parte dbil a

la negativa frente a la afirmativa, y a la particular frente a la universal
Veamos los dos casos separadamente:

Conclusin negativa de una premisa afirmativa y la otra negativa.

Si se afirma una relacin entre dos trminos (X, M), pero se niega la de uno
de ellos con otro (Y, M), siendo M el trmino medio, no puede haber ms
conclusin que negar la relacin que pueda haber entre el primero (X) y el
ltimo (Y) siendo uno sujeto y el otro predicado de la conclusin.

Conclusin particular de una premisa universal y otra particular (teniendo

en cuenta que dos premisas particulares no puede ser, como veremos en
la regla siguiente).
Pueden darse dos casos: Que una sea afirmativa y la otra negativa, o que
las dos sean afirmativas.

1. Dos afirmativas. (El predicado de una afirmativa est tomado en su

extensin particular, y el predicado de una negativa en su extensin
universal).
Al ser ambas afirmativas sus predicados son particulares. El trmino
de la universal tiene necesariamente que ser el trmino medio, la
conclusin debe tener un sujeto particular.

2. Una afirmativa y otra negativa: tiene que haber dos trminos

universales. Uno de ellos tiene que ser el trmino medio, el otro
 tiene que ser el predicado de la conclusin, pues la conclusin
tendr que ser negativa, (caso a) de esta misma regla). Por tanto el
trmino que queda ser el sujeto de la conclusin con extensin
particular.

De dos premisas particulares no se obtiene conclusin vlida

Tambin tiene dos casos posibles: que una sea afirmativa y la otra negativa
o que ambas sean afirmativas.
Afirmativa y negativa
Algn A es B - Algn A no es C.
Slo hay un trmino universal que es el predicado de la negativa, que por
tanto tiene que ser el trmino medio. La conclusin tendr que ser negativa
(caso a) de la regla anterior), y por tanto el predicado tendr que ser
universal, y no puede ser el trmino medio por tanto no puede haber
conclusin.
Dos afirmativas
Algn A es B - Algn A es C.
Los tres trminos son particulares, y por tanto no puede haber trmino
medio con extensin universal, y por tanto no hay conclusin posible.

Ejemplos de silogismos

Cuando duermo no puedo ir a la sala de teatro.

Sino concurro a la sala de teatro no me voy a entreterner.
Conclusin: si me duermo no me voy a entretener.

Todos los mamferos son animales.

Todos los hombres son mamferos
Conclusin: todos los hombres son animales

Todos los vehculos comodos son populares

Todas la carretillas son vehculos comodos
Conclusin: todas las carretillas son populares

Leer un buen libro es divertido

me agrada mucho leer
conclusin: Leer me divierte

todos los planetas del universo son redodndos

la tierra es un planeta
conclusin: la tierra es redonda

algunas aves vuelan

los canarios vuelan
conclusin: los canarios son aves.

Las ideas soninmateriales

La belleza es una idea
Conclusin: la belleza es material

El conocimiento es muy importante

Las matemticas son conocimiento
Conclusin: las matemticas son importantes

Ninguna ave es mamfero

El murcilago es un mamfero
Conclusion: el murcilago no es un ave

Las estrellas emiten su propia luz

El sol emite su propia luz
Conclusion: el sol es una estrella