Esta asignatura optativa de tercer curso es una ampliación de la asignatura obligatoria 'Lógica' perteneciente al Área de Lógica y Filosofía de la Ciencia que se ha impartido en el curso segundo.
Esta ampliación está dirigida a aquellos alumnos interesados en las cuestiones metateóricas de la lógica, los procedimientos automáticos de deducción y la filosofía e historia de la lógica. En concreto, se pretende introducir los conceptos básicos de la lógica matemática en su nivel tanto metateórico como práctico, para aplicarlos a los conocimientos obtenidos en la asignatura de 'Lógica'. Asimismo se trata de analizar estos conceptos desde el punto de vista de la filosofía de la lógica.
Esta ampliación está dirigida a aquellos alumnos interesados en las cuestiones metateóricas de la lógica, los procedimientos automáticos de deducción y la filosofía e historia de la lógica. En concreto, se pretende introducir los conceptos básicos de la lógica matemática en su nivel tanto metateórico como práctico, para aplicarlos a los conocimientos obtenidos en la asignatura de 'Lógica'. Asimismo se trata de analizar estos conceptos desde el punto de vista de la filosofía de la lógica.
- Profesor: Fernández Fernández Claudia