LÓGICA III
(METALÓGICA CUANTIFICACIONAL)
Examen 6
- ¿Cuál es la diferencia
entre completud semántica y completud semántica fuerte?
- Al parecer, para Hunter
algo es un esquema de axiomas sii todos sus símbolos proposicionales son
reemplazados por metavariables. Por
ello no se pueden añadir a SP consistentemente nuevos esquemas de axiomas,
pero sí a SQ. Dé un ejemplo de esto
último.
- ¿Qué es una interpretación
“normal” de Q?
- ¿En qué circunstancias
son isomórficos dos modelos que tienen dominios con diferente cardinalidad?
- ¿Cuántas teorías de
primer orden con algún modelo infinito son categóricas?
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