FACULTAD DE CIENCIAS SOCIALES Y HUMANAS

Procesos académicos
Programa de

Nombre del curso: Lógica Formal y Lógica Matemática

Docente responsable: Sarmiento Reyes Juan Carlos
E-mail: logicaexternado@gmail.com

Período Académico: 2019-3 Código: CS0378 Créditos: 4

Intensidad Horaria: 4 horas semanales
Modalidad: Teórica

Presentación

La asignatura de Lógica Formal y Matemática se desarrolla en tres momentos. En la primera parte se trabaja el
lenguaje y sus funciones, el lenguaje científico y su carácter formal-informativo en contraste con los lenguajes
naturales. En la segunda, se revisan los contenidos básicos de la lógica formal: la teoría del concepto, la teoría del
juicio y la teoría del razonamiento. Y, en la tercera, se estudian algunos temas introductorios a la lógica matemática
desarrollada por Frege, Russell, Whitehead y Wittgenstein: el lenguaje lógico-matemático, el análisis de certeza, las
tablas de verdad, las inferencias y las equivalencias. El curso culmina con una introducción a las lógicas no-
ortodoxas como posible caja de herramientas alternativa para las ciencias sociales. Durante el desarrollo de todo el

1
programa se establecen, de distintas maneras, relaciones conceptuales con el empirismo moderno, los positivismos:
decimonónico y lógico, y otros temas del Seminario Central II.

Justificación

Es imprescindible para el estudiante de cualquier disciplina científico-social (antropología, sociología, psicología,

historia, geografía, trabajo social, filosofía, etc.) conocer la manera como se construye el pensamiento científico
(lógica de las ciencias), desde la simple formación de los conceptos hasta la formulación de las proposiciones y el
desarrollo de inferencias y argumentaciones que hacen de las ciencias un saber racional o razonable. En consonancia
con el Seminario Central II, es necesario que el estudiante adquiera adicionalmente algunas herramientas
conceptuales que le permitan comprender el carácter lógico de los principales productos de las ciencias nomotéticas,
es decir, la estructura interna de las leyes, las teorías y los modelos científicos. Finalmente, se requiere también que
el futuro científico social conozca y utilice algunos otros conocimientos lógico-matemáticos que le permitan
comprender mejor las formas típicas de razonar dentro de su disciplina específica. En este último sentido, las lógicas
no-ortodoxas se le ofrecen como materia de estudio posible en busca de una caja de herramientas alternativa para
su disciplina.

Consideraciones sobre los contenidos teóricos y/o conceptuales básicos del programa
Lógica inductiva, lógica deductiva, lógica analógica y lógica abductiva en procesos y procedimientos científicos
tales como: la observación, la comparación, la clasificación, la categorización, la medición, la verificación, la
falsación, la legalización, la teorización; etc.

2
 Objetivo General

Adquirir conocimientos básicos de lógica científica, y algunas habilidades demostrativas, para la comprensión y
construcción de pensamiento científico-social.

Objetivos Específicos

Cognoscitivos:

● Iniciarse en el conocimiento de los primeros productos del pensamiento racional, según la lógica clásica:
conceptos, juicios y demostraciones.

● Comprender algunas relaciones fundamentales entre los lenguajes naturales, el lenguaje científico y el
lenguaje lógico.

● Identificar la simbología lógico-matemática y el procedimiento para realizar, con base en estas

representaciones proposicionales, un adecuado análisis de certeza.

● Conocer el fundamento lógico y uso de las inferencias y equivalencias tautológicas.

● Relacionar, por una parte, el saber lógico clásico con el empirismo moderno; y por otra, ambas formas
lógicas (clásica y matemática) con el positivismo lógico.

● Conocer algunas de los problemas lógicos fundamentales que permiten el análisis crítico de los postulados
empiristas y positivistas.

● Introducirse en el conocimiento de la existencia de lógicas alternativas, como la lógica de los sistemas

complejos.

Instrumentales:

3
● Iniciar un entrenamiento en el diseño y ejecución de proyectos de investigación con las herramientas lógicas
estudiadas y, para el caso específico, en investigaciones de tipo empírico-positivista.

● Aplicar los conceptos fundamentales de la lógica clásica y de la lógica matemática a los ejercicios de
investigación que se adelanten de carácter explicativo, empírico o experimental.

● Desarrollar, en un nivel básico, habilidades para entablar discusión en torno a las posturas epistemológicas
del empirismo y del positivismo, con base en el conocimiento previo de los fundamentos lógicos que las atraviesan.

Actitudinales:

● Valorar adecuadamente la importancia de la lógica en el estudio de las ciencias sociales y humanas.

● Apropiarse del valor dado al saber lógico, particularmente por las corrientes epistemológicas del empirismo
moderno y el positivismo.

● Motivarse por el estudio de la lógica y su relación con el lenguaje humano, como una manera particular e
importante de dar cuenta de los fenómenos sociales, históricos, laborales, psicológicos, antropológicos, entre otros,
desde tres puntos de vista: natural, científico y filosófico.

● Despertar un gusto especial por el saber racional y razonable como la forma típica de apropiación del mundo
la ciencia.

● Interesarse por la discusión que puede gestarse desde la lógica y la epistemología en torno a las propuestas
del empirismo y el positivismo, así como a su presencia y vigencia al interior de las ciencias sociales.

Metodología

4
 La metodología utilizada durante las clases es variada: lectura previa, explicaciones del profesor, socialización de
talleres elaborados por los estudiantes, elaboración de ensayos y otros escritos, conversatorios sobre algunos
problemas, ejercicios orales y escritos; y, eventualmente, exposiciones de algunos temas por parte de los estudiantes.

Evaluación

Primer Parcial: Usos del lenguaje, Introducción a la lógica y el concepto 15%

Taller: definiciones 10%
Segundo Parcial: el juicio 15%
Tercer Parcial: el razonamiento/parcial, conversatorio o talleres 15%
Otros: Talleres, ejercicios en clase, controles de lectura; etc. 15%
Examen final: lógica matemática 30%

Ajustes y/o actualizaciones

SSe ajustaron porcentajes de fechas y porcentajes de evaluación.

N°
Sesión Desarrollo de las sesiones Lecturas
Fecha básicas
1 -Presentación de la asignatura: objetivos, Programa de la asignatura
contenidos, metodología, evaluaciones,
bibliografía, “reglas de juego” …
2 Ejercicio inicial: la avenida complicada

5
3 -Funciones del lenguaje: Contextualización SARMIENTO (2018)
histórica: la matemática y su
fundamentación

4 -Funciones del lenguaje: Contextualización

histórica: matemática, lógica y lenguajes.

SARMIENTO (2018)
5 -Importancia de la lógica. COPI (1979, pp. 2-8). Lectura I en el drive
logicaexternado@gmail.com

-Tipos de razonamiento: primeras ideas SARMIENTO (2018)

sobre la inducción. Elaborar inducciones
completas e incompletas.
Taller con los estudiantes.

6 -Funciones del lenguaje: las tres -COPI (1962/1969) Primera parte, capítulo II. “Los
principales funciones usos del lenguaje”. Lectura II en el Drive

-SARMIENTO (2018): Explicación ‘usos del lenguaje’

7 Funciones del lenguaje: acuerdos y -SARMIENTO (2018) ‘Taller de usos del lenguaje’
desacuerdos, palabras emotivamente
neutras
-[Explicación de la guía para el taller].
Iniciación del taller en clase.
Taller: usos del lenguaje: ajustes y entrega
8 -Comentarios sobre el taller y conclusiones COPI (IDEM)
del tema sobre usos del lenguaje
Nociones generales de Lógica: definición, SARMIENTO (2018)
distinción, objeto, método y propósito
9 -El concepto: Noción y características
SARMIENTO (2018): El concepto

6
 -El concepto: extensión y comprensión,
Ejercicios en clase con la guía.
10
El concepto: clasificación SARMIENTO (2018)
11 El concepto: definición. Llevar diccionario COPI (1983): la definición
de la disciplina para la clase. Adelanto de SARMIENTO (2018): Taller de definiciones
taller.
-[Explicación de guía para el taller]
12 [Primer Parcial: Usos del lenguaje,
introducción a la lógica y concepto 15%]
13 -[Retroalimentación del parcial de
concepto]
PARCIALES
-[Entrega de los estudiantes del taller de
definiciones 15%]
14 -El juicio: noción, características, forma
lógica SARMIENTO (2018): El juicio

15
-El juicio: clasificación por cantidad,
SARMIENTO (2018): El juicio
cualidad y modalidad; ejercicios en clase
16
Clasificación de los juicios por relación; SARMIENTO (2018)
ejercicios en clase

17
DICCIONARIO ESPAÑOL (llevar a clase alguno).
-Concurso de definiciones
Leer el instructivo previamente y llevarlo impreso a la
clase (SARMIENTO, 2018)

18 -Lógica matemática: introducción (origen, SARMIENTO (2018)

simbolización y tablas de verdad)
--Entrega de notas a los estudiantes del
30%.
-Entrega de notas parciales a coordinación
30%
19 Lógica matemática: primeras reglas de MARQUÍNEZ (1988): Reglas de la inferencia
inferencia SARMIENTO (2018)

7
20 -Segundo parcial: el juicio (15%)

21 -Retroalimentación del segundo parcial

Lógica matemática: análisis de certeza MARQUÍNEZ (1988): Análisis de certeza
(adelanto del texto guía) SARMIENTO (2018)
22 -Lógica matemática: primeras reglas de -MARQUÍNEZ (1988): Reglas de la inferencia
inferencia -SARMIENTO (2018)
23 -La oposición entre las proposiciones: SARMIENTO (2018)
primeras reglas lógicas
24 SARMIENTO (2018)
-Lógica matemática: otras reglas de MARQUÍNEZ (1988): IDEM
inferencia

25
-La oposición entre las proposiciones e
inferencias inmediatas: vectores y falsación -SARMIENTO (2018): El razonamiento

26 -Lógica matemática: demostraciones con SARMIENTO (2018)

las reglas de inferencia [ejercicios] MARQUÍNEZ (1988): Reglas de la inferencia
27
-Lógica matemática: demostraciones con SARMIENTO (2018)
las reglas de inferencia [ejercicios] MARQUÍNEZ (1988): Inferencias

28
-Estructura lógica de las leyes, las teorías y
los modelos científicos
29
Tercer parcial: razonamiento.
Conversatorio Grupo I (15%)
SARMIENTO (2018)
-Páramo, G. (1989). Lógica de los mitos. Lógica
paraconsistente. Una alternativa en la discusión
sobre los mitos. Bogotá, Colombia: Universidad
Nacional. En: Revista Ideas y Valores. Ponencia en el
5° Congreso de Antropología en Villa de Leyva
(Boyacá), octubre de 1989.

8
30
Tercer parcial: razonamiento.
Conversatorio Grupo II (15%)
31
Tercer parcial: razonamiento.
Conversatorio Grupo III (15%)
32
Tercer parcial: razonamiento.
Conversatorio Grupo III (15%)
Páramo, G. (1989). Lógica de los mitos. Lógica
paraconsistente. Una alternativa en la discusión
sobre los mitos. Bogotá, Colombia: Universidad
Nacional. En: Revista Ideas y Valores. Ponencia en el
5° Congreso de Antropología en Villa de Leyva
(Boyacá), octubre de 1989.
-Páramo, G. (2000). Mito y consistencia lógica. En:
Revista Académica Colombiana de Ciencia. (pp. 24-
93)
-SARMIENTO (2018, pp. 113-127)
Páramo, G. (1989). Lógica de los mitos. Lógica
paraconsistente. Una alternativa en la discusión
sobre los mitos. Bogotá, Colombia: Universidad
Nacional. En: Revista Ideas y Valores. Ponencia en el
5° Congreso de Antropología en Villa de Leyva
(Boyacá), octubre de 1989.
-Páramo, G. (2000). Mito y consistencia lógica. En:
Revista Académica Colombiana de Ciencia. (pp. 24-
93)
-SARMIENTO (2018, pp. 113-127)
Páramo, G. (1989). Lógica de los mitos. Lógica
paraconsistente. Una alternativa en la discusión
sobre los mitos. Bogotá, Colombia: Universidad
Nacional. En: Revista Ideas y Valores. Ponencia en el
5° Congreso de Antropología en Villa de Leyva
(Boyacá), octubre de 1989.
-Páramo, G. (2000). Mito y consistencia lógica. En:
Revista Académica Colombiana de Ciencia. (pp. 24-
93)
-SARMIENTO (2018, pp. 113-127)
9
33 Examen final [30%] DEMOSTRACIONES DE LÓGICA MATEMÁTICA
34 Entrega de notas finales a los estudiantes

EXISTE EN LA
BIBLIOTECA
BIBLIOGRAFIA BASICA SI NO
Bibliografía de libro

-ALCHOURRÓN, C. (1995). Lógica. Madrid, España: Trotta. X

-BARREIRO, T. (1970). Lógica dinámica. Barcelona, España: Kapelusz. X
BOBENRIETH, A. (1996) Andrés. Inconsistencias ¿por qué no?: un estudio filosófico sobre lógica
paraconsistente. Bogotá: Tercer Mundo, 1996.
-BOCHENSKI, I. (1976). Historia de la Lógica Formal. Madrid, España: Gredos. X
-COPI, I. (1979). Introducción a la lógica. Bs. As., Argentina: Eudeba.
-MARQUINEZ, G. (1988). Lógica. Bogotá, Colombia: Usta. X
-PADILLA, H. (1992). El pensamiento científico. México: Trillas. X
-POPPER, K. (1972). Conjeturas y refutaciones: el desarrollo del conocimiento científico. X
Barcelona, España: Paidós.
-REICHENBACH, H. (1975). La filosofía científica. México: F.C.E. X
SARMIENTO, J. (2006). El origen de las lógicas no clásicas. Revista Carta de Psicología. Nº 26 a X
30. Bogotá, Colombia: Universidad Católica de Colombia.
-SARMIENTO, J. (2018). Lógica Formal y Lógica Matemática- Texto Guía- Bogotá, Colombia X
Universidad Externado de Colombia

Bibliografía de revista

MALDONADO, C. (2005). ¿Por qué hay múltiples lógicas? Zero, 15, Bogotá, 112-117. X
MALDONADO, C. (2006). La lógica del tiempo. Zero, 16, Bogotá, 124-128. X
MALDONADO, C. (2006). Las lógicas (3): lógicas paraconsistentes. Zero, 17, Bogotá, 148-152 X

Bibliografía de página electrónica

10
http://librodenotas.com/cienciasyletras/17802/logica-matematica-y-teorema-de-goedel
http://www.dgdc.unam.mx/Hipercuadernos/Godel/Intro.html
GÓMEZ, U. (2001). Lógica matemática para niños. Oviedo, España: Servicio de Publicaciones de
la Universidad de Oviedo. [recuperado de Google libros]
GONZÁLEZ, A. (1979). Introducción a la lógica matemática. Oviedo, España: Servicio de
Publicaciones de la Universidad de Oviedo. [Recuperado de Google libros]
OBESO, V & BURGOS, H. (2007). Lógica matemática: notas de clase. Barranquilla, Colombia:
Uninorte. [Recuperado de Google libros].

BIBLIOGRAFIA COMPLEMENTARIA

-ARISTÓTELES. (1982). Obras. Madrid, España: Aguilar.

-BOCHENSKI, J. (1976). Compendio de Lógica matemática. Madrid, España: Paraninfo.
-CAMARENA, M. (1992). Leyes, Teorías y Modelos Científicos. México: Trillas.
-COHEN, M. (1983). Introducción a la Lógica y al método científico. Bs. As., Argentina: Amorrortu.
-COPI, I. & NAGEL, E. (1969). Introducción a la lógica. Bs. As., Argentina: Eudeba.
-FERRATER, J. (1955). Lógica matemática. Bs. As., Argentina: F.C.E.
-MARTÍNEZ, P. (1978). Filosofía de la ciencia empírica. Madrid, España: Paraninfo.
-SARMIENTO, J. (2018). Lógica formal y matemática. Bogotá, Colombia: U. Externado de Colombia.
-SARMIENTO, J. (2011). Creer, saber y conocer: una nueva visión epistémica, sistémica y social del conocimiento
humano. Berlín, Alemania: LAP LAMBERT Academic Publishing, GmbH.
-VALENZUELA, J. (1976). Lógica de las ciencias. Bogotá, Colombia: Comex.

11