La lógica es, en general, la disciplina filosófica que estudia la inferencia: qué significa que una conclusión se sigue de unas premisas, qué argumentos son válidos y cuáles no y qué métodos tenemos para distinguirlos. La lógica matemática es matemática en un doble sentido. Se trata, en primer lugar, de un modo de entender la lógica que tiene su origen en un contexto matemático (el desarrollo de geometrías no euclidianas y la crisis de los fundamentos y como tal, se desarrolló específicamente para el razonamiento matemático. En segundo lugar, la lógica matemática es matemática también por el empleo de herramientas matemáticas para el análisis del razonamiento. En este sentido, la lógica matemática no sólo tiene como tema las matemáticas sino que ella misma es una parte de las matemáticas. Contemporáneamente, la mayor parte de los estudios de sobre Lógica (fuera de los estudios de Historia de la Lógica) son “lógica matemática” en el segundo sentido mencionado, por lo que es razonable pensar que el término “lógica matemática” debería reservarse para el primer sentido (la lógica que tiene como objeto los razonamientos y métodos de las matemáticas). Creemos, sin embargo, que el estilo matemático de la lógica contemporánea es un modo de aproximarse al razonamiento, no necesariamente el único ni la última palabra sobre éste. El título de este artículo pretende, de este modo, reconocer la validez de otros tipos de aproximación a la lógica como pueden ser los desarrollos medievales de la lógica aristotélica. Simultáneamente, es necesario reconocer que desde finales del siglo XIX, la lógica matemática ha dado lugar a importantes resultados y ha ocupado un papel destacado en la discusión filosófica.

En este curso aprenderás desde lo básico de la lógica proposicional y de predicados, para cerrar con principios de demostración matemática y la demostración de teoremas importantes que dan vida a esta hermosa ciencia.