La silogstica de Aristteles.

Universidad de Chile. Facultad de Filosofa y Humanidades. Departamento de Filosofa.

Jos Daz Fernndez Ayudante. Segundo semestre de 2012.

Inferencia
Inmediata: Es aquella cuya conclusin que se obtiene del mero examen o consideracin de las relaciones cualitativas y cuantitativas en que estn los trminos de la premisa. Mediata: La caracterstica que define a esta tipo de inferencia es, precisamente, la presencia de un elemento mediador. Por ello, la podemos definir como aquella en la que los trminos de la conclusin son vinculados a travs de un elemento comn, que sustentan las premisas; ella se denomina trmino medio.

Inferencia Inmediata: la oposicin.

A (SP) Todos los lpices son negros. se opone en cualidad y cualidad a: E (SP) Ningn lpiz es negro.

I (SP) Algunos lpices son negros. se opone en cantidad a: A (SP) Todos los lpices son negros.

E (SP) Ningn lpiz es negro. se opone en cantidad y cualidad a: I (SP) Algn lpiz es negro.

Oposicin por contrariedad: <se oponen> contrariamente la afirmacin de lo universal y la negacin de lo universal <como tales>, v.gr.: Todo hombre [es] justo [Ningn] hombre es justo; por lo tanto no pueden ser simultneamente verdaderas. Aristteles. Int. 17b 20.

A (SP) Todo hombre [es] justo. E (SP) [Ningn] hombre es justo.

No pueden ser ambas verdaderas, pero s ambas falsas.

Oposicin por contradiccin: As pues, <en> todas las que son contradicciones universales de los universales, necesariamente <cada> una de las dos ha de ser verdadera o falsa. Todo hombre es justo Algn hombre no es justo; si una de las dos es verdadera, la otra ser necesariamente falsa. Al igual que entre: Ningn hombre es justo Algn hombre es justo. Si una de las dos es verdadera, la otra es necesariamente falsa, o al revs, si alguna de las dos es falsa la otra necesariamente es verdadera. Aristteles. Int. 17b 25.

A (SP) Todo hombre es justo. O (SP) Algn hombre no es justo. E (SP) Ningn hombre es justo. I (SP) Algn hombre es justo.

No pueden ser ambas verdaderas, ni ambas falsas.

Oposicin por subcontrariedad: <en> todas las <que versan> sobre los universales de manera no universal [esto es, las particulares], ni siempre <es> verdadero la una y falsa la otra; en efecto, es a la vez verdadero decir que: [algn] hombre [es] blanco y que, [algn] hombre [no es] blanco. Aristteles. Int. 17b 30.

Inferencia Inmediata: la conversin.

Convertir una proposicin es cambiar el orden de sus trminos sin alterar su cualidad (sin pasar de una Proposicin categrica afirmativa a una Proposicin categrica negativa, ni viceversa.), es decir, podemos transformar cualquier proposicin categrica en otra de igual cualidad, pero donde los trminos aparecen intercambiados. La proposicin original la denominaremos directa, y a la conclusin conversa.

Proposicin categrica universal afirmativa:

en cambio, la afirmativa [Prop. Cat. Univ. Afirm.] es necesario que se invierta, pero no <tomada> universales, sino particularmente, v.gr.: si todo placer <es> un bien, [dar como resultado] algn bien es un placer; A (SP) Todo S es P. I (PS) Algn P es S. Todo placer es un bien. Algn bien es un placer.
Proposicin categrica particular afirmativa: en cuanto a las particulares, la afirmativa es necesario que se invierta <tomada> particularmente (pues, si algn placer <es> un bien, tambin algn bien ser un placer) I (SP) Algn S es P. I (PS) Algn P es S. Algn placer es un bien. Algn bien es un placer. Aristteles. An Pr. 25a 5-10. Aristteles. An Pr. 25a 10.

Proposicin categrica universal negativa: es necesario que, en el caso de la [proposicin categrica] universal negativa, se puedan invertir los trminos, v. gr.: si ningn placer <es> un bien, tampoco ningn bien es un placer; E (SP) Ningn S es P. E (PS) Ningn P es S. Ningn placer es un bien. Ningn bien es un placer. Proposicin categrica particular negativa: en cambio la negativa no es necesario <que se invierta>; (pues, si hombre no se da en algn animal, no por ello animal no <ha de> darse en algn hombre). O (SP) Algn S no es P. No tiene conversa. Algn hombre no es Animal. Aristteles. An Pr. 25a 5. Aristteles. An Pr. 25a 10.

Inferencia Inmediata: la obversin.

Es una inferencia inmediata que consiste en cambiar la cualidad (de Proposicin categrica afirmativa a una Proposicin categrica negativa, y viceversa) de una proposicin y sustituir el predicado por su contradictorio correlativo (de posicin de predicado a la negacin de la posicin de predicado, de P a P).

 Y stas se siguen <as>: a todo hombre es nojusto, [se sigue de] ningn hombre es justo E (SP) Ningn S es P. A (SP) Todo S es P. Ningn hombre es justo. Todo hombre es no-justo. Aristteles. Int. 20a 20.

Inferencia Inmediata: la contraposicin.

Esta inferencia inmediata llamada contraposicin, la podemos caracterizar de la siguiente manera: se reemplaza el sujeto original por el contradictorio correlativo del predicado; y se reemplaza el predicado original por el contradictorio del sujeto; esto no significa que se conserva la cantidad. Para ello se deben realizar tres pasos: Obvertir. Convertir. Obvertir.

Inferencia mediata: El Silogismo.

Llamo <trmino> medio a aquel que est <contenido> en otro y otro est <contenido> en l, y que tambin resulta ser intermedio por la posicin; llamo extremos tanto al que est <contenido> en otro como aquel en que otro est <contenido>. Aristteles. An Pr. 25b 35.

El silogismo aristotlico de Aristteles:

En efecto, sea perder las hojas aquello sobre lo que <ponemos> A, de hojas anchas <aquello> sobre lo que <podemos> B, y via sobre lo que <ponemos> C. Entonces, si A se da en B (pues toda <planta> de hojas anchas pierde sus hojas) y B se da en C (pues toda via es de hojas anchas), A se da en C, y toda via pierde sus hojas. Aristteles. An post. 98b 5-10.

Si perder las hojas se predica de las hojas anchas y hojas anchas se predica de las vias, entonces, perder las hojas se predica de las vias.

Si perder las hojas se predica de las hojas anchas, y hojas anchas se predica de las vias. Entonces, perder las hojas se predica de las vias.
Perder las hojas es representado por A. Hojas anchas es representado por B. Via es representado por C. Si A se predica de B y B se predica de C, entonces, A se predica de C. Si A se predica de B, y B se predica de C. Entonces, A se predica de C.

Entonces, si A se da en B (pues toda <planta> de hojas anchas pierde sus hojas) y B se da en C (pues toda via es de hojas anchas), A se da en C, y toda via pierde sus hojas.

Si perder las hojas se predica de las hojas anchas, y hojas anchas se predica de las vias. Entonces, perder las hojas se predica de las vias.
Si y Entonces, A se predica de todo B, B se predica de todo C. A se predica de todo C. Si Todo B es A, y Todo C es B. Entonces, Todo C es A.

Si todas las hojas anchas se pierden, y todas las vias tienen hojas anchas. Entonces, todas las vias pierden hojas.

Los razonamientos de la primera figura perfecta.

As, pues, cuando tres trminos se relacionan entre s de tal manera que: el ltimo est <contenido> en el conjunto del <trmino> medio y el <trmino> medio est o no est <contenido> en el conjunto del <trmino> primero, habr necesariamente un razonamiento perfecto entre los <trminos> extremos. Aristteles. An Pr. 25b 30.

El trmino medio est contenido en el conjunto del trmino primero. El trmino ltimo est contenido en el conjunto del trmino medio. El trmino ltimo est contenido en el conjunto del trmino primero.

El trmino primero o mayor ser designado por: El trmino medio por: El trmino ultimo o menor por: M est contenido en T. t est contenido en M. t est contenido en T.
Ejemplifiquemos: El sujeto ser designado por: El trmino medio por: El predicado por: El trmino Medio es Predicado. El Sujeto es el trmino Medio. El Sujeto es Predicado. S M P

Premisa Mayor Premisa Menor. Conclusin.

el ltimo est <contenido> en el conjunto del <trmino> medio y el <trmino> medio T est <contenido> en el M conjunto del <trmino> t primero, M es T. habr necesariamente un razonamiento t es M. perfecto entre los t es T. <trminos> extremos.

Premisa Mayor Premisa Menor. Conclusin.

M es P. S es M. S es P.

BArbArA
Si A se predica de acerca de todo B y B se predica acerca de todo C, es necesario que A se predique de todo C. Aristteles. An Pr. 25b 40.

A se predica de acerca de todo B. Todo B es A. B se predica acerca de todo C. Todo C es B. A se predique de todo C. Todo C es A.

Todo M es P. Todo S es M. Todo S es P.

A (MP) A (SM) A (SP)

CElArEnt
De manera semejante, si A [se predica] [] acerca de ningn B y B se predica acerca de todo C, A <[] se predica>[] en ningn C. Aristteles. An Pr. 26a 5.
A se predica de acerca de ningn B. B se predica acerca de todo C. A se predique de ningn C. Ningn B es A. Todo C es B. Ningn C es A E (MP) A (SM) E (SP)

DArII
En efecto, supngase que se da A en todo B y B en algn C. Entonces, si predicarse de todo es lo que se ha dicho al principio, es necesario que A se d en algn C. Aristteles. An Pr. 26a 25.
Se da A en todo B. Se da B en algn C. A se d en algn C. Todo B es A. Algn C es B. Algn C es A. Todo M es P. Algn S es M. Algn S es P. A (MP) I (SM) I (SP)

FErIO
Y si A no se da en ningn B y B se da en algn C, es necesario que A no se d en algn C. Aristteles. An Pr. 26a 25.

A no se da en ningn B. B se da en algn C.
A no se d en algn C

Ningn B es A. Algn C es B.
Algn C no es A.

Ningn M es P. Algn S es M.

E (MP) I (SM)

Algn S no es P. O (SP)

REGLAS ESPECFICAS DE LA PRIMERA FIGURA.

I) MP SM S P

1) La Premisa Menor debe ser afirmativa. 2) La Premisa Mayor debe ser universal.
BARBARA: A (MP) A (SM) A (SP) CELARENT: E (MP) A (SM) E (SP) DARII: A (MP) I (SM) I (SP) FERIO: E (MP) I (SM) O (SP)

REGLAS ESPECFICAS DE LA SEGUNDA FIGURA.

II) PM SM SP La conclusin debe ser negativa. La Premisa mayor debe ser universal.

1) 2)

CESARE:

CAMESTRES:

FESTINO:

BAROKO:

E (PM) A (SM) E (SP)

A (PM) E (SM) E (SP)

E (PM) I (SM) O (SP)

A (PM) O (SM) O (SP

REGLAS ESPECFICAS DE LA TERCERA FIGURA.

III) MP MS S P

1) La Premisa Menor debe ser afirmativa. 2) La conclusin debe ser particular.

DARAPTI:

A (MP) A (MS) I (SP)

FELAPTON: E (MP) A (MS) O (SP)

DISAMIS: I (MP) A (MS) I (SP) FERISON: E (MP) I (MS) O (SP)

DATISI: A (MP) I (MS) I (SP) BOKARDO: O (MP) A (MS) O (SP)

REGLAS ESPECFICAS DE LA CUARTA FIGURA.

IV) PM MS S P Si la Premisa Mayor es afirmativa, la Menor es universal. Si la Premisa Menor es afirmativa, la conclusin debe ser particular. Si la conclusin es negativa, la Premisa Mayor debe ser universal. CAMENES: A (PM) E (MS) E (SP) FRESISON: E (PM) I (MS) O (SP) DIMARIS: I (PM) A (MS) I (SP)

1) 2) 3)

BRAMANTIP: A (PM) A (MS) I (SP) FESAPO: E (PM) A (MS) O (SP)

BArbArA, CElArEnt, DArII, FErIO CEsArE, CAmEstrEs, FEstInO, BArOkO DArAptI, DIsAmIs, DAtIsI, FElAptOn, BOkArdO, FErIsOn,BrAmAntIp CAmEnEs DImArIs FEsApO FrEsIsOn
1 BArbArA CElArEnt DArII FErIO ------------------------------------------------------------------------------------------2 BArOkO CEsArE FEstInO CAmEstrEs -------------------------------------------------------------------------------------------3 BOkArdO DArAptI FElAptOn DIsAmIs FErIsOn DAtIsI ------------------------------------------------------------------------------------------4 BrAmAntIp CAmEnEs DImArIs FE s ApO FrEsIsOn.

 LA LETRA S: representa la inferencia de conversin simple, que se aplica a su vocal (a la proposicin representada por ella, A, E, I y O) que le antecede. LA LETRA P: representa una conversin por limitacin, que se aplica a la proposicin que le antecede. LA LETRA m: intercambia las premisas, de la premisa mayor a la premisa menor, y viceversa. LA LETRA k: indica la realizacin de una comprobacin indirecta, o reduction ad absurdum.

BArbArA, CElArEnt, DArII, FErIO CEsArE, CAmEstrEs, FEstInO, BArOkO DArAptI, DIsAmIs, DAtIsI, FElAptOn, BOkArdO, FErIsOn,BrAmAntIp CAmEnEs DImArIs FEsApO FrEsIsOn LA LETRA S: conversin simple. LA LETRA P: conversin por limitacin. LA LETRA m: intercambia las premisas, de la premisa mayor a la premisa menor, y viceversa.

Ejercicio:
Si ningn histrico es rinoceronte, y todos los histricos son bomberos. Entonces, algunos bomberos no son rinocerontes.
Conclusin: Algunos bomberos no son rinocerontes.
Sujeto: Bomberos. Predicado: Rinoceronte. Medio: Histrico. E (MP) Ningn histrico es rinoceronte. A (MS) Todos los histricos son bomberos. O (S P) Algunos bomberos no son rinocerontes.

E (MP) A (MS) O (SP)

FELAPTON.

FERIO

FElAPtON:
E (MP) A (MS) O (SP)
LA LETRA P: conversin por limitacin.
Sujeto: Bomberos. Predicado: Rinoceronte. Medio: Histrico.

FERIO:
E (MP) I (SM) O (SP)

E (MP) Ningn histrico es rinoceronte. I (SM) Algunos bomberos son histricos. O (S P) Algunos bomberos no son rinocerontes.

Prueba de validez indirecta de los razonamientos imperfectos.

En el caso de los demostrados por <reduccin a> lo imposible, porque dando por supuesta la falsedad <de la conclusin> se produce el razonamiento a travs de la primera figura, v.gr.: en la ltima figura, si A y B se dan en todo C, [entonces,] A se da en algn B: pues, si [A] no se diera en ningn [B], y B se diera en todo C, [entonces,] en ningn C se dara A; ahora bien, estaba en cada uno [, es decir, A se daba en todo C.]. Aristteles. An Pr. 29b 35.

LA LETRA k: indica la realizacin de una comprobacin indirecta, o reduction ad absurdum. II Figura: BArOkO A (PM) = V O (SM) = V O (SP) = F A (SP) = V A (SM) = V BArbArA A (PM) = V A (S P) = V A (SM) = V

O (SP) = F

O (SM) = F

La silogstica como teora axiomtica.

Def. 1: El Silogismo consta de tres y slo tres trminos. Def. 2: El Silogismo contiene tres proposiciones. Ax 3: El trmino medio debe estar, una vez al menos, usado en toda su extensin (debe estar una vez al menos distribuido). Ax. 4: Ningn trmino puede tener en la conclusin ms extensin que en las premisas (o tambin, un trmino que est distribuido en la conclusin debe estar distribuido en la premisa correspondiente). Ax 5: Nada se concluye de premisas negativas. Ax. 6: Si una premisa es negativa, la conclusin tambin lo es (o tambin: si la conclusin es negativa, debe serlo una de las premisas). Te. 7. De premisas particulares nada se infiere (al menos una premisa debe ser universal). Te. 8: Si una premisa es particular, la conclusin tambin lo es.

A A A A E E E E I I I I O O O O

A A A A A A A A A A A A A A A A

A E I O A E I O A E I O A E I O

A A A A E E E E I I I I O O O O

E E E E E E E E E E E E E E E E

A E I O A E I O A E I O A E I O

A A A A E E E E I I I I O O O O

I A I E I I I O I A I E I I I O I A I E I I I O I A I E I I I O

A A A A E E E E I I I I O O O O

O O O O O O O O O O O O O O O O

A E I O A E I O A E I O A E I O

A A A A E E E E I I I I O O O O

A A A A A A A A A A A A A A A A

A E I O A E I O A E I O A E I O

Ax. 6. Ax. 6. Ax. 6. Ax. 6.

A A A A E E E E I I I I O O O O

E E E E E E E E E E E E E E E E

A E I O A E I O A E I O A E I O

Ax. 6.

Ax. 6.

A A A A E E E E I I I I O O O O

I I I I I I I I I I I I I I I I

A E I O A E I O A E I O A E I O

Te. 8. Ax. 6. Ax. 6. Ax. 6. Te. 8. Ax. 6.

A A A A E E E E I I I I O O O O

O O O O O O O O O O O O O O O O

A E I O A E I O A E I O A E I O

Ax. 6. Te. 8. Ax. 6.

Ax. 5. Ax. 5. Ax. 5. Ax. 5. Ax. 6. Te. 8. Ax. 6. Ax. 4. Ax. 5. Ax. 5. Ax. 5. Ax. 5.

Ax. 5. Ax. 5. Ax. 5. Ax. 5. Te. 7. Te. 7. Te. 7. Te. 7. Te. 7. Te. 7. Te. 7. Te. 7.

Te. 8. Ax. 6. Ax. 6. Ax. 6. Te. 8. Ax. 6.

Te. 7. Te. 7. Te. 7. Te. 7. Te. 7. Te. 7. Te. 7. Te. 7.

AAA
AA I AEE AEO A I I AOO

EAE
E AO E IO

IAI

OAO