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

 

  1. Discuta si es posible encontrar un método efectivo para resolver dudas éticas. (7)
  2. Discuta si es posible encontrar un método efectivo para resolver dudas sobre si una proposición es una tautología. (7)
  3. Explique por qué es decidible el conjunto de los filósofos existencialistas del siglo XX.  (7)
  4. 51.1 es plausible si nos limitamos a la lógica y las matemáticas,.  ¿Y si no?
  5. Mencione una relación entre decidabilidad y enumerabilidad efectiva.  (51.5)
  6. Dé un ejemplo de función aritmética que no sea total y tres ejemplos de función aritmética computable.
  7. Dé un ejemplo de función no computable. (51.8)
  8. ¿Cree usted que todo sistema formal aceptable para la aritmética debiera ser “respetable” en el sentido de Hunter?  ¿Por qué?
  9. ¿En qué sentido es la aritmética indecidible?  (51.10)
  10. Examine el siguiente razonamiento:  “Ya que un axioma es su propia justificación, el número de Gödel del axioma debe ser el mismo que el de su prueba”.  ¿Dónde está el error?
  11. ¿En qué sentido es la aritmética incompleta?  (51.13)
  12. Dado que siempre se escapa alguna verdad, ¿se sigue que hay alguna verdad que siempre se escapa?  Dé un ejemplo.

 

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