Logic 1

El curso se inicia con una breve revisión del cálculo proposicional. Luego se presenta el cálculo de predicados ná-dico de orden n. Se pondrá especial énfasis en las nociones de consistencia y de consecuencia, de verdad relativa a un mo-delo, de prueba y de contraejemplo. Se hará una presenta-ción de los teoremas de Gödel y de Lowenheim. Se buscará hacer men-ción a problemas y temas de la filosofía, en especial las no-ciones de extensión e intensión, sentido y referencia. A lo largo del curso se enseñará a traducir del español al lenguaje simbólico para que el alumno desarrolle una mejor apreciación de las su-tilezas de los lenguajes naturales.