147067445 17 Las Categorias y Los Diversos Sistemas Categoriales
Deducci ón : Silogismos Categoriales
-
Upload
calvin-snider -
Category
Documents
-
view
39 -
download
3
description
Transcript of Deducci ón : Silogismos Categoriales
![Page 1: Deducci ón : Silogismos Categoriales](https://reader036.fdocuments.mx/reader036/viewer/2022082611/568132af550346895d9962cf/html5/thumbnails/1.jpg)
Deducción: Silogismos Categoriales
• X, Y y Z son conjuntos. Tenemos pues 3 conjuntos.
![Page 2: Deducci ón : Silogismos Categoriales](https://reader036.fdocuments.mx/reader036/viewer/2022082611/568132af550346895d9962cf/html5/thumbnails/2.jpg)
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).
![Page 3: Deducci ón : Silogismos Categoriales](https://reader036.fdocuments.mx/reader036/viewer/2022082611/568132af550346895d9962cf/html5/thumbnails/3.jpg)
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.
![Page 4: Deducci ón : Silogismos Categoriales](https://reader036.fdocuments.mx/reader036/viewer/2022082611/568132af550346895d9962cf/html5/thumbnails/4.jpg)
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.
![Page 5: Deducci ón : Silogismos Categoriales](https://reader036.fdocuments.mx/reader036/viewer/2022082611/568132af550346895d9962cf/html5/thumbnails/5.jpg)
X YF1(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: YZ
YZ
1.-
1.-
2.-
![Page 6: Deducci ón : Silogismos Categoriales](https://reader036.fdocuments.mx/reader036/viewer/2022082611/568132af550346895d9962cf/html5/thumbnails/6.jpg)
X YF1(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: YZ
YZ
1.- EXCLUSIÓN
1.- IDENTIDAD
2.- SUBORDINACIÓN
![Page 7: Deducci ón : Silogismos Categoriales](https://reader036.fdocuments.mx/reader036/viewer/2022082611/568132af550346895d9962cf/html5/thumbnails/7.jpg)
X Y(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: YZ
YZ
1.- EXCLUSIÓN
1.- IDENTIDAD
2.- SUBORDINACIÓN
![Page 8: Deducci ón : Silogismos Categoriales](https://reader036.fdocuments.mx/reader036/viewer/2022082611/568132af550346895d9962cf/html5/thumbnails/8.jpg)
X Y(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: YZ
YZ
1.- EXCLUSIÓN
1.- IDENTIDAD
2.- SUBORDINACIÓN
![Page 9: Deducci ón : Silogismos Categoriales](https://reader036.fdocuments.mx/reader036/viewer/2022082611/568132af550346895d9962cf/html5/thumbnails/9.jpg)
X Y(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: YZ
1.- EXCLUSIÓN
1.- IDENTIDAD
X YZ
![Page 10: Deducci ón : Silogismos Categoriales](https://reader036.fdocuments.mx/reader036/viewer/2022082611/568132af550346895d9962cf/html5/thumbnails/10.jpg)
X Y(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:
YZ
1.- EXCLUSIÓN
2.- SUBORDINACIÓN
X Z YZ
YX
ZY
X
![Page 11: Deducci ón : Silogismos Categoriales](https://reader036.fdocuments.mx/reader036/viewer/2022082611/568132af550346895d9962cf/html5/thumbnails/11.jpg)
X YZ
1 con 1 Exclusión & Identidad
1 con 2 Exclusión & Subordinación
X Z YZ
YX
ZY
X
![Page 12: Deducci ón : Silogismos Categoriales](https://reader036.fdocuments.mx/reader036/viewer/2022082611/568132af550346895d9962cf/html5/thumbnails/12.jpg)
Todos los X son Z No, …
Algunos X son Z No, …
Ningún X es Z Si, …
Algunos X no son Z Si, …
De X a Z…
F1(E) Ningún X es Y(A) Todos los Y son Z
X Z YZ YXZ YX
X YZCombinación uno
Combinación dos
Todas las combinaciones posibles tienen que permitir lo afirmado por la conclusión, si no es así la conclusión no es válida.
![Page 13: Deducci ón : Silogismos Categoriales](https://reader036.fdocuments.mx/reader036/viewer/2022082611/568132af550346895d9962cf/html5/thumbnails/13.jpg)
Todos los X son Z No, …
Algunos X son Z No, …
Ningún X es Z Si, …
Algunos X no son Z Si, …
De X a Z…
Todos los Z son X No, no
Algunos Z son X No, no
Ningún Z es X Si, no
Algunos Z no son X Si, Si
De Z a X…
F1(E) Ningún X es Y(A) Todos los Y son Z
X Z YZ YXZ YX
X YZCombinación uno
Combinación dos
Todas las combinaciones posibles tienen que permitir lo afirmado por la conclusión, si no es así la conclusión no es válida.