Lógica Moretti PDF
Lógica Moretti PDF
Lógica Moretti PDF
DEPARTAMENTO:
FILOSOFA
MATERIA:
LGICA
PROFESOR:
MORETTI
CUATRIMESTRE:
AO:
2016
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
cuatro horas semanales de clases. Se ocuparn de (1) desarrollo de un sistema
deduccin natural para la lgica cuantificacional; ejercitacin con nfasis
problemas de simbolizacin del lenguaje comn; (2) anlisis no deductivo
argumentos; (3) estudio de algunos temas introductorios a la filosofa de la lgica.
de
de
en
de
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.
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.
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.
6. Carga horaria
Total de horas semanales: clases tericas: 4; clases prcticas: 4; clases de consulta: 2
Total de horas cuatrimestrales: 160
Alberto Moretti
Profesor Titular
Departamento Filosofa