FACULTAD DE TEOLOGÍA SAN VICENTE FERRER

Transcripción

1 FACULTAD DE TEOLOGÍA SAN VICENTE FERRER GUÍA DOCENTE Lógica 1. DESCRIPCIÓN 2. OBJETIVOS 3. ACTIVIDADES 4. CRITERIOS DE EVALUACIÓN ASIGNATURA Curso Ciclo Anual Semestral 1 Institucional x Tipo de Asignatura Créditos (ECTS) Obligatoria 4,5 1º Introducción a los lenguajes formales y ciencias deductivas 2º Conocer y comprender herramientas de la lógica de primer orden 3º Desarrollar las capacidades de análisis y argumentación textuales 4º Introducción en cuestiones de la lógica de la racionalidad 5º Autoexigencia y perseverancia en la actividad de estudio 1 Exposición teórica por parte del docente 2 Ejercicios prácticos de lógica 3 Realización de algunos trabajos de síntesis 4 La evaluación se realizará atendiendo a 4 criterios: Realización de un examen al final del semestre, trabajos escritos, ejercicios de lógica y asistencia a las clases 5. PROGRAMA 1. Nociones previas sobre lógica y lenguaje. 2. Lógica de enunciados. 3. Lógica aristotélica 4. Lógica de predicados de primer orden. 6. BIBLIOGRAFÍA BUCHER, T.G., Introduzione alla logica, Clueb, Bologna 1996 DEAÑO, A., Introducción a la lógica formal, Alianza, Madrid DOMÍNGUEZ PRIETO, P., Lógica, BAC, Madrid CONESA, F. NUBIOLA, J., Filosofía del lenguaje, Herder, Barcelona CRYAN, D. SHATIL, S. MAYBLIN, B., Lógica para todos, Paidós, Barcelona NOMBRE APELLIDOS José Santiago PONS DOMÉNECH DATOS DEL PROFESOR DIRECCIÓN Colegio Mayor S. Juan de Ribera. Pza. San Juan de Ribera, 6 POBLACIÓN Burjassot C.P PROVINCIA Valencia TELÉFONOS Santiago@teologiavalencia.es Guía Docente Lógica, 1

2 PROGRAMA Versión extensa 1. Nociones previas 1.1 Lenguaje y metalenguaje 1.2 Semiótica. Sintaxis, semántica, pragmática 1.3 Idea de lógica formal 1.4 Panorama de historia de la lógica 2. Lógica de enunciados I. Formalización y valoración de proposiciones 2.1 Proposiciones 2.2 Formalización de las proposiciones. Las conectivas. 2.3 Regla de paréntesis 2.4 Funciones de verdad. Los functores 2.5 Valoración de las funciones de verdad 3. Lógica de enunciados II. Deducción 3.1 Reglas de inferencia 3.2 Reglas de sustitución 3.3 Reducción de functores 4. Lógica aristotélica 4.1 Conceptos de lógica aristotélica 4.2 El cuadrado lógico 4.3 El silogismo clásico 4.4 Figuras y modos válidos del silogismo 5. Lógica de predicados de primer orden 5.1 Individuos y predicados 5.2 Cuantificadores y la negación 5.3 Cuadro de relaciones. Formalización 6. Elementos de argumentación y falacias más frecuentes BIBLIOGRAFÍA BÁSICA ANTON, A. CASAÑ, P., Lógica matemática. Ejercicios. I Lógica de enunciados, NAU llibres, Valencia , Lógica matemática. Teoría y práctica. II Lógica de predicados, NAU llibres, Valencia BUCHER, T.G., Introduzione alla logica, Clueb, Bologna 1996 CONESA, F. NUBIOLA, J., Filosofía del lenguaje, Herder, Barcelona COPI, I. M. COHEN, C., Introducción a la lógica, México CRYAN, D. SHATIL, S. MAYBLIN, B., Lógica para todos, Paidós, Barcelona DEAÑO, A.; Introducción a la lógica formal, Alianza, Madrid DOMÍNGUEZ PRIETO, P., Lógica, BAC, Madrid GARRIDO, M., Lógica simbólica, Tecnos, Madrid NUBIOLA AGUILAR, J., El taller de la filosofía. Una introducción a la escritura filosófica, Eunsa, Pamplona PRIEST, G., Logic: A Very Short Introduction, Oxford University Press, Oxford SANGUINETI, J.J., Lógica, EUNSA, Navarra Guía Docente Lógica, 2

3 WESTON, A., Las claves de la argumentación, Ariel, Barcelona N FECHA TEMA Facultad de Teología «San Vicente Ferrer» de Valencia Cronograma de la Asignatura: Lógica Profesor: J. Santiago Pons Doménech Curso: Presentación de la Asignatura. Objetivos, temario, bibliografía, dinámica Apertura curso 1. Nociones previas Lenguaje y metalenguaje Semiótica. Sintaxis, semántica, pragmática Idea de lógica formal. 1.4 Breve historia de la lógica Lógica proposicional. 2.1 Proposiciones Formalización de las proposiciones La conjunción y negación La disyunción, implicación y la equivalencia CLASE PRÁCTICA. Ejercicios de formalización CLASE PRÁCTICA. Ejercicios de formalización Fiesta Comunidad Valenciana Regla de los paréntesis y recopilación de conectivas Las funciones de verdad La negación La conjunción La disyunción La implicación La equivalencia La valoración de las funciones de verdad CLASE PRÁCTICA. Tablas de verdad CLASE PRÁCTICA. Tablas de verdad Tautología, contradicción y contingencia (Revisión Cuaderno Ejercicios) Simposio Simposio Las tablas parciales de los valores de verdad Lógica de enunciados II. La deducción. 3.1 Reglas de inferencia Reglas de inferencia CLASE PRÁCTICA Reglas de sustitución Reglas de sustitución. 3.2 Reducción de functores CLASE PRÁCTICA Lógica aristotélica 4.1 Conceptos de lógica aristotélica. 4.2 El cuadrado lógico Guía Docente Lógica, 3

4 El silogismo clásico Figuras y modos válidos del silogismo (Revisión Cuaderno Ejercicios) CLASE PRÁCTICA Lógica de predicados de primer orden. 5.1 Individuos y predicados Cuantificadores y la negación Fiesta Cuadro de relaciones. Formalización CLASE PRÁCTICA CLASE PRÁCTICA Elementos de argumentación y falacias Elementos de argumentación y falacias La docencia combina contenidos teóricos, realización de prácticas y apoyo de tutorías. - Las clases teóricas desarrollarán en clase los contenidos temáticos dirigidos al aprendizaje individual del estudiante. Cada tema puede apoyarse con el uso de elementos multimediáticos en el aula y completarse con materiales ofrecidos por el profesor así como los presentados en el Blog de la asignatura. Se considera aconsejable la preparación previa y participación activa por parte de los estudiantes. - En las horas correspondientes a las prácticas, se llevará a cabo un trabajo de análisis y debate sobre los textos u otros materiales documentales puestos a disposición con anterioridad o presentados en el aula. - Las tutorías, que pueden ser individuales y en grupo, tienen como cometido el asesoramiento de las actividades tanto teóricas como prácticas, la ejecución de trabajos supervisados por el profesor y la resolución de dificultades que surjan en el desarrollo del curso. Trabajo del alumno La asignatura consta de 4,5 créditos. Cada crédito representa 25 horas de trabajo. Por lo tanto, la asignatura requiere 112,5 horas de actividad durante el cuatrimestre (14 semanas). Esta actividad se desglosa como sigue: Horas Descripción Docencia 32 clases presenciales 10 clases prácticas 3 tutoría a determinar con cada alumno Trabajo 32 estudio 20 preparación prácticas y cuaderno de ejercicios 10 lectura y trabajos escritos 3 búsqueda de bibliografía 2,5 examen final Total 112,5 Cada semana se publicarán en el Blog de la asignatura ( unos problemas lógicos para que el alumno acceda y explique la solución o comente las posibles soluciones ofrecidas por los otros alumnos. Es importante seguir el ritmo semanal para que el Guía Docente Lógica, 4

5 ejercicio sea gradual y progresivo. En el blog quedan registrados los comentarios y las fechas en que se realizan. Trabajos que han de hacer los alumnos de Lógica 1. Lectura y redacción de los trabajos propuestos en clase 2. Resolución de juegos lógicos planteados en internet 3. Presentación de algunos ejercicios de lógica 4. Tutoría con el profesor atendiendo: Evaluación a. Problemas relacionados con la lógica y la formalización b. Seguimiento de las explicaciones de clase y de las prácticas c. Aportes críticos La evaluación estará basada en las distintas actividades programadas, a las que se asigna el siguiente porcentaje de la calificación final (el 100% equivale a 10 puntos): % Concepto 10 participación y atención en las clases 20 trabajos encargados 45 resolución de ejercicios (prácticas) 25 cuestiones teóricas 100 Nota final Para poder calcular la media ponderada se debe alcanzar una nota mínima de 4 en cada ejercicio o examen, en caso contrario se debe repetir el trabajo o el examen. Cuaderno de ejercicios. Junto con los apuntes, se entrega un Cuaderno de Ejercicios que recoge todos los ejemplos y ejercicios propuestos en los apuntes con espacio para resolverlos, se deben ir realizando los ejercicios al ritmo de las clases, para adquirir la destreza necesaria. Este cuaderno se revisará en los días previstos y antes del examen. El profesor podrá no admitir al examen aquellos estudiantes que no hayan realizado al menos el 80 % de los ejercicios. Tutorías: Martes, 12:35-13:20, Departamento de Filosofía. Test: Es posible la realización de un test semanal de corta duración, se realizará al inicio de la clase y se recogerá 5 minutos después. Fechas a tener en cuenta Tutorías. Se deben realizar al menos dos encuentros con el profesor durante el semestre. Para ello se debe concertar día y hora con el profesor preferiblemente por correo electrónico. Cualquier dificultad que surja, cualquier demora en los plazos de entrega que se pueda producir se debe comunicar al profesor preferiblemente ante de que suceda, con un diálogo fluido el curso funciona bien. Guía Docente Lógica, 5