Diapositivas Ricardo Madrid
-
Upload
angelica-izaguirre-castro -
Category
Travel
-
view
508 -
download
1
Transcript of Diapositivas Ricardo Madrid
![Page 1: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/1.jpg)
SILOGÍSTICA Y DEDUCCIÓN NATURAL
Por: Ricardo Guillermo Madrid Marín
![Page 2: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/2.jpg)
¿QÚE PROBLEMA RESUELVE ESTA INVESTIGACIÓN?
A) La de actualizar el programa de estudio de la Escuela Nacional Preparatoria.
B) La carencia de una página Internet que pueda exponer de manera amena, fácil y útil, las investigaciones más recientes sobre la lógica aristotélica y la silogística.
![Page 3: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/3.jpg)
-George Boger, “The Modernity of Aristotle’s Logical Investigations”
- “Aristotle’s Logic”
-Jordana Wiener, “Aristotle’s Syllogism: Logic Takes Form”
-Ryan Christensen, “Aristotle’s Quantificational Logic”
MATERIALES EN LA RED
![Page 4: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/4.jpg)
1. http://www.bu.edu/wcp/Papers/Logi/LogiBoge.htm
2.
http://plato.stanford.edu/entries/aristotle-logic/
3. http://www.perseus.tufts.edu/GreekScience/Students/Jordana/LOGIC.html
4. http://humanities.byu.edu/philosophy/aporia/volumes/vol111/christensento.html
DIRECCIONES EN LA RED
![Page 5: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/5.jpg)
OBJETIVOS
A)Investigar las semejanzas y diferencias de la silogística y la deducción natural.
B)Elaborar un guión
C)Hacer la página web
![Page 6: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/6.jpg)
ELEMENTOS DEL GUIÓN
1. Animación: Aristóteles y otros personajes.
2. Medios interactivos
3. Elementos de autoevaluación
4. Menú
5. Diversas escenografías
6. Buzón de comentarios
7. Diccionario
![Page 7: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/7.jpg)
HIPÓTESIS DE TRABAJO
La deducción natural silogística tiene semejanzas y diferencias con la deducción natural, y estas semejanzas y diferencias pueden introducir a un estudiante en el estudio de las lógicas clásicas.
![Page 8: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/8.jpg)
METODOLOGÍA
A)Realizaremos un trabajo de análisis conceptual, interpretación y clarificación de los Primeros Analíticos y Segundos Analíticos de Aristóteles.
![Page 9: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/9.jpg)
B)Estudiaremos a varios filósofos que han estudiado los aspectos modernos de la lógica aristotélica, como por ejemplo: Jonathan Lear, Church, Patzig, Rose, Lukasiewicz, Corcoran, etc.
M ETODOLOGÍA
![Page 10: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/10.jpg)
John Corcoran
Ancient Logic and it’s Modern Interpretations
“Aristotle’s Natural Deduction System
![Page 11: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/11.jpg)
John Corcoran
Universidad Estatal de Nueva York en Buffalo
![Page 12: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/12.jpg)
METODOLOGÍA
C) Analizaremos las posibles páginas en la Red que hablen o contengan elementos figurativos sobre la silogística y la deducción natural.
D)Analizaremos los posibles Softwares que aborden nuestro tema.
![Page 13: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/13.jpg)
LIMITACIONES
Esta investigación no pretende aportar nuevas ideas teóricas sobre estas dos lógicas, en el fondo de esta investigación está el deseo de traducir las discusiones actuales sobre la silogística y la deducción natural a un lenguaje accesible y por ende didáctico.
![Page 14: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/14.jpg)
Ejemplo 1
“Significo por término medio aquel que es contenido en otro y contiene a otro en sí mismo y que, además, es medio por su posición...”Aristóteles (Primeros Analíticos, lib 1, cap 4)
![Page 15: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/15.jpg)
A(F se predica de M)
A(M se predica de R)
A(F se predica de R)
A(M, F)
A(R, M)
A(R, F)
“Significo por término medio aquel que es contenido en otro y contiene a otro en sí mismo...”
![Page 16: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/16.jpg)
“Significo por término medio aquel que es contenido en otro y contiene a otro en sí mismo...”
A(M, F)
A(R, M)
A(R, F)
M
F
R
![Page 17: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/17.jpg)
Ejemplo 2
“Si M no es predicado de ningún N pero es predicado de todo O, N no será predicado de ningún O. Como hay conversión de la proposición privativa, N no será predicada de ninguna M. Pero se supuso que M se predicaba de todo O, luego N no se dirá de ningún O, que es lo que ya se ha demostrado” Aristóteles, Analíticos Primeros)
![Page 18: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/18.jpg)
PROPOSICIONES CATEGÓRICAS
1. X es predicado de todo Y (A)
2. X es predicado de algún Y (I)
3. X no es predicado de ningún Y (E)
4. X no es predicado de todo Y (O)
![Page 19: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/19.jpg)
1. E(M, N) Prem. Si M no es predicado de ningún N
2. A(M, O) Prem. Pero (M) es predicado de todo O
3. E(N, O) A probar N no será predicado de ningún O
4. E(N, M) Conver. 1 Como hay conversión de la proposi-
ción privativa N no será predicada de
ningún M.
5. A(M, O) Prem. 2 Pero se supuso que M se predicaba de
todo O
6. E(N, O) Celarent 4, 5 luego N no se dirá de ningún O que
es lo que ya se ha demostrado
![Page 20: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/20.jpg)
1. E(M, N) Prem
2. A(M, O) Prem
3. E(N, O) A probar
4. E(N, M) Conv. 1
5. A(M, O) Prem 2
6. E(N, O) Cel. 4,5
1. S→(P v Q)
2. S
3. ¬P/ Q
4. P v Q M.P. 1, 2
5. Q S. D. 4, 3
![Page 21: Diapositivas Ricardo Madrid](https://reader033.fdocuments.ec/reader033/viewer/2022052623/559dc2931a28ab7f3e8b46b8/html5/thumbnails/21.jpg)
¡Dios mío!
¿Qué es eso?