Está en la página 1de 5

UNIVERSIDAD DE BUENOS AIRES

FACULTAD DE FILOSOFIA Y LETRAS

DEPARTAMENTO: FILOSOFA

MATERIA: LGICA

PROFESOR: MORETTI

CUATRIMESTRE: PRIMERO (franja horaria vespertina)

AO: 2017

PROGRAMA N: 0211

1/5
UNIVERSIDAD DE BUENOS AIRES
FACULTAD DE FILOSOFA Y LETRAS
DEPARTAMENTO DE FILOSOFA

MATERIA: LGICA
PROFESOR: MORETTI

PRIMER CUATRIMESTRE 2017 (turno tarde)


PROGRAMA N 0211

1. Fundamentacin y descripcin

Clases tericas. Se destinarn a (1) estudio de la construccin y evaluacin de


sistemas deductivos de primer orden: importancia conceptual de estos sistemas;
demostracin de consistencia y complecin para lgica de conectivos extensionales;
idea de teoremas de limitacin. (2) Estudio de un sistema cuantificacional de
deduccin natural. (3) Rudimentos de extensiones y divergencias de la lgica
elemental, y de anlisis de la inferencia no deductiva. (4) Examen de algunos
problemas lgico-filosficos.

Clases prcticas. Habr dos comisiones de trabajos prcticos, cada una a cargo de
cuatro horas semanales de clases. Se ocuparn de (1) desarrollo de un sistema de
deduccin natural para la lgica cuantificacional; ejercitacin con nfasis en
problemas de simbolizacin del lenguaje comn; (2) anlisis no deductivo de
argumentos; (3) estudio de algunos temas introductorios a la filosofa de la lgica.

Semanalmente habr horarios adicionales para consultas individuales o grupales


acerca de lo desarrollado en clases tericas y prcticas.

2. Objetivos

-Adquirir criterios y tcnicas para evaluar validez deductiva y plausibilidad de


argumentos.
-Comprender las motivaciones para construir y los problemas para evaluar los
sistemas de lgica elemental.
-Considerar ejemplos de interrelacin entre problemas y conceptos lgicos y
filosficos.

2/5
3. Contenidos

I. Hablar y concluir.

1. Locuciones, contextos de habla y contextos de interpretacin.


2. Intercambios lingsticos, argumentaciones, argumentos y correccin.
3. Creencias, problemas, lgica y lenguaje. Consideraciones pretericas.
4. Pretensiones de fuerza inferencial y aceptabilidad de los razonamientos.
5. La teora lgica en general. Inferencias deductivas y no deductivas.

II. Teora clsica de la inferencia deductiva. (Lgica elemental clsica).

1. Introduccin
1. Bases pretericas: forma, verdad y correccin. Leyes y normas del pensar.
2. Significado inferencial. Gramtica lgica. Lenguajes naturales y
artificiales.
3. Leyes y reglas lgicas. Sistemas axiomticos y no axiomticos.

2. Un sistema cuantificacional de deduccin natural.


1. Lgica de conectivos extensionales.
2. Lgica de cuantificadores fregueanos.
3. Identidad y descripciones.

3. Evaluacin de los sistemas de lgica.


1. La relacin de consecuencia deductiva. Anlisis sintctico y semntico.
2. Consistencia, complecin y decidibilidad de un sistema axiomtico de
lgica de conectivos clsicos.
3. El caso de la lgica cuantificacional.

III. Breve noticia de otros desarrollos de la teora lgica.

1. Modificaciones de la lgica elemental.


1. Extensiones (modalidades, segundo orden, tiempos y modificadores
verbales, cuantificadores no clsicos).
2. Alteraciones (intuicionismo, polivalencia, paraconsistencia, relevancia,
revocabilidad).
2. La inferencia no deductiva.
1. Evaluacin no deductiva. Falacias e insuficiencias.
2. Argumentos inductivos, estadsticos, abductivos.

IV. Lgica y filosofa.

1. Anlisis lgico de problemas filosficos.


2. Problemas filosficos de la lgica.

3/5
4. Bibliografa especfica

Para I y II:
- Copi, I. Introduccin a la lgica. Bs.As.: Eudeba, 1974 (orig. 1972). Cap. I
- Gamut, L.T.F. Introduccin a la lgica. Buenos Aires, Eudeba, 2002. (Trad. de
Logic, Language and Meaning. Vol. 1, Introduction to logic. Chicago y
Londres, University of Chicago Press, 1991). Caps. 1-4.
-Hunter, G. Metalgica. Madrid, Paraninfo, 1981 (Trad. de Metalogic. An
Introduction to the Metatheory of Standard First Order Logic. Berkeley,
University of California Press,1971). 17-32.

Para III.1:
-Alchourrn, Mndez y Orayen (comps.) Lgica . Tomo 7 de la Enciclopedia
Iberoamericana de Filosofa. Madrid, Trotta, 1995.
Para III.2:
- Copi, I. op. cit.. Caps. II-IV.

Para IV:
- Simpson, T. Formas lgicas, realidad y significado, Bs. As.: Eudeba, 1975.
Cap. III.
- Haack, S. Filosofa de las lgicas. Madrid, Ctedra, 1982 (Trad. de Philosophy
of Logics, Cambridge University Press, 1978). Caps. 3 y 4.

5. Bibliografa complementaria
Para I y II:
- Alchourrn, C. Concepciones de la lgica, en Alchourrn, Mndez y Orayen ,
op.cit.
- Haack, S. Op. cit.. Cap. 2.
- Moretti, A. Argumentos, deduccin y lenguaje, Fichas ctedra, FFyL, 1999.
- Orayen, R. Lgica, significado y ontologa, Mxico: Unam, 1989.Cps. I y IV
- Quine, W. Los mtodos de la lgica, Barcelona: Ariel, 1967 (orig. 1962).
- Gabbay D. y Guenthner F. (comps.) Handbook of Philosophical Logic. Vol. I
Elements of Classical Logic. Kluwer, 1983.

Para III:
- Gabbay D. y Guenthner F. (comps.) Handbook of Philosophical Logic. Vol.II.
(Kluwer, 1984) y Vol III (Kluwer, 1986).
- Palau, G. et alter, Lgicas condicionales y razonamiento de sentido comn.
Barcelona, Gedisa, 2004
- Walton, D. Informal Logic, Cambridge University Press, 1989.

Para IV:
- Orayen, R. Op.cit.. Cap. VI.
- Orayen y Moretti (comps.) Filosofa de la lgica. Tomo 27 de la Enciclopedia
Iberoamericana de Filosofa. Madrid, Trotta, 2004.
- Copi y Gould (comps.) Contemporay Philosophical Logic. N.York: Macmillan.
Parte II.

4/5
6. Carga horaria

Total de horas semanales: clases tericas: 4; clases prcticas: 4; clases de consulta: 2


Total de horas cuatrimestrales: 160

7. Condiciones de regularidad y rgimen de promocin

La materia se ajusta a las normas que rigen para las materias de promocin directa.
La promocin directa de la materia se alcanza con el 80% de la asistencia a las clases
tericas y de trabajos prcticos, y un promedio mnimo de 7 (siete) puntos en los
exmenes. Quienes no cumplan con estos requisitos, podrn alcanzar la regularidad
para poder rendir examen final con el 75% de la asistencia a las clases de trabajos
prcticos y un promedio mnimo de 4 (cuatro) puntos en los exmenes.

Alberto Moretti
Profesor Titular
Departamento Filosofa

5/5