Lógica 1

El curso tiene carácter obligatorio. Ofrece una introducción técnicamente rigurosa y filosóficamente útil a los conceptos básicos, métodos y principales resultados de la lógica clásica de primer orden. Abarca los temas fundamentales de la lógica de oraciones y la lógica de predicados, llegando hasta la lógica relacional de predicados con identidad. Además, se abordarán y discutirán algunas propiedades metalógicas fundamentales tales como la decibilidad, la corrección y la completud, entre otras. A lo largo del curso, se enfatizará la aplicación de las técnicas lógicas aprendidas para representar, analizar y evaluar oraciones y argumentos del lenguaje natural. También se buscará discutir temas relevantes de la filosofía de la lógica y la lógica filosófica.