LÓGICA III (METALÓGICA CUANTIFICACIONAL)
Tarea 3

 

  1. Escriba cinco afirmaciones filosóficas que simbolizadas constituyan un conjunto inconsistente de SQ y demuestre tal inconsistencia en SQ.
  2. La primera demostración de consistencia de SQ utiliza un lema de consistencia relativa.  Explique por qué es válido demostrar la consistencia de SQ basándonos en la consistencia de otro sistema.
  3. La segunda demostración de consistencia de SQ utiliza una noción diferente de consistencia.  Explique en qué contextos la diferencia sería importante, y por qué en este contexto las dos nociones de consistencia son equivalentes.
  4. La tercera demostración de consistencia de SQ es un corolario del metateorema 43.5.  Sintetice en sus propias palabras la demostración de 43.5.
  5. El metateorema 43.6 señala una importante característica de las pruebas en SQ, llamada “compacidad”.  ¿Tiene el razonamiento humano esa característica?  Dé algunas razones para su respuesta.
  6. Sintetice en sus propias palabras la demostración de que SQ es correcto (43.7).
  7. Parafrasee la prueba de 43.9 usando en vez de G a un conjunto de enunciados de la teoría existencialista sartreana y alguna afirmación ética interesante en vez de A.

 

Regresar a la página del curso: www.filosoficas.unam.mx/~morado/Cursos/1Meta/meta.htm

Regresar a la página de Raymundo Morado

Regresar a la página principal del Instituto de Investigaciones Filosóficas