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

 

 

  1. Todo sistema filosófico, ¿debe tener completud semántica con respecto a las fórmulas lógicamente válidas de Q, completud semántica fuerte, ambas o ninguna?  ¿Por qué?  (46.1, 46.2)
  2. ¿Debe un sistema filosófico ser completo con respecto a la negación?  ¿Por qué?  (46.4)
  3. ¿Debe un sistema filosófico ser sintácticamente completo?  ¿Por qué?  (46.5)
  4. Bosqueje una prueba de que SQ= es consistente. (47.1)
  5. ¿En qué sentido decimos que SQ= es adecuado? (47.3, 47.4)
  6. Suponga que formalizamos la teoría de Nietzsche del eterno retorno como una teoría consistente de primer orden K.  Describa en rasgos generales dos modelos isomórficos de K.  (48.2)
  7. ¿Qué significaría decir que toda teoría panteísta de primer orden debiera ser 1-categórica?
  8. ¿Obligaría eso a Plotino a tener una respuesta para cualquier pregunta?  (48.3)
  9. ¿Son los modelos no estándar de la aritmética inevitables?  ¿Por qué?  (48.4)
  10. ¿En qué sentido Abraham Robinson hizo “respetable” la teoría de los infinitesimales?  ¿Es ese un buen sentido de “respetable”?  ¿Por qué cree usted eso?

 

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