UNIVERSIDAD NACIONAL DE ROSARIO
FACULTAD DE HUMANIDADES Y ARTES
ESCUELA DE FILOSOFIA
ASIGNATURA: Lógica II
PERÍODO: 1er. cuatrimestre de 2008
PROFESOR: Sandra Lazzer (Celia Béguelin prácticos)
HORARIOS:
Teóricos: martes de 15 a 17 hs.
Práctico: de 13 a 15 hs.
OBJETIVOS:
a) Completar la introducción de) estudiante en ia práctica argumentativa y proporcionarte
criterios de evaluación de dicha práctica.
b) Introducir al estudiante en aquellos aspectos de ia lógica clásica que son objeto de
reflexión en filosofía de la lógica en general
c> Proporcionar ei suficiente conocimiento lógico para que el estudiante pueda adquirir
una idea adecuada del objeto y contenidos de la especialización en lógica poniendo
especialmente énfasis en aquellas cuestiones que llevan a ccomprender las motivaciones
para construir y ios problemas para evaluar los sistemas de lógica elemental clásica.
CONTENIDOS:
§ I. Lenguaje de la lógica de predicados,
❖ Presentación del lenguaje de la lógica de predicados sin identidad. Alfabeto:
signos primitivos y derivados. Gramática: regias deformación de fórmulas
❖ Estrategias de formalización en el lenguaje de la lógica de primer orden sin
identidad.
§ 2. Cálculo deductivo: derivación y deducción.
❖ Cálculo de deducción natural: regias de inferencia primitivas. Regias de inferencia
derivadas.
<♦ Deducibilidad, teorematicidad, interdeducibílidad.
❖ Prueba de la validez de argumentos.
§ 3. Lenguaje de la lógica de primer orden con identidad
❖ Lenguaje de primer orden con identidad. Alfabeto y gramática.
❖ Estrategias de formalizatíón de enunciados en el lenguaje de la lógica de primer
orden con identidad.
§ 4. Semántica formal para el lenguaje de la lógica de primer orden
❖ Presupuestos de la semántica clásica de primer orden. Funciones interpretación.
Modelos. Satisfactibiüdad. Consecuencia lógica, verdad lógica, equivalencia lógica.
❖ La noción tarskiana de verdad.
§ 5. Evaluación de ios sistemas de lógica.
❖ Sistemas axiomáticos.
❖ La relación de consecuencia deductiva. Análisis sintáctico y semántico.
❖ Corrección, completad, consistencia y decidih'siidad de un sistema axiomático de
lógica de conectivos clásicos. Teorema de la deducción..
§ 6, Términos individuales complejos,
❖ Functores y descriptores. Nociones generales y cuestiones filosóficas.
❖ Estrategias de formalizatíon para los lenguajes de primer orden que contienen
términos complejos
BIBLIOGRAFIA BÁSICA
(durante el desarrollo del curso se harán las especificaciones necesarias)
Diez Calzada, J .A .: iniciación a ia lógica, Ariel, 2002, Primera y Segunda Parte (selección
de parágrafos)
Falguera, J. L. & Matínez, C.: Lógica clásica de primer orden, Editorial Trotta, 1999, Cap.
111a Vtlt (selección de parágrafos).
Gamut, L.T.F. introducción a la lógica. Buenos Aires, Eudeba, 2002. Caps. 2-4.
Moretti, A, : “El concepto tarskiano de verdad”, en Enciclopedia iberoamericana de
Filosofía, Filosofía de la lógica, vol.27, pp 105-142, Editorial Trotta, 2004.
Tarskí, A: La concepción semántica de la verdad y los fundamentos de la semátíca. Trad.
E. Colombo, Ediciones Mueva Visión, 1972 (hay varias traducciónes)
BIBLIOGRAFIA COMPLEMENTARIA
Alchourrón, C , Médez, J & Orayen, R.(comps): Enciclopedia íberoamericanana de
Filosofía: Lógica, (tomo 7) Trotta, Madrid, 1995.
Quine, W. V.: Filosofía de la lógica, Alianza Universidad, Madrid, 1981.
Enderton, H. Una introducción matemática a ia lógica. México: UNAM, 2004 (traducción
de la segunda edición,2001, de A Mathematícai Introduction to Logic).
Hunter, G. Metalogic. Berkeley: Univ. California press, 1971. (Hay traducción castellana
en Barcelona, editorial Paraninfo).
Mendelson, E. Introduction to Mathematícal Logic. Londres: Chapman & Hall, 1997 (cuarta
edición).
ACTIVIDADES
❖ Clases teóricas sobre el desarrollo conceptual de los temas del programa.
❖ Clases prácticas (a cargo de ia profesora Celia Beguelín) de ejercitación sobre
algunos de los puntos seleccionados del programa.
❖ Clases de consulta sobre temas de teóricos y prácticos, cuyos horarios se
concertarán con las profesoras d© la materia.
RÉGIMEN DE PROMOCIÓN
Se trata de una asignatura de PROMOCIÓN DIRECTA, lo que significa que:
♦i* Aquellos alumnos/as que obtuvieran una nota como resultado de la/s
evaluación/es desarroBada/s durante el curso y/o en las fechas de recuperatorio
igual o superior a los 8 (ocho) puntos en promedio, habrán aprobado la
asignatura estando exceptuados del examen final
❖ Aquetlos alumnos/as que obtuvieran una nota, como resultado de la/s
evaluación/es desarroüada/s durante el curso y/o en las fechas cíe recuperatorio,
igual o superior a ios 6 (seis) puntos e inferior a los 8 (ocho) puntos en
promedio, tendrán la condición de alumno/a regular y deberán rendir un examen
final para la aprobación de Is asignatura, en las turnos de examen establecidos
por el calendario académico.
❖ Aquellos alumnos/as que obtuvieran una nota como resultado de la/s
evaluación/es desarroliada/s durante el curso y/o en las fechas de recuperatorio
inferior a ios 6 (seis) puntos en promedio, tendrán la condición de alumno/a
libre.
La aprobación del curso y/o la acreditación de la condición de alumno regular presuponen
cumplir con el porcentaje de asistencia obligatorio.
Sandra Lazzer
