LÓGICA III
(METALÓGICA CUANTIFICACIONAL)
Examen 4
- Pruebe que cualquier
tautología se sigue de la Ética de
Spinoza.
- ¿Qué se necesita para
poder añadir consistentemente un nuevo axioma?
- Dada una teoría
consistente de primer orden que represente a la
Ética de Spinoza, bosqueje como construir una extensión que sea una
- teoría
de primer orden consistente,
- cerrada
y
- completa
con respecto a la negación.
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