http://serbal.pntic.mec.es/~cmunoz11/index.

html 1
El Silogismo: Historia y Desarrollo
Silvia Carnero
Silogismo es un Logos (...).Aristteles, Tpicos
Un silogismo es un discurso en el que sentadas
ciertas cosas es necesario que otra resulte de, y a
consecuencia de, ellas.
Shyreswood; Introducciones in Logicam.
Introduccin
Este trabajo trata sobre el silogismo, ms especficamente el origen y
desarrollo del silogismo a travs de la historia de la lgica. Esta opcin no es azarosa,
por el contrario, responde al intento de incorporar nuevas miradas, de ampliar el
horizonte de anlisis sobre el estudio del silogismo.
En pocas palabras, intento desmitificar la asociacin innegable y siempre
obligada que se realiza cuando de silogismo se habla, por lo general, con la nica
persona a la que se relaciona la temtica es con Aristteles. Claro est, que no
pretendo desmentir la paternidad del Estagirita en referencia al silogismo. Mi objetivo,
en cambio, es deconstruir siglos de desarrollo y conformacin del silogismo para poder
llevar a cabo un estudio en profundidad del mismo. Para esto, partir de los
desarrollos aristotlicos sobre silogstica, pero no para anclarme aqu sino como
plataforma de despegue, luego, rastrear los aportes que han realizado sobre la
temtica los Lgicos medievales- especficamente analizar los desarrollos de Pedro
Hispano y Guillermo de Shyreswood. As, como tambin, ahondar en la contribucin
teortica que Leibniz -fundador de la Lgica matemtica- aport al modelo silogstico.
El recorrido de deconstruccin y anlisis del silogismo ser lo que explicite en
las pginas que siguen. Este trabajo intenta, adems, ser un modesto aporte de
recopilacin terica, as como tambin, un pequeo tributo al modelo silogstico. Poco
es si pensamos que an hoy- en la posmodernidad -docentes y alumnos- de distintos
niveles educativos -siguen con rigor, enseando y aprendiendo este complejo arte de
pensar.
Un viaje hacia los orgenes del silogismo.
Si de orgenes de la silogstica hablamos, entonces nuestro viaje de
deconstruccin y anlisis debe comenzar en Grecia Antigua con la figura de
Aristteles.
Las obras aristotlicas llegaron a nosotros gracias al ordenamiento que de ellas
realizara Andrnico de Rodas -siglo I a.C. De este gran Corpus Aristotlico las
El Silogismo: Historia y Desarrollo. Silvia Carnero A Parte Rei 39
http://serbal.pntic.mec.es/~cmunoz11/index.html 2
concernientes a Lgica fueron reunidas ms tarde bajo el nombre de Organon.
1
De
este gran conjunto terico, se considera al libro I de los Primeros Analticos como el
primer sistema lgico que se conoce.
En este primer punto ya encontramos informacin relevante, y reside,
precisamente, en el nombre del libro que mencionramos, Primeros Analticos, para el
Estagirita analtico o que se sigue de las premisas, sera el equivalente a lo que
nosotros hoy da denominamos lgico.
Ahora bien, a qu llam Aristteles silogismo?, trmino ste ltimo de su
propio cuo al que encontramos ya mencionado en los Tpicos y, por supuesto, en los
Primeros Analticos. En este sentido se puede afirmar, que Silogismo es para este
filsofo () un Logos en el que puesto determinados supuestos, se sigue
necesariamente, en virtud de estos ltimos, otra cosa distinta de ellos
2
.
El silogismo est compuesto, tal como fuera concebido por Aristteles, por tres
trminos - premisa mayor, premisa menor y conclusin. Las dos premisas poseen un
trmino en comn - el trmino medio- y la conclusin est formada por los otros dos
trminos, llamados trminos extremos.
Aristteles, adems, dot a los silogismos de figuras, diferencindose stas
ltimas conforme con el papel que desempee el trmino medio en las premisas.
1 FIGURA: Si el trmino medio oficia de sujeto en la premisa mayor y
predicado en la menor, la conclusin se ajusta en su cualidad conforme a la premisa
mayor y en cantidad conforme a la menor.
2 FIGURA: El trmino medio hace de predicado en ambas premisas Si ambas
premisas son afirmativas o negativas, entonces no puede sacarse ninguna conclusin
vlida; por el contrario, pueden sacarse silogismos indeterminados en esta figura si
una premisa es afirmativa y la otra negativa.
3 FIGURA: El trmino medio es el sujeto en ambas premisas. Con esta figura
slo se obtienen conclusiones de tipo general.
Aristteles llamaba perfectos a los modos de la primera figura, por entender
que su orden era ms natural que en las otras, lo que haca ms intuitivo el paso a la
conclusin. Cualquier modo imperfecto puede reducirse a otro perfecto con una
conclusin equivalente.
Aristteles tambin establece una distincin entre el trmino o premisa mayor y
el trmino o premisa menor en referencia a sus extensiones respectivas y a las
posiciones que ocupan con relacin al trmino medio en cada una de las figuras. En
este sentido, se afirma, que el trmino mayor es el predicado de la conclusin.
En torno al tema de las figuras del silogismo, es menester aqu explicitar la
existencia de una cuarta figura. Esta cuarta figura fue aadida por Teofrasto- discpulo
de Aristteles y director del Liceo luego de la muerte de este ltimo.
En la cuarta figura el trmino medio ocupa el lugar del predicado en la premisa
mayor y el del sujeto en la premisa menor. De esta manera podemos afirmar que el
esquema completo de las figuras del silogismo queda expresado de la siguiente forma:
M-P P-M M-P P-M
S-M S-M M-S M-S
S-P S-P S-P S-P

1
El Organom est conformado por los siguientes libros: Las Categoras, De la Proposicin,
Los Analticos Primeros (A y B), Los Analticos Posteriores (A y B), Los Tpicos (ocho libros),
Los Elencos sofsticos.
2
Aristteles, Tpicos, en Bochenski; Historia de la Lgica Formal, Editorial Gredos, Madrid,
1985, pg.58.
El Silogismo: Historia y Desarrollo. Silvia Carnero A Parte Rei 39
http://serbal.pntic.mec.es/~cmunoz11/index.html 3
El silogismo no slo presenta figuras, sino tambin modos, dependiendo esto
ltimo de la cantidad y cualidad de las premisas y la conclusin. Los modos, segn
fueron desarrollados por Aristteles, son:
1. Universal afirmativo(A): Todos los filsofos son humanos
2. Universal negativo (E): Ningn gato es perro
3. Particular afirmativo (I): Algunos polticos son buenos oradores
4. Particular negativo (O): Algunos caballos no son veloces
Siguiendo con los desarrollos aristotlicos y teniendo en cuenta que cada una
de las tres proposiciones puede adoptar las cuatro formas A, E, I, O, de tres en tres,
para cada una de las cuatro figuras, el nmero de combinaciones posibles es de 256.
Para que un silogismo sea vlido (correcto lgicamente) tiene que cumplir unas reglas
que pueden reducirse a tres:
R1. El trmino medio debe estar distribuido (usado en toda su extensin o
supuesto universalmente) por lo menos una vez. Los sujetos de las
proposiciones de un silogismo estn cuantificados (todo, algn). Estarn
distribuidos, cuando son universales, y si no lo estn sern particulares. En
cuanto a los predicados, sern universales, los predicados de enunciados
negativos (E,O, del latn nEgO), es decir, como conceptos distribuidos. Y
sern particulares los predicados de los enunciados afirmativos (A, I, del lat.
AfIrmo), o sea, como no distribuidos.
R2. Si uno de los trminos de la conclusin est distribuido, deber estarlo
tambin en las premisas.
R3. Si una de las premisas es negativa, tiene que serlo tambin la conclusin.
En suma, de las 256 combinaciones posibles, slo 24 cumplen estas reglas y,
por consiguiente, slo 24 son modos vlidos. En el prximo punto veremos los versos
eufnicos que desarrollara Pedro Hispano, en sus Summulae Logicales, para recordar
los modos vlidos.
Lgicos Medievales y tradicin silogstica
La Edad Media se presenta como otro gran hito de anlisis dentro del
desarrollo de la teora silogstica. La herencia silogstica recibida por lo lgicos
medievales los impuls a seguir desarrollando y complementando este corpus terico.
De esta forma, podemos afirmar que la lgica medieval sent la presentacin cannica
del silogismo como un patrn inferencial, adems, se plante la cuestin de las
relaciones entre los silogismos categricos simples y compuestos, as como tambin
se empez a asumir una cuarta figura, inversa de la primera. Tambin es de destacar
la relevancia que asumi el estudio de las propiedades de los trminos singulares.
Estos, entre otros, fueron los focos de inters en los que se movi la
investigacin lgica en la Edad Media y como consecuencia de ello el anlisis
silogstico tambin se benefici.
Como representantes de este perodo he elegido -para explicitar sus aportes a
la tradicin silogstica- a Guillermo de Shyreswood -siglo XIII-, cuyas Introductiones in
Logicam, se considera hoy el primer manual conservado de lgica medieval. Y a Pedro
Hispano, lgico del mismo siglo, sus Summulae Logicales se convirtieron en la pauta
de los manuales de lgica a lo largo de toda la Edad Media, siendo usados hasta
finales de la Ilustracin.
El Silogismo: Historia y Desarrollo. Silvia Carnero A Parte Rei 39
http://serbal.pntic.mec.es/~cmunoz11/index.html 4
Guillermo de Shyreswood centra el inters principal de su estudio en el campo
de la lgica en el silogismo.
La impronta de este lgico medieval es la de ser fiel a la tradicin silogstica,
ejemplo de esto reconoce slo tres figuras -pero no por esto se debe negar el hecho
que realiz innovaciones y aport aadidos sobre el tema durante el curso de sus
investigaciones.
Shyreswood, siguiendo la definicin aristotlica de silogismo, afirma en
Introducciones in Logicam, que un silogismo es un discurso en el que sentadas ciertas
cosas es necesario que otra resulte de, y a consecuencia de, ellas.
Tambin siguiendo las afirmaciones del Estagirita, concluye que la estructura
del sistema silogstico consiste en la reduccin de los modos imperfectos a los
perfectos. Este sistema comprende tres figuras siempre en referencia a la posicin que
ocupe el trmino medio.
En el anlisis de los modos vlidos de estas figuras Shyreswood incorpora la
posibilidad de conclusiones de dos tipos -directas e indirectas. En las primeras el
trmino mayor se predica del menor y en las conclusiones del segundo tipo esto se
invierte. A partir de aqu Shyrswood desprende, adems, los modos vlidos para las
distintas figuras- la primer figura consta de nueve modos vlidos, cuatro directos y
cinco indirectos; la segunda posee cuatro modos vlidos directos y la tercera seis
modos, todos ellos directos.
Es interesante llegados a este punto explicitar los versos creados por
Shyreswood con los cuales daba cuenta de los modos del sistema silogstico, as
como tambin, de la estructura interna de sus relaciones de reduccin.
Barbara celarent darii ferio baralipton
Celantes dabitis fapesmo frisesomorum
Cesare cam(p)estres festino baroco
Darapti felapton disamis datisi bocardo ferison
As Shyreswood indica con las tres primeras vocales la cualidad y la cantidad
de las proposiciones que componen el silogismo. De igual modo la consonante inicial
de las cuatro primeras palabras estn sealando el modo perfecto al que deben
reducirse los modos imperfectos. Por otro lado, hay otras consonantes de inters
como lo son la s indica conversin simple-, la p -explicita una conversin
restringida- la m -alerta sobre una transposicin entre las premisas correspondiente a
las vocales entre las que viene intercalada.
El destino de estos versos de Shyreswood, a modo de reglas mnemotcnicas,
fue el desuso pues los que se impusieron posteriormente con mayor fuerza fueron los
versos eufnicos que desarrollara Pedro Hispano, en sus Summulae Logicales.
Recordemos que tal como Aristteles afirmara, cada una de las tres
proposiciones que componen el silogismo puede adoptar las cuatro formas A, E, I, O,
de tres en tres. Entonces, para cada una de las cuatro figuras, el nmero de
combinaciones posibles es 256 de las 256 combinaciones posibles, slo 24 cumplen
estas reglas y, por consiguiente, slo 24 son modos vlidos.
Con el objetivo de recordar estos modos vlidos Pedro Hispano compone sus
versos eufnicos, a saber;
Cesare, Camestres, Festino, Baroco secundae;
Tertia Darapti, Disamis, Datisi, Felapton,
Bocardo, Ferison habet. Quarta insuper addit
Bramantip, Camenes, Dimaris, Fesapo, Fresison.
El Silogismo: Historia y Desarrollo. Silvia Carnero A Parte Rei 39
http://serbal.pntic.mec.es/~cmunoz11/index.html 5
En dichos versos aparecen 19 modos vlidos -y no 24- porque deben aadirse
los cinco modos llamados subalternos. Se llaman as porque ofrecen una conclusin
particular, aunque las premisas permitiran que fuese universal: Barbari, Celaront (fig.
1); Cesaro, Camestrop (fig. 2); y Camenop (fig. 4).
Las consonantes de los nombres de los modos vlido de silogismo tambin
tienen significado. Se relaciona con la teora de la reduccin de los modos imperfectos
a modos perfectos.
Por otro lado, las consonantes de las denominaciones mnemotcnicas dan la
clave para las operaciones de reduccin. La inicial del modo imperfecto indica que
puede ser reducido al modo de la figura con la misma inicial (por ejemplo, un Fesapo
puede ser reducido a un Ferio). La presencia de la letra m significa que hay que mudar
el orden de las premisas en el modo imperfecto. La letra s indica que la proposicin
denotada por la vocal que la preceda debe ser convertida simplemente (llamamos
conversin simple a la permutacin de los trminos de la proposicin sin cambio de
cantidad ni de cualidad (vlida para los asertos categricos E, I). La letra p significa la
conversin accidental en anlogas condiciones (la conversin accidental permite
pasar, permutando trminos, de cualquier universal a la particular de la misma
cualidad, pero no a la inversa.
Por ltimo, la letra c tras una de las dos primeras vocales indicar que la
premisa de que se trata ha de ser reemplazada por su negacin en orden a facilitar la
reduccin per impossibile del modo (Baroco, Bocardo).
Estos desarrollos forman una pequea parte de las Summulae Logicales,
debemos tener presente que si bien algunos pensadores de la poca consideraban
que era mejor que Hispano, un contemporneo suyo- Guillermo de Shyreswood- lo
cierto es que su obra fue la que prosper y se difundi ms, por considerrsela la que
con mayor fidelidad recoge el legado medieval de la lgica.
La forma matemtica de la lgica: Leibniz
La figura de Leibniz dentro de la Lgica matemtica es crucial, pues para
muchos es considerado como el primer Lgico matemtico.
Pero antes de continuar con el aporte de Leibniz al modelo silogstico, es
menester realizar algunas consideraciones sobre a qu se llama Lgica matemtica.
Bochenski
3
considera que esta clase de Lgica consta siempre de un clculo o
mtodo formalstico en el que las reglas de operaciones se refieren a la forma de los
signos y no a su sentido, igual que en matemticas. Adems, siguiendo al mismo
autor, las proposiciones lgicas se obtienen del lenguaje natural mediante abstraccin,
lo que indica que los Lgicos matemticos proceden de forma inversa -primero
construyen un sistema formal y luego buscan interpretarlo en el lenguaje ordinario.
Importante destacar que las leyes se formulan en lenguaje artificial, smbolos
semejantes a los matemticos.
Por ltimo, es una Lgica formal pura, diferencindose de la Lgica clsica, en
que hace caso omiso de las cuestiones psicolgicas, epistemolgicas y metafsicas.
Los desarrollos tericos de Leibniz en el campo de la Lgica se asocian a la
Matemtica, es ms este pensador concibe la Lgica como una Matemtica
generalizada. En sus primeros textos encontramos un estudio en profundidad de la
lgica aristotlica, cuya sintaxis estaba bastante desarrollada para su poca, pero no
as su semntica. Es all donde decide aplicar sus ideas de una asignacin (la
caracterstica numrica) lo que le permitira, verificar, calculando, qu silogismos son
vlidos y cuales no. En su proyecto lgico global Leibniz pretende encontrar los

3
Bochenski, I.M.; Historia de la Lgica Formal; Editorial Gredos, Madrid, 1985, pg.281.
El Silogismo: Historia y Desarrollo. Silvia Carnero A Parte Rei 39
http://serbal.pntic.mec.es/~cmunoz11/index.html 6
secretos que guan el arte del juicio, as como tambin, investigar la forma en que
combinando ciertas ideas, se adquieren ideas nuevas. Su mtodo, un sistema
combinatorio puro.
En su Disertacin Acerca del Arte Combinatorio demuestra las leyes bsicas de
la combinatoria y las utiliza para hallar proposiciones y argumentos. De esta forma,
por ejemplo, puede explicitar todos los silogismos aristotlicos posibles, donde
encuentra los de la cuarta figura, que no estn en la obra de Aristteles.
Por tanto, la asignacin le permite a Leibniz identificar cules silogismos son
vlidos, se da cuenta, adems, que puede trabajar con nmeros ficticios, es decir, no
es necesario tener los verdaderos nmeros caractersticos. Esto ltimo es as, para
Leibniz porque un silogismo es vlido si para cualquier asignacin que satisfaga las
premisas, esta tambin satisface la conclusin.
De esta forma vemos cmo la asignacin leibnizsiana adquiere un valor
semntico, la asignacin posee la impronta de un modelo, si se quiere, podra
asimilrsela a un mundo posible. Recordemos que para Leibniz algo es necesario si es
vlido en todos los mundos posibles.
En suma, en la teora lgica de Leibniz encontramos enlazadas dos ideas
fuerza, la del alfabeto del pensamiento -as llamada por este filsofo- que consiste en
asignar a cada idea un signo y obtener la solucin de todos los problemas mediante la
combinacin de estos signos. Esta idea lo conduce a Leibniz, por un lado, por el
camino de encontrar un lenguaje artificial que a diferencia de los lenguajes ordinarios
estuviese libre de ambigedades. Y, por otro lado, lo consolida como el fundador de la
Lgica simblica.
La otra idea fuerza -que convierte a Leibniz en el fundador de la Lgica
matemtica- se encuentra en el uso del clculo para todas las deducciones -Mathesis
universales. Este mtodo, que no es otro que la operacin formal con smbolos, debe
ser aplicado rigurosamente, segn Leibniz, a la Lgica.
Consideraciones finales
En las pginas precedentes he intentado deconstruir siglos de construccin y
desarrollo del modelo silogstico con el objetivo de presentar una recopilacin terica
de dicho modelo. Recopilacin que pudo ser posibles gracias a que filsofos y
matemticos en diferentes pocas histricas, contribuyeron con sus aportes a dar
origen Aristteles- o completar -el caso por ejemplo de los Lgicos Medievales- el
modelo silogstico.
As podemos afirmar que la gran obra maestra de Aristteles dentro de la
Lgica Formal es, su Silogstica, es decir, un sistema de Lgica de los trminos, que
consta no de leyes sino de reglas, de la cual puede decirse que a pesar de ciertos
puntos dbiles, su construccin no posee fallos. Adems, es importante tener en
cuenta que las obras lgicas de Aristteles fueron las nicas que sobrevivieron a la
muerte cultural de Grecia, y esto las ti, para muchos Lgicos, de un halo de
fascinacin por ms de dos milenios. Es por esto ltimo, que la Historia de la Lgica se
ha movido por el sendero trazado por la lgica aristotlica.
En lo referente a la Lgica Medieval, algunos autores, entre ellos Bochenski,
consideran que la Lgica Medieval puede ser dividida en perodos. En el caso de los
dos autores que seleccion para este trabajo -Pedro Hispano y Guillermo de
Shyreswood- ellos estaran ubicados en un perodo que denominan creador, cuyo
origen se puntualiza en el ao 1150 y dura hasta finales del siglo XIII. Tanto Pedro
Hispano cuanto su contemporneo el ingls Shyreswood, contribuyeron grandemente
al desarrollo del modelo silogstico a travs, fundamentalmente, de la reinterpretacin
y elaboracin de la teora tradicional.
El Silogismo: Historia y Desarrollo. Silvia Carnero A Parte Rei 39
http://serbal.pntic.mec.es/~cmunoz11/index.html 7
Por ltimo y ya cerrando con el objetivo propuesto para elaborar este trabajo, el
fundador de la Lgica matemtica, Leibniz, con l se abre una nueva perspectiva en la
investigacin Lgica, al integrarle las matemticas.
Leibniz que adhiere al clculo para todas las deducciones sin embargo alejado
se encuentra de proponer un matematicismo como otros que lo precedieron, su idea
es la de aplicacin del mtodo combinatorio -concebido por l como un filum Aridnes,
o, un auxiliar del espritu- a la Lgica. Lgica que para Leibniz no es otra cosa que
operaciones formales con smbolos.
Y si bien el procedimiento que emplea Leibniz en el fondo era igual al que se
empleaba en la tradicin lgica precedente- de proposiciones con sentido se abstraan
leyes formales- su importancia reside en que por primera vez expone el principio del
procedimiento formal.
Bibliografa
- Bochnski, I.; Historia de la Lgica formal; Editorial Gredos, Madrid, 1967.
- Kneale, W. y M.; El desarrollo de la lgica; Editorial Tecnos, Madrid, 1972.
- Vega, L., Una Introduccin Histrica a la Lgica General en Pilar Castrillo,
Lecturas de Lgica II, UNED, Madrid, 1984.
- Vega, L.; Una gua de historia de la lgica; UNED, Madrid, 1996.