Silogismo

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 cientco y losco desde su invencin
hace ms de dos milenios.

tos 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
Aristteles public los silogismos en su obra lgica reco- premisas, se pueda obtener con garanta de verdad un
pilada rganon, de sus libros conocidos como Primeros nuevo juicio verdadero, o conclusin.
Analticos (en griego Proto Analytika, en latn Analytica
Priora - idioma con el que se conoci la obra en Europa
Occidental).

2 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.

2.1 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.
Aristteles. Museo del Louvre.

Consecuente, un juicio de conclusin al que se llega,

el cual arma (une) o niega (separa) la relacin entre
S y P.

Los silogismos segn Aristoteles

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.

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 es1

2.2

Cantidad, o extensin de los trminos

La extensin de los trminos se reere 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 reere sol a algunos.[3] Por ejemplo, la relacin entre S y P de acuerdo a su extensin puede ser:

REGLAS DEL SILOGISMO

3.1.1 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:

Universal: donde todo S es P.[4] Los nombres propios tienen extensin universal; pues el uno, como Los trminos que aparecen como evidentes son las palanico, equivale a un individuo que siendo nico es, bras hombre, libre, mujer. Pero, a modo de non sequitur
(un tipo de error lgico) en la supuesta premisa mayor se
por eso, todos los posibles.[5]
utiliza la palabra hombre en su acepcin de especie (Homo
Particular: donde algunos S son P[6]
sapiens) mientras que en la supuesta premisa menor del
quaternio terminorum se ha trocado el signicado de la
palabra hombre utilizando la acepcin de gnero (hombre
2.3 Cualidad, o relacin entre trminos
como sinnimo de varn). Es decir, se ha incluido subrepticiamente un cuarto trmino, de all que la conclusin del
Especcamente, la cualidad o relacin entre trminos
quaternio terminorum es errnea, un sosma. Si se obserpuede ser:
va bien, en el ejemplo dado de quaternio terminorum se
ha expresado de un modo entimemtico.
Armativa o de unin: S es P.
Negativa o de separacin: S no es P.[7]

3.1.2 Los trminos no deben tener mayor extensin

en la conclusin que en las premisas
El predicado de una armacin siempre tiene extensin
particular, y el predicado de una negacin est tomado
en su extensin universal. Cuando un concepto, sujeto o Por la misma estructura del silogismo; nicamente podrepredicado, est tomado en toda su extensin se dice que mos obtener conclusiones acerca de lo que hemos comest distribuido; cuando no, se dice que est no distribuido. parado en las premisas.

2.4

Clasicacin de los juicios

3.1.3 El trmino medio no puede entrar en la conclusin

Segn el criterio de cantidad y cualidad, los juicios o prePor la misma estructura del silogismo la funcin del trmisas pueden agruparse en las siguientes clases:
mino medio es servir de intermediario, como trmino de
la comparacin.

2.5

Figuras y modos silogsticos

Teniendo en cuenta la disposicin de los trminos en las 3.1.4 El trmino medio ha de tomarse en su extenpremisas y en la conclusin se pueden dar las siguientes
sin universal por lo menos en una de las preguras silogsticas:
misas
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 guras 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.

3
3.1

Reglas del silogismo

Reglas para los trminos

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:
Lo que evidentemente no es un modo vlido, puesto que
espaoles en la premisa mayor al ser predicado de una
armativa est tomado en su extensin particular.

3.2 Reglas de las premisas

3
3.2.1

De dos premisas negativas no puede obtenerse 3.2.4 De dos premisas particulares no se saca conconclusin alguna
clusin

Dos premisas negativas no se adaptan a la estructura del Tambin tiene dos casos posibles: que una sea armativa
silogismo, ya que si negamos S de M, y P de M, no sa- y la otra negativa o que las dos sean armativas.
bemos qu relacin puede haber entre S y P. Para establecer la relacin, por lo menos uno de los trminos tiene Armativa y negativa Algn A es B - Algn A no es C.
que identicarse con M. Por tanto una de las dos premisas
tiene que ser armativa.
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)
3.2.2 De dos premisas armativas no puede sacarse
de la regla anterior), y por tanto el predicado tendr
una conclusin negativa
que ser universal, y no puede ser el trmino medio
por tanto no puede haber conclusin.
En efecto, si S se identica con M, y P tambin se identica con M, no tiene sentido establecer una relacin ne- Dos armativas Algn A es B - Algn A es C.
gativa con entre S y P. La conclusin ser armativa.
Los tres trminos son particulares, y por tanto no puede
haber trmino medio con extensin universal, y por
tanto no hay conclusin posible.
3.2.3 La conclusin siempre sigue la peor parte. Entendiendo por peor parte, la negativa respecto a la armativa y lo particular respecto a lo
universal

4 Los modos vlidos

Veamos los dos casos separadamente:

Modo del silogismo es la forma que toma ste de acuerdo

con la cantidad y la cualidad de las premisas y la concluConclusin negativa de una premisa armativa y la sin. De la aplicacin de las leyes de los silogismos a los
otra negativa.
256 modos posibles resultan vlidos solamente 19 y son
Si se arma una relacin entre dos trminos (X, los que tradicionalmente se memorizan atendiendo a los
M), pero se niega la de uno de ellos con otro (Y, modos vlidos de cada gura con sus premisas y concluM), siendo M el trmino medio, no puede haber sin.
ms conclusin que negar la relacin que pueda
haber entre el primero (X) y el ltimo (Y) siendo Nota bene: Tambin son vlidos para la primera gura los modos subalternos BARBARI, CELARONT; para
uno sujeto y el otro predicado de la conclusin.
la segunda: CESARO, CAMESTROP; y para la cuarta:
[8]
Conclusin particular de una premisa universal y CAMENOP.
otra particular (teniendo en cuenta que dos premisas
particulares no puede ser, como veremos en la regla
siguiente).
5 Representacin grca de los
Pueden darse dos casos: Que una sea armativa y
modos como lgica de clases mela otra negativa, o que las dos sean armativas.

diante diagramas de Venn

1. Dos armativas. (Tenemos que recordar que

el predicado de una armativa est tomado en
su extensin particular, y el predicado de una Se pueden representar estos modos mediante diagramas
de Venn con las siguientes convenciones:
negativa en su extensin universal).
Al ser las dos armativas sus predicados son
particulares. El trmino de la universal tiene
Cada trmino del silogismo est representado por S,
necesariamente que ser el trmino medio, la
P, M, por un crculo incoloro que representa a todos
conclusin tiene que tener un sujeto particular.
los miembros posibles de una clase.
2. Una armativa 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.

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 arma mediante una X:
Al menos uno, o algunos.

LA PROBLEMTICA DE LA LGICA SILOGSTICA

6 La problemtica de la lgica silogstica

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 dene:
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
Convencin para la representacin grca del juicio tipo A.

Dos aspectos a destacar en su denicin:

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.

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 maniesta 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 maniesta la "identidad" del
ser de S), lo que plantea una cuestin metalgica. Vase
verdad.
Aristteles piensa que el juicio maniesta 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.

Representacin grca de los modos vlidos en diagramas de

Venn.

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 guras 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 gura:
BRBARA, CELARENT, DARII, FERIO.[15]

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 grcas, al no ser admitidos como vlidos por algunos y, sobre
todo, la representacin grca no hace plausible la conclusin, debido a la falta de compromiso existencial, Incluso lleg a considerar tales modos como los axiomas
de todo el sistema lgico.
como se comenta ms adelante.

5
El juicio como atribucin de un predicado verdadero a 7 El silogismo considerado en la lun sujeto, (en el sentido de que P maniesta la "identidad"
gica formal
como ser del sujeto,[16] en tanto que realidad conocida),
plantea el problema de un predicado falso, es decir un noLa lgica formal actual considera la relacin S y P como
predicado. Cmo conocemos un no-predicado?...
una relacin meramente sintctica sin contenido material
Lingsticamente, el problema se disfraza negando el
alguno, bien sea en una relacin de clases o una funcin
verbo en lugar del predicado como atributo (gramtica).
proposicional de predicados. Aristteles considera dicha
De esta forma en vez de decir Antonio es un no-caballo,
formalidad, desde luego, bajo el punto de vista de la rela[17]
(qu es un no-caballo?), decimos Antonio no es un
cin entre dos trminos S (sujeto) y P (predicado) que al
caballo. Pero esto segundo slo es inteligible bajo el
mismo tiempo tienen una funcin lingstico-gramatical,
[18]
punto de vista extensional de los conceptos,
es decir
pues para Aristteles los trminos representan aspectos
bajo el punto de vista de ser un elemento de un conjunto
del ser y por tanto de la realidad.
denido por una propiedad, o lo que es lo mismo por su
pertenencia o no-pertenencia a una determinada clase; lo Pero la formalidad de la lgica actual convierte la deduccin en una inferencia, como consecuencia lgica, en luque nos lleva a la lgica de clases.
gar de una implicacin con transmisin de contenido en
La lgica moderna simblica, meramente lgica formal,
un lenguaje apofntico transmisor de la verdad como preno tiene conexin con contenido de verdad alguno y sutenda Aristteles para el lenguaje de la ciencia.
pera con claridad estas dicultades; sobre todo con la ventaja de poder tratar proposiciones polidicas, llamadas as En la nueva forma de relacin sintctica se pierde toda
porque tienen ms de dos trminos (por ejemplo: Jpiter relacin de los trminos con la gramtica del lenguaje y
es mayor que la Tierra y menor que el Sol),[19] y facilitar posible signicacin. El silogismo pierde as su formaenormemente el clculo lgico, por lo que, de hecho, la lidad de ser categrico, transmisor de la verdad necesaria,
por ser las cosas como son, para adquirir una formalilgica aristotlica, como tal, est en claro desuso.[20]
dad hipottica.
Hans Reichenbach estudia el cuadro de oposicin de los
juicios considerando los juicios A, E, I, O, como relacin Siendo S el sujeto, P el predicado y M el trmino medio,
de clases y considera que pueden eliminarse los juicios el silogismo es ahora interpretado como lgica de clases,
negativos E, O, que son los problemticos, mediante la y su esquema lgico sera del tipo siguiente:
anotacin de la negacin de la clase complementaria.[21] Si la clase S est (o no est) contenida en la clase M, y la
La notacin se hace estableciendo entre el sujeto S y el
predicado P, la letra minscula correspondiente al tipo
de juicio. As tenemos que:
SeP SaP
SoP SiP

clase M est (o no est) contenida en la clase P, entonces

la clase S est o (no est) contenida en la clase P.
O, en su interpretacin con respecto a los individuos, cuando haya conocimiento de instanciacin
existencial:[26]

Si todos (o algunos) los individuos que pertenecen (o no

As no slo se simplica la notacin sino que de modos
pertenecen) a la clase S pertenecen (o no pertenecen) a
que tradicionalmente han sido considerados invlidos, se
la clase M, y todos (o algunos) los individuos que perpuede obtener conclusin vlida, que la notacin clsica
tenecen (o no pertenecen) a la clase M pertenecen (o no
[22]
haca imposible.
pertenecen) a la clase P, entonces todos (o algunos) los
Por todo ello la interpretacin actual de la lgica aristot- individuos que pertenecen (o no pertenecen) a la clase S
lica como silogismo es su interpretacin como lgica de pertenecen (o no pertenecen) a la clase P.
clases. Tal es el mrito de la obra de Lukasiewicz.
As el silogismo en Brbara se convierte formalmente en
Pero considerar los conceptos universales, como clases lgica de clases como:
]
plantea el problema de la existencia del individuo co- [
(S M ) (M P ) (S P )
mo instanciacin o compromiso existencial. Pues la clase como propiedad independiente puede considerarse co- Que expresa una frmula de relacin hipottica y al no
mo abstracto universal.[23] Pero los predicados, como haber armacin de verdad alguna en las premisas, la
atributos, no tienen sentido sin un sujeto gramatical del conclusin es condicionada y no implicada.
cual se prediquen porque posea dicha propiedad.[24]
De la misma forma el silogismo puede interpretarse coLa 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]

mo una funcin proposicional de un predicado P que se

predica de uno, alguno o todos los individuos x, que a su
vez pueden ser o no ser sujeto de otro predicado S como resultado de la relacin que ambos tienen o no tienen
con otro predicado M, siendo S, P y M los trminos del
silogismo.
Mx simboliza Ser mortal, siendo M=ser mortal que

NOTAS Y REFERENCIAS

se puede predicar respecto a una variable x cuyo com Como la atribucin de un predicado a una variable
promiso de existencia vendra dado por la cuanticacin
lgica individual cuanticada.
existencial de la referencia de dicha funcin, bien sea un
cuanticador universal, todo x: x ; un cuanticador particular, un o algn x: x ; o una constante individual de- 7.2 Sobre juicio y proposicin
terminada: a, b, c
Aunque en el silogismo aristotlico se habla de juicio, hoy
La lgica de predicados resuelve as el problema de la
en da se hablara de proposicin. La diferencia entre juiinstanciacin existencial, pero nuevamente convierte el
cio y proposicin es importante. La proposicin arma
silogismo en un esquema formal de inferencia, donde no
un hecho como un todo, que es o no es, como contenido
hay armacin sino una inferencia hipottica, a partir del
lgico del conocimiento. En cambio, el juicio atribuye un
hecho de que la proposicin puede ser verdadera o falsa
predicado a un sujeto lgico del conocimiento, otorgando
y no una armacin categrica.
a los trminos tanto una funcin lingstica de signicado
As el silogismo por antonomasia en AAA, de la primera (semntica) como una funcin formal lgica (sintctica).
gura se interpretara de la siguiente manera siendo S, M Esto inuye directamente en el concepto mismo del cony P sus trminos:
tenido de un juicios y de una proposicin, especialmente
[ (
) (
)]
(
en
los casos de negacin, como se considera ms adelante
)x M x P x x Sx M x x Sx en la lgica silogstica.
Px
Mantenemos aqu la denominacin de juicio por ser lo
Es decir un silogismo hipottico de la lgica de predicams acorde con lo tradicional. Hay que tener en cuenta
dos.
que este tipo de lgica, como tal, est en desuso, sustituida
En ambos casos, como relacin de clases o como lgica por la lgica simblica, en la que la lgica silogstica es
de predicados, el clsico silogismo categrico:
interpretada como lgica de clases.[cita requerida]
Todos los hombres son mortales. Todos los griegos son
hombres. Por tanto todos los griegos son mortales.
Se convierte en un silogismo hipottico:

8 Vase tambin

Si todos los hombres son mortales y todos los griegos son

hombres, entonces, todos los griegos son mortales.

9 Notas y referencias

Lo que, no cabe duda, es una transformacin no menor

de la lgica aristotlica.

7.1

Juicio de trminos

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 armamos la relacin de uno con
respecto al otro como verdad objetiva. As se justicaba
la creencia verdadera en los juicios aristotlicos de la lgica clsica.
Por ejemplo: en la nieve es blanca, la mente se arma 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.

[1] Que no necesariamente tiene una referencia en una palabra; puede ser una frase o un discurso tomado como una
unidad lgica
[2] Se dice de un trmino tomado en su extensin universal
que est distribuido. Ntese que el dominio del concepto
es mucho ms amplio que la mera referencia a todos los
que existen. Quiere decir que el trmino universal, distribuido, abarca todos los posibles individuos que hayan
podido existir, hayan existido y los que existen y existirn.
El verbo ser es meramente atributivo y no exige la existencia. La losofa tradicional consideraba que el trmino
tena su origen en la abstraccin a partir de la existencia
de individuos, por lo que no haca referencia a esta distincin que exige la lgica formal tal como se entiende en
la actualidad.
[3] En esta referencia es necesario que se incluya la existencia
de individuos bien sea pasada, presente o futura, de existencia real o conceptual; de otro modo no habra signicacin en la atribucin. El verbo ser referido a la extensin
particular es de existencia. Lo que no pocas veces conduce
a errores lgicos cuando no se tiene en cuenta el diferente
uso del verbo ser respecto a la extensin de los trminos,
sobre todo en los juicios negativos.
[4] La forma lingstica que expresa el juicio admite variaciones: Todos los S, Cualquier S.... Lo importante es que
cualquier cosa que sea S, entonces es P. Ntese que en
la lgica aristotlica el uso del verbo ser tiene un contenido categrico de realidad. Ms tarde la lgica de Port

Royal har de esta relacin una atribucin. La lgica de

clases, por su parte, nicamente seala una relacin meramente lgica entre clases. El individuo como se explica
ms adelante, es un trmino, considerado en su extensin
universal, como clase lgica o trmino distribuido.
[5] De lo nico, como unidad elemental, no podemos ms que
o designarlo con el dedo, como hace el nio pequeo
cuando no sabe hablar, o nombrarlo con un "nombre
propio" o clasicarlo mediante un "nombre comn" o
"concepto universal", es decir incluirlo como elemento
perteneciente a una clase que designa una "propiedad".
Por eso los nombres propios son una Clase Universal. Este problema lo resuelve mejor la lgica actual
considerando los elementos comunes como "variables"
o elementos de un conjunto y los individuos existentes como "constantes" o instanciacin de existencia.
Las propiedades son consideradas como clases como
posibilidad de la existencia de individuos
[6] Las formas lingsticas tambin pueden ser variadas: Algn S siempre que sea indeterminado, unos cuantos S etc.
[7] La expresin propiamente aristotlica es S es no-P (David Mitchell, op. cit.). Sin embargo este matiz se oculta
bajo la forma expresiva de S no es P que suena mejor pero oculta este matiz y puede inducir errores lgicos; S es
no-P maniesta claramente la separacin de S respecto a
P como predicado de S. En cambio la expresin S no es
P expresa la no pertenencia de S al dominio de la clase
P. Aristteles siempre habla del ser, de lo que es. La lgica actual se atiene nicamente a la relacin de inclusin
de clases o dominio del discurso. Para Aristteles la lgica maniesta lo real; la lgica actual maniesta slo una
posible inferencia. Vase ms adelante la problemtica de
la lgica aristotlica respecto a los juicios negativos y su
interpretacin como lgica de clases.
[8] Cfr. ukasiewicz. La silogstica de Aristteles desde el
punto de vista de la lgica formal moderna. Madrid: Tecnos (1977). pg. 81 y ss. Vase ms adelante: Problemtica de la lgica aristotlica
[9] Que es la considerada como lgica tradicional que no sigue
exactamente los postulados del propio Aristteles, como
veremos ms adelante.
[10] Aristteles considera que es el lenguaje propio de la ciencia; a diferencia del lenguaje retrico que genera silogismos retricos o argumentos probables aunque formalmente sean vlidos
[11] Es decir a lo que de verdad es"; la esencia frente a la
apariencia sensible que maniesta lo que es al mismo
tiempo que lo oculta
[12] Si bien en los juicios derivados de la experiencia los sujetos lgicos nicamente pueden ser las sustancias primeras
individuales, en la abstraccin de sus predicados, como
categoras y modos de predicacin predicables, tales predicados como conceptos pueden hacer de sujetos lgicos
en oraciones gramaticales que expresan juicios categricos mediante los cuales se ponen de maniesto sus contenidos como propiedades y sus relaciones con otros conceptos manteniendo su relacin con lo real, puesto que su
origen deriva de lo real existente. Las categoras lgicas
tienen por ello carcter de realidad.

[13] Para los griegos clsicos y tambin para Aristteles, el

concepto de clase o, simplemente, el conjunto vaco era
algo inconcebible. La problemtica parmenidiana sobre
el ser estaba en el fundamento lgico de todo su pensamiento. Por eso, en matemticas no pudieron concebir el
0 (cero) como concepto. Vase supra nota 5.
[14] Aristteles consider la posibilidad de poder armar El hombre es un no-caballo como implicacin
consecuente de la armacin previa existencial en la
experiencia de El hombre no es un caballo (CORREIA,
Manuel. La Actualidad de la Lgica de Aristteles. Rev. los., Santiago, 2010 2010. Disponible en.
<http://www.scielo.cl/scielo.php?script=sci_arttext&
pid=S0718-43602006000100009&lng=es&nrm=iso>.
accedido en doi 16: noviembre 10.4067/S071843602006000100009.). Esto es as porque el conocimiento del concepto de caballo en su relacin con el
hombre es nicamente de ser o no-ser. En cambio
El hombre es bueno no es oponible de la misma forma
a El hombre es no-bueno puesto que la bondad admite
gradaciones y situaciones que no responden a la condicin
de ser o no-ser, como ya haba expuesto Platn en su
dilogo Fedro. Un mismo hombre puede ser hoy bueno
y maana malo; as como puede ser regular, mezcla en
parte de lo bueno y en parte de lo malo; la oposicin
entre uno y otro no es totalmente excluyente. Si es malo
entonces es no-bueno, como verdad implicada. Pero ser
no-bueno no implica ser malo. [Analticos Primeros
I, 46 (52b15)]. La forma lgica aristotlica implica en
algunos casos, como el presente, la consideracin de la
materia o contenido del juicio de que se trate. Por ello
mientras que para la lgica simblica actual El hombre
es un no-caballo y El hombre no es un caballo son
formalmente
equivalentes, y se simbolizan de la misma
forma, x(Ax Cx) siendo A= Ser hombre y
C= Ser caballo, para Arstteles no lo son como hemos
visto antes. Lo que indica que la lgica de Aristteles
siendo formal, al pretender ser transmisora de la verdad,
nunca pierde su relacin con la materia o contenido en
su consideracin lgica, pues siempre se trata de una
predicacin respecto a un sujeto que, en ltima instancia,
tiene una referencia verdadera, bien en la experiencia
concreta como conocimiento de una sustancia primera,
bien en la evidencia de un axioma, bien en la realidad de
un concepto universal abstrado a partir de una sustancia
existente individual. Por eso el concepto aristotlico,
como trmino del juicio, no es una clase, y siempre
tiene una referencia existencial. Algunos piensan que
la lgica de Aristteles siendo formal no es formalista.
Manuel Correia. Revista de losofa. Rev. los. v.62
Santiago 2006. tienne Gilson (1944). Eco (1977), Kant
y el ornitorrinco. Cap. 1 Sobre el ser
[15] Para hacer tales demostraciones se establecen ciertas
operaciones lgicas que permiten transformar unos juicios en otros. Vase conversin lgica, obversin lgica, contraposicin lgica e inversin lgica. Es famosa la
demostracin demostracin formal!!! de la inmortalidad por este procedimiento segn el siguiente esquema: 1. Todo S es P; 2. Nign S es no-P (por obversin
en 1); 3. Ningn no-P es S (por conversin en 2); 4. Todo no-P es no-S obversin en 3); 5. Algn no S es noP (por conversin per accidens en 4. De esta forma To-

11 ENLACES EXTERNOS

dos los hombres son mortales implicara que Algn nohombre es no-mortal lo que sera una prueba o demostracin la inmortalidad. Pero ... qu es un no-mortal
si no tenemos experiencia como instanciacin existencial de ello?. A qu referente como no-hombre podremos
aplicar dicha propiedad de inmortalidad"? a los ngeles? a los demonios?. David Mitchell, Introduccin a la
lgica, pp. 38-39.

si fuera un conjunto de individuos existentes. Tal puede

ocurrir cuando se utilizan lingsticamente pronombres
vagos (Santo Toms) o pronombres perezosos (Quine)
como: algn o algunos, cualquiera o todo o todos (considerando tales pronombres como sustitucin de uno por
uno y cualquiera de todos los posibles elementos del conjunto como si fueran individuos reales y existentes). Se
confunde de este modo la clase lgica con la clase natural
como si fuera aquella un conjunto enumerable. Una clase
lgica signica toda la extensin lgica o el dominio de
discurso de un concepto expresado como trmino lingstico que signica posibles individuos de cuya existencia no
sabemos nada. La existencia se reconoce en un sistema
de referencia de lenguaje objeto o primer nivel como
lgica de primer orden. Las propiedades lgicas sitan su
referencia en una lgica de segundo orden.

[16] Los griegos no concibieron el no-ser como posibilidad de

un concepto. Por eso no concibieron el cero matemtico a
diferencia de la reexin de la cultura india
[17] Eso slo tiene sentido en tanto que lo que se arma es
el conocimiento previo de la existencia de los contenidos
(notas) del predicado en la identidad (notas) que constituye al sujeto. Por su parte el predicado es conocido a travs
de conocimientos singulares de otros sujetos conocidos
por la experiencia
[18] Los conceptos se denen por su comprensin, es decir las
notas que le hacen ser lo que es, el signicado en su expresin lingstica, y su extensin, o denotacin en su expresin lingstica, es decir cada uno de los seres a los que
dicho concepto se puede aplicar, nombrndolos o designndolos. El concepto aristotlico, que procede de la abstraccin a partir del conocimiento de los individuos particulares, tiene siempre y necesariamente aplicacin a un
grupo de individuos. Por eso, ms tarde en la Edad Media,
se considerarn como universales. En cambio la clase se
dene exclusivamente por una propiedad, haya o no haya
individuos que posean dicha propiedad. Por eso existe el
concepto de clase vaca. Para los griegos, que no conocan
ni conceban la posibilidad del cero, el concepto de clase
habra sido imposible.
[19] Miguel Candel Sanmartn Metafsica de cercanas, p. 55,
Editorial Montesinos, 2004 ISBN 978-84-95776-85-3
[20] Luis Guerrero Martnez Lgica: el razonamiento deductivo
formal, p. 165, Publicaciones Cruz O.S.A., 1991 ISBN
978-968-20-0272-4
[21] Vase cuadro de oposicin de los juicios
[22] Donde se puede apreciar, una vez ms, la importancia de
la formalizacin del lenguaje en el progreso de la ciencia.
[23] Que da lugar a una Lgica de segundo orden
[24] Quine, W.V. Filosofa de la lgica. Madrid. Alianza Editorial. 1981.pgs. 58-61. Cfr. ref, 4 y 5
[25]

Al construir su lgica, Aristteles no tiene en cuenta ni a los trminos singulares ni

a los trminos vacos. En los primeros captulos de los Primeros Analticos, que contiene una expresin sistemtica de su silogstica,
slo son mencionados trminos universales.
Jan ukasiewicz, op. cit.

[26] Lo que excede de la mera informacin formal del concepto de clase. A veces se confunde errneamente el uso
de un concepto como clase lgica, es decir un Todolgico, distribuido (en su extensin lgica universal), o
no-distribuido (en su extensin lgica particular), como

[27] Vase verdad y la reexin sobre tal armacin de Alfred

Tarski

10 Bibliografa adicional
Clark, J. T. (1952). Conventional Logic And Modern
Logic.
Correia, Manuel (2006). La actualidad de la lgica
de Aristteles. Rev. los. [online] 62: 139-150.
Ferrater Mora, Jos (1979). Diccionario de Filosofa. Barcelona: Alianza. ISBN 84-206-5299-7.
Garrido, M. (1974). Lgica simblica. Barcelona:
Tecnos.
Gonzlez Labra, Mara Jos (2010). Psicologa del
pensamiento. Trotta.
ukasiewicz, Jan (1977). La silogstica de Aristteles
desde el punto de vista de la lgica formal. Madrid:
Tecnos.
Mitchell, D. (1968). Introduccin a la lgica. Barcelona: Labor.
Quine, Willard Van Orman (1981). Filosofa de la
lgica. Madrid: Alianza. ISBN 84-206-2043-2.
Reichenbach, Hans (1952). The Syllogism Revised
19. Philosophy of Science.

11 Enlaces externos

Wikcionario tiene deniciones y otra informacin sobre silogismo.Wikcionario

12
12.1

Origen del texto y las imgenes, colaboradores y licencias

Texto

Silogismo Fuente: https://es.wikipedia.org/wiki/Silogismo?oldid=95105724 Colaboradores: ILVI, Oblongo, Moriel, JorgeGG, Mdiagom,

Sms, Tano4595, Jarl, Enric Naval, Pablo Alcayaga~eswiki, Orgullomoore, Airunp, Rembiapo pohyiete (bot), Anrfernandez, RobotQuistnix, Platonides, Unf, Pabloab, Yrbot, Amads, Seanver, FlaBot, YurikBot, Icvav, KnightRider, Eskimbot, Baneld, Pau la, Jos., Tomatejc,
Axxgreazz, Ric delg, Gizmo II, CEM-bot, Laura Fiorucci, Xexito, Jjvaca, Osepu, FranciscoPadilla, Montgomery, P.o.l.o., Escarbot, Max
Changmin, Clementito, Botones, Isha, JAnDbot, CommonsDelinker, TXiKiBoT, Mercenario97, Raulvalderrama, Netito777, Xsm34, Reibot, MONIMINO, Plux, VolkovBot, Libertad y Saber, Matdrodes, Synthebot, Jos Biedma Lpez, 3coma14, IIM 78, Muro Bot, Komputisto, Gerakibot, Jmvgpartner, SieBot, PaintBot, Tomasetter, Cobalttempest, Rigenea, Jor11, Tomasfd, Alejandro linconao, Drinibot,
BOTarate, Manw, Correogsk, BuenaGente, Tirithel, Javierito92, HUB, Facuac, MetsBot~eswiki, Luiseduardo1991, Vladimir Vargas,
Eduardosalg, Leonpolanco, Pan con queso, LordT, Rge, UA31, Abajo estaba el pez, JDPhD~eswiki, AVBOT, Zaqmp, David0811,
LucienBOT, Flakinho, MastiBot, Diegusjaimes, Davidgutierrezalvarez, Snunes, Plasnisk, Arjuno3, Andreasmperu, Luckas-bot, Ramon00,
Vic Fede, Dangelin5, Emilio Bovo, Yonidebot, Hgfaanys, Felipe Schenone, Alelapenya, SuperBraulio13, Jkbw, Rubinbot, Ammonio, FrescoBot, Esceptic0, Alejandroberzakey, Botarel, AstaBOTh15, Lipedia, Vubo, Jerowiki, PatruBOT, KamikazeBot, Dinamik-bot, Humbefa,
Foundling, Axvolution, EmausBot, Savh, MadriCR, Mjbmrbot, Troncoso Manuel, MerlIwBot, DKMRFCB, MetroBot, Bibliolotranstornado, LlamaAl, Helmy oved, Legobot, Balles2601, Jarould, Egis57, Bruno Rene Vargas, TuCove, AlvaroMolina, JuanCalamidad, Marcos
Bautista Lpez y Annimos: 289

12.2

Imgenes

Archivo:Aristoteles_Louvre.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/a/a4/Aristoteles_Louvre.jpg Licencia: CC

BY-SA 2.5 Colaboradores: Eric Gaba (User:Sting), July 2005. Artista original: Segn Lisipo
Archivo:Interpretacin_grfica_del_juicio_aristotlico_afirmativo_universal.jpg Fuente: https://upload.wikimedia.org/wikipedia/
commons/2/29/Interpretaci%C3%B3n_gr%C3%A1fica_del_juicio_aristot%C3%A9lico_afirmativo_universal.jpg Licencia: CC-BYSA-3.0 Colaboradores: Trabajo propio Artista original: MONIMINO
Archivo:MODOS_VALIDOS_EN_DIAGRAMAS_DE_VENN.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/0/09/
MODOS_VALIDOS_EN_DIAGRAMAS_DE_VENN.jpg Licencia: CC BY-SA 3.0 Colaboradores: Trabajo propio Artista original:
MONIMINO
Archivo:Spanish_Language_Wiki.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/2/2a/Spanish_Language_Wiki.svg
Licencia: CC BY-SA 3.0 Colaboradores: Derived from Wiki puzzle.svg by user:Kimbar Artista original: James.mcd.nz
Archivo:Wiktionary-logo-es.png Fuente: https://upload.wikimedia.org/wikipedia/commons/0/06/Wiktionary-logo-es.png Licencia: CC
BY-SA 3.0 Colaboradores: originally uploaded there by author, self-made by author Artista original: es:Usuario:Pybalo

12.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0