Deducción: Silogismos Categoriales

Presentación del tema: "Deducción: Silogismos Categoriales"— Transcripción de la presentación:

1 Deducción: Silogismos Categoriales
X, Y y Z son conjuntos. Tenemos pues 3 conjuntos.

2 Deducción: Silogismos Categoriales
X, Y y Z son conjuntos. Tenemos pues 3 conjuntos. Los cuantificadores definen relaciones entre conjuntos (de entre las 5 posibles).

3 Deducción: Silogismos Categoriales
X, Y y Z son conjuntos. Tenemos pues 3 conjuntos. Los cuantificadores definen relaciones entre conjuntos (de entre las 5 posibles). Cada proposición trata de dos conjuntos sobre los que se especifican sus relaciones mediante un cuantificador.

4 Deducción: Silogismos Categoriales
X, Y y Z son conjuntos. Tenemos pues 3 conjuntos. Los cuantificadores definen relaciones entre conjuntos (de entre las 5 posibles). Cada proposición trata de dos conjuntos sobre los que se especifican sus relaciones mediante un cuantificador. La finalidad de la inferencia deductiva en este tipo de argumento es derivar las relaciones entre dos conjuntos a partir de la que cada uno de ellos tiene con un tercero.

5 F1 (E) Ningún X es Y ---relaciones entre conjuntos con las que es compatible: (A) Todos los Y son Z ---relaciones entre conjuntos con las que es compatible: X Y 1.- Y Z 1.- Z Y 2.-

6 F1 (E) Ningún X es Y ---relaciones entre conjuntos con las que es compatible: Todos los Y son Z ---relaciones entre conjuntos con las que es compatible: X Y 1.- EXCLUSIÓN Y Z 1.- IDENTIDAD Z Y 2.- SUBORDINACIÓN

7 (E) Ningún X es Y ---relaciones entre conjuntos con las que es compatible:
Todos los Y son Z ---relaciones entre conjuntos con las que es compatible: X Y 1.- EXCLUSIÓN Y Z 1.- IDENTIDAD Z Y 2.- SUBORDINACIÓN

8 (E) Ningún X es Y ---relaciones entre conjuntos con las que es compatible:
Todos los Y son Z ---relaciones entre conjuntos con las que es compatible: X Y 1.- EXCLUSIÓN Y Z 1.- IDENTIDAD Z Y 2.- SUBORDINACIÓN

9 (E) Ningún X es Y ---relaciones entre conjuntos con las que es compatible:
Todos los Y son Z ---relaciones entre conjuntos con las que es compatible: X Y 1.- EXCLUSIÓN Y Z 1.- IDENTIDAD Y Z X

10 (E) Ningún X es Y ---relaciones entre conjuntos con las que es compatible:
Todos los Y son Z ---relaciones entre conjuntos con las que es compatible: X Y 1.- EXCLUSIÓN Z Y 2.- SUBORDINACIÓN Z Z X X Z X Y Y Y

11 con 1 Exclusión & Identidad X Y Z con Exclusión & Subordinación X Z Y

12 F1 (E) Ningún X es Y (A) Todos los Y son Z X Y Z Combinación uno Combinación dos X Z Y Todas las combinaciones posibles tienen que permitir lo afirmado por la conclusión, si no es así la conclusión no es válida. Todos los X son Z No, … Algunos X son Z Ningún X es Z Si, … Algunos X no son Z De X a Z…

13 F1 (E) Ningún X es Y (A) Todos los Y son Z X Y Z Combinación uno Combinación dos X Z Y Todas las combinaciones posibles tienen que permitir lo afirmado por la conclusión, si no es así la conclusión no es válida. Todos los X son Z No, … Algunos X son Z Ningún X es Z Si, … Algunos X no son Z De X a Z… Todos los Z son X No, no Algunos Z son X Ningún Z es X Si, no Algunos Z no son X Si, Si De Z a X…