Asignatura LÓGICA Prerrequisitos Ninguno JUSTIFICACION Este

Asignatura
Prerrequisitos
LÓGICA
Ninguno
JUSTIFICACION
Este curso ofrece una introducción a los fundamentos del pensamiento formal. El curso
gira en torno a la noción de “sistema formal”. Se presentarán varios sistemas formales y
se discutirán en detalle la lógica clásica de proposiciones, la lógica clásica de
predicados y la lógica modal normal. Para cada uno de estos sistemas, se presentará
primero la sintaxis y las reglas de producción y posteriormente se desarrollará la
semántica correspondiente. El método de deducción utilizado será la deducción natural.
La lógica como herramienta de elaboración y comunicación de pensamiento puede
considerarse sin rival. Así pues, la importancia de esta ciencia para cualquier actividad
regida por reglas (en especial, por reglas formales) difícilmente puede ser exagerada y ,
evidentemente, la práctica profesional en diversas áreas se desarrolla a partir de reglas
de este tipo. Con esta motivación, se ha desarrollado el presente programa, de manera
que atienda las necesidades básicas de cualquier profesional en lo que a seguimiento de
reglas formales y fundamentación del pensamiento abstracto se refiere.
OBJETIVOS
a) A partir del lenguaje común abordar los lenguajes formales, considerando su
estructura y alcances.
b) Introducir y desarrollar el concepto formal de demostración a través de diversos
métodos de deducción natural.
c) Introducir y desarrollar el concepto formal de tautología mediante la aplicación de
los métodos de decisión más comunes para el cálculo proposicional clásico: las
tablas de verdad y los árboles de forzamiento semántico.
d) Explotar el raciocinio silogístico, como modelo natural de inferencia.
•
•
•
•
•
•
•
•
•
•
•
CONTENIDO
Presentación del acertijo: ¿Cómo afirmar “MU”?
Desarrollo del sistema MIU: el alcance de los sistemas formales.
¿Cómo afirmar una proposición en geometría?
El Lenguaje de la lógica proposicional: "fórmulas bien formadas"
Tablas de Verdad y Tautologías.
Deducción Natural
El lenguaje de la lógica de predicados y su relación con el lenguaje natural.
Silogística y simbolización
Demostración de los principales silogismos.
Semántica de la silogística.
¿Otras lógicas?
Introducción a la lógica modal
BIBLIOGRAFIA
Deaño Alfredo. Introducción a la lógica formal. Alianza. Madrid. 1992.
Hofstadter Douglas. Gödel, Escher, Bach: un eterno y grácil bucle. Barcelona:
Tusquets, 1987.
Hughes G.E.y Cersswell M.J A Companion to Modal Logic. London: Methuen, 1984.
Suppes, Patrick. Introducción a la lógica simbólica. México: Editorial Continental,
1966.
Pérez Sedeño Eulalia, Ejercicios de lógica, Madrid Siglo Veintiuno, 1991.