Semana del 17 de Octubre

Lecturas:

Capítulo 5 (Guía de Metalógica): Relaciones entre la semántica y el aparato deductivo SP (hasta p. 65 – Paso a paso. Leer sólo la estrategia de la prueba de Completitud).

Temas:
1- Prueba de Corrección SP.
2- Prueba de Completitud de SP.

Actividades

Reflexione:

* ¿Por qué es importante filosóficamente probar que SP es correcto y completo?
* ¿Qué relación hay entre la metateoría y la justificación de la lógica?
* ¿Por qué es importante filosóficamente saber que la lógica es correcta y completa?
* ¿Por qué es importante analizar qué recursos se usan en las pruebas metateóricas para tener claridad acerca de la naturaleza de la justificación de una lógica?
* ¿Por qué es importante estar seguros acerca de que la lógica (clásica) está justificada?
* ¿Por qué es importante analizar los vínculos entre la racionalidad humana y la modelización computacional (recursiva) de los problemas lógicos? ¿Podría una computadora razonar como lo hacemos nosotros? ¿Hay limites para modelar computacionalmente la actividad de razonar?
* Qué relación hay entre la consistencia y la satisfacibilidad (tener modelo) de un conjunto de fórmulas?
* Qué es un modelo?
* Hacer el ejercicio 5.1 (1 – 14) 

Leave a Reply

Your email address will not be published. Required fields are marked *