Louis Couturat, Compendio de silogstica en C.

Garca Trevijano, El arte de la

lgica. Ed. Tecnos, 1993. Resumen.
Josep Fortuny

PROPOSICIN CATEGRICA
"Comprensin": propiedades de un conjunto de objetos o individuos, representados por los
conceptos que forman las ideas de la lgica. "Extensin": conjunto de los objetos o individuos
que poseen esas propiedades. Concepto de individuo = "caso particular" o "limite".
Juicio categrico: A es B
- comprensin: A (sujeto) posee B (predicado o atributo) => B forma parte de la extensin de A.
- extensin: A (conjunto o clase de A) forma parte de B (conjunto o clase de B) => la extensin
de A est contenida en la extensin de B.
Comprensin y extensin son connotativamente inversas: - extensin: sujeto contenido en el
predicado. - comprensin: sujeto contiene al predicado.
El predicado es ms general y abstracto que el sujeto.

4 TIPOS DE PROPOSICIN CATEGORICA

Segn la cualidad: 1- juicios afirmativos. 2- juicios negativos.
Segn la cantidad: 1- juicios universales y singulares, su sujeto extendido es un individuo:
(todo A o todos los A). 2- juicios particulares: (algn A).
As los 4 juicios son:
(A) Universal afirmativo: Todo S (sujeto) es P (predicado)
(E) Universal negativo: Ningn S es P
(I) Particular afirmativo: Algn S es P
(O) Particular negativo: Algn S no es P
Para el mismo S y el mismo P se dan las siguientes relaciones entre los juicios:
(A) Contrariedad (E)
| \ Contradiccin / |
Subalternacin >< Subalternacin
| / Contradiccin \ |
(I) Subcontrariedad (O)

INFERENCIA INMEDIATA
Estas relaciones (de oposicin) provocan "deducciones inmediatas". La verdad (V) o falsedad (F)
de todas las proposiciones se deduce directamente a partir de la V o F de una de ellas aplicando
las reglas siguientes:
R1- Regla de las contradictorias (A y O; E e I): las contradictorias no pueden ser V ni F a la
vez. Si una es V la otra es F. Si una es F la otra es V
R2 - R de las subalternas (I de A; O de E): si la universal es V lo es la particular. Si la particular
es F lo es la universal. No hay otras inferencias.
R3 - R de las contrarias (A y E): no pueden ser las dos V a la vez pero si F, as:
si (A) es V, (O) es F (por R1), y (E) es F (por R2)
si (A) es F, (O) es V, y (E) puede ser V o F
R4 - R de las subcontrarias (I y O): pueden ser V a la vez pero no F
si (I) es V, (E) es F y (O) es V o F
si (I) es F, (E) es V y (O) es V

CONVERSIN DE PROPOSICIONES
"Conversin": otro mtodo de deduccin inmediata. Deducir de una proposicin otra equivalente
(igual en V o F), cambiando el P por el S de la primera.
Reglas (extensin del predicado): cantidad => extensin S; cualidad => extensin P, as:
- proposicin negativa => P universal, S (total o parcial) excluido del P
1
 - proposicin afirmativa => P particular, S incluido, indeterminado
Conversin => cuantificacin P (P que se transforma en S con una cantidad determinada)
R1- Conversin simple: E e I, intercambian S por P: donde el P y el S de E son universales,
luego E excluye todo S de todo P y a la inversa. I identifica algn S con algn P y a la inversa.
1- ningn S es P <=> ningn P es S. 2- algn S es P <=> algn P es S.
R2- Conversin parcial (accidente o limitacin):
Permite convertir A, E e I. O, no se puede convertir regularmente.
A tiene S universal y P particular => conversin parcial (por extensin limitada del P).
Para A todo S = algn P, => algn S es P, luego I (particular afirmativa).
Conversin parcial de A = subalternacin + conversin simple (de A se deduce I): algn S
es P; y, por conversin simple: algn P es S.

INFERENCIA MEDIATA
Deduce la conclusin a partir de dos o ms preposiciones o premisas verdaderas dadas. Con dos
premisas es un silogismo.
Silogismo: demostracin de la conclusin prevista a partir de dos premisas que relacionan los
trminos de la conclusin con un termino medio (auxiliar).
S de la conclusin = trmino menor = premisa menor
P de la conclusin = trmino mayor = premisa mayor
Termino medio (M): aparece en ambas premisas pero no en la conclusin

REGLAS DEL SILOGISMO

- Reglas de formacin del silogismo.
R I- Hay 3 trminos: menor, medio y mayor.
R II- El T medio no aparece en la conclusin.
R III- La conclusin no puede ser ms amplia que las premisas: (todos no se deduce de
algunos)
R IV- El T medio tiene que ser general en uno o ambos casos, si el T medio figurara como
parcial (indeterminado) no podra tomarse como igual, su identidad (la validez del silogismo)
seria incierta. Se tratara de un silogismo con 4 trminos, no conclusivo (sin trmino medio no
hay conclusin).
Corolario1: debe haber siempre en las premisas al menos un trmino universal de ms que en la
conclusin: si el S o el P en la conclusin es universal, tambin en la premisa correspondiente (R
III) y el T medio debe ser universal una vez (R IV), hay un trmino de ms que no est en la
conclusin.
En (A) hay un T universal (el S); en (E) 2, (S y P); en (I) ninguno y en (O) uno (el P).
- Reglas relativas a las proposiciones que forman el silogismo.
RV- Dos afirmativas no pueden generar una negativa. Dos T externos parcialmente identificados
con el T medio no forman una conclusin distinta o separada (total o parcialmente).
RVI- De dos premisas negativas no se sigue nada. Si los T externos estn separados o excluidos,
no se concluye nada del T medio relativo a ellos, estn unidos o parados.
RVII- La conclusin sigue siempre la peor parte. La negativa y la particular son inferiores a la
afirmativa y la universal, luego las cualidades de la conclusin sern siempre inferiores a las
cualidades de las premisas. La demostracin de la regla es doble, se refiere tanto a la cualidad
como a la cantidad.
1- cualidad: hay una sola premisa negativa (RVI), el T medio est unido a uno de los
extremos y separado del otro, luego separa los extremos.
2- cantidad: con una premisa particular la conclusin no puede ser universal:
- conclusin universal afirmativa => 2 premisas afirmativas + 2 trminos
universales = 2 premisas universales de predicados particulares.

1
Proposicin que no necesita comprobarse, sino que se deduce fcilmente de lo demostrado antes.
2
 -
conclusin universal negativa => 2 premisas con 3 trminos universales; o
una, y una sola ser negativa (de predicado universal) => 2 sujetos universales
=> 2 premisas universales.
Una conclusin universal nunca puede provenir de una premisa particular, (y menos de dos).
RVIII- Nada se sigue nunca de un par de particulares.
Si fueran particulares afirmativas => sus trminos serian particulares (contradiciendo la RVI).
Si una fuese negativa la conclusin tambin lo sera (por la RVII), => debera haber 2 trminos
universales en las premisas => un solo predicado universal, (solo una premisa negativa) => un
sujeto debe ser negativo => una de las premisas es universal.

FIGURAS Y MODOS DEL SILOGSMO

4 figuras = modos concluyentes = posicin del T medio en las premisas.
1 Figura: M, S en la mayor y P en la menor 3 Figura: M, S en las dos premisas
Premisa mayor M P M P
Premisa menor S M M S
Conclusin S P S P
2 Figura: M, P en las dos premisas 4 Figura: M, P en la mayor y S en la menor
P M P M
S M M S
S P S P

Donde: M = T medio; S = T menor; P = T mayor.

El sujeto est en la izquierda y el predicado a la derecha
Adems de con las 8 reglas comunes del silogismo cada figura cumple con sus propias reglas.
1 Figura:
R1- La menor es afirmativa. Lo contrario infringe la RIII.
R2- La mayor es universal. La menor afirmativa, M particular y universal en la mayor para ser
sujeto y la premisa universal.
Modos concluyentes: se obtienen combinando las mayores universales (A, E), con las menores
afirmativas, (A, I), y aplicando las reglas comunes.
Mayor A, menor A, conclusin A Barbara2;
A I I Darii; E A E Celarent; E I O Ferio
Nota: las premisas A y A concluyen I; E y A dan O. Conclusiones evidentes por ser las
subalternas de A y E por eso no generan modos distintos.
2 Figura:
R1- Una de las premisas es negativa. El T medio, 2 veces predicado, se toma una vez como
universal, solo si una de las premisas es negativa. Luego, la conclusin es negativa.
R2- La mayor es universal. De la conclusin negativa el trmino mayor es universal, en la
premisa mayor universal, donde es sujeto.
Modos concluyentes: combinando la mayor (A) con las menores negativas (E y O), la mayor (E)
con las menores afirmativas (A, I).
A E E Camestres; A O O Baroco; E A E Cesare; E I O Festino
3 Figura:
R1- La menor es afirmativa. Igual que la R1 de la 1 figura.
R2- La conclusin es particular. La menor es afirmativa y su predicado S es particular.
Modos concluyentes: tomando sucesivamente por mayor A, E, I, O, y combinando cada mayor
con las menores afirmativas si son compatibles segn las reglas generales. La conclusin solo
puede ser I u O.
A A I Darapti; A I I Datisi; E A O Felapton;
E I O Ferison; I A I Disamis; O A O Bocardo
4 Figura:
2
Palabras artificiales donde las vocales representan las 3 proposiciones de cada modo.
3
R1- Si la mayor es afirmativa la menor es universal. El T medio es particular en la mayor y
universal en la menor que es universal necesariamente.
R2- Si la menor es afirmativa, la conclusin es particular. Al ser el termino menor predicado de
la menor es particular y lo es la conclusin que es particular.
R3- Si conclusin es negativa, la mayor es universal. El termino mayor es el predicado de la
conclusin y es universal, luego lo es la mayor y al ser sujeto, la proposicin es universal.
Modos concluyentes: combinando sucesivamente las mayores A, E, I, O, son las menores que
sean compatibles segn las reglas generales y las especiales siguientes:
Si la mayor es A la menor es A o E (R1)
Si la menor es A la conclusin es I: A A I Bramantip
Si la menor es E la conclusin es E, (independientemente de la subalterna): A E E Camenes
Si la mayor es E, la menor es afirmativa (A o I), y la conclusin particular (O):
E A O y E I O Fesapo y Freison.
Si la mayor es I, la menor es universal, si es A, la conclusin es I: I A I Dimaris
Si la menor es E, la conclusin ser negativa y el predicado universal y sujeto de la mayor por
eso particular: I E O (no concluyente).
La mayor no puede ser O, porque la conclusin sera negativa y la mayor universal.

REDUCCIN DE SILOGSMOS
No hay ms modos que los 19 reseados. Su validez se demuestra por la reduccin de todos a los
de la 1 figura, (nica perfecta porque el T medio es el intermediario entre el mayor y el menor).
Si sus cuatro modos son evidentes los modos de las dems figuras se justifican al reducirlos a
alguno de la 1 por transformaciones legitimas. Transformaciones indicadas por la composicin
de las palabras artificiales de cada modo.
- Cada modo imperfecto se relaciona con el perfecto de igual inicial (B, C, D o F), las
consonantes interiores indican el modo de efectuar la reduccin,
s - convertir simplemente la proposicin designada por la vocal que la preceda (e, i);
p - convertir parcialmente la designada por a;
m - permutar (de mutare) las dos premisas.

REDUCCIN INDIRECTA (O REDUCCIN AL ABSURDO)

Tomar como premisas a la A y a la contradictoria de la conclusin, y deducir de ellas la
contradictoria de la otra premisa.
Si la verdad de dos premisas lleva a la verdad de la conclusin, la falsedad de la
conclusin lleva a la falsedad de una de las premisas, de manera que si se admite una de ellas
como verdadera se puede deducir la falsedad de la otra. Esta reduccin se usa para Baroco (2
figura) y para Bocardo (3) que se relacionan con Barbara.
- Para hacer concluyente Baroco:
Todo P es M Mayor: Todo P es M
Algn S no es M Negacin de la conclusin: Todo S es P
Algn S no es P Negacin de la menor: Todo S es M
Se obtiene Barbara (P es T medio)
Para hacer concluyente Bocardo:
Algn M no es P Negacin de la conclusin: Todo S es P
Todo M es S Menor: Todo M es S
Algn M no es S Negacin de la mayor: Todo M es P
Queda Barbara (S es el T medio)
Este mtodo se puede aplicar a todos los modos de las 3 ltimas figuras.

LA CUESTIN DE LA 4 FIGURA

4
Los 5 modos de la 4 figura se consideran modos indirectos de la 1 figura (y no se los considera
"naturales" sino forzados).
Se les denomina Baralipton, Celantes, Dabitis, Fapesmo y Frisesomorum. Pero:
1- Si estos modos son como los modos directos:
Baralipton es el subalterno de Barbara. Celantes y Dabitis son iguales a Celarent y
Darii. Fapesmo vilola la R1 y la R2 de la 1 figura y Frisesomorum viola las reglas generales del
silogismo, por lo tanto no son concluyentes.
2- Si estos modos ordenan trminos y premisas de manera distinta y no son de la 1
figura, ni son de la 4 (excepto Baralipton):
Celantes es Camenes Fapesmo es Fesapo
Dabitis es Dimaris Frisesomorum es Fresison
Para transformar un modo de la 4 en uno de la 1, no basta intercambiar la menor y
ponerla por delante de la mayor, hay que convertir la conclusin (convirtiendo la mayor en
menor y viceversa) o convertir las dos premisas.
Los modos que no se relacionan con la 1 ms que por una o dos conversiones pertenecen
a ella igual que los modos de la 2 y 3 que se relacionan con la 1 por igual procedimiento. Por
tanto se trata de modos legtimos e independientes.
As: o bien se aceptan las 4 figuras como validas e independientes, o bien la 1 es la nica
"natural" y "perfecta" y las otras tres son indirectas y derivadas.