Universidad Nacional de Crdoba

Facultad de Filosofa y Humanidades

Escuela de Filosofa
Programa de la materia
Lgica I / Lgica Formal
Ao 2014

Equipo docente
Dr. Luis Urtubey
Dr. Diego Letzen
Dra. Alba Massolo
Lic. Sebastin Ferrando
Ayudantes Alumnos
Sara Gismondi
Andrs Ilcic
Daro Scattolini
Pablo Torres
Adscripto
Leonardo Shapoff
Objetivos
1)
2)
3)
4)
5)

Lograr que alumno asimile la distincin entre razonamientos correctos e incorrectos

mediante su anlisis formal y la comparacin con su uso informal.
Brindar al alumno las herramientas mnimas necesarias para el manejo de leguajes
formales (como el lenguaje de la lgica de primer orden) y para la argumentacin.
Mostrar al alumno: ventajas, limitaciones y campo de aplicacin de los lenguajes
formales.
Analizar la aplicacin especial de la formalizacin para la conceptualizacin y para el
tratamiento de problemas filosficos.
Distinguir los aportes del desarrollo de la lgica en los distintos perodos de la filosofa
occidental.

Metodologa
Las clases son de carcter terico-prctico, sin divisin entre ambos tipos.
Evaluacin
La materia puede cursarse en calidad de alumno regular o promocional. Se realizarn 2 exmenes
parciales presenciales. Se realizarn 3 trabajos prcticos escritos no-presenciales. Aprobacin de
parciales y prcticos, para alumnos promocionales y regulares, conforme a la reglamentacin
vigente. Los alumnos promocionales debern adems cumplimentar el 80% de una actividad
asignada en forma semanal.
Para las evaluaciones se establecern dos horarios uno en la maana- que se anunciaran con
suficiente antelacin, y conforme a la disponibilidad horaria de los docentes de la materia. Los
alumnos debern optar por realizar las evaluaciones en uno de los horarios nicamente, el cual
debern comunicar en forma anticipada a los docentes de la ctedra.
Contenidos temticos y bibliografa especfica
1. Qu es la lgica? Proposiciones y oraciones. Razonamientos y Argumentos. Tipos de
argumentos. Preservacin de la verdad. El carcter formal de la lgica. Argumentos deductivos.
Validez. Consecuencia lgica
Bibliografa especfica:
Lgica 1/Lgica Formal. Material de estudio preparado por la Ctedra de Lgica 1/Lgica Formal.
Escuela de Filosofa. Facultad de Filosofa y Humanidades, U.N.C. 2014. Cap. 1
2. Buenos argumentos, argumentos slidos y vlidos. Lenguajes de primer orden. Objetos,
propiedades y relaciones. El rol especial de la lgica en la indagacin racional. Por qu aprender un
lenguaje artificial como LPO. Su importancia. La distincin entre lgica proposicional y
cuantificacional.
Bibliografa especfica: Lgica 1/Lgica Formal. Material de estudio preparado por la Ctedra de
Lgica 1/Lgica Formal. Escuela de Filosofa. Facultad de Filosofa y Humanidades, U.N.C. 2014.
Cap. 2. El lenguaje de la lgica de primer orden, caps. 1 y 2.

3. Elementos de LPO. Enunciados atmicos. Constantes individuales Smbolos de predicados.

Lenguajes generales de primer orden y lenguajes especiales. Ejemplos: El Lenguaje de Bloques del
Mundo de Tarski *. Otros ejemplos: El lenguaje de la Matemtica.
Bibliografa especfica: Lgica 1/Lgica Formal. Material de estudio preparado por la Ctedra de
Lgica 1/Lgica Formal. Escuela de Filosofa. Facultad de Filosofa y Humanidades, U.N.C. 2014.
Cap. 3. El lenguaje de la lgica de primer orden, caps. 1 y 2.
4. Conjunciones, Disyunciones y Negaciones. Smbolos. Condicionales y bicondicionales.
Condicional material. Bicondicional. Tablas de verdad. Ambigedad y parntesis. Traduccin a un
lenguaje de primer orden. Implicatura conversacional.
Bibliografa especfica: Lgica 1/Lgica Formal. Material de estudio preparado por la Ctedra de
Lgica 1/Lgica Formal. Escuela de Filosofa. Facultad de Filosofa y Humanidades, U.N.C. 2014.
Cap. 4. El lenguaje de la lgica de primer orden, caps. 2-4.
5. Otro uso de las tablas de verdad: Satisfactibilidad y verdad lgica. Consecuencia lgica y
tautolgica. Equivalencia lgica. Argumentos vlidos. Mtodos de decisin basados en el uso de
tablas de verdad.
Bibliografa especfica: Lgica 1/Lgica Formal. Material de estudio preparado por la Ctedra de
Lgica 1/Lgica Formal. Escuela de Filosofa. Facultad de Filosofa y Humanidades, U.N.C. 2014.
Cap. 5. El lenguaje de la lgica de primer orden, caps. 3-4.
6. Mtodos de demostracin que involucran conectivas. Justificacin de los mtodos usando tablas
de verdad. Demostraciones informales y formales.Aplicacin a los argumentos deductivos del
lenguaje corriente.
Bibliografa especfica: Lgica 1/Lgica Formal. Material de estudio preparado por la Ctedra de
Lgica 1/Lgica Formal. Escuela de Filosofa. Facultad de Filosofa y Humanidades, U.N.C. 2014.
Cap. 6. El lenguaje de la lgica de primer orden, caps. 3-4.
7. Demostraciones formales. El mtodo de deduccin natural. Reglas de introduccin y eliminacin
para conectivas proposicionales. El sistema de Fitch. Reglas del sistema de Fitch. Formalizacin de
argumentos deductivos.
Bibliografa especfica: Lgica 1/Lgica Formal. Material de estudio preparado por la Ctedra de
Lgica 1/Lgica Formal. Escuela de Filosofa. Facultad de Filosofa y Humanidades, U.N.C. 2014.
Cap. 7. El lenguaje de la lgica de primer orden, caps. 3-4.
8. Introduccin a la Cuantificacin. Variables. Frmulas bien formadas (Fbfs) atmicas.
Cuantificadores. Fbfs y enunciados. Las cuatro formas aristotlicas. Traduccin a LPO. Traduccin
de frases nominales complejas.
Bibliografa especfica: Lgica 1/Lgica Formal. Material de estudio preparado por la Ctedra de
Lgica 1/Lgica Formal. Escuela de Filosofa. Facultad de Filosofa y Humanidades, U.N.C. 2014.
Cap. 8. El lenguaje de la lgica de primer orden, cap. 5.
9. La verdad y falsedad de los enunciados con cuantificadores. Semntica para los cuantificadores.
Equivalencias lgicas que involucran negacin y cuantificadores. Enunciados con ms de un
cuantificador. Usos mltiples de un nico smbolo de cuantificacin. Cuantificadores mezclados.
Traduccin de enunciados. Ambigedad.
Bibliografa especfica: Lgica 1/Lgica Formal. Material de estudio preparado por la Ctedra de
Lgica 1/Lgica Formal. Escuela de Filosofa. Facultad de Filosofa y Humanidades, U.N.C. 2014.
Cap. 9. El lenguaje de la lgica de primer orden, caps. 5-6.
10. Mtodos de demostracin que involucran cuantificadores. Demostraciones formales. Reglas en
el sistema de Fitch. Formalizacin de argumentos con cuantificadores. Mtodos de demostracin
que involucran cuantificadores mezclados. Demostraciones formales.
Bibliografa especfica: Lgica 1/Lgica Formal. Material de estudio preparado por la Ctedra de
Lgica 1/Lgica Formal. Escuela de Filosofa. Facultad de Filosofa y Humanidades, U.N.C. 2014.
Cap. 10. El lenguaje de la lgica de primer orden, caps. 5-6.
Bibliografa General
- Barwise, J y Etchemendy, J. The Language of First Order Logic. Ed. CSLI, Standford, EEUU.
1992. Hay traduccin disponible para uso de la ctedra: El lenguaje de la lgica de primer orden.
- Lgica 1/Lgica Formal. Material de estudio preparado por la Ctedra de Lgica 1/Lgica
Formal. Escuela de Filosofa. Facultad de Filosofa y Humanidades, U.N.C. 2014.
- Garrido, M. Lgica Simblica. Ed. Tecnos, Madrid, Espaa.
- Sacristn, M. Introduccin a la lgica y al anlisis formal, ed Ariel, Barcelona.
- Copi, I. Cohen, C. Introduccin a la Lgica. 8va edicin (1990), editorial Megabyte (Mxico).
- Copi, I. Lgica Simblica. Ed. Cecsa, Mxico, 1997.
- Garcia Trevijano, M. El arte de la lgica. Ed. Tecnos, Madrid, Espaa.
2

- Kneale, W. & Kneale, M. El Desarrollo de la Lgica. Ed. Tecnos. Madrid. 1980.

- L.T.F. Gamut. Introduccin a la Lgica. Vol. 1. Eudeba. Buenos Aires. 2002.
- Haack, S. Filosofa de las Lgicas. Ctedra. Madrid. 2002.
-Suppes, P.; Hill, S. Introduccin a la Lgica Matemtica. Ed. Reverte.
Cronograma tentativo
17-28 de marzo: (1, 2)
31 de marzo- 11de abril: (3,4)
14-28 abril: (4,5)
23-29 abril: (6)
5-16 de mayo: (7) (15/5 Primer Parcial)
26-30 de mayo: (8)
2-6 junio: (9)
9-20 de junio: (9-10) (19/6 Segundo Parcial)
23-27 de junio: (10) (26/6 Recuperatorios)
Evaluaciones:
Prcticos: (21/4), (9/6), (23/6)
Parciales: (15/5 Primer Parcial), (19/6 Segundo Parcial)
Recuperatorios: (26/6)

Luis A. Urtubey
Prof. Titular