PROYECTO DOCENTE ASIGNATURA: "Lógica" Grupo: Grp Clases Teóricas-Prácticas Lógica.(929729) Titulacion: Grado en Filosofía Curso:

Transcripción

1 PROYECTO DOCENTE ASIGNATURA: "Lógica" Grupo: Grp Clases Teóricas-Prácticas Lógica.(929729) Titulacion: Grado en Filosofía Curso: DATOS BÁSICOS DE LA ASIGNATURA/GRUPO Titulación: Año del plan de estudio: Centro: Asignatura: Código: Tipo: Curso: Período de impartición: Ciclo: Grupo: Créditos: Horas: Área: Departamento: Grado en Filosofía 2009 Facultad de Filosofía Lógica Obligatoria 2º Segundo Cuatrimestre 0º Grp Clases Teóricas-Prácticas Lógica. (2) Lógica y Filosofía de la Ciencia (Área principal) Filosofía, Lógica y Filos. de la Ciencia (Departamento responsable) Dirección postal: Dirección electrónica: PROFESORADO 1 2 SOLER TOSCANO, FERNANDO SARRION MORILLO, ENRIQUE Curso académico: 2013/2014 Última modificación: de 6

2 OBJETIVOS Y COMPETENCIAS Objetivos docentes específicos Que el alumno conozca la teoría de la demostración de la lógica clásica, tanto a nivel proposicional como de predicados, y adquiera los conocimientos básicos para su estudio metateórico. Competencias Competencias transversales/genéricas Capacidad de análisis y síntesis Conocimientos generales básicos Habilidades elementales en informática Resolución de problemas Habilidades para trabajar en un equipo interdisciplinario Capacidad de crítica y autocrítica Habilidad para comunicar con expertos en otros campos Habilidades de investigación Habilidad para trabajar de forma autónoma Inquietud por la calidad Competencias específicas Capacidad de comprensión crítica de las teorías del razonamiento y la argumentación correctas, así como capacidad de análisis, evaluación y uso de las técnicas básicas de la lógica contemporánea. CONTENIDOS DE LA ASIGNATURA Relación sucinta de los contenidos (bloques temáticos en su caso) Introducción a la teoría de conjuntos Lógica proposicional Lógica de predicados Relación detallada y ordenación temporal de los contenidos PARTE I: Lógica proposicional. 1.Lenguaje para la lógica proposicional: sintaxis y semántica. (5 h.) 2.Método de las tablas semánticas. (3 h.) 3.Normalización de fórmulas: formas normales conjuntivas y formas normales disyuntivas. (2 h.) 4.Cálculo axiomático y cálculo deductivo natural. (6 h.) PARTE II: Lógica de predicados. 5.Introducción a la teoría básica de conjuntos. (4 h.) 6.Lenguaje para la lógica de predicados: sintaxis. (4 h.) 7.Lenguaje para la lógica de predicados: semántica. (6 h.) 8.Método de tablas semánticas para lógica de primer orden. (3 h.) 9.Cálculo axiomático y cálculo deductivo natural. (8 h.) ACTIVIDADES FORMATIVAS Relación de actividades formativas del cuatrimestre Clases prácticas 15.0 Sesiones presenciales con participación activa del alumnado en forma de seminarios de lectura de textos clásicos o contemporános, resolución de problemas, exposiciones por parte de los estudiantes, etc. Curso académico: 2013/2014 Última modificación: de 6

3 Clases teóricas 3 Sesiones presenciales impartidas por el profesor de la asignatura acerca de los contenidos de la misma. Elaboración de trabajos personales 3 Elaboración po parte del estudiante, individualmente o en grupo, de trabajos relacionados con la temática de la asignatura. Tutorías colectivas de contenido programado 12.0 Seguimiento en pequeños grupos del proceso formativo del estudiante Estudio personal 6 Lectura de los materiales de la asignatura, realización de las actividades propuestas, preparación de los exámenes, etc. Curso académico: 2013/2014 Última modificación: de 6

4 Exámenes 3.0 BIBLIOGRAFÍA Y OTROS RECURSOS DOCENTES Bibliografía general Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica. José L. Falguera, Concepción Martínez. Trotta, Lógica para principiantes. María Manzano, Antonia Huertas. Alianza, Elementos de lógica formal. Calixto Badía, Ignacio Jané, Ramón Jansana. Ariel, Bibliografía específica Introducción matemática a la lógica. Herbert B. Enderton U.N.A.M.-Inst. de Invest. Filosóficas, A First Course in Logic. An Introduction to Model Theory, Proof Theory, Computability and Complexity. Shawn Hedman. Oxford University Press, Curso práctico de Lógica. Ángel Nepomuceno. Kronos, X. Lógica formal. Su alcance y sus límites. Richard C. Jeffrey. Eunsa, 1986, El método de las tablas semánticas. Ángel Nepomuceno. Kronos, Curso académico: 2013/2014 Última modificación: de 6

5 Lógica, lógicas. Juan Barba. Univ. de Valladolid-Secr. de Publicaciones, SISTEMAS Y CRITERIOS DE EVALUACIÓN Y CALIFICACIÓN Sistema de evaluación Examen final Realización de un examen escrito al final del cuatrimestre Evaluación contínua Evaluación continua de la evolución del estudiante durante el curso. Se valorará positivamente la asistencia y participación activa en la clase Trabajo personal Realización de un trabajo personal sobre alguna de las materias impartidas Criterios de calificación Los ejercicios resueltos que, habiendo sido propuestos por los profesores, entreguen los alumnos como trabajo personal, tendrán una influencia en la calificación final de hasta un punto. Se ofrecerá la posibilidad de superar la asignatura mediante exámenes parciales eliminatorios (sólo a efectos de la primera convocatoria), correspondiente a las dos partes de la asignatura. CALENDARIO DE EXÁMENES CENTRO: Facultad de Filosofía 1 ª Convocatoria Fecha: Aula: 17/6/2014 Hora: 17:0 F2 CENTRO: Facultad de Filosofía 2 ª Convocatoria Fecha: Aula: 2/9/2014 Hora: 17:0 F2 CENTRO: Facultad de Filosofía 3 ª Convocatoria Fecha: Aula: 2/12/2014 Hora: 17:0 Seminario de Filosofía y Lógica TRIBUNALES ESPECÍFICOS DE EVALUACIÓN Y APELACIÓN Presidente: Vocal: Secretario: Primer suplente: Segundo suplente: JOSE MANUEL FERREIROS DOMINGUEZ ANGEL NEPOMUCENO FERNANDEZ FERNANDO SOLER TOSCANO MARIA DE PONTE AZCARATE JOSE LUIS MANCHA RODRIGUEZ Curso académico: 2013/2014 Última modificación: de 6

6 ANEXO 1: HORARIOS DEL GRUPO DEL PROYECTO DOCENTE Los horarios de las actividades no principales se facilitarán durante el curso. GRUPO: Grp Clases Teóricas-Prà cticas Lógica. (929729) Calendario del grupo CLASES DEL PROFESOR: SARRION MORILLO, ENRIQUE HORARIO SIN ESPECIFICAR CLASES DEL PROFESOR: SOLER TOSCANO, FERNANDO HORARIO SIN ESPECIFICAR Curso académico: 2013/2014 Última modificación: de 6