Universidad Catlica Argentina Santa Mara de los Buenos Aires Facultad de Filosofa y Letras

DEPARTAMENTO: FILOSOFIA CARRERA: FILOSOFIA CTEDRA: LOGICA II DURACIN: anual TURNO: noche CURSO LECTIVO: 2011 CURSO: 2do. ao TOTAL DE HS/SEM.: 3 horas

PROFESOR TITULAR: Dr. Javier Legris PROFESOR ADJUNTO: Lic. Claudio Torea

1.- OBJETIVOS DE LA ASIGNATURA

- Que el alumno adquiera las nociones fundamentales de la lgica matemtica en su estado actual. - Que el alumno adquiera las herramientas bsicas para representar enunciados y razonamientos mediante el simbolismo de la lgica matemtica, categorizando la informacin en individuos, propiedades, relaciones y funciones. - Que el alumno comprenda las nociones bsicas de la teora de conjuntos en funcin de su aplicacin a problemas filosficos y metalgicos. - Que el alumno comprenda los objetivos y la funcin de simbolizar y representar informacin por medio de lenguajes formales. - Que el alumno justifique la validez de razonamientos deductivos por medio de un mtodo formal y justifique que un conjunto de enunciados es consistente. - Que el alumno adquiera las herramientas bsicas para establecer resultados metalgicos elementales. - Que el alumno conozca los diferentes tipos de sistemas lgicos y comprenda la funcin de las diferentes sistematizaciones. - Que el alumno conozca las propiedades fundamentales de los sistemas lgicos formales. - Que el alumno comprenda algunos problemas filosficos que surgen de la lgica matemtica. - Que el alumno conozca los perodos fundamentales de la historia de la lgica matemtica y los relacione con la historia de la filosofa, en particular que conozca el contexto filosfico en el que surgi la lgica simblica. - Que el alumno comprenda las ideas bsicas de la lgica matemtica que ejercieron influencia en la filosofa del siglo XX.

2.- UNIDADES TEMTICAS. Los contenidos de cada unidad sern resumidos en guas y apuntes. En algunas unidades habr guas de trabajos prcticos. Toda unidad tendr indicada textos para su lectura y anlisis.
PRIMERA PARTE UNIDAD I: Introduccin. Ideas bsicas de la lgica matemtica (semana 1) (a) Orgenes y objetivos de la lgica matemtica: la idea de un anlisis matemtico de la inferencia deductiva en el siglo XIX: matemtica de la lgica y lgica de la matemtica. La lgica como modelo matemtico de la inferencia deductiva. Presupuestos de la lgica matemtica: simbolismo, lenguaje y clculo formal. (b) Razonamientos como sistemas de enunciados. Los conceptos de razonamiento vlido y consistencia en la lgica matemtica. La nocin de forma lgica: Las nociones de regla lgica, ley lgica y verdad lgica. Generalizacin de los conceptos de inferencia lgica y de razonamiento. Lecturas: Enderton, Herbert B.: Una introduccin matemtica a la lgica. Introduccin Legris, Javier: Deduccin y representacin. Cap. 1 Moreno, Alberto: Qu es la lgica matemtica?. Cap. 1, secc. 3. SEGUNDA PARTE UNIDAD II: Los conceptos de la lgica matemtica y su expresin simblica (semanas 2 a 6) (a) Conceptos lgicos y forma lgica. El simbolismo para los conceptos lgicos. (b) Cuantificadores: universal y existencial. Dominio de cuantificacin. (c) variables y constantes de individuo. Predicados absolutos y relacionales. Grado de predicados: predicados mondicos y polidicos. Condiciones de verdad para los cuantificadores. (c) Conectivas: conjuncin, disyuncin, condicional, negacin, etc. Conectivas como funciones de verdad. Composicin de enunciados mediante conectivas: enunciados atmicos y moleculares. Enunciados generales. (d) Representacin en el simbolismo lgico: la simbolizacin lgica de los enunciados del lenguaje ordinario. Objetos y predicados; objetos, propiedades y relaciones. Representacin de las proposiciones categricas de la lgica tradicional. Lecturas: Copi, Irving I.: Introduccin a la lgica, cap. VIII, secc. 1 Legris, Javier: Deduccin y representacin. Cap. 2.

UNIDAD III: Mtodos formales en lgica matemtica: El mtodo de los rboles analticos (semanas 7 a 11) La nocin de mtodo formal. Arboles analticos: Validez y la nocin de contraejemplo, reglas para conectivas y cuantificadores. Aplicacin a razonamientos: pruebas de validez de razonamientos, determinacin de leyes lgicas y de consistencia de conjuntos de enunciados. El caso de rboles infinitos: introduccin de la nocin de indecidibilidad. Aplicacin a: (a) inferencias inmediatas, (b) la silogstica, (c) razonamientos relacionales y (d) razonamientos proposicionales. Lecturas Jeffrey, Richard C.: Lgica formal: su alcance y sus lmites, caps. IV, VI y VII. UNIDAD IV: Nociones de semntica lgica (semana 12) Idea de la semntica. El concepto de verdad como concepto semntico central. Los conceptos semnticos de consistencia, consecuencia lgica y verdad lgica. Inconsistencia y validez. Consecuencia lgica y ausencia de contraejemplos. Los rboles analticos como test de consistencia.

Lecturas Jeffrey, Richard C.: Lgica formal: su alcance y sus lmites, caps. IV, VI y VII

TERCERA PARTE
UNIDAD V: Temas de la lgica de enunciados (semana 13 y 14) El lenguaje de la lgica de enunciados. Conectivas y funciones de verdad. Completitud funcional de la lgica de enunciados. Valuaciones booleanas. Tablas de verdad. Tautologas, contradicciones y contingencias. Decidibilidad de la lgica de enunciados. Completitud funcional de las conectivas clsicas. Paradojas de la implicacin material. Lecturas Jeffrey, Richard C.: Lgica formal: su alcance y sus lmites, cap. IV. Copi, Irving I.: Introduccin a la lgica, cap. VIII, seccs.: 2, 3 y 6. UNIDAD VI: Nociones de teora de conjuntos y aplicaciones a la lgica mtemtica (semanas 15 a 17) (a) Relacin de pertenencia y la idea intuitiva de conjunto. Relaciones entre conjuntos: inclusin e Igualdad de conjuntos. Operaciones entre de conjuntos (interseccin, unin y complemento). (b) Algebra de conjuntos: Representaciones diagramticas (diagramas de Venn) e inferencias diagramticas. Aplicaciones a la lgica: silogstica y lgica de enunciados. La reconstruccin de la silogstica en la lgica matemtica y el supuesto de existencia. Lecturas: Badesa, Calixto, Ignacio Jan y Ramn Jansana: Elementos de lgica formal, caps. 1-4. Manzano, Mara: Lgica para principiantes, caps. 6 y 7 Mates, Benson. Lgica matemtica elemental, cap. 2. CUARTA PARTE UNIDAD VII: Panorama de la historia de la lgica matemtica (semanas 18 a 21) (a) Leibniz y la idea de clculos para la inferencia deductiva (silogstica y lgica de enunciados). Boole y la idea de un lgebra de la lgica. (b) La idea de cuantificacin: Frege y Peirce. La lgica de relaciones: De Morgan, Peirce y Schrder. (c) Frege y la axiomatizacin de la lgica. Lgica matemtica y los problemas de fundamentos de matemtica en el siglo XIX: la lgica entre matemtica y filosofa. El sistema de los Principia Mathematica de Russell y Whitehead. (d) La constitucin de la lgica matemtica como disciplina. La metamatemtica de Hilbert. La aparicin de la Teora de la demostracin (Hilbert y Gentzen) y la Teora de modelos (Tarski). Lecturas: Boole, George: El anlisis matemtico de la lgica. Introduccin Frege, Gottlob: Conceptografa. Prlogo.

UNIDAD VIII: La lgica de primer orden como teora formal de la lgica (semanas 22 a 24) (a) Idea de metalgica y metateora. Propiedades metalgicas. Nocin de lenguaje formal: sintaxis y semntica. Lenguaje y metalenguaje. Lenguaje y modelo (b) El lenguaje de la lgica de primer orden: definiciones de trmino y frmula. (c) Nocin de teora formal y de clculo formal. Tipos de sistemas para la lgica de primer orden: panorama general. Sistemas axiomticos y de rboles analticos. El concepto de derivacin formal. (d) Propiedades de los sistemas para la lgica de primer orden: adecuacin semntica (correccin y completitud), compacidad, indecidibilidad, Propiedades formales de la relacin de inferencia deductiva. Lecturas: Curch, Alonzo: El mtodo logstico (trad.). Mates, Benson. Lgica matemtica elemental, cap. 2. Torretti, Roberto: El mtodo axiomtico.

CUARTA PARTE UNIDAD VIII: Perspectivas ulteriores de la lgica matemtica (semanas 25 a 27) (a) Lgica modal (lgicas epistmica, dentica, temporal, etc.). El concepto de lgica intensional y la semntica de mundos posibles. (c) Razonamientos ampliativos y lgica de la inferencia revocable. Lecturas: Priest, Graham: Una brevsima introduccin a la lgica, cap. 6. Strawson, Peter F.: Introduccin a una teora de la lgica, cap. 9 secc. 1

UNIDAD IX: Lgica matemtica y filosofa (semanas 28 a 30) (a) Filosofa de la lgica y lgica matemtica: Supuestos ontolgicos en la lgica matemtica. Dominio de cuantificacin y universo de discurso. Individuos como argumentos de predicados. La predicacin en la lgica matemtica. Individuos, propiedades y relaciones. Formas lgicas como entidades lgicas; ontologa, gnoseologa y semntica. (b) Las funciones descriptiva y deductiva de la lgica. (c) El concepto de lgica clsica. La crtica a los principios lgicos clsicos: el principio de tercero excluido y el principio de no contradiccin como casos. lgica intuicionista y lgica clsica. (d) El mtodo de anlisis lgico del lenguaje como mtodo filosfico. Las Lgicas Filosficas. Lecturas: Chateaubriand, Oswaldo: Lgica, Ontologa y teora del conocimiento (trad.) Dummett, Michael: Lgica y ontologa (trad.) Hintikka, Jaakko: Las funciones de la lgica (trad.) Dez Martnez: Introduccin a la filosofa de la lgica. Cap. Introduccin

3.-DISTRIBUCIN DEL TIEMPO POR CADA UNIDAD

UNIDAD UNIDAD UNIDAD UNIDAD UNIDAD UNIDAD UNIDAD UNIDAD UNIDAD I semana 1 II semanas 2 a 6 III semanas 7 a 11 IV semana 12 V semanas 13 a 14 VI semanas 15 a 17 VII semanas 18 a 21 VIII semanas 22 a 24 IX semanas 25 a 30

4.- BIBLIOGRAFA Los libros marcados con astrico se encuentran en la Biblioteca de la UCA

4.1. BIBLIOGRAFA GENERAL

(durante el dictado de la asignatura se har una seleccin, indicando, adems, secciones pertinentes) * Badesa, Calixto, Ignacio Jan y Ramn Jansana: Elementos de lgica formal. Barcelona, Ariel, 1998. ISBN: 84-344-8748-9 * Dez Martnez, Amparo: Introduccin a la filosofa de la lgica. Madrid, UNED, 2005 * Jeffrey, Richard C.: Lgica formal: su alcance y sus lmites. Trad. cast. de Angel DOrs, Pamplona, Eunsa, 1999. ISBN 84-313-0949-0.

* Legris, Javier: Deduccin y representacin. Una introduccin a la lgica de primer orden. Buenos Aires, Economizarte, 2001. ISBN 987-9372-40-9. * Manzano, Mara & Antonia Huertas: Lgica para principiantes. Madrid, Alianza, 2004. ISBN 84-206-4570-2.
*

Moreno, Alberto. Qu es la lgica matemtica. Buenos Aires, Columba, 1967.

* Moreno, Alberto: Lgica matemtica. Antecedentes y fundamentos. 3ra. ed., Buenos Aires, Eudeba, 1981. * Priest, Graham. Una brevsima introduccin a la lgica. Mxico, Ocano, 2006. ISBN 970-777-026-0

4.1. BIBLIOGRAFA COMPLEMENTARIA

* Alchourrn, Carlos E., Jos M. Mndez & Ral Orayen (comps.): Lgica (Enciclopedia Iberoamericana de Filosofia, vol Vll). Madrid, Trotta, C.S.I.C., 1995. * Bochenski, Innocentius Marie: Historia de la lgica Formal. Trad. cast. de Milln Bravo Lozano. Madrid, Gredos, 1968. ISBN 84-249-2153-4. Boolos, George S. & Richard C. Jeffrey: Computability and Logic. 3ra. ed., Cambridge, Cambridge University Press, 1989. Bostock, David. Intermediate Logic. Oxford - New York, Clarendon Press, 1997. Reimpr. 2002. ISBN 0-19-875142-7 Cassini, Alejandro: El juego de los principios. Una introduccin al mtodo axiomtico. Buenos Aires, AZ, 2007. ISBN 950 534 840 1. * Chateaubriand, Oswaldo: Logical Forms. Part II Logic, Language and Knowledge. Campinas, UNICAMP CLE, 2005. Church, Alonzo: Introduction to Mathematical Logic. Princeton (N.J.), Princeton University Press, 1956. Cohen, Morris y Ernst Nagel: Introduccin a la lgica y al mtodo cientfico I. Lgica formal. Trad. cast. de Nstor Miguez. Buenos Aires, Amorrortu, 1968, 9na. reimpr. 2000. ISBN 950-518-999-0. * Copi. Irving M.: Introduccin a la lgica. Trad. cast. de Nstor Miguez. 22da. ed., Buenos Aires, Eudeba, 1981. ISBN 950-2309-308 Crossley, J.N. et alter: Qu es la lgica matemtica?. Trad. cast. de J. Alcolea Banegas. Madrid, Tecnos. 1983 Curry, Haskell B: Foundations of Mathematical Logic. Nueva York, Dover, 1977. Dalla Chiara Scabia, Maria Luisa. Lgica. Trad. cast. de J.M. Valderas Gallardo, Barcelona, Labor, 1976. Dowek, Gilles: La lgica. Trad. Cast. De M.G. Bentez Toriello. Mxico, Siglo XXI, 2001. ISBN 968-23-2334-7. Enderton, Herbert B.: Una introduccin matemtica a la lgica. Trad. cast. de Pablo Rosenblueth. Mxico, Universidad Nacional Autnoma de Mxico, 1987. ISBN 968-36-0084-0.

* Frpolii Sanz, Mara Jos (comp.): Filosofa de la lgica. Madrid, Tecnos, 2007. ISBN 978-84-309-4547-4 Gabbay, Dov & Franz Guenthner (comps.): Handbook of Philosophical Logic.

Vol. I. Dordrecht, Reidel, 1983.

* Garca Trevijano, Carmen: El arte de la lgica. 2da. ed., Madrid, Tecnos, 2002. ISBN 84309-3908-3. * Gamut, L.T.F.: Introduccin a la lgica. Trad. cast de Cecilia Durn. Buenos Aires, Eudeba, 2002. ISBN 950-23-1224-4. * Gamut, L.T.F.: Lgica, lenguaje y significad. Volumen II: Lgica intensional y gramtica lgica. Trad. cast de Cecilia Durn. Buenos Aires, Eudeba, 2009. ISBN 978-950-23-1676-5. Hilbert, David & Wilhelm Ackermann: Elementos de lgica terica. Trad. cast. de Vctor Snchez de Zavala, 2da. ed., Madrid, Tecnos, 1975. ISBN 84-309-0581-2. Hodges, Wilfrid: Logic. 2da. ed., Hammondsworth, Penguin, 2001. ISBN 0141003146. Howson, Colin: Logic with trees. An Introduction to Symbolic Logic. London, Routledge, 1997. ISBN 0-415-13342-4. Hunter, Geoffrey: Metalgica. Introduccin a la metateorla de la lgica clsica de primer orden. Trad. cast. de R. Fernndez Gonzlez, Madrid, Paraninfo,. 1981. Jacquette, Dale (comp.): Philosophy of Logic. Amsterdam et al., Elsevier, 2006. ISBN: 978 0444515414. Kleene, Stephan Cole: Introduccin a la metamatemtica. Trad. cast. de M. Garrido, Madrid, Tecnos,1974. Kneale, William & Martha: The Development of Logic. Oxford, Clarendon Press, 1962. Hay traduccin castellana de Javier Muguerza. Madrid, Tecnos, 1972. Kutschera, Franz von: Elementare Logik. Viena - N.York, Springer, 1967. Legris, Javier: "Razonamiento revocable y lgicas no montonas: un anlisis conceptual". En Cuadernos del Cimbage, 5 (2002), pp. 109-131. Mates, Benson. Lgica matemtica elemental. Trad. cast. de C. Garcia Trevijano, Madrid, Tecnos, 1970. Mendelson, Elliott: Introduction to Mathematical Logic. 2da. ed., New York, et al., Van Nostrand, 1979. ISBN 0-442-25307-9. Moretti, Alberto y Ral Orayen (comps.): Filosofa de la lgica. Madrid, Trotta-Csic, 2004. ISBN 84 8164 673 3. * Prawitz, Dag. Natural Deduction. a Proof-Theoretical Study. Nueva York, Dover, 2006. Prior, Arthur N. et al.: Historia de la lgica. Trad. cast. de Amador Antn y Esteban Requena, revisada por M. Garrido. Madrid, Tecnos, 1976. ISBN 84309-0620-7. Read, Stephen: Thinking about Logic. An Introduction to The Philosophy of Logic. Oxford Nueva York, Oxford University Press, 1995. ISBN 0-19-289238-X Simpson, Thomas Moro. Formas lgicas, realidad y significado, 2da. ed. Buenos Aires, Eudeba, 1975.

* Smullyan, Raymond: First-Order Logic. Berlin - Heildelberg- N.York, Springer-Verlag, 1968. Reedicin: Nueva York, Dover, 1995. ISBN 0-486-68370-2. Suppes, Patrick: Introduction to Logic. Princeton et al., Van Nostrand, 1957. Hay trad. cast.: Mxico, Cecsa, 1966. Stegmller, Wolfgang & Matthias Varga von Kibd: Strukturtypen der Logik. Berlin Heildelberg -N.York - Tokio, Springer-Verlag, 1984. Strawson, Peter F. Introduccin a una teora de la lgica. Trad. cast. de J. Atelier V. Buenos Aires, Nova, 1969. Tennant, Neil: Natural Logic. Edimburgo, Edinburgh University Press, 1978. * Tugendhat, Ernst & Ursula Wolf. Propedutica lgico-semntica. Trad. cast. de Guillermo Hoyos. Rubi, Anthropos, 1997. ISBN 84-7658-523-3 Vega Ren, Luis: Una gua de historia de la lgica. Madrid, UNED, 1997. Wang, Hao: Popular Lectures on Mathematical Logic. Nueva York, Dover, 1993.

Los libros marcados con astrico se encuentran en la Biblioteca de la UCA

Recursos en Internet Logic and Philosophy of Science http://www.calculemus.org/LogBank/logic.html Logiclinks: http://gustavus.edu/academics/philosophy/logic.html Mathematical Logic around the World: http://world.logic.at Stanford Dynamic Encyclopedia of Philosophy: http://plato.stamford.edu/contents.html The Reasoner http://www.thereasoner.org

5.- METODOLOGA
Inicialmente, se tratar de familiarizar al alumno con los conceptos bsicos que se deben dominar para poder acceder al conocimiento de los conceptos y herramientas lgicas Para el logro del objetivo indicado precedentemente, es necesario que el alumno adquiera conocimientos bsicos en torno de los conceptos ms fundamentales de la lgica matemtica. Esto vale especialmente en lo concerniente al concepto de razonamiento vlido, y a las nociones relativas a lenguajes formales. Posteriormente, se compararn las etapas del desarrollo de la lgica con las de la historia de la filosofa. Finalmente, se motivar a los alumnos a discutir algunos problemas filosficos subyacentes a la lgica. La metodologa adoptada para el dictado de las clases es terico-prctica. Los principales aspectos sern los siguientes: - El profesor explicar al comienzo de cada clase los conceptos esenciales de cada tema. - Los alumnos tendrn total libertad para interrumpir a los docentes para solicitar aclaraciones cuando las explicaciones no sean lo suficientemente claras. - En parte de la materia, el profesor mostrar a los alumnos la solucin de problemas modelo que den lugar a la aplicacin de los conceptos introducidos en clase. Luego sern seleccionados otros problemas para resolucin por parte de los alumnos de manera que

posibiliten la ejercitacin de los conceptos, y la resolucin de los problemas que los incluyen. - Para cada unidad habr una lectura obligatoria (tomada de la bibliografa bsica) que ser discutida en clase. - Juntamente con los trabajos prcticos, se introducirn algunos problemas filosficos vinculados con la lgica matemtica.

6.- CRITERIOS DE EVALUACIN DE TRABAJOS PRCTICOS (Mencin de los trabajos prcticos requeridos- Secuencia de tiempo- Condiciones de aprobacin)
Se parte del supuesto de que la evaluacin ser permanente a travs de la participacin de los alumnos en clase. Esta evaluacin permanente ser posible mediante la entrega de cuestionarios sobre los textos analizados y la realizacin de trabajos prcticos para cada unidad.

7.- CRITERIOS y MODALIDAD PARA LAS EVALUACIONES PARCIALES

En el cursado de la asignatura habr dos evaluaciones parciales con una parte terica y una parte terica en ambas instancias. Condiciones suficientes para aprobar cada parcial es obtener al menos 4 puntos, con al menos 2 puntos en cada una de las partes terica y prctica. Para quienes no hayan aprobado o estn ausentes en a lo sumo un parcial, existe la posibilidad de una evaluacin recuperatoria

8.- CRITERIOS y MODALIDAD PARA LA EVALUACIN DEL EXAMEN FINAL

( Obligatorio: individual, oral y ante tribunal. Pueden agregarse otras condiciones requeridas por la ctedra)

El examen final es oral, aunque se exigir al examinando que en su exposicin tambin utilice el pizarrn u hojas de papel. El tribunal elegir un tema de una de las unidades del programa, diferente del anterior, al que el examinando deber referirse, y posteriormente deber responder sobre otros puntos del programa.

9.- FIRMA DEL PROFESOR TITULAR O A CARGO DE LA CTEDRA Y FECHA

Firma: Aclaracin: Javier Legris Lugar y fecha: Buenos Aires, 01/03/2011

10.- FIRMA Y APROBACIN DEL DIRECTOR DE LA CARRERA Y FECHA

Firma: Aclaracin: Lugar y fecha:

Sello de la Unidad Acadmica