Seminario de Doctorado

Escuela de Posgrado Facultad de Humanidades y Artes Universidad Nacional de Rosario

Ttulo: Fundamentos de la lgica formal del siglo XX. Profesor: Dr. Hctor Freytes Carga horaria: 60 hs. Fundamentacin y objetivos del plan Es bien conocido que la lgica ha sufrido un cambio radical desde finales del siglo XIX motivado en gran parte por la discusin acerca de los fundamentos de la matemtica y el estudio del lenguaje como instrumento de la ciencia. A travs de diversas problemticas abordadas, en las cuales, o bien la lgica era usada como un mero instrumento o bien, cierto aspecto de la lgica constitua el problema central de estudio, diversos autores han contribuido a dar forma a esta disciplina tal como se la conoce y trabaja actualmente. Muchas veces y con solo el objetivo de extender las fronteras del conocimiento, la lgica es presentada como un constructo formalmente correcto dejando de lado su evolucin y sus motivaciones. El objetivo de este curso consiste en estudiar este proceso de evolucin de la lgica. Como segundo objetivo se desea poner de manifiesto limitaciones y ventajas del uso de la lgica formal en diversas reas de la filosofa contempornea. Este curso se fundamenta en las siguientes cosas: 1) Desde un mero punto de vista de la ubicacin en un plan de formacin de postgrado es til para completar o profundizar ciertos puntos de un programa de epistemologa general. 2) Permite introducir al graduado en diversas problemticas propias de la filosofa de la lgica, las cuales pueden derivar en objeto de estudio e investigacin. 3) Introducir el uso de la lgica como posible herramienta de trabajo en diversas reas como ser la filosofa del lenguaje, filosofa de la fsica, semitica etc. Programa Unidad 1: Los orgenes de la nueva concepcin de la lgica 1.1 La componente epistemolgica: La ciencia como conocimiento derivado de los hechos. Observacin y teoras. Necesidad de un lenguaje preciso para la ciencia. 1.2 La componente matemtica de la lgica: Las nuevas corrientes en los fundamentos de la matemtica, la disputa entre August De Morgan y William Hamilton, la lgica como clculo de clases en George Boole. La teora de conjuntos de Georg Cantor.

Unidad 2: Frege y la posicin anti psicologista de la lgica 2.1 La posicin psicologista: Stuart Mill.

2.2 El lenguaje perfecto segn Frege 2.3 El concepto de verdad en Frege (la posicin anti psicologista) 2.4 Sentido y referencia 2.5 Frege y la disputa entre la lgica de proposiciones (lgica estoica) y la lgica de trminos (lgica Aristotlica). 2.6 Sistemas de lgica formal en Frege Unidad 3: Una gnesis de los lenguajes formales. Paradojas semnticas 3.1 Cada del programa logicista de Frege. La paradoja de Russel. 3.2 El nacimiento de las teoras axiomticas de conjuntos. 3.3 El atomismo lgico en Russel 3.4 Algunos aspectos lgicos en el Tractatus Logico-Philosophicus de Wittgenstein. Unidad 4: Recursividad, atomismo lgico y lenguajes formales 4.1 Gdel y la teora de las funciones recursivas. 4.2 Alan Turing y los orgenes de la computabilidad 4.3 Lenguajes formales decidibles: el atomismo lgico y las funciones recursivas 4.4 Dos ejemplos: El lenguaje de la lgica proposicional y el lenguaje de la lgica de primer orden 4.5 Otros usos: El modelo Chomskiano de gramtica transformacional (breve resea) 4.6 El formalismo de Hilbert. Unidad 5: La componente semntica 5.1 La teora de la verdad por correspondencia. 5.2 Lenguajes semnticamente cerrados y las paradojas semnticas. 5.3 El concepto semntico de la verdad de Tarski. 5.4 Teoras no clsicas de la verdad: Intuicinismo (verdad vs constructibilidad), lgicas multivaluadas. Bibliografa 1- A. J. Ayer: EL POSITIVISMO LGICO Ed Fondo de Cultura Econmica, 1993. 2- I. Copi, C. Cohen: INTRODUCCIN A LA LGICA, Ed. Limusa, Mexico 1997. 3- M. Dummett: LA VERDAD Y OTROS ENIGMAS, Ed Fondo de Cultura Econmica, 1990. 4- M. Fitting FIRST ORDER LOGIC AND AUTOMATED THEOREM PROVING, Ed. Springer-Verlag, New York Berlin Heidelberg London Pars Tokio Hong Kong 1990. 5- E. Mendelson INTRODUCTION TO MATHEMATICAL LOGIC, Ed. The Wadsworth & Brooks/Cole Mathematics Series, Monterrey California, 1987 6- A. Salomaa: FORMAL LANGUAGES, Ed Academic Press London 1973. 7- L. M. Valds Villanueva LA BUSQUEDA DEL SIGNIFICADO, Ed Tecnos Madrid 1995

Evaluacin y Aprobacin

La evaluacin consistir en la presentacin de una monografa siguiendo la temtica del curso y ser fijada acorde a los intereses del alumno. Dicho trabajo ser defendido en un coloquio.

Profesor Hctor Freytes