Está en la página 1de 9

Silogismo

Ir a la navegaci�nIr a la b�squeda
Spanish Language Wiki.svg
Este art�culo o secci�n sobre matem�ticas y filosof�a necesita ser wikificado, por
favor, ed�talo para que las cumpla con las convenciones de estilo.
Este aviso fue puesto el 17 de noviembre de 2013.
El silogismo es una forma de razonamiento deductivo e inductivo que consta de dos
proposiciones como premisas y otra como conclusi�n, siendo la �ltima una inferencia
necesariamente deductiva de las otras dos. Fue formulado por primera vez por
Arist�teles, ampliamente reconocido como padre fundador de la l�gica. El silogismo
es la noci�n central de la l�gica aristot�lica, pilar fundamental del pensamiento
cient�fico y filos�fico desde su invenci�n hace m�s de dos milenios.

Arist�teles consider� los silogismos en su obra l�gica recopilada1? �rganon, en los


libros conocidos como Primeros Anal�ticos (en griego Proto Analytika, en lat�n
Analytica Priora - idioma con el que se conoci� la obra en Europa Occidental).

Arist�teles. Museo del Louvre.

�ndice
1 Los silogismos seg�n Arist�teles
2 Elementos de los silogismos
2.1 Estructura del silogismo
2.2 Cantidad, o extensi�n de los t�rminos
2.3 Cualidad, o relaci�n entre t�rminos
2.4 Clasificaci�n de los juicios
2.5 Figuras y modos silog�sticos
3 Reglas del silogismo
3.1 Reglas para los t�rminos
3.1.1 El silogismo no puede tener m�s de tres t�rminos
3.1.2 Los t�rminos no deben tener mayor extensi�n en la conclusi�n que en las
premisas
3.1.3 El t�rmino medio no puede entrar en la conclusi�n
3.1.4 El t�rmino medio ha de tomarse en su extensi�n universal por lo menos en una
de las premisas
3.2 Reglas de las premisas
3.2.1 De dos premisas negativas no puede obtenerse conclusi�n alguna
3.2.2 De dos premisas afirmativas no puede sacarse una conclusi�n negativa
3.2.3 La conclusi�n siempre sigue la parte m�s d�bil. Se entiende por parte d�bil a
la negativa frente a la afirmativa, y a la particular frente a la universal
3.2.4 De dos premisas particulares no se obtiene conclusi�n v�lida
4 Los modos v�lidos
5 Representaci�n gr�fica de los modos como l�gica de clases mediante diagramas
de Venn
6 La problem�tica de la l�gica silog�stica
7 El silogismo considerado en la l�gica formal
7.1 Juicio de t�rminos
7.2 Sobre juicio y proposici�n
8 V�ase tambi�n
9 Notas y referencias
10 Bibliograf�a adicional
11 Enlaces externos
Los silogismos seg�n Arist�teles
Arist�teles consideraba la l�gica como un m�todo de relaci�n de t�rminos. Los
silogismos aristot�licos buscan establecer la relaci�n entre dos t�rminos: un
sujeto y un predicado, los cuales se unen o separan en juicios. La aparici�n de
posibles conclusiones sobre la relaci�n entre estos dos t�rminos surge de su
comparaci�n, por medio de juicios, con un tercer t�rmino que hace de "t�rmino
medio" (tertium comparationis). As� pues, el silogismo consta de dos juicios,
premisa mayor y premisa menor, en los que se comparan tres t�rminos (sujeto,
predicado y "t�rmino medio"), de cuya comparaci�n se obtiene un nuevo juicio como
conclusi�n.

La l�gica silog�stica trata de establecer las leyes que garantizan que, de la


verdad de los juicios comparados, o premisas, se pueda obtener con garant�a de
verdad un nuevo juicio verdadero, o conclusi�n.

Elementos de los silogismos


Seg�n lo anterior tenemos:

Un t�rmino sujeto S,
Un t�rmino predicado P.
Un t�rmino medio M,.
Un antecedente, el cual consta de dos juicios llamados premisas.
Un consecuente, el juicio resultante como conclusi�n
Estructura del silogismo
De esta forma, el silogismo tiene la siguiente estructura:

Premisa mayor, juicio en el que se encuentra el t�rmino mayor o predicado de la


conclusi�n, P, comparado con el t�rmino medio M.
Premisa menor, juicio en el que se encuentra el t�rmino menor o sujeto de la
conclusi�n, S, comparado con el t�rmino medio M.
Consecuente, un juicio de conclusi�n al que se llega, el cual afirma (une) o niega
(separa) la relaci�n entre S y P.
Los juicios, que dan origen a las premisas mayor y menor, relacionan los t�rminos
unos con otros para constituir el argumento. De esta manera, el silogismo argumenta
estableciendo la conclusi�n como una relaci�n entre dos t�rminos, derivada de la
comparaci�n de ambos t�rminos con un tercer t�rmino.

Cantidad, o extensi�n de los t�rminos


La extensi�n de los t�rminos se refiere a un criterio de cantidad. Los t�rminos S,
P y M pueden ser tomados en su extensi�n universal, abarcando a todos los posibles
individuos - el dominio de discurso - a los cuales pueda referirse el concepto,2?3?
o en su extensi�n particular, cuando se refiere s�lo a algunos.4? Por ejemplo, la
relaci�n entre S y P de acuerdo a su extensi�n puede ser:

Universal: donde todo S es P.5? Los nombres propios tienen extensi�n universal;
pues el uno, como �nico, equivale a un individuo que siendo �nico es, por eso,
todos los posibles.6?
Particular: donde algunos S son P7?
Cualidad, o relaci�n entre t�rminos
Espec�ficamente, la cualidad o relaci�n entre t�rminos puede ser:

Afirmativa o de uni�n: S es P.
Negativa o de separaci�n: S no es P.8?
El predicado de una afirmaci�n siempre tiene extensi�n particular, y el predicado
de una negaci�n est� tomado en su extensi�n universal. Cuando un concepto, sujeto o
predicado, est� tomado en toda su extensi�n se dice que est� distribuido; cuando
no, se dice que est� no distribuido.

Clasificaci�n de los juicios


Seg�n el criterio de cantidad y cualidad, los juicios o premisas pueden agruparse
en las siguientes clases:

CLASE DENOMINACI�N ESQUEMA EXPRESI�N-EJEMPLO Extensi�n de los t�rminos


A Universal Afirmativo Todo S es P Todos los hombres son mortales S:
Universal P: Particular
E Universal Negativo Ning�n S es P Ning�n hombre es mortal S: Universal
P: Universal
I Particular Afirmativo Alg�n S es P Alg�n hombre es mortal S:
Particular P: Particular
O Particular Negativo Alg�n S no es P Alg�n hombre no es mortal S:
Particular P: Universal
Figuras y modos silog�sticos
Teniendo en cuenta la disposici�n de los t�rminos en las premisas y en la
conclusi�n se pueden dar las siguientes figuras silog�sticas:

ELEMENTO 1� FIGURA 2� FIGURA 3� FIGURA 4� FIGURA


Premisa mayor M P P M M P P M
Premisa menor S M S M M S M S
Conclusi�n S P S P S P S P
Los modos silog�sticos son las distintas combinaciones que se pueden hacer con los
juicios que forman parte de las premisas y la conclusi�n. 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 conclusi�n� hay 64 combinaciones posibles. Estas 64
combinaciones posibles quedan reducidas a 19 modos v�lidos, al aplicar las reglas
del silogismo.

Reglas del silogismo


Reglas para los t�rminos
El silogismo no puede tener m�s de tres t�rminos
Esta ley se limita a cumplir la estructura misma del silogismo: la comparaci�n de
dos t�rminos con un tercero. Aunque la regla es clara, su aplicaci�n no siempre lo
es. Es lo que algunos llaman silogismo de cuatro patas, ya que se introduce
equivocadamente un cuarto t�rmino o quaternio terminorum.

Ejemplo: Consideremos el siguiente silogismo err�neo:

Premisa Mayor Los hombres son esencialmente libres.


Premisa Menor Las mujeres no son hombres.
Conclusi�n Las mujeres no son libres.
Los t�rminos que aparecen como evidentes son las palabras hombre, libre, mujer.
Pero, a modo de non sequitur (un tipo de error l�gico) en la supuesta premisa mayor
se utiliza la palabra hombre en su acepci�n 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 acepci�n de g�nero (hombre como sin�nimo de
var�n). Es decir, se ha incluido subrepticiamente un cuarto t�rmino, de all� que la
conclusi�n del quaternio terminorum es err�nea, un sofisma.

Los t�rminos no deben tener mayor extensi�n en la conclusi�n que en las premisas
Por la misma estructura del silogismo; �nicamente podremos obtener conclusiones
acerca de lo que hemos comparado en las premisas.

El t�rmino medio no puede entrar en la conclusi�n


Por la misma estructura del silogismo la funci�n del t�rmino medio es servir de
intermediario, como t�rmino de la comparaci�n.

El t�rmino medio ha de tomarse en su extensi�n universal por lo menos en una de las


premisas
Para que la comparaci�n sea tal, es necesario que el t�rmino medio sea comparado en
su totalidad. De otra forma, podr�a ser comparado un t�rmino con una parte y el
otro con la otra, constituy�ndose en realidad entonces un silogismo de cuatro
t�rminos.

Ejemplo: Consideremos el siguiente silogismo err�neo:


Premisa Mayor Todos los andaluces son espa�oles.
Premisa Menor Algunos espa�oles son gallegos.
Conclusi�n Por tanto, algunos gallegos son andaluces.
Lo que evidentemente no es un modo v�lido, puesto que "espa�oles" en la premisa
mayor al ser predicado de una afirmativa est� tomado en su extensi�n particular.

Reglas de las premisas


De dos premisas negativas no puede obtenerse conclusi�n 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� relaci�n puede haber entre S y P. Para
establecer la relaci�n, por lo menos uno de los t�rminos tiene que identificarse
con M. Por tanto una de las dos premisas tiene que ser afirmativa.

De dos premisas afirmativas no puede sacarse una conclusi�n negativa


En efecto, si S se identifica con M, y P tambi�n se identifica con M, no tiene
sentido establecer una relaci�n negativa con entre S y P. La conclusi�n ser�
afirmativa.

La conclusi�n siempre sigue la parte m�s d�bil. Se entiende por parte d�bil a la
negativa frente a la afirmativa, y a la particular frente a la universal
Veamos los dos casos separadamente:

Conclusi�n negativa de una premisa afirmativa y la otra negativa.


Si se afirma una relaci�n entre dos t�rminos (X, M), pero se niega la de uno de
ellos con otro (Y, M), siendo M el t�rmino medio, no puede haber m�s conclusi�n que
negar la relaci�n que pueda haber entre el primero (X) y el �ltimo (Y) siendo uno
sujeto y el otro predicado de la conclusi�n.
Conclusi�n 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.
Dos afirmativas. (El predicado de una afirmativa est� tomado en su extensi�n
particular, y el predicado de una negativa en su extensi�n universal).
Al ser ambas afirmativas sus predicados son particulares. El t�rmino de la
universal tiene necesariamente que ser el t�rmino medio, la conclusi�n debe tener
un sujeto particular.
Una afirmativa y otra negativa: tiene que haber dos t�rminos universales. Uno de
ellos tiene que ser el t�rmino medio, el otro tiene que ser el predicado de la
conclusi�n, pues la conclusi�n tendr� que ser negativa, (caso a) de esta misma
regla). Por tanto el t�rmino que queda ser� el sujeto de la conclusi�n con
extensi�n particular.
De dos premisas particulares no se obtiene conclusi�n v�lida
Tambi�n tiene dos casos posibles: que una sea afirmativa y la otra negativa o que
ambas sean afirmativas.

Afirmativa y negativa
Alg�n A es B - Alg�n A no es C.
S�lo hay un t�rmino universal que es el predicado de la negativa, que por tanto
tiene que ser el t�rmino medio. La conclusi�n tendr� que ser negativa (caso a) de
la regla anterior), y por tanto el predicado tendr� que ser universal, y no puede
ser el t�rmino medio por tanto no puede haber conclusi�n.
Dos afirmativas
Alg�n A es B - Alg�n A es C.
Los tres t�rminos son particulares, y por tanto no puede haber t�rmino medio con
extensi�n universal, y por tanto no hay conclusi�n posible.
Los modos v�lidos
Modo del silogismo es la forma que toma �ste de acuerdo con la cantidad y la
cualidad de las premisas y la conclusi�n. De la aplicaci�n de las leyes de los
silogismos a los 256 modos posibles resultan v�lidos solamente 19 y son los que
tradicionalmente se memorizan atendiendo a los modos v�lidos de cada figura con sus
premisas y conclusi�n.

As� los modos v�lidos Se memorizaban cantando


De la primera figura AAA, EAE, AII, EIO BARBARA, CELARENT, DARII, FERIO
De la segunda figura EAE, AEE, EIO, AOO CESARE, CAMESTRES, FESTINO, BAROCO
De la tercera figura AAI, IAI, AII, EAO, OAO, EIO DARAPTI, DISAMIS, DATISI,
FELAPTON, FERISON, BOCARDO
De la cuarta figura AAI, AEE, IAI, EAO, EIO BRAMANTIS, CAMENES, DIMARIS,
FRESISON, FESAPO
Nota bene: Tambi�n son v�lidos para la primera figura los modos subalternos
BARBARI, CELARONT; para la segunda: CESARO, CAMESTROP; y para la cuarta: CAMENOP.9?

Representaci�n gr�fica de los modos como l�gica de clases mediante diagramas de


Venn

Convenci�n para la representaci�n gr�fica del juicio tipo A.


Se pueden representar estos modos mediante diagramas de Venn con las siguientes
convenciones:

Cada t�rmino del silogismo est� representado por S, P, M, por un c�rculo incoloro
que representa a todos los miembros posibles de una clase.
La conclusi�n aparece como resultado de la relaci�n de los t�rminos S y P en su
relaci�n con M.
La inexistencia se muestra como zona rellena de color.
La existencia individual se afirma mediante una X: Al menos uno, o algunos.
La relaci�n de los t�rminos se constituye como pertenencia o no pertenencia a la
clase.
La relaci�n de inclusi�n, Todo S es P, se representa como �No hay ning�n S que no
sea P� seg�n muestra la imagen que se muestra al margen.

Representaci�n gr�fica de los modos v�lidos en diagramas de Venn.


Teniendo en cuenta la problem�tica de la l�gica aristot�lica, de la que se habla
m�s adelante, el problema del "compromiso existencial" afecta a los modos Darapti,
Felapton, Bramalip, y Fesapo que no se muestran en las gr�ficas, al no ser
admitidos como v�lidos por algunos y, sobre todo, la representaci�n gr�fica no hace
plausible la conclusi�n, debido a la falta de "compromiso existencial", como se
comenta m�s adelante.

La problem�tica de la l�gica silog�stica


La exposici�n anterior es la forma m�s simple y esquem�tica tradicionalmente
presentada como l�gica aristot�lica.10?

Sin embargo, la problem�tica que trata Arist�teles es bastante m�s compleja.


Arist�teles define:

Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta


necesariamente de ellas, por ser lo que son, otra cosa diferente.

Arist�teles An. Pr. I 24 b 18-23


Dos aspectos a destacar en su definici�n:

La necesidad, que considera el silogismo como categ�rico, por considerar que los
juicios que lo integran son asimismo categ�ricos.
El fundamento de dicha necesidad, por "ser las cosas lo que son".
Hablar del silogismo categ�rico supone hablar de lo necesario e incondicionado. Y
precisamente incondicionado por estar basado en el �ser de las cosas�.
Arist�teles est� pensando en un predicado aprehendido a partir de la experiencia y
atribuido por el entendimiento a un sujeto. En el lenguaje apof�ntico11?el
silogismo manifiesta la verdad, porque el entendimiento humano (entendimiento
agente, seg�n Arist�teles) es capaz de llegar a la intuici�n directa de lo real12?
aunque sea a trav�s de un proceso de abstracci�n.13?

Se parte del supuesto de que P es predicado �verdadero� de S (en el sentido de que


P manifiesta la "identidad" del ser de S), lo que plantea una cuesti�n metal�gica.
V�ase verdad.

Arist�teles piensa que el juicio manifiesta �lo que es� como verdadero. El problema
entonces es �y c�mo se predica de un sujeto lo que �no-es�?14?(V.:apor�tica).

La l�gica aristot�lica se encuentra con el problema de los juicios negativos que


resuelve no del todo bien.

De hecho en el cuadro de oposici�n de los juicios Arist�teles estudi� con todo


detalle problemas que posteriormente no se han tenido en cuenta; en realidad
consider� tres figuras y no todos los 19 modos v�lidos.15? Arist�teles considera
modos perfectos aquellos cuya validez aparece como evidente, siendo los dem�s
imperfectos por cuanto deben ser probados por medio de los modos perfectos, que son
los correspondientes a la primera figura: B�RBARA, CELARENT, DARII, FERIO.16?

Incluso lleg� a considerar tales modos como los axiomas de todo el sistema l�gico.

El juicio como �atribuci�n� de un predicado verdadero a un sujeto, (en el sentido


de que P manifiesta la "identidad" como "ser del sujeto",17? en tanto que realidad
conocida), plantea el problema de un predicado falso, es decir un no-predicado.
�C�mo conocemos un no-predicado?...

Ling��sticamente, el problema se disfraza negando el verbo en lugar del predicado


como atributo (gram�tica). De esta forma en vez de decir "Antonio es un no-
caballo", (�qu� es un no-caballo?),18? decimos "Antonio no es un caballo". Pero
esto segundo s�lo es inteligible bajo el punto de vista extensional de los
conceptos,19? es decir bajo el punto de vista de ser un elemento de un conjunto
definido por una propiedad, o lo que es lo mismo por su pertenencia o no-
pertenencia a una determinada clase; lo que nos lleva a la l�gica de clases.20?

La l�gica moderna simb�lica, meramente l�gica formal, no tiene conexi�n con


contenido de verdad alguno y supera con claridad estas dificultades; sobre todo con
la ventaja de poder tratar proposiciones poli�dicas, llamadas as� porque tienen m�s
de dos t�rminos (por ejemplo: "J�piter es mayor que la Tierra y menor que el
Sol"),21? y facilitar enormemente el c�lculo l�gico, por lo que, de hecho, la
l�gica aristot�lica, como tal, est� en claro desuso.22?

Hans Reichenbach estudia el cuadro de oposici�n de los juicios considerando los


juicios A, E, I, O, como relaci�n de clases y considera que pueden eliminarse los
juicios negativos E, O, que son los problem�ticos, mediante la anotaci�n de la
negaci�n de la clase complementaria.23?

La notaci�n se hace estableciendo entre el sujeto S y el predicado P, la letra


min�scula correspondiente al tipo de juicio. As� tenemos que:

{\displaystyle SeP\leftrightarrow Sa{\bar {P}}} SeP\leftrightarrow Sa{\bar {P}}

{\displaystyle SoP\leftrightarrow Si{\bar {P}}} SoP\leftrightarrow Si{\bar {P}}

As� no s�lo se simplifica la notaci�n sino que de modos que tradicionalmente han
sido considerados inv�lidos, se puede obtener conclusi�n v�lida, que la notaci�n
cl�sica hac�a imposible.24?

Por todo ello la interpretaci�n actual de la l�gica aristot�lica como silogismo es


su interpretaci�n como l�gica de clases. Tal es el m�rito de la obra de
Lukasiewicz.

Pero considerar los conceptos universales, como clases plantea el problema de la


existencia del individuo como instanciaci�n o compromiso existencial. Pues la clase
como propiedad independiente puede considerarse como abstracto universal.25? Pero
los predicados, como atributos, no tienen sentido sin un sujeto gramatical del cual
se prediquen porque posea dicha propiedad.26?

La l�gica tradicional no consideraba el problema de la existencia o no existencia


del individuo respecto a los conceptos universales, pues se supone que �stos han
surgido de la abstracci�n a partir del conocimiento de los singulares o individuos
existentes.27?

El silogismo considerado en la l�gica formal


Art�culo principal: C�lculo l�gico
La l�gica formal actual considera la relaci�n S y P como una relaci�n meramente
sint�ctica sin contenido material alguno, bien sea en una relaci�n de clases o una
funci�n proposicional de predicados. Arist�teles considera dicha formalidad, desde
luego, bajo el punto de vista de la relaci�n entre dos t�rminos S (sujeto) y P
(predicado) que al mismo tiempo tienen una funci�n ling��stico-gramatical, pues
para Arist�teles los t�rminos representan aspectos del ser y por tanto de la
realidad.

Pero la formalidad de la l�gica actual convierte la deducci�n en una inferencia,


como consecuencia l�gica, en lugar de una implicaci�n con transmisi�n de contenido
en un lenguaje apof�ntico transmisor de la verdad como pretend�a Arist�teles para
el lenguaje de la ciencia.

En la nueva forma de relaci�n sint�ctica se pierde toda relaci�n de los t�rminos


con la gram�tica del lenguaje y posible "significaci�n". El silogismo pierde as� su
formalidad de ser categ�rico, transmisor de la verdad necesaria, "por ser las cosas
como son", para adquirir una formalidad hipot�tica.

Siendo S el sujeto, P el predicado y M el t�rmino medio, el silogismo es ahora


interpretado como l�gica de clases, y su esquema l�gico ser�a del tipo siguiente:

Si la clase S representa la clase como propiedad de ser griego; la clase M


representa la clase como propiedad de ser hombre; y la clase P representa la
propiedad de ser mortal, entonces el silogismo en Barbara ser�a:

Si todos los hombres son mortales y todos los griegos son hombres entonces todos
los griegos son mortales.

{\displaystyle [(S\subset M)\wedge (M\subset P)\rightarrow (S\subset P){\big ]}}


{\displaystyle [(S\subset M)\wedge (M\subset P)\rightarrow (S\subset P){\big ]}}

Cuando la referencia de instanciaci�n existencial es con respecto a los


individuos,:28? los juicios aristot�licos pueden formalizarse de la siguiente
manera como l�gica de predicados:

Juicio aristot�lico L�gica de predicados


Todo S es P {\displaystyle \forall x(S(x)\rightarrow P(x))} {\displaystyle \forall
x(S(x)\rightarrow P(x))}
No S es P {\displaystyle \neg \exists x(S(x)\land P(x))} {\displaystyle \neg
\exists x(S(x)\land P(x))}
Alg�n S es P {\displaystyle \exists x(S(x)\land P(x))} {\displaystyle \exists
x(S(x)\land P(x))}
Alg�n S es no P {\displaystyle \exists x(S(x)\land \neg P(x))} {\displaystyle
\exists x(S(x)\land \neg P(x))}
El silogismo de esta manera se interpreta como:

Si todos (o algunos) de los individuos que pertenecen (o no pertenecen) al conjunto


S (Conjunto Sujeto) pertenecen (o no pertenecen) al conjunto M (Conjunto T�rmino
Medio), y todos (o algunos) de los individuos que pertenecen (o no pertenecen) al
conjunto M (Conjunto Predicado) pertenecen (o no pertenecen) al conjunto P ,
entonces todos (o algunos) de los individuos que pertenecen (o no pertenecen) al
conjunto S pertenecen (o no pertenecen) al conjunto P.
Y el silogismo en Barbara se formaliza as�:

{\displaystyle \forall x(M(x)\rightarrow P(x))\land \forall x(S(x)\rightarrow


M(x))\rightarrow \forall x(S(x)\rightarrow P(x))} {\displaystyle \forall
x(M(x)\rightarrow P(x))\land \forall x(S(x)\rightarrow M(x))\rightarrow \forall
x(S(x)\rightarrow P(x))} Siendo M el t�rmino Medio, S el sujeto y P el predicado
del silogismo.

Si M(x) simboliza "Ser hombre", siendo M=ser hombre lo que que se puede predicar
respecto a una variable x cuyo compromiso de existencia vendr�a dado por la
cuantificaci�n existencial de la referencia de dicha funci�n, bien sea un
cuantificador universal, todo x: {\displaystyle \forall x} \forall x; un
cuantificador particular, un o alg�n x: {\displaystyle \lor x} \lor x; o una
constante individual determinada: a, b, c�; y P(x) "ser mortal" y M(x) "ser
griego", entonces la f�rmula {\displaystyle \forall x(M(x)\rightarrow P(x))\land
\forall x(S(x)\rightarrow M(x))\rightarrow \forall x(S(x)\rightarrow P(x))}
{\displaystyle \forall x(M(x)\rightarrow P(x))\land \forall x(S(x)\rightarrow
M(x))\rightarrow \forall x(S(x)\rightarrow P(x))} representa un silogismo material
en barbara. La l�gica de predicados resuelve as� el problema de la instanciaci�n
existencial.

En ambos casos (como l�gica de clases o como l�gica de predicados) el silogismo se


expresa en f�rmulas de relaci�n hipot�tica; y al no haber afirmaci�n de verdad
alguna en las premisas, la conclusi�n es condicionada y no implicada.

En ambos casos, como relaci�n de clases o como l�gica de predicados, el cl�sico


silogismo categ�rico:

Todos los hombres son mortales. Todos los griegos son hombres. Por tanto todos los
griegos son mortales.

Se convierte en un silogismo hipot�tico:

Si todos los hombres son mortales y todos los griegos son hombres, entonces, todos
los griegos son mortales.

Lo que, no cabe duda, es una transformaci�n no menor de la l�gica aristot�lica.

Juicio de t�rminos
El juicio de t�rminos es la comparaci�n de dos conceptos, bien sea de forma l�gica
o extra�da de la experiencia, mediante la cual creemos o afirmamos la relaci�n de
uno con respecto al otro como verdad objetiva. As� se justificaba la creencia
verdadera en los juicios aristot�licos de la l�gica cl�sica.

Por ejemplo: en la nieve es blanca, la mente se afirma en que la blancura es una


propiedad que se puede predicar con verdad de la nieve.29? Tal ha sido la
consideraci�n de los juicios aristot�licos en el silogismo de la l�gica
tradicional.

Hoy d�a la l�gica formal y simb�lica no acepta tales juicios que se interpretan
como creencia, pues no requiere su formulaci�n ling��stica o conceptual, como ya
consideraron los escol�sticos. Por otro lado, la posibilidad de un categ�rico, como
pensaba Arist�teles, est� seriamente cuestionada a partir de Kant y su Cr�tica de
la raz�n pura. Actualmente, en la l�gica tal relaci�n se considera formalmente:

Como resultado de dominio de discurso de la relaci�n de dos clases l�gicas.


Como la atribuci�n de un predicado a una variable l�gica individual cuantificada.
Sobre juicio y proposici�n
Aunque en el silogismo aristot�lico se habla de juicio, hoy en d�a se hablar�a de
proposici�n. La diferencia entre juicio y proposici�n es importante. La proposici�n
afirma un hecho como un todo, que es o no es, como contenido l�gico del
conocimiento. En cambio, el juicio atribuye un predicado a un sujeto l�gico del
conocimiento, otorgando a los t�rminos tanto una funci�n ling��stica de significado
(sem�ntica) como una funci�n formal l�gica (sint�ctica). Esto influye directamente
en el concepto mismo del contenido de un juicios y de una proposici�n,
especialmente en los casos de negaci�n, como se considera m�s adelante en la l�gica
silog�stica.

Mantenemos aqu� la denominaci�n de juicio por ser lo m�s acorde con lo tradicional.
Hay que tener en cuenta que este tipo de l�gica, como tal, est� en desuso,
sustituida por la l�gica simb�lica, en la que la l�gica silog�stica es interpretada
como l�gica de clases