ESTRUCTURA DEL SILOGISMO

CATEGRICO

El silogismo categrico es un razonamiento deductivo

integrado por tres proposiciones categricas y
compuesto de tres trminos, dispuestos de tal modo
que dos de ellos se relacionan en las premisas con un
tercero y de esta relacin surge una conclusin.

LOS ARTISTAS SON SENSIBLES. (trmino mayor,

predicado)
LOS PINTORES SON ARTISTAS. (trmino medio,
sujeto)
____________________________
LOS PINTORES SON SENSIBLES (conclusin)

El trmino medio no debe aparecer en la conclusin.

Todo M es P
Todo S es M
_____________
Todo S es P
REGLAS DEL SILOGISMO
1. Todo silogismo debe tener tres trminos.
2. Ningn trmino debe aparecer en la conclusin con
mayor extensin que en las premisas.
Ej. errneo
Todo pez es vertebrado
Todo pez es animal acutico
_______________________
Todo animal acutico es vertebrado.
3. El trmino medio no debe figurar en la conclusin
4. El trmino medio debe estar tomado al menos una
vez en toda su extensin.
Ej, que viola la regla:
Todo loro es animal.
Todo perro es animal.
___________________
Todo perro es loro.
5. De dos premisas afirmativas no se sigue una
conclusin negativa.
Todo argentino es americano
Todo salteo es argentino
________________________
Algn salteo no es americano
6. De dos premisas negativas no se sigue conclusin.
Ningn uruguayo es africano
Ningn africano es montevideano
____________________________
Algn salteo no es americano
7. La conclusin sigue siempre la parte ms dbil: lo
particular respecto de lo universal y la negativa
respecto de la afirmativa.
Premisa particular--------conclusin particular
Premisa negativa---------conclusin negativa
Ejemplo errneo
Ningn amigo de Graciela es japons
______________________________
Todo filsofo es amigo de Graciela
8. De dos premisas particulares no se sigue conclusin
Ejemplo errneo
Algunos hombres son europeos
Algunos hombres son americanos
____________________________
Algunos americanos son europeos
EL SILOGISMO. TRMINOS Y PROPOSICIONES.

El silogismo, en su forma ms simple (silogismo categrico regular), consta de tres

proposiciones: dos premisas o datos del silogismo y una conclusin. En el silogismo hay
tres trminos:

a) El trmino menor, que se reconoce por desempear la funcin de sujeto en la

conclusin. Se simboliza por la letra mayscula S.

b) El trmino mayor, que se reconoce por desempear la funcin de predicado en la

conclusin. Se simboliza por la letra mayscula P.

c) El trmino medio, que se reconoce porque no aparece en la conclusin y sirve para

establecer la relacin entre las premisas. Se simboliza por la letra mayscula M.

Cada trmino aparece en dos proposiciones:

a) El trmino mayor aparece en una premisa llamada por eso premisa mayor y como
predicado de la conclusin.

b) El trmino medio aparece en las dos premisas desempeando cualquier funcin (sujeto o
predicado).

c) El trmino menor aparece en una premisa llamada por eso premisa menor y como
sujeto en la conclusin

FIGURAS DEL SILOGISMO.

La figura del silogismo es la estructura del silogismo que depende de la posicin del
trmino medio en las premisas. Hay cuatro figuras en el silogismo categrico:

a) Primera figura, que se da cuando el trmino medio ocupa el lugar del sujeto en la
premisa mayor y el del predicado en la menor.

b) Segunda figura, que se da cuando el trmino medio desempea el papel de predicado en

ambas premisas.

c) Tercera figura, que se da cuando el trmino medio desempea el papel de sujeto en

ambas premisas.

d) Cuarta figura, que se da cuando el trmino medio desempea el papel de predicado en la

premisa mayor y el sujeto en la menor.

Esquemticamente pueden representarse as:

Primera Segunda Tercera Cuarta

 MP PM MP PM

SM SM MS MS
SP SP SP SP

MODOS DEL SILOGISMO.

El modo de un silogismo depende de la cantidad y la cualidad de las premisas y la

conclusin.

El modo de un silogismo se simboliza por la secuencia de tres vocales maysculas que

corresponda a su combinacin de premisas y conclusin. En cada figura hay 64 modos, lo
cual hace un total de 256, de los cuales slo 19 son vlidos.

MODOS VALIDOS DEL SILOGISMO.

Para representar los modos vlidos del silogismo categrico se han formulado ciertas
palabras mnemotcnicas que facilitan su identificacin.

En esas palabras, distintas para cada figura, las letras vocales simbolizan las proposiciones
que componen el silogismo en el siguiente orden: premisa mayor, premisa menor y
conclusin. Las palabras en cuestin son:

En primera figura:

BARBARA

CELARENT

DARIIFERIO

En segunda figura:

CESARE

CAMESTRES

FESTINO

BAROCO

En tercera figura:

DARAPI
FELAPTON

DISAMIS

DATISI

BOCARDO

FERISON

En cuarta figura:

BAMALIP

CALEMES

DIMATIS

FESAPO

FRESISON
Silogismo
De Wikipedia, la enciclopedia libre
Saltar a: navegacin, bsqueda
Este artculo o seccin sobre matemticas y filosofa
necesita ser wikificado con un formato acorde a las
convenciones de estilo.
Por favor, edtalo para que las cumpla. Mientras tanto, no elimines este
aviso, puesto el 17 de noviembre de 2013.
Tambin puedes ayudar wikificando otros artculos.
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).

Aristteles. Museo del Louvre.

ndice
[ocultar]

1 Los silogismos segn Aristoteles

2 Elementos de los silogismos

 o 2.1 Estructura del silogismo

o 2.2 Cantidad, o extensin de los trminos

o 2.3 Cualidad, o relacin entre trminos

o 2.4 Clasificacin de los juicios

o 2.5 Figuras y modos silogsticos

3 Reglas del silogismo

o 3.1 Reglas para los trminos

3.1.1 El silogismo no puede tener ms de tres trminos

3.1.2 Los trminos no deben tener mayor extensin en

la conclusin que en las premisas

3.1.3 El trmino medio no puede entrar en la

conclusin

3.1.4 El trmino medio ha de tomarse en su extensin

universal por lo menos en una de las premisas

o 3.2 Reglas de las premisas

3.2.1 De dos premisas negativas no puede obtenerse

conclusin alguna

3.2.2 De dos premisas afirmativas no puede sacarse

una conclusin negativa

3.2.3 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

3.2.4 De dos premisas particulares no se obtiene

conclusin vlida

4 Los modos vlidos

5 Representacin grfica de los modos como lgica de clases

mediante diagramas de Venn

6 La problemtica de la lgica silogstica

 7 El silogismo considerado en la lgica formal

o 7.1 Juicio de trminos

o 7.2 Sobre juicio y proposicin

8 Vase tambin

9 Notas y referencias

10 Bibliografa adicional

11 Enlaces externos

Los silogismos segn Aristoteles[editar]

Aristteles consideraba la lgica como un mtodo de relacin de trminos. Los silogismos
aristotlicos buscan establecer la relacin entre dos trminos: un sujeto y un predicado, los
cuales se unen o separan en juicios. La aparicin de posibles conclusiones sobre la relacin
entre estos dos trminos surge de su comparacin, por medio de juicios, con un tercer
trmino que hace de "trmino medio" (tertium comparationis). As pues, el silogismo
consta de dos juicios, premisa mayor y premisa menor, en los que se comparan tres
trminos (sujeto, predicado y "trmino medio"), de cuya comparacin se obtiene un nuevo
juicio como conclusin.

La lgica silogstica trata de establecer las leyes que garantizan que, de la verdad de los
juicios comparados, o premisas, se pueda obtener con garanta de verdad un nuevo juicio
verdadero, o conclusin.

Elementos de los silogismos[editar]

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[editar]

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[editar]

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,[1] [2] o en su extensin
particular, cuando se refiere sol a algunos.[3] Por ejemplo, la relacin entre S y P de
acuerdo a su extensin puede ser:

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

extensin universal; pues el uno, como nico, equivale a un
individuo que siendo nico es, por eso, todos los posibles.[5]

Particular: donde algunos S son P[6]

Cualidad, o relacin entre trminos[editar]

Especficamente, la cualidad o relacin entre trminos puede ser:

Afirmativa o de unin: S es P.

Negativa o de separacin: S no es P.[7]

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[editar]

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

CLAS Extensin
DENOMINACIN ESQUEMA EXPRESIN-EJEMPLO
E trmi
Universal Todos los hombres son S: Unive
A Todo S es P
Afirmativo mortales Partic
Universal Todos los S no S: Unive
E Ningn hombre es mortal
Negativo son P Unive
Particular S: Partic
I Algn S es P Algn hombre es mortal
Afirmativo Partic
O Particular Algn S no es P Algn hombre no es mortal S: Partic
 Negativo Unive

Figuras y modos silogsticos[editar]

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 FIGUR FIGUR FIGUR
FIGURA
A A A
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[editar]

Reglas para los trminos[editar]

El silogismo no puede tener ms de tres trminos[editar]

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[editar]
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[editar]

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[editar]
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[editar]

De dos premisas negativas no puede obtenerse conclusin

alguna[editar]
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[editar]
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[editar]
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[editar]
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.

Los modos vlidos[editar]

Modo del silogismo es la forma que toma ste de acuerdo con la cantidad y la cualidad de
las premisas y la conclusin. De la aplicacin de las leyes de los silogismos a los 256
modos posibles resultan vlidos solamente 19 y son los que tradicionalmente se memorizan
atendiendo a los modos vlidos de cada figura con sus premisas y conclusin.

As los
modos Se memorizaban cantando
vlidos
De la
AAA, EAE, AII, BARBARA, CELARENT, DARII,
primera
EIO FERIO
figura
De la
EAE, AEE, EIO, CESARE, CAMESTRES, FESTINO,
segunda
AOO BAROCO
figura
De la
AAI, IAI, AII, DARAPTI, DISAMIS, DATISI,
tercera
EAO, OAO, EIO FELAPTON, BOCARDO, FERISON
figura
De la
AAI, AEE, IAI, BAMALIP, CAMENES, DIMATIS,
cuarta
EAO, EIO FESAPO, FRESISON
figura
Nota bene: Tambin son vlidos para la primera figura los modos subalternos BARBARI,
CELARONT; para la segunda: CESARO, CAMESTROP; y para la cuarta: CAMENOP.[8]

Representacin grfica de los modos como lgica de clases

mediante diagramas de Venn[editar]

Convencin para la representacin grfica del juicio tipo A.

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

Cada trmino del silogismo est representado por S, P, M, por un

crculo incoloro que representa a todos los miembros posibles de
una clase.

La conclusin aparece como resultado de la relacin de los

trminos S y P en su relacin 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 relacin de los trminos se constituye como pertenencia o no
pertenencia a la clase.

La relacin de inclusin, Todo S es P, se representa como No hay

ningn S que no sea P segn muestra la imagen que se muestra
al margen.

Representacin grfica de los modos vlidos en diagramas de Venn.

Teniendo en cuenta la problemtica de la lgica aristotlica, de la que se habla ms
adelante, el problema del "compromiso existencial" afecta a los modos Darapti, Felapton,
Bramalip, y Fesapo que no se muestran en las grficas, al no ser admitidos como vlidos
por algunos y, sobre todo, la representacin grfica no hace plausible la conclusin, debido
a la falta de "compromiso existencial", como se comenta ms adelante.

La problemtica de la lgica silogstica[editar]

La exposicin anterior es la forma ms simple y esquemtica tradicionalmente presentada
como lgica aristotlica.[9]

Sin embargo, la problemtica que trata Aristteles es bastante ms compleja. Aristteles

define:

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

por ser lo que son, otra cosa diferente.

Aristteles An. Pr. I 24 b 18-23

Dos aspectos a destacar en su definicin:

La necesidad, que considera el silogismo como categrico, por

considerar que los juicios que lo integran son asimismo
categricos.

El fundamento de dicha necesidad, por "ser las cosas lo que son".

Hablar del silogismo categrico supone hablar de lo necesario e incondicionado. Y
precisamente incondicionado por estar basado en el ser de las cosas.

Aristteles est pensando en un predicado aprehendido a partir de la experiencia y

atribuido por el entendimiento a un sujeto. En el lenguaje apofntico[10] el silogismo
manifiesta la verdad, porque el entendimiento humano (entendimiento agente, segn
Aristteles) es capaz de llegar a la intuicin directa de lo real[11] aunque sea a travs de un
proceso de abstraccin.[12]

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 cuestin metalgica. Vase
verdad.

Aristteles piensa que el juicio manifiesta lo que es como verdadero. El problema

entonces es y cmo se predica de un sujeto lo que no-es?[13] (V.:aportica).

La lgica aristotlica se encuentra con el problema de los juicios negativos que resuelve no
del todo bien.

De hecho en el cuadro de oposicin de los juicios Aristteles estudi con todo detalle
problemas que posteriormente no se han tenido en cuenta; en realidad consider tres figuras
y no todos los 19 modos vlidos.[14] Aristteles considera modos perfectos aquellos cuya
validez aparece como evidente, siendo los dems imperfectos por cuanto deben ser
probados por medio de los modos perfectos, que son los correspondientes a la primera
figura: BRBARA, CELARENT, DARII, FERIO.[15]

Incluso lleg a considerar tales modos como los axiomas de todo el sistema lgico.

El juicio como atribucin de un predicado verdadero a un sujeto, (en el sentido de que P

manifiesta la "identidad" como "ser del sujeto",[16] en tanto que realidad conocida), plantea
el problema de un predicado falso, es decir un no-predicado. Cmo conocemos un no-
predicado?...

Lingsticamente, el problema se disfraza negando el verbo en lugar del predicado como

atributo (gramtica). De esta forma en vez de decir "Antonio es un no-caballo", (qu es un
no-caballo?),[17] decimos "Antonio no es un caballo". Pero esto segundo slo es inteligible
bajo el punto de vista extensional de los conceptos,[18] 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 lgica de clases.

La lgica moderna simblica, meramente lgica formal, no tiene conexin con contenido
de verdad alguno y supera con claridad estas dificultades; sobre todo con la ventaja de
poder tratar proposiciones polidicas, llamadas as porque tienen ms de dos trminos (por
ejemplo: "Jpiter es mayor que la Tierra y menor que el Sol"),[19] y facilitar enormemente el
clculo lgico, por lo que, de hecho, la lgica aristotlica, como tal, est en claro desuso.[20]
Hans Reichenbach estudia el cuadro de oposicin de los juicios considerando los juicios A,
E, I, O, como relacin de clases y considera que pueden eliminarse los juicios negativos E,
O, que son los problemticos, mediante la anotacin de la negacin de la clase
complementaria.[21]

La notacin se hace estableciendo entre el sujeto S y el predicado P, la letra minscula

correspondiente al tipo de juicio. As tenemos que:

As no slo se simplifica la notacin sino que de modos que tradicionalmente han sido
considerados invlidos, se puede obtener conclusin vlida, que la notacin clsica haca
imposible.[22]

Por todo ello la interpretacin actual de la lgica aristotlica como silogismo es su

interpretacin como lgica de clases. Tal es el mrito de la obra de Lukasiewicz.

Pero considerar los conceptos universales, como clases plantea el problema de la existencia
del individuo como instanciacin o compromiso existencial. Pues la clase como propiedad
independiente puede considerarse como abstracto universal.[23] Pero los predicados, como
atributos, no tienen sentido sin un sujeto gramatical del cual se prediquen porque posea
dicha propiedad.[24]

La lgica 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
abstraccin a partir del conocimiento de los singulares o individuos existentes.[25]

El silogismo considerado en la lgica formal[editar]

Artculo principal: Clculo lgico
La lgica formal actual considera la relacin S y P como una relacin meramente sintctica
sin contenido material alguno, bien sea en una relacin de clases o una funcin
proposicional de predicados. Aristteles considera dicha formalidad, desde luego, bajo el
punto de vista de la relacin entre dos trminos S (sujeto) y P (predicado) que al mismo
tiempo tienen una funcin lingstico-gramatical, pues para Aristteles los trminos
representan aspectos del ser y por tanto de la realidad.

Pero la formalidad de la lgica actual convierte la deduccin en una inferencia, como

consecuencia lgica, en lugar de una implicacin con transmisin de contenido en un
lenguaje apofntico transmisor de la verdad como pretenda Aristteles para el lenguaje de
la ciencia.

En la nueva forma de relacin sintctica se pierde toda relacin de los trminos con la
gramtica del lenguaje y posible "significacin". El silogismo pierde as su formalidad de
ser categrico, transmisor de la verdad necesaria, "por ser las cosas como son", para
adquirir una formalidad hipottica.

Siendo S el sujeto, P el predicado y M el trmino medio, el silogismo es ahora interpretado

como lgica de clases, y su esquema lgico sera 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 sera:

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

Cuando la referencia de instanciacin existencial es con respecto a los individuos, :[26] los
juicios aristotlicos pueden formalizarse de la siguiente manera como lgica de predicados:

Juicio aristotlico Lgica de predicados

Todo S es P
No S es P
Algn S es P
Algn S es no P
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 Trmino 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:

Siendo M el trmino 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 vendra dado por la cuantificacin
existencial de la referencia de dicha funcin, bien sea un cuantificador universal, todo x: ;
un cuantificador particular, un o algn x: ; o una constante individual determinada: a, b,
c; y P(x) "ser mortal" y M(x) "ser griego", entonces la frmula representa un silogismo
material en barbara. La lgica de predicados resuelve as el problema de la instanciacin
existencial.

En ambos casos (como lgica de clases o como lgica de predicados) el silogismo se

expresa en frmulas de relacin hipottica; y al no haber afirmacin de verdad alguna en
las premisas, la conclusin es condicionada y no implicada.

En ambos casos, como relacin de clases o como lgica de predicados, el clsico silogismo
categrico:

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

Se convierte en un silogismo hipottico:

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 transformacin no menor de la lgica aristotlica.

Juicio de trminos[editar]
El juicio de trminos es la comparacin de dos conceptos, bien sea de forma lgica o
extrada de la experiencia, mediante la cual creemos o afirmamos la relacin de uno con
respecto al otro como verdad objetiva. As se justificaba la creencia verdadera en los juicios
aristotlicos de la lgica clsica.

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.[27] Tal ha sido la consideracin de los juicios
aristotlicos en el silogismo de la lgica tradicional.

Hoy da la lgica formal y simblica no acepta tales juicios que se interpretan como
creencia, pues no requiere su formulacin lingstica o conceptual, como ya consideraron
los escolsticos. Por otro lado, la posibilidad de un categrico, como pensaba Aristteles,
est seriamente cuestionada a partir de Kant y su Crtica de la razn pura. Actualmente, en
la lgica tal relacin se considera formalmente:

Como resultado de dominio de discurso de la relacin de dos

clases lgicas.

Como la atribucin de un predicado a una variable lgica individual

cuantificada.

Sobre juicio y proposicin[editar]

Aunque en el silogismo aristotlico se habla de juicio, hoy en da se hablara de
proposicin. La diferencia entre juicio y proposicin es importante. La proposicin afirma
un hecho como un todo, que es o no es, como contenido lgico del conocimiento. En
cambio, el juicio atribuye un predicado a un sujeto lgico del conocimiento, otorgando a los
trminos tanto una funcin lingstica de significado (semntica) como una funcin formal
lgica (sintctica). Esto influye directamente en el concepto mismo del contenido de un
juicios y de una proposicin, especialmente en los casos de negacin, como se considera
ms adelante en la lgica silogstica.

Mantenemos aqu la denominacin de juicio por ser lo ms acorde con lo tradicional. Hay
que tener en cuenta que este tipo de lgica, como tal, est en desuso, sustituida por la lgica
simblica, en la que la lgica silogstica es interpretada como lgica de clases