Universidad Nacional de Crdoba

Facultad de Filosofa y Humanidades

Escuela de Filosofa

Programa de la materia
Lgica I / Lgica Formal
Ao 2011


Equipo docente
Dr. Luis Urtubey
Dr. Diego Letzen
Mgter Sandra Visokolskis
Lic. Alba Massolo

Adscriptos
Lic. Sebastin Ferrando
Prof. Mariana Rodrguez Acosta

Ayudantes Alumnos
Horacio Chiarella
Mara Pa Fava Prez
Leonardo Shapoff


Objetivos

1) Lograr que alumno asimile la distincin entre razonamientos correctos e incorrectos mediante su
anlisis formal y la comparacin con su uso informal.
2) 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.
3) Mostrar al alumno: ventajas, limitaciones y campo de aplicacin de los lenguajes formales.
4) Analizar la aplicacin especial de la formalizacin para la conceptualizacin y para el
tratamiento de problemas filosficos.
5) 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. Una clase semanal se
destinar al trabajo con el software El Mundo de Tarski , la cual se complementar con la prctica en el
laboratorio (opcional).

Evaluacin

La materia puede cursarse en calidad de alumno regular o promocional. Se realizarn dos exmenes
parciales presenciales, uno al promediar y otro al finalizar el curso. Se realizarn cuatro trabajos
prcticos escritos no-presenciales, todos mediante el aula virtual de la materia. Aprobacin de parciales
y prcticos, as como las exigencias de asistencia para alumnos promocionales y regulares, conforme a
la reglamentacin vigente. Para la evaluacin final de los alumnos promocionales, se tomar en cuenta,
adems, el desempeo a lo largo del curso en las tareas asignadas en las clases terico-prcticas.

Contenidos temticos y bibliografa obligatoria
1. Temas de Historia de la Lgica. La lgica de Aristteles. La Lgica Estoica. Lgica Medieval
Escolstica. La lgica actual: Lgica Simblica y Lgica Formal. Lgica y Matemtica.
Bibliografa especfica:
William y Martha Kneale: El Desarrollo de la Lgica. Caps. II y III. Ed. Tecnos. Madrid. 1980.
Mauricio Beuchot: "Introduccin". En: La Filosofa del Lenguaje en la Edad Media. . UNAM. Mexico.
1991.
1

Bertrand Russel: "Matemtica y Lgica". En: Introduccin a la Filosofa Matemtica. Cap. 18. Editorial
Paids.
Bertrand Russell: "Lgica Simblica". En: Los Principios de la Matemtica. Editorial Espasa Calpe.

2. Lenguajes de de Primer Orden. Importancia. Ubicacin histrica. Proposiciones simples y compuestas.
Constantes individuales y smbolos de predicado. Conectivas, tablas de verdad. Diversos lenguajes de
primer orden. Lenguajes interpretados. El lenguaje de El Mundo de Tarski como ejemplo. La distincin
entre lgica de proposiciones y lgica cuantificacional .
Bibliografa especfica: El lenguaje de la lgica de primer orden, caps. 1 y 2.

3. Lgica de proposiciones. Satisfactibilidad y verdad lgica. Tautologas y contradicciones. Funciones
veritativas. Completud funcional. Conectivas especiales. Lenguaje y metalenguaje. Consecuencia lgica y
Equivalencia lgica.
Bibliografa especfica: El lenguaje de la lgica de primer orden, caps. 3-4.

4. Lgica proposicional y lenguaje natural. Funciones del lenguaje. Argumento e inferencia. Forma
lgica. Verdad y validez. Los niveles del anlisis lgico. Traduccin a un lenguaje de primer orden.
Consecuencia lgica y tautolgica. Argumentos vlidos. Mtodos de decisin basados en el uso de tablas
de verdad.
Bibliografa especfica: El lenguaje de la lgica de primer orden, caps. 3-4. Copi, I, Cohen, E.:
Introduccin a la lgica, caps. 1 y 2.

5. Mtodos de demostracin. Demostraciones informales y formales. El mtodo de deduccin natural.
Reglas de introduccin y eliminacin para conectivas proposicionales.
Bibliografa especfica: El lenguaje de la lgica de primer orden, caps. 3-4.

6. Lgica cuantificacional. Variables y cuantificadores. Cuantificacin simple. Representacin de
proposiciones categricas. Verdad y satisfaccin.
Bibliografa especfica: El lenguaje de la lgica de primer orden, cap. 5.

7. Mtodos de demostracin con cuantificadores. Demostraciones informales y formales. Reglas
de introduccin y eliminacin para cuantificadores. Anlisis de argumentos con cuantificadores.
Cuantificacin mltiple.
El lenguaje de la lgica de primer orden, caps. 5, 6.

8. El caso de la silogstica en LPO. Aplicacin de mtodos formales. El uso de diagramas en lgica.
Razonamiento diagramtico aplicado al silogismo: diagramas de Venn.
Bibliografa especfica: El lenguaje de la lgica de primer orden, caps. 5. Copi, I., Cohen, E.:
Introduccin a la lgica, 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 .
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

William y Martha Kneale: El Desarrollo de la Lgica. Ed. Tecnos. Madrid. 1980.
Mauricio Beuchot: La Filosofa del Lenguaje en la Edad Media. . UNAM. Mexico. 1991.
Bertrand Russel. Introduccin a la Filosofa Matemtica. Editorial Paids.
Bertrand Russell. Los Principios de la Matemtica. Editorial Espasa Calpe.


Cronograma tentativo

21, 22 y 25 de marzo: (1) Temas de Historia de la Lgica. La lgica de Aristteles. La Lgica Estoica.
28 y 29 de marzo: (1) Temas de Historia de la Lgica. Lgica Medieval Escolstica.
1 de abril: (1) La lgica actual: Lgica Simblica y Lgica Formal. Lgica y Matemtica.
4 y 5 de abril: (2) Lenguajes de de Primer Orden. Importancia. Ubicacin histrica. Proposiciones
simples y compuestas. Constantes individuales y smbolos de predicado.
8, 11, 12 abril: (2) Conectivas, tablas de verdad. Diversos lenguajes de primer orden. Lenguajes
interpretados. El lenguaje de El Mundo de Tarski como ejemplo. La distincin entre lgica de
proposiciones y lgica cuantificacional .
18 y 19 de abril: (3) Lgica de proposiciones. Satisfactibilidad y verdad lgica. Tautologas y
contradicciones. Funciones veritativas. Completud funcional. Conectivas especiales. Lenguaje y
metalenguaje. Consecuencia lgica y Equivalencia lgica.
25, 26 y 29 de abril: (4) Lgica proposicional y lenguaje natural. Funciones del lenguaje. Argumento e
inferencia. Forma lgica. Verdad y validez. Los niveles del anlisis lgico. Traduccin a un lenguaje de
primer orden. Consecuencia lgica y tautolgica. Argumentos vlidos. Mtodos de decisin basados en el
uso de tablas de verdad.
2, 3 y 6 de mayo: (5) Mtodos de demostracin. Demostraciones informales y formales. El mtodo de
deduccin natural. Reglas de introduccin y eliminacin para conectivas proposicionales.
9 de mayo: Primer examen parcial
10 y 13 de mayo: (5) Mtodos de demostracin. Demostraciones informales y formales. El mtodo de
deduccin natural. Reglas de introduccin y eliminacin para conectivas proposicionales.
16, 17 y 20 de mayo: (6) Lgica cuantificacional. Variables y cuantificadores. Cuantificacin simple.
23, 24 y 27 de mayo: (6) Representacin de proposiciones categricas. Verdad y satisfaccin.
30 y 31 de mayo y 3 de junio: (7) Mtodos de demostracin con cuantificadores. Demostraciones
informales y formales. Reglas de introduccin y eliminacin para cuantificadores.
6, 7 y 10 de junio: (7) Mtodos de demostracin con cuantificadores. Demostraciones informales y
formales. Reglas de introduccin y eliminacin para cuantificadores.
13, 14 y 17 de junio: (7) Anlisis de argumentos con cuantificadores. Cuantificacin mltiple.
20 de junio: Segundo examen parcial.
21 y 24 de junio: (8) El caso de la silogstica en LPO. Aplicacin de mtodos formales.
27 y 28 de junio y 1 julio: (8) El uso de diagramas en lgica. Razonamiento diagramtico aplicado al
silogismo: diagramas de Venn.






3