Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
LÓGICA II
PLANIFICACIÓN DE CÁTEDRA
FUNDAMENTACIÓN
La lógica es entendida en este curso como una ciencia formal caracterizada por el diseño y la
creación de sistemas formales que pretenden determinar las condiciones bajo las cuales una fórmula
del sistema se encuentra sustentada en algún sentido en otras fórmulas. Obviamente existe un
abordaje estándar de la lógica, conocido como lógica clásica y representado por los sistemas de
lógica proposicional y de predicados de primer orden. El presente curso dará las bases necesarias
para una introducción a la lógica estándar pero además discutirá sobre las motivaciones para la
extensión, ampliación o diversificación de la lógica, en especial si es necesario o no tener una buena
razón para diseñar o crear un sistema lógico, como es usual en este campo. También se han
incorporados dos unidades relacionadas con temáticas emparentadas a la lógica pero que no son
propiamente lógicas como lo son los sistemas argumentativos y los formalismos de revisión de
creencias, teoría de la elección social, teoría de la elección racional y teoría de juegos.
PROGRAMA ANALÍTICO
¿Qué tipo de entidades son estudiadas por la lógica? ¿Qué tipo de afirmaciones hace sobre tales
entidades? ¿De qué trata y de qué no trata la lógica? ¿Qué hace un lógico cuando hace lógica? ¿De
qué trata un artículo de lógica? ¿Qué es un sistema formal? ¿Qué hace que un sistema formal sea un
sistema lógico? ¿Qué son los términos lógicos y en qué se diferencian de los no lógicos? ¿Qué es la
consecuencia lógica? ¿Existe una única lógica correcta? ¿Existe una lógica universal? ¿Qué es un
argumento? ¿Cuándo la conclusión de un argumento se sigue lógicamente de sus premisas? ¿La
lógica es diseñable?
El vocabulario de la lógica proposicional (LP). Las constantes lógicas del lenguaje de LP. Reglas de
formación de fórmulas bien formadas del lenguaje de LP. Abstracción e interpretación de LP y el
lenguaje castellano. Formalización de argumentos proposicionales en LP. Limitaciones expresivas del
lenguaje de LP.
LP como un sistema deductivo. Axiomas y/o reglas de inferencia para LP. Caracterización de la
relación de consecuencia sintáctica para la lógica proposicional. Propiedades de la relación de
consecuencia sintáctica para la lógica proposicional. Propiedades metalógicas de LP: corrección,
completitud y decidibilidad.
El vocabulario de la lógica de predicados de primer orden (LPO). Las constantes lógicas del lenguaje
de LPO. Reglas de formación de fórmulas bien formadas del lenguaje LPO. Fórmulas bien formadas y
funciones proposicionales. Abstracción e interpretación entre LPO y el lenguaje natural.
Formalización de argumentos en el lenguaje de LPO. Limitaciones expresivas del lenguaje de la lógica
de predicados. Equivalencias en LPO.
La presentación de la lógica de predicados de primer orden como un sistema deductivo. Axiomas y/o
Reglas de inferencia para LPO. Caracterización de la relación de consecuencia sintáctica para la lógica
de primer orden. Propiedades de la relación de consecuencia sintáctica para LPO. Limitaciones
expresivas e inferenciales de la lógica de LPO. Propiedades metalógicas de la lógica de predicados de
primer orden: corrección, completitud y semidecidibilidad.
Motivaciones para extender el lenguaje formal. Ejemplos del lenguaje natural que motivan la
extensión del lenguaje formal. Operadores aléticos, deónticos y epistémicos. Motivaciones para
ampliar (o modificar) la noción de consecuencia lógica. Ejemplos del lenguaje natural que motivan la
extensión de la consecuencia lógica. Inferencias a partir de información incompleta sobre el mundo,
inferencias autoepistémicas, negación por falla, desacuerdos profundos. ¿Es necesario tener una
justificación de peso para proponer una extensión, ampliación, revisión de la lógica?
Formalización, lógica y otros formalismos. Teoría del cambio de creencias. Teoría de la elección
racional. Teoría de decisiones sociales. Teoría de juegos.
REGÍMENES DE CURSADO
– PROMOCIONAL:
ACTIVIDAD FINAL:
– REGULARIDAD:
70 % DE ASISTENCIA
ACTIVIDAD FINAL: LECCION ORAL DE UN TEMA EN PATICULAR DEL PROGRAMA PARA ESTUDIANTES
DEL PROFESORADO Y COMUNICACIÓN DE CONGRESO PARA ESTUDIANTES DE LICENCIATURA.
– LIBRE:
BIBLIOGRAFÍA,
Alchourrón, C., J. Méndez & R. Orayen (Eds.) (1995) Lógica. Tomo 7 de la Enciclopedia
Iberoamericana de Filosofía. Madrid: Trotta.
Comesaña, J. M. (1998) Lógica informal, falacias y argumentos filosóficos. Buenos Aires: EUDEBA.
Gamut, L.T.F (2009) Lógica, lenguaje y significado: Introducción a la lógica. Buenos Aires: Eudeba.
Vega Reñón, L. & P. Olmos Gómez (eds.) (2011) Compendio de Lógica, Argumentación y Retórica.
Madrid: