INFERENCIAS MEDIATAS

EL silogismo

INTRODUCCION
La lgica aristotlica.
El razonamiento es un encadenamiento de juicios en el que partiendo
de una proposicin conocida se descubre otra u otras desconocidas.
Aristteles, en los Analticos, se ocupa tanto del razonamiento
deductivo como del inductivo, pero considera que el conocimiento
cientfico se alcanza deduciendo lo particular de lo general, es decir,
con el conocimiento de las causas. Aristteles privilegiar, por tanto,
el anlisis del razonamiento deductivo, y en especial del
razonamiento deductivo categrico o silogismo.
Del mismo modo que distinguimos en el juicio una materia y una
forma hemos de hacer lo propio con el razonamiento; la materia
prxima del razonamiento son los juicios, y la materia remota los
conceptos (que son la materia de los juicios). La forma consiste el
nexo o conexin legtima entre los juicios antecedentes y los
consecuentes y se expresa mediante conjunciones como "luego", "por
lo tanto", "por consiguiente", a travs de las cuales se realiza el
proceso de inferencia, la consecuencia de unos juicios a otros.
Aristteles afirma que este proceso est sometido a reglas que
permiten determinar su correccin o incorreccin, de tal modo que, si
los juicios de los que se parte son verdaderos, y la inferencia se
realiza de acuerdo con las reglas definidas (si la inferencia es vlida,
pues) la conclusin ser necesariamente verdadera. El proceso de
inferencia no depender, pues, de la materia del razonamiento, sino
de su forma.
El razonamiento deductivo es una forma de razonamiento que va del
todo a las partes es decir, intenta extraer de una verdad universal
otra particular. Puede ser de tres clases: categrico, hipottico y
disyuntivo, atendiendo al tipo de juicio (por la relacin) que le sirva de
punto de partida.

1. SILOGISMO:
El silogismo es un razonamiento deductivo categrico mediante el
cual, partiendo de dos juicios dados inferimos uno nuevo. Consta,
pues, de tres proposiciones (que expresan tres juicios) y de tres
trminos (que expresan tres conceptos), que constituyen la materia
prxima y remota del razonamiento, respectivamente. La premisa que
sirve de punto de partida se llama "premisa mayor" y es la ms
general; la premisa que sirve de intermediario se llama "premisa
menor", y es menos general que la anterior; la proposicin que se
deduce de la "mayor" por mediacin de la "menor" es
la conclusin del razonamiento.
En cuanto a los trminos del razonamiento, se llama "trmino mayor"
al predicado de la conclusin, que debe aparecer en la premisa
mayor, y se le representa con la letra P. Se llama "trmino menor"
al sujeto de la conclusin, que aparece tambin en la premisa menor,
y se le representa con la letra S. El "trmino medio" es el que aparece
en las dos premisas (mayor y menor) y no en la conclusin, y se le
representa con la letra M. Por lo tanto, tomando el ejemplo anterior
de razonamiento categrico.

Clases de razonamiento

Clase de razonamiento

Ejemplo correspondiente a dicha clase

Razonamiento categrico

Todos los humanos son mortales.

Los madrileos son humanos.

Luego los madrileos son mortales.

Razonamiento hipottico

Si apruebas irs de vacaciones.

Es as que has aprobado.
Luego irs de vacaciones.

Razonamiento disyuntivo

Por este camino se va al norte o al sur.

Es as que se va al norte.
Luego no se va al sur.

2.CLASE DE RAZONAMIENTO, EJEMPLO CORRESPONDIENTE Y

REPRESENTACIN FORMAL

Clase de
razonamiento

Ejemplo

Representacin
formal

Razonamiento
categrico

Todos los humanos son mortales.

Los madrileos son humanos.
Luego
los madrileos son mortales.

M es P
S es M
---------S es P

Donde el trmino mayor es "mortales" (P), el trmino menor es

"madrileos" (S), y el trmino medio es "humanos" (M).

3. REGLAS DEL SILOGISMO

3.1 Reglas para los trminos

El silogismo no puede tener ms de tres trminos

Esta ley se limita a cumplir la estructura misma del silogismo:

la comparacin de dos trminos con un tercero. Aunque la
regla es clara, su aplicacin no siempre lo es. Es lo que
algunos llaman silogismo de cuatro patas, ya que se introduce
equivocadamente un cuarto trmino o quaternio terminorum.

Los trminos no deben tener mayor extensin en la

conclusin que en las premisas
Por la misma estructura del silogismo; nicamente podremos
obtener conclusiones acerca de lo que hemos comparado en
las premisas.

El trmino medio no puede entrar en la conclusin

Por la misma estructura del silogismo la funcin del trmino
medio es servir de intermediario, como trmino de la
comparacin.

El trmino medio ha de tomarse en su extensin

universal por lo menos en una de las premisas
Para que la comparacin sea tal, es necesario que el trmino
medio sea comparado en su totalidad. De otra forma, podra
ser comparado un trmino con una parte y el otro con la otra,
constituyndose en realidad entonces un silogismo de cuatro
trminos.

3.2 Reglas de las premisas

De 2 premisas negativas no puede obtenerse conclusin alguna.

Dos premisas negativas no se adaptan a la estructura del

silogismo, ya que si negamos S de M, y P de M, no sabemos
qu relacin puede haber entre S y P. Para establecer la
relacin, por lo menos uno de los trminos tiene que
identificarse con M. Por tanto una de las dos premisas tiene
que ser afirmativa.

De dos premisas afirmativas no puede sacarse una conclusin negativa.

En efecto, si S se identifica con M, y P tambin se identifica

con M, no tiene sentido establecer una relacin negativa con
entre S y P. La conclusin ser afirmativa.

La conclusin siempre sigue la peor parte. Entendiendo por peor parte, la

negativa respecto a la afirmativa y lo particular respecto a lo universal.

Veamos los dos casos separadamente:

a) 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.
b) 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. (Tenemos que recordar que el predicado
de una afirmativa est tomado en su extensin particular, y el
predicado de una negativa en su extensin universal).

Al ser las dos afirmativas sus predicados son particulares. El

trmino de la universal tiene necesariamente que ser el
trmino medio, la conclusin tiene que 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 saca conclusin.

Tambin tiene dos casos posibles: que una sea afirmativa y la

otra negativa o que las dos sean afirmativas.
a) 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.
b) 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

4.Las formas vlidas del silogismo, o figuras del silogismo

Aristteles distingue cuatro formas vlidas de silogismo, conocidas
tradicionalmente como figuras del silogismo, y que resultan del
distinto lugar que ocupa el trmino medio, y por lo tanto de la funcin
que le corresponde, en las premisas. La conclusin de todas las
figuras es siempre S es P. Las formas vlidas o figuras del silogismo
son las siguientes (aunque la ltima fue considerada por Aristteles
como una mera variante de la primera):

Primera figura

Segunda figura

Tercera figura cuarta figura

M es P
S es M
---------S es P

P es M
S es M
---------S es P

M es P
M es S
---------S es P

P es M
M es S
---------S es P

El trmino medio
es Sujeto en la
premisa mayor
y Predicado en la
menor.

El trmino
medio es
Predicado en
ambas
premisas.

El trmino
medio es
Sujeto en
ambas
premisas.

El trmino medio
es Predicado en la
premisa mayor
y Sujeto en la
menor.

Estas cuatro figuras pueden, a su vez, teniendo en cuenta la cualidad

y la cantidad de las proposiciones que las componen, dar lugar a un
total de 64 modos diferentes de silogismo, de los que slo 19 son
modos vlidos de razonamiento. Su validez la establece Aristteles a
partir de la determinacin de las leyes o reglas de legitimidad del
silogismo. Entre ellas, que el silogismo ha de constar de tres trminos,
que no pueden ser tomados con mayor extensin en la conclusin
que en las premisas, que el trmino medio ha de tomarse
universalmente al menos en una premisa (o en ambas), que de dos
premisas negativas no se puede seguir ninguna conclusin, etc.
El fundamento del silogismo suscit tambin la curiosidad
investigadora de Aristteles, ya que al basarse la inferencia en la
validez de las premisas anteriores se planteaba el problema del
recurso al infinito para justificar el razonamiento. Si cada premisa
tiene que estar justificada por otra, en efecto, cmo detener la
necesidad de justificar el principio del principio? Esto nos llevara a un
proceso infinito de justificacin, por lo que Aristteles afirm que
existan ciertos principios que eran conocidos intuitivamente y que no
necesitaban demostracin. El ms fundamental de todos era el
principio de contradiccin (no es posible que algo sea y no sea, al
mismo tiempo, y bajo la misma consideracin); de l se sigue el de

identidad (algo es igual a s mismo) y el de igualdad (dos cosas

iguales a una tercera son iguales entre s), y otros que se siguen de
los anteriores.

5. MODOS VALIDOS DEL SILOGISMO

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
vlidos
De la primera
figura

AAA, EAE, AII, EIO

Se memorizaban cantando

BARBARA, CELARENT, DARII, FERIO

De la segunda

EAE, AEE, EIO,

figura

AOO

De la tercera

AAI, IAI, AII, EAO,

DARAPTI, DISAMIS, DATISI, FELAPTON,

figura

OAO, EIO

BOCARDO, FERISON

De la cuarta

AAI, AEE, IAI, EAO,

BAMALIP, CAMENES, DIMATIS, FESAPO,

figura

EIO

FRESISON

CESARE, CAMESTRES, FESTINO, BAROCO

5.1 EJEMPLOS DE LOS MODOS DEL SILOGISMO.

I.

Figura 1
1.1 BARBARA.
Todas las mujeres son fieles.
Todas las Patys son mujeres.
por lo tanto
Todas las Patys son fieles.

1.2 Celarent.
Todos los nios no son traviesos.
Todos los Pedros son nios.
por lo tanto
Todos los Pedros no son traviesos.

1.3 Darii.
Todos los diamantes son brillantes.
Algunos zafiros son diamantes.
por lo tanto
Algunos zafiros son brillantes.

1.4 Ferio.
Todos los payasos no usan sombrero.
Algunos Bombines son payasos.
por lo tanto
Algunos bombines no usan sombrero.
II.

Figura 2
2.1 Cesare.
Todas las groseras no son nias.
Todas las Gimenas son nias.
por lo tanto
Todas las Gimenas no son groseras.

2.2 Camestes.
Todos los que juegqan son nios.
Todos los Marios son nios.
por lo tanto
Todos los Marios no juegan.

2.3 Festino.
Todos los fuertyes no son hombres.
Algunos Juanes son hombres.
por lo tanto
Algunos Juanes no son fuertes.

2.4 Baroco.
Todas las bonitas son flores.
Algunas hierbas no son flores.

por lo tanto
Algunas hierbas no son bonitas.
III.

Figura 3
3.1 Disamis.
Algunos maestros son alegres.
Todos los maestros son Fernandos.
por lo tanto
Algunos Fernandos son alegres.

3.2 Datisi.
Todas las aves son oviparos.
Algunas aves son aguilas.
por lo tanto
Algunas aguilas son oviparos.

3.3 Bocardo.
Algunos autos no son naranjas.
Todos los autos son Nissan.
por lo tanto
Algunos Nissan no son naranjas.

3.4 Ferison.
Todos los bailarines no son lentos.
Algunos bailarines son Davids.
por lo tanto
Algunos Davids no son lentos.
IV.

Figura 4
4.1 Camentes.
Todos los que juegan futbol son nios.
Algunos nios no son Ricardos.
por lo tanto
Algunos Ricardos no juegan futbol.

4.2 Dimatis.
Algunos que corren rapido son autos.
Todos los autos son fiesta.
por lo tanto
Algunos fiesta corren rapido.

4.3 Fresiso.
Todos los que no son trepadores son perros.
Algunos perros son buguys.
por lo tanto
Algunos buguys no son trepadores.

6. REPRESENTACIN GRFICA DE LOS MODOS COMO

LGICA DE CLASES MEDIANTE DIAGRAMAS DE VENN
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.

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.

7. FALACIAS:
Se presentan cuando se infringen las leyes lgicas tanto de trminos
como de las proposiciones en el silogismo, dichas falacias son:

CUARTO TRMINO:
(cuaternio terminorum) esta falacia se comete cuando el trmino
medio del silogismo esambiguo, por lo cual, puede tener un
doble significado, esto produce que el trmino medio se
duplique.

Ejemplo:
Lima es una ciudad superpoblada (ciudad: Lima)
Alguna lima est muy madura (fruta: lima)
Alguna madura esta superpoblada (falacia)

MEDIO CONCLUYENTE
Esta falacia se presenta cuando el trmino medio est presente
dentro de la conclusin
Ejemplo:
Los perros son mamferos
Los gatos son mamferos
Todo gato es mamfero (falacia)

MAYOR ILCITO
Esta falacia se presenta cuando dentro del silogismo, el trmino
mayor tiene en la conclusin la premisa mayor
Ejemplo:
Todo carpintero usa martillo
Ningn nadador usa martillo
Ningn nadador es carpintero (falacia)

FORZADO O ILCITO
Cuando de dos premisas afirmativas, se infiere una conclusin
negativa.
Ejemplo:
Todo matemtico es estudioso
Algunos alumnos son matemticos

Ningn alumno es estudioso (falacia)

FALACIA DE LAS PREMISAS EXCLUYENTES

Cuando de dos premisas negativas se llega a una conclusin.
Ejemplo:
Ningn periodista es discreto
Algunos profesionales no son periodistas
Algunos profesionales no son discretos