Está en la página 1de 8

4.8.4 Mtodo grfico para probar la validez de un silogismo.

Un mtodo interesante para la determinacin de la validez de un silogismo, es el mtodo del diagrama, establecido por el lgico ingls John Venn (1.834 - 1.883) y conocido como diagramas de Venn. Si consideramos una funcin proposicional, recordaremos que su dominio est dividido en dos conjuntos disjuntos: el conjunto de verdad y el de no verdad. Lo anterior se ilustrar mediante un rectngulo que representa el dominio y un rea del mismo, limitada por una circunferencia que representa el conjunto de verdad. As en la funcin proposicional designada como P x con dominio D ; su representacin grfica se da en la figura 1.

Figura 1 Convenciones para la diagramacin.

1. Para representar la proposicin 2.

con valor de verdad verdadero, se sombrea la regin del dominio que no pertenece al dominio de verdad de la funcin proposicional. Ver figura 2. Para representar la proposicin con valor de verdad verdadero, se indica mediante una X que el conjunto de verdad P x es no vaco. Ver figura 3.

Veamos ahora la representacin de las cuatro formas categricas. Universal afirmativa y su negacin: A y O

Universal negativa y su negacin: E e I

Observacin. Utilice la cuantificacin restringida para indicar con mayor facilidad, las formas categricas.

Como puede apreciarse a travs de las figuras anteriores, cada diagrama de Venn tiene su equivalente, tal como se estableci en la negacin de proposiciones cuantificadas; esto es:

Aplicacin del mtodo del diagrama a silogismos. Analicemos la siguiente argumentacin.

Todos los hombres son mortales. Todos los presidentes son hombres . Por tanto, todos los presidentes son mortales. Representacin simblica (Cdigo A A A - 1).

Puede observarse que el dominio comn a todas las funciones proposicionales es el conjunto de todos los humanos. Para construir el diagrama, llevamos primero la informacin suministrada por las dos premisas como se indica en la figura 8, donde el punteado corresponde a la proposicin 1 y el rayado a la proposicin 2.

Ahora la conclusin vlida debemos leerla en el diagrama tomando el trmino presidentes como sujeto y mortales como conclusin, para lo cual sus conjuntos respectivos se destacan en un rectngulo en la figura 9.

Interpretacin de resultados. Observamos ahora en las regiones P y M que, de las cuatro formas categricas, se encuentra diagramada la universal afirmativa todos los presidentes son mortales . Resumiendo, podemos decir que Es suficiente diagramar las premisas de un argumento vlido para que quede diagramada tambin su conclusin, sin agregar trazos adicionales en los crculos. Ilustracin 13. Graficar la siguiente argumentacin. Ningn pato es tigre. Todos los tigres son carnvoros . Por tanto, algunos carnvoros no son patos. Representacin simblica. (Cdigo EAO -3 ).

Aplicando el mtodo del diagrama, podemos observar que la conclusin no es vlida, puesto que la regin correspondiente a la conclusin, no aparece diagramada. Ilustracin 14. Graficar la siguiente argumentacin. Ningn ave es un cuadrpedo. Todos los osos son cuadrpedos En consecuencia: ningn oso es un ave. Representacin simblica. (Cdigo EAE - 1)

Aplicando el mtodo del diagrama, podemos observar que la conclusin es vlida, puesto que la regin correspondiente a la conclusin, ha quedado diagramada. Ilustracin 15. Graficar la siguiente argumentacin. Todo mamfero es un vertebrado Todo mamfero es un animal de sangre caliente. En consecuencia, hay un animal de sangre caliente que es vertebrado. Representacin simblica. (Cdigo AAI - 3)

Aplicando el mtodo del diagrama, podemos observar que la conclusin no es vlida, puesto que la regin correspondiente (existencia) a la conclusin, ha quedado vaca. 4.8.5 Ejercicios propuestos 4.8.4. 1. Utilice los diagramas de Venn, para determinar la validez de los siguientes argumentos. Confronte su resultado utilizando las reglas de validez respectivas.

Todo M es P Algn S es M Algn S es P 1.2 Ningn M es P Algn S no es M Algn S es P 1.3 Ningn M es P Algn M no es S Algn S es P 1.4 Algn P es M

1.9 Algn M es P Algn M no es S Algn S no es P 1.10 Todo P es M Algn M es S Algn S es P 1.11 Ningn P es M Todo M es S Ningn S es P 1.12 Algn M es P

Ningn S es M Algn S no es P 1.5 Ningn P es M Todo S es M Ningn S es P

Ningn M es S Algn S no es P 1.13 Ningn P es M Algn S es M Algn S no es P

1.6 Ningn M es P Todo M es S Algn S no es P 1.7 Todo M es P Algn S no es M Algn S no es P 1.8 Todo P es M Algn S no es M Algn S es P

1.14 Algn M no es P Todo M es S Algn S no es P 1.15 Algn M es P Todo S es M Algn S es P