Después de una primera aproximación a la noción misma de la lógica formal y a las principales etapas de su desarrollo histórico, el curso se propone examinar los conceptos centrales, la terminología, las interpretaciones filosóficas (antigua-medieval, racionalista moderna y kantiana) y las formas de inferencia más importantes de la lógica tradicional. Un amplio capítulo final sobre la lógica matemática elemental (proposicional y de primer orden) facilita el acceso del estudiante al cambio que comporta la lógica matemática contemporánea tanto en el terreno conceptual como en el de las técnicas deductivas.
UNIDAD 1: Introducción
Tema 1: Introducción general
1.0. Comentarios preliminares: Programa. Bibliografía. Exámenes. Trabajos.
1.1. Noción de la Lógica formal.
3
1.2. La Lógica formal y la investigación de fundamentos.
1.3. Grandes etapas de la historia de la Lógica.
UNIDAD 2: Lógica tradicional
Tema 2: Lógica tradicional. Introducción
2.1. Lógica, ontológica (metafísica) y gnoseológica (epistemológica).
2.2. Operaciones fundamentales del intelecto.
2.3. Divisiones de la Lógica tradicional.
2.4. Relaciones de la Lógica tradicional con otras ramas del saber.
Tema 3: Lógica de los conceptos
3.1. Simple aprehensión, concepto (noción o idea) y término.
3.2. Concepto, esencia y ente de razón.
3.3. Formación de los conceptos.
3.4. Concepto e imagen.
3.5. Comprehensión (intensión) y extensión de un concepto.
3.6. Clases de conceptos.
3.7. La universalidad de los conceptos.
3.8. Término, acepciones, uso y mención.
3.9. Analogía en los términos y en los conceptos (significado analógico de los términos y de
los conceptos).
3.10. Los predicables o categoremas.
3.11. Los predicamentos o categorías y los trascendentales.
3.12. Teoría de la definición.
3.13. Teoría de la división.
3.14. Correlaciones entre los conceptos.
Tema 4: Lógica de los juicios
4.1. Juicio, proposición y enunciado.
4.2. Primeras propiedades de los juicios.
4.3. Estructura del juicio.
4.4. Divisiones de las proposiciones.
4.5. Correlaciones de proposiciones.
4.6. Obversión y conversión de proposiciones.
Tema 5: Lógica de los razonamientos
5.1. Raciocinio, razonamiento, argumentación.
5.2. La inferencia inmediata.
5.3. La inferencia mediata. El silogismo.
5.4. Las reglas del silogismo.
5.5. "Figuras" y "modos" del silogismo.
5.6. Reducción de silogismos.
5.7. Reducción indirecta (o "reducción al absurdo").
5.8. La cuestión de la 4ª figura.
5.9. Formas especiales del silogismo categórico.
5.10. Los razonamientos incorrectos.
UNIDAD 3: Lógica matemática
Tema 6: Lógica matemática elemental
6.1. Introducción. Rasgos fundamentales de la lògica matemàtica.
6.2. Lógica proposicional.
6.3. Lógica de primer orden (cálculo restringido de predicados).
Actividades formativas:
1. Enseñanza-aprendizaje presencial:
- exposición del profesor
- exposición del estudiante
- debates
- examen final (escrito)
2. Enseñanza-aprendizaje dirigido:
- lecturas orientadas
- tutorías individuales
- trabajo escrito individual y exposición en el aula
3. Enseñanza-aprendizaje autónomo:
- lecturas complementarias propuestas por el profesor
- estudio personal
- búsqueda de información y materiales
Asistencia, participación, ejercicios en el aula
Examen parcial escrito a medio semestre
Examen final escrito al acabar el semestre
Asistencia, participación, ejercicios en el aula: capacidad analítica y sintética; conocimiento y uso correcto de los conceptos; capacidad expositiva; ejercicios de deducción: 10 %
Examen parcial escrito a medio semestre: capacidad analítica y sintética; conocimiento y uso correcto de los conceptos; capacidad expositiva Ejercicios de deducción: 45 %
Examen final escrito al acabar el semestre: capacidad analítica y sintética; conocimiento y uso correcto de los conceptos; capacidad expositiva; ejercicios de deducción: 45 % para quien aprobara el parcial 90 % para quien suspendiera el parcial
Alfredo Deaño, Introducción a la lógica formal, Madrid, Alianza, 1999.
José Luis Falguera y Concepción Martínez, Lógica clásica de primer orden: estrategias de
deducción, formalización y evaluación semántica, 2 vols., Madrid, Trotta, 2004.
Carmen García Trevijano, El arte de la lógica, Madrid, Tecnos, 2008.
Manuel Garrido, Lógica simbólica, Madrid, Tecnos, 2001.
Manuel Sacristán, Introducción a la lógica y al análisis formal, Barcelona, Ariel, 1964.
Juan José Sanguinetti, Lógica, Pamplona, EUNSA, 1985.
R. Verneaux, Introducción general y Lógica, Barcelona, Herder, 1980.
Lógica tradicional y lógica filosófica
Aristóteles [1]: Tratados de lógica (2 vols.), Madrid, Gredos, 1988.
Aristóteles [2]: Metafísica, Madrid, Gredos, 1982.
Hans Urs von Balthasar, Teológica, 3 vols. (I-II: 1985, III: 1987), Madrid, Encuentro, 1997 (I-II),
1998 (III).
Joseph Gredt OSB, Elementa Philosophiae aristotelico-thomisticae (vol. I: Logica),
Barcelona, Herder, 1956.
Hegel [1812]: G.W.F.Hegel, Ciencia de la lógica (2 vols.), Buenos Aires, Solar, 1993.
Hegel [1817]: Lógica (Primera parte de la Enciclopedia) (2 vols.), Barcelona, Orbis, 1984.
Martin Heidegger, Lógica. La pregunta por la verdad, Madrid, Alianza, 2004.
Heidegger, Principios metafísicos de la lógica, Madrid, Síntesis, 2007.
Heidegger [1937/38]: Preguntas fundamentales de la filosofía, Granada, Comares, 2008.
Edmund Husserl, Philosophie de l'arithmétique, Paris, PUF, 1972.
Husserl, Investigaciones lógicas, 2 vols., Madrid, Alianza, 1982.
Husserl, Lógica formal y lógica trascendental, México, UNAM, 1962.
Immanuel Kant, Principios formales del mundo sensible y del inteligible (Disertación de 1770),
Madrid, CSIC, 1996.
Kant, Crítica de la razón pura, Madrid, Alfaguara, 1984.
Kant, Prolegòmens a tota metafísica futura que vulgui presentar-se com a ciència,
Barcelona, Laia, 1982.
Kant, Lógica (ed. Jäsche), Madrid, Akal, 2000.
Teodoro Lipps, Elementos de Lógica, Madrid, Daniel Jorro Editor, 1925.
Jan Lukasiewicz, La silogística de Aristóteles desde el punto de vista de la lógica formal
moderna, Madrid, Tecnos, 1977.
A. Pfänder, Lógica, Buenos Aires, Espasa-Calpe Argentina, 1938.
Helmut Seiffert, Introducción a la lógica, Barcelona, Herder, 1977.
Manuales de lógica matemática y temas conexos
Agazzi, E., La lógica simbólica, Barcelona, Herder, 1973.
Crossley, J. N., y otros, ¿Qué es la lógica matemática?, Madrid, Tecnos, 1983.
Dalla Chiara, M. L., Lógica, Barcelona, Labor, 1976.
Deaño, A., Las concepciones de la Lógica, Madrid, Taurus, 1980.
José Ferrater Mora y Hugues Leblanc, Lógica matemática, México, FCE, 1992.
David Hilbert y Wilhelm Ackermann, Elementos de lógica teórica, Madrid, Tecnos, 1975.
Richard C. Jeffrey, Lógica formal. Su alcance y sus límites, Pamplona, EUNSA, 1986.
Jean Ladrière, Limitaciones internas de los formalismos, Madrid, Tecnos, 1969.
Benson Mates, Lógica matemática elemental, Madrid, Tecnos, 1979.
Jesús Mosterín, Lógica de primer orden, Barcelona, Ariel, 1976.
Daniel Quesada, La Lógica y su Filosofía, Barcelona, Barcanova, 1985.
Willard V. O. Quine, Los métodos de la lógica, Barcelona, Ariel, 1981.
Patrick Suppes, Introducción a la Lógica Simbólica, México, Cía. Editora Continental, 1966.
Alfred Tarski, Introducción a la Lógica, Madrid, Espasa-Calpe, 1977.
Ernst Tugendhat y Ursula Wolf, Propedéutica lógico-semántica, Barna, Anthropos, 1997.
Manuales de historia de la lógica
J. M. Bochensky, Historia de la lógica formal, Madrid, Gredos, 1985.
William y Martha Kneale, El desarrollo de la lógica, Madrid, Tecnos, 1980.
P.H. Nidditch, El desarrollo de la lógica matemática, Madrid, Cátedra