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

 

  1. ¿Puede una teoría formal de primer orden ser una teoría de los números naturales y nada más de ellos? (49.1)
  2. Formalice en Q: “Hay un único sentido de la vida”.  (49.5)
  3. La pura lógica no alcanza para definir el número 4, pero sí alcanza para definir lo que es ser 4 cosas de cierto tipo.  ¿Qué implicaciones ontológicas tiene eso?  (49.6)
  4. La paradoja de Skolem dice que hay una teoría de primer orden que,
    1. si tiene su modelo preferido, entonces tiene un modelo incontable, y también que
    2. si tiene su modelo preferido, entonces tiene un modelo contable.  ¿Cómo es eso posible?
  5. El lenguaje de la lógica de primer orden de predicados monádicos pierde dos tipos de símbolos.  ¿Cuál de ellos se pierde también en la silogística?  (50)
  6. Si Juan pesa el doble que Pedro, ¿es esto una propiedad de Juan, una propiedad de Pedro, una relación entre ambos?  ¿Qué impacto puede tener esto para nuestra ontología?
  7. ¿Qué significa “saber todo sobre Pedro”?  ¿Incluye eso conocer sobre todo el resto del universo?
  8. Recientemente se ha sostenido que Aristóteles pudo haberse limitado a la silogística porque ese fragmento de la lógica tiene propiedades metalógicas como 50.9.  ¿Le parece eso una buena razón para restringirse al ámbito monádico?

 

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