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

1. Suponga que formalizamos la Ética de Spinoza como una teoría consistente de primer orden K. Demuestre, a la manera de Henkin, que la Ética de Spinoza tiene un modelo enumerable.
2. ¿Cree usted que se pueda formalizar la Ética de Spinoza como una teoría consistente de primer orden K? Dé sus razones.
3. Parafrasee, en español lo más coloquial posible, que “la Ética de Spinoza tiene un modelo enumerable”.
4. ¿Ve usted alguna consecuencia filosófica de que la Ética de Spinoza tuviera un modelo enumerable? Explique sus intuiciones.
5. ¿En qué circunstancias, o para qué propósitos es mejor la noción de Mendelson de “teoría de primer orden? ¿En qué circunstancias, o para qué propósitos es mejor la noción de Hunter?

---

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