LÓGICA SIMBÓLICA

LÓGICA II

El desarrollo de la lógica matemática en la segunda mitad del siglo XIX fue decisivo para la aparición de la filosofía analítica en el siglo XX (más específicamente en los campos de la filosofía de la ciencia y del lenguaje por ejemplo), hasta el punto de que se puede decir que su desconocimiento implica la imposibilidad de acercarse, de manera competente, a este método filosófico. En este curso se estudia básicamente la prueba de validez de argumentos a través de las tablas de verdad, el cálculo proposicional y el cálculo de predicados de primer orden con identidad.

profesor: José Fernando Ospina Carmona