Silogstica

La teora silogstica es expuesta por vez primera en la obra de Aristteles, y se desarrolla a lo largo de la Edad
Media, en la filosofa escolstica. La silogstica constituye la parte ms importante de la lgica antigua.

Un silogismo es un razonamiento deductivo. Cuando este razonamiento est formado por enunciados
categricos (los que tienen la forma: S es P, es decir, sujeto, cpula y predicado, por ejemplo: Los Seres
Humanos son mortales) se llama silogismo categrico.

Los silogismos categricos estan compuestos por dos premisas (la premisa mayor y la premisa menor) y una
conclusin.

PM = Premisa mayor

Pm = Premisa menor

C = Conclusin

Los silogismos contienen adems 3 trminos: el trmino mayor, el trmino menor y el trmino medio.

P = Trmino mayor

S = Trmino menor

M = Trmino medio

La premisa mayor contiene el trmino mayor (P) y el trmino medio (M), en la premisa menor encontramos el
trmino menor (S) y , de nuevo, el trmino medio (M)

La conclusin se compone del Tmino menor (S) y del trmino mayor (P). As pues, el trmino medio es
comn a ambas premisas pero no aparece en la conclusin .

Ejemplo:

Todos los hombres son mortales S = filsofos, es el trmino menor

Los filsofos son hombres P = mortales, es el trmino mayor
--------------------------------------------- M = hombres, es el trmino medio
Por tanto, los filsofos son mortales

Su estructura lgica sera:

M - P (PM)
S-M (Pm)
---------------------
S-P (C)

S (Trmino menor) es el sujeto de la conclusin y el sujeto o el predicado de la premisa menor.

P (Trmino mayor) es el predicado de la conclusin y el sujeto o el predicado de la premisa mayor.
M (Trmino medio) puede aparecer como sujeto o como predicado en la premisa mayor y en la menor.

Segn el lugar que ocupa el trmino medio en las premisas, se distinguen cuatro figuras del silogismo
 1 FIGURA 2 FIGURA 3 FIGURA 4 FIGURA

M-P P-M M-P P-M

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

Cada uno de los enunciados categricos, que componen las premisas y la conclusin, puede variar segn la
cantidad y la cualidad, esto es, pueden ser universales o particulares y afirmativos o negativos:

A = Universal afirmativa: Todos los x son A Ej : Todos los hombres son mortales

E = Universal negativa: Ningn x es A Ej: Ningn Ser Humano es perfecto

I = Particular afirmativa: Algunos x son A Ej: Algunos hombres son vegetarianos

O = Particular negativa: Algunos x no son A Ej: Algunas mujeres no comen carne

As pues, las cuatro figuras y los 4 tipos de proposiciones dan un total de 256 combinaciones posibles, o
modos, de los cuales slo 19 se consideran silogismos vlidos o correctos. Es decir, de las 256 posibles
estructuras que puede tener un silogismo slo 19 son correctas o concluyentes, slo en 19 de dichos modos la
conclusin se deriva necesariamente de las premisas. Los modos de silogismo vlidos son los siguientes:

1 FIGURA 2 FIGURA 3 FIGURA 4 FIGURA

M-P P-M M-P P-M

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

Barbara Cesare Darapti Bramantip

Celarent Camestres Felapton Camenes
Darii Festino Disamis Dimaris
Ferio Baroko Datisi Fesapo
Bokardo Fresiso
Ferison

Slo estos silogismos son correctos porque la validez de los silogismos exige la observancia de una serie de
reglas, como por ejemplo: por lo menos una premisa ha de ser afirmativa, si una premisa es negativa, la
conclusin ha de ser negativa, si una premisa es particular, la conclusin ha de ser particular....

Puesto que los trminos, sujeto y predicado, de un enunciado designan clases (conjuntos de individuos), un
silogismo puede interpretarse como una relacin entre clases; sus enunciados pueden representarse mediante
los diagramas de Venn y la cuestin de la validez de los razonamiento silogsticos puede resolverse mediante
estos mismos diagramas.

A = Universal afirmativa: Todos S es P Ej : Todos los hombres son mortales

E = Universal negativa: Ningn S es P Ej: Ningn Ser Humano es perfecto

I = Particular afirmativa: Algn S es P Ej: Algunos hombres son vegetarianos

O = Particular negativa: Algn S no es P Ej: Algunas mujeres no comen carne