4.8.4 Método gráfico para probar la validez de un silogismo.

Un método interesante para la determinación de la validez de un silogismo, es el método del diagrama, establecido por el lógico inglés John Venn (1.834 - 1.883) y conocido como diagramas de Venn. Si consideramos una función 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 rectángulo que representa el dominio y un área del mismo, limitada por una circunferencia que representa el conjunto de verdad. Así en la función proposicional designada como P x con dominio D ; su representación gráfica se da en la figura 1.

Figura 1 Convenciones para la diagramación.

1. Para representar la proposición 2.

con valor de verdad verdadero, se sombrea la región del dominio que no pertenece al dominio de verdad de la función proposicional. Ver figura 2. Para representar la proposición con valor de verdad verdadero, se indica mediante una “X” que el conjunto de verdad P x es no vacío. Ver figura 3.

Veamos ahora la representación de las cuatro formas categóricas. Universal afirmativa y su negación: A y O

Analicemos la siguiente argumentación. • Utilice la cuantificación restringida para indicar con mayor facilidad. esto es: Aplicación del método del diagrama a silogismos. cada diagrama de Venn tiene su equivalente. • Como puede apreciarse a través de las figuras anteriores. las formas categóricas. tal como se estableció en la negación de proposiciones cuantificadas.Universal negativa y su negación: E e I Observación. .

para lo cual sus conjuntos respectivos se destacan en un rectángulo en la figura 9. Representación simbólica (Código A A A . Ahora la conclusión válida debemos leerla en el diagrama tomando el término presidentes como sujeto y mortales como conclusión.1). Puede observarse que el dominio común a todas las funciones proposicionales es el conjunto de todos los humanos.Todos los hombres son mortales. todos los presidentes son mortales. . llevamos primero la información suministrada por las dos premisas como se indica en la figura 8. donde el punteado corresponde a la proposición 1 y el rayado a la proposición 2. Por tanto. Para construir el diagrama. Todos los presidentes son hombres .

sin agregar trazos adicionales en los círculos”. algunos carnívoros no son patos. (Código EAO -3 ).Interpretación de resultados. se encuentra diagramada la universal afirmativa “ todos los presidentes son mortales ”. podemos decir que “Es suficiente diagramar las premisas de un argumento válido para que quede diagramada también su conclusión. Graficar la siguiente argumentación. Ilustración 13. Todos los tigres son carnívoros . Ningún pato es tigre. Representación simbólica. . de las cuatro formas categóricas. Resumiendo. Por tanto. Observamos ahora en las regiones P y M que.

Graficar la siguiente argumentación. Todos los osos son cuadrúpedos En consecuencia: ningún oso es un ave.Aplicando el método del diagrama. podemos observar que la conclusión no es válida.1) . Ningún ave es un cuadrúpedo. puesto que la región correspondiente a la conclusión. (Código EAE . Ilustración 14. Representación simbólica. no aparece diagramada.

Graficar la siguiente argumentación. hay un animal de sangre caliente que es vertebrado. Ilustración 15. (Código AAI .3) . Representación simbólica. ha quedado diagramada. En consecuencia. Todo mamífero es un vertebrado Todo mamífero es un animal de sangre caliente.Aplicando el método del diagrama. podemos observar que la conclusión es válida. puesto que la región correspondiente a la conclusión.

3 Ningún M es P Algún M no es S Algún S es P 1. Confronte su resultado utilizando las reglas de validez respectivas. puesto que la región correspondiente (existencia) a la conclusión.4 Algún P es M 1.Aplicando el método del diagrama.4. • Todo M es P Algún S es M Algún S es P 1. 1.12 Algún M es P .5 Ejercicios propuestos 4.9 Algún M es P Algún M no es S Algún S no es P 1. para determinar la validez de los siguientes argumentos.10 Todo P es M Algún M es S Algún S es P 1.8. ha quedado vacía. 4.11 Ningún P es M Todo M es S Ningún S es P 1. Utilice los diagramas de Venn. podemos observar que la conclusión no es válida.2 Ningún M es P Algún S no es M Algún S es P 1.8.

6 Ningún M es P Todo M es S Algún S no es P 1.5 Ningún P es M Todo S es M Ningún S es P Ningún M es S Algún S no es P 1.13 Ningún P es M Algún S es M Algún S no es P 1.14 Algún M no es P Todo M es S Algún S no es P 1.8 Todo P es M Algún S no es M Algún S es P 1.Ningún S es M Algún S no es P 1.7 Todo M es P Algún S no es M Algún S no es P 1.15 Algún M es P Todo S es M Algún S es P .

Sign up to vote on this title
UsefulNot useful