Federico Marulanda
La respuesta a esta pregunta depende, obviamente, de los objetivos del
curso. Sin embargo puede decirse que en la mayoría de los
casos, es deseable introducir a los estudiantes a razonamientos
metalógicos: en cursos cuya audiencia tenga una
orientación técnica, los resultados metalógicos
son de interés formal; y en cursos cuya audiencia tenga una
orientación más filosófica, las cuestiones
metalógicas abren espacio para discusiones de gran profundidad
conceptual. Dado lo anterior, la ponencia busca identificar puntos en
la exposición de la lógica de enunciados y la
lógica de primer orden en los cuales introducir de manera
natural algunas cuestiones metalógicas, evaluando al mismo
tiempo el grado de dificultad que presentan las mismas.