Programa de estudio

1.-Área académica
Humanidades

2.-Programa educativo
Filosofía

3.-Dependencia académica
Filosofía

4.-Código 5.-Nombre de la EE 6.-Área de 6.1. Área de

formación formación
(principal) (secundaria)
FFID20006 Lógica: cálculo de enunciados Disciplinar

7.-Valores de la experiencia educativa

Créditos Teoría Práctica Total Horas Equivalencia (s)
12 6 0 90 Lógica II

8.-Modalidad 9.-Oportunidades de evaluación

Curso Todas

10.-Requisitos (s)
Pre-requisitos: Haber acreditado la E.E. Co-requisitos
Lógica: silogística

11.-Características del proceso de enseñanza aprendizaje

Grupal Máximo 30 Mínimo 10

12.-Agrupación natural de la EE (áreas de

conocimiento, academia, ejes, módulos, 13.-Proyecto integrador
departamentos)
Academia: Lógica e instrumental

14.-Fecha
Elaboración Modificación Aprobación
23 de mayo del 2007 22 de junio de 2017 18 de julio del 2007

15.-Nombre de los académicos que participaron en la elaboración y/o modificación

Martha Vanessa Salas del Angel y Ariel Félix Campirán Salazar
16.-Perfil del docente
Licenciado en filosofía, preferentemente con estudios de posgrado en filosofía, cursos del
MEIF, y cursos de actualización sobre lógica.

17.-Espacio 18.-Relación disciplinar

Institucional Interdisciplinar

19.-Descripción
Esta experiencia educativa es un curso que: se ubica en el Área de formación disciplinar,
con seis horas teóricas, con un valor de doce créditos. Da continuidad al conocimiento y
desarrollo de las habilidades de pensamiento crítico y el empleo de razonamientos claros y
rigurosos para que el estudiante mejore su habilidad en el análisis lógico-conceptual, a
través del estudio de la lógica proposicional o de enunciados a fin de que el estudiante
amplíe su conocimiento y manejo de los métodos de análisis lógico-conceptual de los
argumentos, y le permitirá reconocer que ella es un instrumento imprescindible para el
ejercicio de una tarea seria en filosofía.
El estudiante conoce y maneja la lógica de enunciados como una herramienta de análisis
para establecer con objetividad la validez o invalidez de argumentos deductivos, lo anterior
se llevará a cabo mediante el estudio de las reglas y métodos que la definen.
Este estudio estará dirigido a desarrollar la habilidad para el análisis y evaluación de los
argumentos deductivos de primer orden, los cuales considerará en sus lecturas y
discusiones filosóficas, mostrando en todo momento actitudes de respeto, responsabilidad y
colaboración.
Asimismo, presentará evidencias de desempeño tales como: exposición oral y escrita,
elaboración de ejercicios y tareas, y un examen.

20.-Justificación
La importancia de la experiencia educativa Lógica: cálculo de enunciados se justifica
porque el empleo y análisis de argumentos desde la perspectiva de esta lógica clásica de
primer orden es de suma importancia en el quehacer filosófico y quehacer lógico de otras
disciplinas como la matemática, la lingüística, la informática y el derecho, entre otras. Con
esta EE se continúa el estudio de la lógica como herramienta metódica y metodológica para
discernir entre argumentos válidos de los pseudos-argumentos mediante el criterio de
validez formal e intuitiva propias de esta lógica, la cual proporciona una utilidad
fundamental, ya que el ámbito de su aplicación alcanza esferas del saber diferentes a la
filosofía, es decir, es un instrumento en la práctica de la investigación científica, artística y
la reflexión filosófica. El estudiante de filosofía requiere en su perfil herramientas lógico-
formales que le permitan analizar el discurso filosófico por ello es conveniente que
continúe con el conocimiento y la práctica de las herramientas que le proporciona la lógica
de enunciados. Actualmente, la educación en el nivel superior señala la importancia y
necesidad de desarrollar en el estudiante herramientas analíticas y crítico-creativas, por lo
cual se hace indispensable para el filósofo el empleo y dominio de las técnicas del análisis
lógico que en este curso se presentarán.
Finalmente, este curso pertenece a la academia de Lógica e Instrumental y debido a su
carácter formativo está estrechamente vinculado con los cursos de Lógica: Silogística y
falacias, Lógica: Semántica y teoría lógica, Análisis Filosófico, Filosofía del lenguaje y
Discusión filosófica.

21.-Unidad de competencia
El estudiante realiza lecturas de textos que tratan los temas del curso; evalúa argumentos en
textos filosóficos mediante diferentes métodos y técnicas presentadas en el curso para
determinar validez o invalidez formal; emplea algunas tácticas para el análisis lógico en los
diferentes discursos en donde se manejen argumentos que deban analizarse a través de la
lógica de enunciados o de alguna de sus extensiones cuando presenten formas no estándar.
Así mismo se discutirán los límites del cálculo de enunciados y la necesidad del cálculo de
predicados, mostrando en todo momento actitudes de colaboración y objetividad tanto en
las evaluaciones como en las discusiones, a fin de identificar y evitar argumentos falaces
tanto en los discursos escritos como en los orales.

22.-Articulación de los ejes

Los alumnos identifican y comprenden los diversos tópicos, métodos, problemas y límites
de la lógica de enunciados de primer orden, mediante lecturas, exposiciones, discusiones y
bitácoras (eje teórico), en grupo y de manera individual en un marco de orden, mesura y
compromiso (eje axiológico). Asimismo, algunos de los temas presentados se ponen en
práctica a partir de ejercicios analítico-creativos (eje heurístico), mismos que se revisan y
discuten en grupo (eje teórico, heurístico y axiológico).

23.-Saberes
Teóricos Heurísticos Axiológicos
 Historia de la lógica  Búsqueda de  Orden
 Ubicación histórica información o Apertura
de la lógica formal  Comprensión: o Participación
 Conceptos básicos de la conceptual analítica o Colaboración
lógica de enunciados: formal analítica  Compromiso
 Enunciado  Manejo de las tácticas: o Rigor
 Definición de Identificación para el o Tolerancia
Lógica de análisis  Mesura
enunciados de lógico o Respeto
primer orden Empleo en la o Confianza
 Simbolización argumentación  Creatividad
 Conectivos lógicos  Comparación de las o Perseverancia
 Forma lógica diferentes técnicas para o Autocrítica
tautología el análisis lógico de
contingencia enunciados
contradicción  Clasificación de las
 Verdad lógica falacias formales
 Validez  Construcción de
 Argumento de ejemplos y
primer orden contraejemplos
 Métodos de validez
Tablas de verdad
(semántica)
Prueba formal
Demostración
condicional
Condicional reforzada
Demostración indirecta

 Introducción al cálculo
de predicados
Proposiciones generales
Proposiciones singulares
Funciones
proposicionales

24.-Estrategias metodológicas
De aprendizaje De enseñanza
Búsqueda de información Exposición de temas
Revisión de textos Esquemas conceptuales
Reporte de lectura Análisis de conceptos
Diálogo grupal Discusión de conceptos presentados
Presentación de mapas conceptuales Lectura analítica
Exposición temática Presentación de conclusiones
Realización de ejercicios Guía en la realización de ejercicios

25.-Apoyos educativos
Materiales didácticos Recursos didácticos
Textos: libros impresos y electrónicos, Aula
artículos en revistas impresas y en línea, Pintarrón
enciclopedias, Internet. Plumones
Equipo de cómputo
Internet

26.-Evaluación del desempeño

Evidencia (s) de
Criterios de desempeño Campo (s) de aplicación Porcentaje
desempeño
Reportes de Claridad teórica Aula escolar 10%
lectura Coherencia conceptual Instituciones educativas y
Rigor lógico culturales
Creatividad Medios de comunicación
Reflexividad
Elaboración de Claridad teórica Aula escolar 20%
ejercicios Coherencia conceptual Instituciones educativas y
Rigor lógico culturales
Puntualidad Medios de comunicación
Examen Claridad teórica Aula escolar 70%
Coherencia conceptual
Rigor lógico

27.-Acreditación
Para acreditar esta experiencia educativa el alumno deberá obtener al menos un 60% en la
suma de los porcentajes de las evidencias de desempeño, y para tener derecho al examen
ordinario deberá haber asistido al 80% de las sesiones como mínimo.
Es requisito que el alumno cumpla con productos en todas las evidencias para ser
evaluado.
28.-Fuentes de información
Básicas
Bochensky, I. M., Historia de la lógica formal, Edit. Gredos, Madrid, 1976. (Introducción
y Cap. II)
Brody, Boruch A. “Logical terms, Glossary Of”, en Edwards, Paul, Encyclopedia of
Philosophy, Vol. 5-6, MacMillan Publishing Co., Inc. & The Free Press, New York. Pp.
57-77.
Blumberg, Albert, “Logic, Modern”, en Edwards, Paul, Encyclopedia of Philosophy, Vol.
5-6, MacMillan Publishing Co., Inc. & The Free Press, New York. Pp. 12-34.
Campirán, A., “El método y la enseñanza de la lógica”, en Guevara, G., (comp.) La Razón
Comunicada III: materiales del taller de didáctica de la lógica, Ed. Torres Asociados,
2004. Pp. 67-76.
Copi, I., Cohen C., Lógica Simbólica, Edit. CECSA, México, 1997.
Deaño, Alfredo, Introducción a la Lógica Formal, Madrid, Alianza, 1982.
_______, “La lógica de primer orden como cálculo de deducción”
_______, “Las lógicas llamadas no-clásicas”
Freund, Max, “Lógica de enunciados”, en Amor J. A., (comp.) La Razón Comunicada IV:
materiales del taller de didáctica de la lógica, Ed. Torres Asociados, 2005. Pp- 27-46.
GAMUT, L.T.F., Introducción a la lógica. Edit. EUDEBA, Bs. As., 2002. (GAMUT
Pseudónimo colectivo de: J. Van Benthem, J. Groenendijk, D.H. De Jongh, M. Stohof y H.
Verkuyl. Traducción de la versión inglesa Logic, Language and Meaning, vol.1:
Introduction to Logic. The University of Chicago Press, Chicago and London, 1991.)
Garrido, Manuel, Introducción a la lógica, Edit. Tecnos, Buenos Aires, 1997.
Garrido, Manuel, Lógica Simbólica, Edit. Tecnos, Buenos Aires, 1997.
Manzano, María, “Divergencia y rivalidad entre lógicas”, pp.277-311, en Filosofía de la
lógica, Enciclopedia Iberoamericana de Filosofía, t. 27, Madrid, Trotta, 2004.
Mates, Benson, Lógica matemática elemental, Madrid, Tecnos, 1970. (Apéndice que trata
sobre historia de la lógica)
Morado, Raymundo, “Problemas filosóficos de la lógica no-monotónica”, pp. 313-337, en
Filosofía de la lógica, Enciclopedia Iberoamericana de Filosofía, t. 27, Madrid, Trotta,
2004.
Nidditch, P.H. El Desarrollo de la Lógica Matemática, Madrid, Cátedra, Colección
Teorema, 5ª. Ed. 1995.
Orayen, R., Lógica, significado y ontología, IIF-UNAM, Mèxico, 1990.
Prior, A. N., et al, “Logic, History of”, en Edwards, Paul, Encyclopedia of Philosophy,
Vol. 3-4, MacMillan Publishing Co., Inc. & The Free Press, New York. Pp. 513-571.
Redmond, Walter, Lógica Simbólica para Todos, Xalapa, Ver., Universidad Veracruzana,
1996.
 Complementarias

Alchourrón, Carlos: “Concepciones de la lógica”, en Enciclopedia Iberoamericana de

Filosofia (EIAF), tomo 7: LOGICA, pág. 11. Madrid. Ed.Trotta, 1995.

Copi, Irving, Introducción a la lógica, Edit. EUDEBA, Buenos Aires 1993

Flores, Ruth, “La enseñanza de los conectivos lógicos”, en Ergo, Nueva Época, No. 7,
Universidad Veracruzana, México, septiembre 1998. Pp. 73-86.

Kneale & Kneale: El desarrollo de la lógica, Madrid, Tecnos, 1972.

Lemmon; E.J., Beginning Logic. 7th printing. Indianapolis: Hackett, 1988.

Mijangos, Teresita, “Sobre la contradicción lógica”, en Ergo, Nueva Época, No. 6,

Universidad Veracruzana, México, marzo 1998. Pp. 89-93.

Ramos, Pedro, “Análisis formal e informal de argumentos”, en Morado, Raymundo

(comp.) La Razón Comunicada: materiales del taller de didáctica de la lógica, Ed. Torres
Asociados, 1999. Pp. 69-76.
Comentario:
Esta colección incluye distintos trabajos que presentan los principales aspectos de la
lógica contemporánea. En todos los casos, se presta particular interés a los problemas
filosóficos relacionados con tales aspectos.

INTRODUCCIÓN A LA LÓGICA es una excelente presentación de los temas centrales

de la lógica clásica. Es el primer volumen de Lógica, lenguaje y significado elaborado por
el seudónimo colectivo L. T. F. Gamut. Completa la obra Lógica intencional y gramática
lógica. En INTRODUCCIÓN A LA LÓGICA encontramos una presentación sistemática
de la validez de los argumentos, discutiendo la relación entre el enfoque formal y el
enfoque semántico. El libro contiene, además, un muy interesante tratamiento de las
descripciones definidas, de la cuantificación restringida, de la lógica de segundo orden y
de la lógica multivaluada. También cuenta con una presentación de los aspectos
pragmáticos relacionados con las inferencias y una interesante exploración de la relación
entre la lingüística matemática y la lógica.