Universidad Complutense de Madrid - Facultad de Filosofía - Departamento de Lógica y Filosofía Teorética
Soledad H. Bermúdez
LÓGICA II
Curso 2020-2021. Segundo semestre.
PRESENTACIÓN Y DESCRIPCIÓN DEL CURSO:
- Descriptor breve: La asignatura de Lógica II constituye una introducción a los problemas,
conceptos y métodos básicos de la lógica clásica y los problemas contemporáneos.
- Metodología: La asignatura de Lógica II consta de 34 horas teóricas y 18 horas prácticas
compuestas de lecturas, problemas y ejercicios.
- Competencias:
- Generales:
- Expresarse con rigor en el ámbito científico y profesional propio.
- Saber localizar y seleccionar la información relevante sobre un tema concreto.
- Saber presentar convenientemente sea oral o por escrito los resultados del
estudio y la investigación.
- Saber advertir problemas y plantear posibles soluciones al mismo.
- Desarrollar una capacidad de estudio autónomo.
- Saber afrontar nuevos problemas y situaciones.
- Conocer y manejar las tecnologías de información y comunicación aplicadas al
estudio y ejercicio profesional de la filosofía.
- Transversales:
- Conocer la terminología filosófica fundamental, saber emplearla adecuadamente
y reconocer su uso indebido, inexacto, impreciso o ambiguo.
- Comprender un texto filosófico, identificar en él las ideas planteadas, resumirlas
y presentarlas sucintamente.
- Conocer las fuentes, teorías y argumentos que históricamente han planteado los
más importantes filósofos, manejar sus escritos fundamentales y tener un
conocimiento básico de sus interpretaciones más importantes.
- Conocer los modos y las reglas básicas de la argumentación.
- Saber analizar lógicamente una comunicación oral o escrita para detectar en
ellas contradicciones, ambigüedades, falacias, etc.
- Tener capacidad de analizar, sintetizar e interpretar datos filosóficos relevantes
de índole cultural, social, política, ética o científica, y de emitir juicios
reflexivos y críticos sobre ellos.
- Reconocer la relevancia de otras disciplinas para la actividad filosófica, así
como la necesidad de reflexionar sobre sus aportaciones y límites.
- Específicas:
- Conocer la historia de la lógica y entender sus máximos planteamientos.
- Saber desarrollar y emplear las formas básicas de la lógica, aplicándola al
análisis lógico de textos de distinta índole y reconociendo contradicciones y
otros tipos de problemas en los distintos modos de argumentar.
- Conocer y comprender las ideas fundamentales con que se construye una teoría
de la lógica de primer orden.
- Capacidad para definir lenguajes formales y llevar a cabo derivaciones formales.
1
Universidad Complutense de Madrid - Facultad de Filosofía - Departamento de Lógica y Filosofía Teorética
Soledad H. Bermúdez
- Capacidad de análisis y formalización de demostraciones.
- Habilidad para distinguir y describir teóricamente la estructura argumentativa de
discursos razonados.
- Evaluación del alumnado y del profesorado:
- Globalmente 2/3 de la evaluación corresponderá a créditos teóricos y 1/3 a créditos
prácticos, que se repartirán de la siguiente manera:
- 32 horas de clases teóricas donde se impartirá la asignatura a través de método
dialógico.
- 18 horas de clases prácticas donde se solicitará al alumno el comentario de
lecturas, la exposición de ideas o teorías, la cumplimentación de un glosario, y la
realización de algunos ejercicios al respecto de cada parte teórica.
* Todo el material teórico, textos y ejercicios prácticos se facilitarán al
estudiante a través de la plataforma moodle o aula virtual.
* La asistencia a clases de forma presencial u online y la participación en las
mismas de forma efectiva, será esencial para aprobar la asignatura.
- El examen final constará de preguntas a desarrollar por el alumno que muestren
su capacidad crítica, argumentativa y problematizadora.
- El profesorado será evaluado en su función antes y después de la impartición de la
asignatura y una vez durante el curso, por la universidad.
- Contenido:
1. ¿QUÉ ES LA LÓGICA Y QUE UTILIDAD TIENE?
1.1. Una breve historia de la Lógica
1.2. Lógica clásica (Sent, FOL y SOL)
1.3. Lógicas no-clásicas
2. ¿ES POSIBLE CALCULARLO TODO?
2.1. Reglas de deducción natural
2.2. Cláusulas semánticas
2.3. Deducción en S y FOL
2.4. Mundos posibles
2.5. Teoría de modelos
3. METALÓGICA
3.1. El fin definitivo de la Ilustración en lógica: su deconstrucción
3.2. Corrección o cómo sé que todo lo que puedo probar es verdadero y Consistencia
o cómo sé que no hay contradicciones en mi sistema
3.3. Completitud o cómo sé que todo lo que es verdadero lo puedo probar
3.4. Decidibilidad o cómo sé cuando algo es o no verdadero
4. TEORÍA DE LA ARGUMENTACIÓN
4.1. Una definición de argumento y argumentación
4.2. El modelo de Toulmin
4.3. Falacias y patrones argumentativos
4.4. Critical Thinking
2
Universidad Complutense de Madrid - Facultad de Filosofía - Departamento de Lógica y Filosofía Teorética
Soledad H. Bermúdez
- Temporalización:
SESIÓN: FECHA: TEMARIO:
1. ¿QUÉ ES LA LÓGICA Y QUE UTILIDAD TIENE? (10 horas)
SESIÓN 1 11 febrero Una breve historia de la Lógica
SESIONES 2-4 12, 18 y 19 febrero Lógica clásica (Sent, FOL y SOL)
SESIÓN 5 25 febrero Lógicas no-clásicas
2. ¿ES POSIBLE CALCULARLO TODO? (14 horas)
SESIONES 6-8 26 feb, 4 y 5 marzo Reglas de deducción natural
SESIÓN 9 11 marzo Cláusulas semánticas
SESIÓN 10 12 marzo Deducción en Sent y FOL
SESIÓN 11 18 marzo Mundos posibles
SESIÓN 12 25 marzo Teoría de modelos
3. METALÓGICA (14 horas)
SESIÓN 13 26 marzo El fin definitivo de la Ilustración en lógica: su deconstrucción
SESIÓN 14 8 y 9 abril Corrección o cómo sé que todo lo que puedo probar es verdadero y Consistencia
o cómo sé que no hay contradicciones en mi sistema
SESIÓN 15-16 15 y 16 abril Completitud o cómo sé que todo lo que es verdadero lo puedo probar
SESIÓN 17-18 22 y 23 abril Decidibilidad o cómo sé cuando algo es o no verdadero
4. TEORÍA DE LA ARGUMENTACIÓN (14 horas)
SESIÓN 19 29 abril Una definición de argumento y argumentación
SESIÓN 20-21 30 abril y 6 mayo El modelo de Toulmin
SESIÓN 22-23 7 y 13 mayo Falacias y patrones argumentativos
SESIÓN 24-25 14 y 20 mayo Critical Thinking
3
Universidad Complutense de Madrid - Facultad de Filosofía - Departamento de Lógica y Filosofía Teorética
Soledad H. Bermúdez
- Bibliografía:
- ALMOSSAWI. (2013). An illustrated book of bad arguments. Printed Books, USA.
- BADESA, JANÉ y JANSANA. (2000). Elementos de lógica formal. Ariel, Barcelona, 2ª
edición 2007.
- BERMEJO. (2014). Falacias y Argumentación. Plaza y Valdés, Madrid.
- DÍEZ CALZADA. Iniciación a la lógica, Ariel, Barcelona, 2002.
- JEFFREY. (1999). Lógica formal: su alcance y sus límites. Univ. Navarra
- MANZANO y HUERTAS. Lógica para principiantes, Alianza Editorial, Madrid, 2004.
- MARAFIOTI. (2003). Los patrones de la argumentación. La argumentación en los
clásicos y en el siglo XX. Editorial Biblos, Buenos Aires.
- MARRAUD. (2013). ¿Es lógic@? Cátedra, Madrid.
- MARRAUD y NAVARRO. (1988). Sistemas deductivos tipo Gentzen. Problemas de
lógica de Primer Orden. Ediciones de la Universidad Autónoma de Madrid, Madrid.
- PERELMAN y OLBRECHTS-TYTECA. (2015). Tratado de la argumentación. La nueva
retórica. Gredos, Madrid.
- PRIEST. (2008). An Introduction to Non-Classical Logic. (2ª ed). Cambridge University
Press
- PRIOR. (1976). Historia de la Lógica. Editorial Tecnos, Madrid.
- TOULMIN. (2019). Los usos de la argumentación. Marcial Pons, Madrid.
- VAN EEMEREN y GROOTENDORST. (2013). Los actos de habla en las discusiones
argumentativas. Ediciones Universidad Diego Portales, Santiago de Chile.
- VEGA REÑÓN. (2003). Si de argumentar se trata. Montesinos, Madrid.
- VEGA REÑÓN. (2013). La fauna de las falacias. Trotta, Madrid.
- WALTON. (1992). The place of emotion in argument. The Pennsylvania University
Press, USA.
4
