UNIVERSIDAD PEDAGÓGICA NACIONAL

FACULTAD DE HUMANIDADES
Departamento de Ciencias Sociales
Licenciatura en Filosofía

Asignatura Lógica II Código Grupo

Profesor Ángela Rocío Bejarano Correo e. arbejaranoc@pedagogica.edu.co
Créditos Horario Martes 1-4 Año Periodo
Tipo
Obligatoria X Electiva
Fase del plan de estudios
Fundamentación X Profundización
Ambiente de formación
Pedagógico-didáctico X Disciplinar específico x
Investigativo-metodológico Comunicativo & TICs

1. Presentación
La enseñanza de la lógica es importante en un programa de filosofía porque permite a) fomentar intuiciones lógicas en los
estudiantes. b) fomentar habilidades argumentativas c) pensar con más orden los pensamientos propios y ajenos d)
fomentar la creatividad. e) fomentar el pensamiento crítico y formal.
 
Este curso tiene el objetivo de brindar herramientas suficientes para desarrollar habilidades lógicas, no solo por medio del
estudio de la lógica de predicados, su sintaxis, semántica y pragmática, sino por la aplicación de herramientas lógicas para
la evaluación de las prácticas inferenciales de cada estudiante.

2. Objetivos
Los y las estudiantes
Explorarán algunas herramientas para construir y evaluar deducciones, relaciones inferenciales.
Conocerán algunos problemas clásicos planteados a partir de la lógica de predicados
Conocerán estrategias y métodos de algunos sistemas formales clásicos y no clásicos
Desarrollarán sus intuiciones lógicas, usando nociones y técnicas propias del cálculo y teniendo en
cuenta los problemas clásicos estudiados en cada corte.

Desarrollarán habilidades lógicas por medio de juegos, paradojas y divertimentos

3. Metodología
Las sesiones estarán fundamentadas y planteadas de acuerdo con las referencias teóricas del curso. Todas las sesiones
contarán con un componente de práctica, en el que se pondrán en ejercicio las habilidades estudiadas en el curso, y un
componente teórico con el que se estudiarán los conceptos y los sistemas formales.

4. Evaluación
La evaluación constará de cuatro partes, cada una corresponde a cada unidad y equivale al 25% de la nota.
 5. Cronograma

Sesiones Tema Actividades en el aula

Sesión 1 Programa Presentación del espacio, los contenidos y las
Materia formas.
Taller inicial: Bach, Escher y Gödel
Sesión 2 y 3 Conceptos – rasgos distintos y sustanciales Talleres de identificación de conceptos y
Definición de concepto preceptos.

Creación de rasgos distintivos y sustanciales, en el

Predicados coextensionales.
Intensionalidad conceptual.
concepto considerado y propio
Ejercicio de construcción de predicados
coextensionales, a partir del concepto considerado
y propio

Sesiones 4 y 5 Conceptos – Tipología y relaciones Discusión del texto.

conceptuales Talleres de análisis conceptual

Relaciones lógicas Charla-taller acerca de herramientas derivadas de

la teoría de conjuntos para la construcción y
evaluación de conceptos

Construcción del concepto

Sesión 6 y 7 Nociones básicas de cálculo de predicados Discusión del texto

Taller de formalización
Formalización. Reglas y modos.
Creación de lenguaje

Sesión 8 y 9 Formalización del cálculo Ejercicios de formalización de expresiones

filosóficas
Oraciones burro
Construcción de formalización

Juego de las oraciones burro

 Sesión 10 y 11 Definición y análisis de propiedades Discusión del texto, ejercicios de deducción
deductivas del sistema lógico natural.

Análisis de propiedades lógicas usando el

sistema de deducción natural
Taller de construcción y evaluación de
argumentos.

Sesión 12 y 13 Análisis de propiedades lógicas usando Discusión del texto

lógicas no clásicas y no convencionales Taller de construcción de un sistema formal, con
propiedades lógicas

Sesión 14 y 15 .Análisis inferencial. Taller experimental de análisis de argumentos

Criterios lógicos para evaluar relaciones
inferenciales Ejercicios de evaluación inferencial

Sesión 16 y 17 Inferencias materiales Taller de construcción de autoanálisis

Estrategias formales de análisis inferencial

6. Bibliografía

Brandom, Robert. La Articulación de las Razones: Una Introducción al Inferencialismo. Madrid: Siglo XXI, 2003.
Caicedo, Xavier. Elementos de lógica y calculabilidad. Bogotá: Una empresa docente, Universidad de los Andes, 1990.
Carroll, Lewis. El juego de la lógica. Madrid: Alianza Editorial, 2002.
Cohen, Morris y Nagel, Ernest. Introducción a la lógica y al método científico I. Buenos Aires: Amorrortu editores, 2000.
Copi, Irving. Introducción a la Lógica. México: Limusa Noriega Editores, 2000.
Deaño, Alfredo. Introducción a la lógica formal. Madrid: Alianza, 1992.
Díez, A. Introducción a la Filosofía de la Lógica. Madrid: UNED, 2009.
Etchemendy, J.The Concept of Logical Consequence. Cambridge, Mass., London, England, Harvard University Press,
1990.
Frege, Gottlob. Conceptografía. Hugo Padilla (Trad.). México D.F: Instituto de investigaciones filosóficas, 1972.
Frege, Gottlob. Posthumous Writings. Hermes, Hans; Kambartel, Friedrich y Kaulbach, Friedrich (Eds.). Oxford: Basil
Blackwell, 1979.
Gamut, L.T.F. Logic, Language and Meaning. Volúmenes 1 y 2. Chicago: The University of Chicago Press, 1991.
Gómez Torrente, M. “Constantes Lógicas”. En Frápolli (2008a), 2008, pp. 179-206
Guétmanova, A. Lógica. URSS: Editorial Progreso, 1986.
Haack, S. Filosofía de las Lógicas. Madrid, Cátedra, 1978.
Frápolli, M.J. The Nature of Truth. Capítulo V, sección 5.3, Springer, 2012.
Mosterín, J. Diccionario de Lógica y Filosofía de la Ciencia. Madrid: Alianza Editorial, 2010.
Páez, Andrés. Introducción a la Lógica moderna (2° edición). Bogotá: Ediciones Uniandes, 2010.
Priest, Graham. Logic A very short Introduction. Oxford: Oxford University Press – New Delhi, 2000.
Recanati, François. Significado literal. Madrid: Lingüística y conocimiento, 2004.
Sagüillo, J.M. “Validez y Consecuencia Lógica. La Concepción Clásica”. En Frápolli (2008a), pp. 55-82, 2008.
Sommers, Fred y Englebretsen, George. An invitation to formal reasoning – The Logic of Terms. Vermont USA: Ashgate
Publishing, 2000.
Tidman, Paul y Kahane, Howard. Logic and Philosophy. Belmont: Wadsworth, 2003.