Universidad Nacional del Litoral

Facultad de Humanidades y Ciencias

FHUCPF002: Lógica II

2020 - 1er. Cuatrimestre

12: Licenciatura en Filosofía

17: Profesorado de Filosofía

Titular:
DAHLQUIST, Manuel Alberto

Equipo de Cátedra:
DAHLQUIST, Manuel Alberto

Régimen de cursado:
Cuatrimestral

Presentación de la materia:
La materia Lógica II está ubicada en el segundo cuatrimestre del segundo año de las carreras de Profesorado de
Filosofía y Licenciatura en Filosofía. Es de cursado obligatorio para los alumnos de la carrera y electiva para los
alumnos de otras carreras.
La materia está enfocada sobre la metateoría de la lógica proposicional con algún agregado de nociones
metateóricas referidas a la lógica de primer orden. En Lógica I los alumnos estudian y aprenden a manipular el
lenguaje proposicional como el de predicados y algunos métodos muy conocidos de decisión como las tablas de
verdad. Posteriormente ven de que se trata un sistema lógico y proceden a construir demostraciones utilizando
sistemas de deducción natural. En resumidas cuentas, aprenden a razonar dentro de un sistema lógico. En lógica
II se pretende llevar adelante la comprensión y demostración de los metateoremas más importantes referidos a
los sistemas mismos, esto es, se pretende que los alumnos logren entender y construir razonamientos acerca de
los sistemas lógicos. De esto se trata la metalógica o metateoría.
Este campo se ha presentado, desde los hallazgos de Löwenheim y Skolem, pasando por los teoremas de
Gödel, como un campo rico en reflexiones y posibilidades de intervención para los filósofos. Acceder a los
rudimentos necesarios para abordarlo es el primer objetivo de la materia. El segundo es poder entender y
reflexionar sobre alguno de ellos. La unidad 4 está dedicada a abordar el teorema de Gödel, probablemente una
de los hallazgos filosóficos más importantes de la historia, piedra de toque en los desarrollos conceptuales de la
lógica, la matemática y la filosofía.

Propósitos/objetivos:
En Lógica I los alumnos estudian y aprenden a manipular el lenguaje proposicional como el de predicados y
algunos métodos muy conocidos de decisión como las tablas de verdad. Posteriormente ven de que se trata un
sistema lógico y proceden a construir demostraciones utilizando sistemas de deducción natural. En resumidas
cuentas, aprenden a razonar dentro de un sistema lógico. En lógica II se pretende llevar adelante la comprensión

Universidad Nacional del Litoral Ciudad Universitaria

Facultad de Humanidades y Ciencias S3000ZAA Santa Fe
Tel: (0342) 457 5105
y demostración de los metateoremas más importantes referidos a los sistemas mismos, esto es, se pretende que
los alumnos logren entender y construir razonamientos acerca de los sistemas lógicos. De esto se trata la
metalógica o metateoría.

Organización de contenidos y bibliografía:

Unidad: 1
UNIDAD 1
1.1. Sistemas de deducción natural
1.2. Sistemas axiomáticos
1.3. Una semántica para P
1.4. Un aparato deductivo para la Lógica Proposicional
1.5. Relaciones entre la semántica de P y el aparato deductivo SP

Bibliografia:
La bibliografía básica para las Unidades 1 a 3, es ?Lógica, Metalógica y Metametalógica? (2015), de Picollo y
Teijeiro, FlyF, UBA;
Como bibliografía complementaria para todo el curso se propone
a) ?Metalógica? (1981), de G. Hunter, Paraninfo, Madrid.

Unidad: 2
UNIDAD 2
2.1. Metateoría de los sistemas de lógica proposicional
2.2. Consistencia
2.3. Teorema de la deducción´
2.4. Completud sintáctica
2.5. Completud semántica
2.6. Corrección
2.7. Decidibilidad
2.8. Independencia

Bibliografia:
La bibliografía básica para las Unidades 1 a 3, es ?Lógica, Metalógica y Metametalógica? (2015), de Picollo y
Teijeiro, FlyF, UBA;
Como bibliografía complementaria para todo el curso se propone
a) ?Metalógica? (1981), de G. Hunter, Paraninfo, Madrid.

Unidad: 3
UNIDAD 3
3.1. Lógica de primer orden
3.2. Una semántica para LPO
3.3. Un aparato deductivo para la Lógica Proposicional
3.4. Relaciones entre la semántica de P y el aparato deductivo SP
3.5. Indecibilidad

Universidad Nacional del Litoral Ciudad Universitaria

Facultad de Humanidades y Ciencias S3000ZAA Santa Fe
Tel: (0342) 457 5105
Bibliografia:
La bibliografía básica para las Unidades 1 a 3, es ?Lógica, Metalógica y Metametalógica? (2015), de Picollo y
Teijeiro, FlyF, UBA;
Como bibliografía complementaria para todo el curso se propone
a) ?Metalógica? (1981), de G. Hunter, Paraninfo, Madrid.

Unidad: 4
UNIDAD 4
4.1. El problema de la consistencia
4.2. Aritmetización de la metalógica
4.3. El teorema de Gödel

Bibliografia:
Para la Unidad 4 utilizaremos el clásico de Ernest Nagel y James Newman, ?El Teorema de Gödel? (1994),
Tecnos, Madrid.
"Gödel, Escher y Bach" (2005), D. Hofstadter, CONACYT, Mexico.

Trabajos y evaluaciones:
Se efectuaran tres (trabajos) prácticos evaluados y 2 no evaluados.

Exigencias para obtener regularidad:

Para regularizar deberá presentarse el total de los prácticos (3) y tener estos una nota igual o superior a seis (6).
La materia carece de promoción y se aprueba a través de un examen final.

Modalidad de examen final:

Escrito

Cronograma estimado:
Semanas
UNIDADES/EJES TEMÁTICOS 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
1
2
3
4

Programa Oficializado por el Consejo Directivo

Resolución Nº 177/20

Universidad Nacional del Litoral Ciudad Universitaria

Facultad de Humanidades y Ciencias S3000ZAA Santa Fe
Tel: (0342) 457 5105