Adquirir cierto dominio de las técnicas de formalización y deducción de la lógica de enunciados o proposiciones. Lograr un grado de comprensión adecuado de alguno de los principales conceptos en torno a los cuales se articula el discurso en esta materia.
Prerrequisitos:
Puesto que la asignatura pertenece al módulo de nivelación, los estudiantes han debido cursar otros estudios diferentes a los de Filosofía o Humanidades.
Contenido (breve descripción de la asignatura):
Esquematización de enunciados y argumentos. Deducción Natural dentro del cálculo de enunciados. Comprensión de algunas nociones básicas de la lógica.
Metodología Docente:
Estudio de los contenidos y resolución de ejercicios en el foro virtual.
Tipo de Evaluación: Evaluación continua y examen final.
Bibliografía Básica:
Castrillo Criado, Pilar y Amparo Díez Martínez, Formas lógicas, Madrid: UNED, 2003.
Deaño Gamallo, Alfredo, Introducción a la lógica formal, Madrid: Alianza Editorial, 2001