9.

Silogstica aristotlica

Patricia Palacios Razonamiento Lgico Segundo semestre 2011 UAI

Proposiciones categricas
Cada proposicin categrica contiene dos trminos que refieren a una clase de cosas y la conjugacin del verbo ser: Sujeto. Predicado. Conjugacin del verbo ser
Tradicionalmente: A: Todos los F son G. Universal Afirmativa I: Algunos F son G. Particular afirmativa.

E: Ningn F es G. Universal Negativa. O: Algunos F no son G. Particular negativa.

Todos los caballos son mamferos Todos los A son B

A) Todo caballo es mamfero. B) Cualquier caballo es mamfero. C) Los caballos son mamferos. D) Si algo es caballo, es mamfero. E) Cualquier cosa que sea caballo es mamfero. F) Todos los no mamferos son no caballos. G) Slo los mamferos son caballos. H) Ningn caballo es no mamfero.

Representacin del lenguaje ordinario en proposiciones categricas A, E, I, O.

i) El que vacila est perdido. Todo el que vacila es alguien perdido.
A

ii) Quiero ir a donde tu vayas. Todo lugar donde tu ests sern lugares donde quiero ir yo. A iii) Pocos caballos son blancos Algn caballo es blanco I

La distribucin
La distribucin es un trmino tcnico para sealar el alcance de los trminos de la proposicin. Una proposicin distribuye un trmino cuando se refiere a todos los miembros designados por ese trmino.
Distribucin segn proposicin categrica:
Proposicin categrica A: Todos los A son B I: Algn A es B E: Ningn A es B O: Algn A no es B Trmino distribuido S ---SyP P

Silogismos categricos.
Los silogismos categricos son argumentos compuestos enteramente de proposiciones categricas.
Propiedades: 1. Todo silogismo tiene dos premisas y una conclusin. 2. El silogismo completo tiene tres trminos. 3. El trmino que ocurre una vez en cada premisa se denomina: Trmino medio. 4. Los trminos que ocurren una vez en la premisa y una vez en la conclusin se denominan: Trminos extremos.

5. 6. 7. 8.

El predicado de la conclusin: Trmino mayor del silogismo. Sujeto de la conclusin: Trmino menor del silogismo. Premisa mayor: contiene al trmino medio y al extremo mayor. Premisa menor: contiene al trmino medio y al extremo menor.

Ej: Trmino medio Todos los hombres son mortales Todos los mortales son seres vivos __________________________ Todos los hombres son seres vivos Trmino menor

Trmino mayor

Reglas del silogismo vlido.

Regla I: Un silogismo categrico vlido debe contener exactamente tres trminos, cada uno de los cuales debe usarse en el mismo sentido a travs de todo el razonamiento. Ningn altruista es miserable. Todo avaro es miserable. ______________________ Ningn avaro es altruista. Todos los genios son seres de ficcin. Los grandes inventores de la humanidad son genios. ________________________ Los grandes inventores de la humanidad son seres de ficcin.

 Regla II: En un silogismo categrico de forma tpica vlido, el trmino medio debe estar distribuido en una de las premisas por lo menos.

Todos los gatos son felinos. Todos los felinos son animales. ______________________ Todos los gatos son animales
Todos los perros son mamferos. Todos los gatos son mamferos. _______________________ Todos los perros son gatos.

Regla III: En un silogismo categrico de forma tpica vlido, no puede haber en la conclusin ningn trmino distribuido que no est tambin distribuido en las premisas.

Los animales orgullosos son los ms respetables Algn gato es orgulloso ___________________ Todos los gatos son respetables. Todos los perros son mamferos. Todos los seres vivos que ladran son perros. __________________________ Todos los seres que ladran son mamferos.

 Regla IV: Ningn silogismo categrico de forma tpica con las dos premisas negativas es vlido.
Ningn gato tiene alas. Ningn pjaro es un gato. _____________________ Ningn pjaro tiene alas.

Regla V: Si una de las premisas de un silogismo categrico de forma tpica vlido es negativa, la conclusin debe ser negativa. Algunos nios no son inocentes. Todas las personas inocentes son buenas. _________________________ Algunos nios son buenos.

Algunos nios no son buenos. Todas las personas buenas son inocentes. _________________________ Algunos nios no son inocentes.

 Regla VI:
Si la conclusin de un silogismo categrico es una proposicin particular, sus premisas no pueden ser ambas universales. Todos los nios consentidos son caprichosos. Ningn nio responsable es caprichoso. ____________________ Algunos nios consentidos no son responsables. Algn nio consentido es caprichoso Ningn nio responsable es caprichoso. ____________________ Algunos nios consentidos no son responsables.

Diagramas de Venn (1880)

Propiedades
En un diagrama de Venn, la regin en blanco significa defecto de informacin. El rayado significa vaciedad. La cruz indica la no vaciedad. Conversin simple: La simetra de los diagramas (2 y 3) grafica que el orden de los trminos es irrelevante.

Relacin entre proposiciones categricas (Cuadro de oposicin)

El problema del compromiso existencial de las proposiciones particulares.

A primera vista puede parecer que A implica I, sin embargo A, a diferencia de I, no tiene un compromiso existencial.
A: Todos los A son B Si existe un A, entonces es B. Las proposiciones particulares involucran un compromiso existencial, mientras las generales no. >> Posibilidad de conceptos vacos Ej: Todos los fantasmas son inmateriales es verdadera (porque su antecedente es falso), aunque no haya fantasmas. A + Pe (proposicin existencial) I E + Pe (proposicin existencial) O

Inferencias que se siguen a partir de una sola premisa:

Algunos F son G
_____________ Hay algn G.

No hay ningn F
______________ Ningn F es G.

Utilizacin de diagramas de Venn como prueba de validez de silogismos.

1.

P.1 Todos los espartanos son valientes, P.2 Todos los espartanos son griegos, *P.e Hay espartanos (Pe); ________________________ Algunos griegos son valientes
* Silogismo reforzado.

2.

P.1 Todos los griegos son sabios, P.2 Algunos filsofos son griegos. ____________________________ C Algunos filsofos son sabios

3.

Ningn filsofo es perverso, Algunos griegos son filsofos. ______________________ Algunos griegos no son perversos.

Ejercicios:
Analice la validez de los siguientes argumentos por el mtodo de diagramas de Venn:
1. Algunos reformadores son fanticos Todos los reformadores son idealistas ________________________________ Algunos idealistas son fanticos.

2.

Algunos filsofos son hombres de accin Todos los soldados son hombres de accin _________________________________ Algunos soldados son filsofos

3. Todos los centauros son mamferos. Ningn caballo es un centauro. ________________________________ Algunos mamferos no son caballos.

Premisas: 1. Los nicos animales que hay en esta casa son gatos; 2. Todo animal que gusta de contemplar la luna es apto para una caricia; 3. Cuando detesto a un animal, lo evito; 4. Ningn animal es carnvoro a menos que est al acecho durante la noche; 5. Ningn gato deja de matar ratones; 6. Ningn animal se me ha afeccionado, excepto los que estn en esta casa. 7. Los canguros no son aptos para las caricias; 8. Slo los carnvoros matan ratones; 9. Detesto los animales que no se me afeccionan; 10. Los animales que estn al acecho durante la noche son siempre animales que gustan de contemplar la luna. ____________________________________________ Conclusin: Siempre evito los canguros.

Aplicacin. Analicemos el siguiente argumento de Lewis Carroll:

Anlisis del argumento anterior:

A partir de: 1. Los nicos animales que hay en esta casa son gatos; 5. Ningn gato deja de matar ratones; ________________________________ 11. Los nicos animales que hay en esta casa matan ratones. (Lema o conclusin intermedia)

8. Slo los carnvoros matan ratones; 11. Los nicos animales que hay en esta casa matan ratones. _________________________________ 12. Todos los animales que hay en esta casa son carnvoros.

4.

Ningn animal es carnvoro a menos que est al acecho durante la noche; 12. Todos los animales que hay en esta casa son carnvoros. ___________________ 13. Todos los animales que hay en esta casa, estn al acecho durante la noche.

6.

Ningn animal se me ha afeccionado, excepto los que estn en esta casa. 13. Todos los animales que hay en esta casa, estn al acecho durante la noche. ____________________________ 14. Todos los animales que me han afeccionado estn al acecho durante la noche.

10. Los animales que estn al acecho durante la noche son siempre animales que gustan de contemplar la luna. 14. Todos los animales que me han afeccionado estn al acecho durante la noche. _________________________ 15. Todos los animales que me han afeccionado, gustan de contemplar la luna.

2. Todo animal que gusta de contemplar la luna es apto para una caricia; 15. Todos los animales que me han afeccionado, gustan de contemplar la luna. _________________________________ 16. Todos los animales que me han afeccionado, son aptos para una caricia.

7. Los canguros no son aptos para las caricias; 16. Todos los animales que me han afeccionado, son aptos para una caricia. ________________________________ 17. Los canguros no me han afeccionado.

9. Detesto los animales que no se me afeccionan; 17. Los canguros no han afeccionado. _____________________________ 18. Detesto a los canguros

3. Cuando detesto a un animal, lo evito; 18. Detesto a los canguros ___________________________ 19. Siempre evito a los canguros!