Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 56 vistas

    Logica Superior

    Cargado por

    William Agudelo
    Este documento presenta el programa de la asignatura Lógica Superior de la Facultad de Filosofía y Letras de la Universidad de Buenos Aires para el segundo cuatrimestre de 2012. El curso se dividirá en cuatro unidades que cubrirán la teoría de la computabilidad, la metalógica de primer orden, los teoremas de Gödel y los teoremas de Tarski. El objetivo es analizar los vínculos entre lógica, aritmética y computabilidad, así como comprender los límites expresivos de la verdad aritmética.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Logica Superior

    Cargado por

    William Agudelo
    56 vistas5 páginas
    Este documento presenta el programa de la asignatura Lógica Superior de la Facultad de Filosofía y Letras de la Universidad de Buenos Aires para el segundo cuatrimestre de 2012. El curso se dividirá en cuatro unidades que cubrirán la teoría de la computabilidad, la metalógica de primer orden, los teoremas de Gödel y los teoremas de Tarski. El objetivo es analizar los vínculos entre lógica, aritmética y computabilidad, así como comprender los límites expresivos de la verdad aritmética.

    Descripción original:

    info

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta el programa de la asignatura Lógica Superior de la Facultad de Filosofía y Letras de la Universidad de Buenos Aires para el segundo cuatrimestre de 2012. El curso se dividirá en cuatro unidades que cubrirán la teoría de la computabilidad, la metalógica de primer orden, los teoremas de Gödel y los teoremas de Tarski. El objetivo es analizar los vínculos entre lógica, aritmética y computabilidad, así como comprender los límites expresivos de la verdad aritmética.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    56 vistas5 páginas

    Logica Superior

    Cargado por

    William Agudelo
    Este documento presenta el programa de la asignatura Lógica Superior de la Facultad de Filosofía y Letras de la Universidad de Buenos Aires para el segundo cuatrimestre de 2012. El curso se dividirá en cuatro unidades que cubrirán la teoría de la computabilidad, la metalógica de primer orden, los teoremas de Gödel y los teoremas de Tarski. El objetivo es analizar los vínculos entre lógica, aritmética y computabilidad, así como comprender los límites expresivos de la verdad aritmética.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 5

    UNIVERSIDAD DE BUENOS AIRES FACULTAD DE FILOSOFIA Y LETRAS

    DEPARTAMENTO: ASIGNATURA: PROFESORES: CUATRIMESTRE: AO: PROGRAMA N:

    FILOSOFA LGICA SUPERIOR Dr Eduardo Alejandro Barrio Segundo 2012

    UNIVERSIDAD DE BUENOS AIRES FACULTAD DE FILOSOFA Y LETRAS DEPARTAMENTO DE LETRAS ASIGNATURA: LGICA SUPERIOR PROFESOR: Dr Eduardo Alejandro Barrio Segundo cuatrimestre de 2012

    1. Fundamentacin y descripcin Durante el curso, se presentarn las nociones de la teora de la computabilidad (enumerabilidad, diagonalizacin, mquinas de Turing, funciones recursivas), se analizar la tesis de Turing-Church, se expondrn los principales metateoremas de la lgica clsica de primer orden (Correccin Completitud Compacidad Lwenheim-Skolem), se desarrollarn los teoremas de Gdel incompletitud de la aritmtica de primer orden y finalmente, se reflexionar acerca de los lmites expresivos vinculados al concepto de verdad aritmtica. 2. Objetivos - Analizar los vnculos entre lgica, aritmtica y computabilidad. - Comprender los principales problemas y motivaciones para construir los sistemas de lgica de primer orden. - Demostrar los metateoremas de Correccin y de Completitud de la lgica clsica de primer orden. - Demostrar, utilizando diversas tcnicas, los metateoremas de Compacidad y LwenheimSkolem. - Demostrar los Teoremas de Gdel (Primer y Segundo Teorema de Gdel) y analizar sus consecuencias filosficas. - Demostrar el Teormema de Tarski y analizar sus consecuencias filosficas. 3. Programa Analtico: Introduccin. - Unidad 1: Teora de la Computabilidad oEnumerabilidad, Diagonalizacin y Computabilidad. oMquinas de Turing: lmites en la cumputabilidad. oMquinas: supertareas para supermquinas. oFunciones recursivas primitivas y conjuntos recursivamente enumerables, oLos lenguajes formales de primer orden: aritmetizacin de la sintaxis

    - Unidad 2: Metalgica de las Teoras de Primer Orden

    oLgica cuanticacional de primer orden: presentacin axiomtica oModelos para las teoras de primer orden. oDemostraciones, recursividad y pruebas. oLa indecibilidad general de la lgica de primer orden oLas pruebas de correccin y de completitud (Henkin) de la lgica de primer orden. oCompacidad como un corolario de completitud. oOtras pruebas de Compacidad oDemostracin del Teorema Lwenheim Skolem. - Unidad 3: Los Teoremas de Gdel oAxiomatizaciones de la Aritmtica: la aritmtica de Robinson, y la aritmtica de Peano, induccin matemtica y la aritmtica de segundo orden. oGdelizacin de los lenguajes: la representacin de los predicados de prueba y de consistencia de la aritmtica. oLa oracin de Gdel y la incompletitud de la aritmtica de primer orden. oLa consistencia de la aritmtica y su inexpresabilidad dentro de la aritmtica - Unidad 4: Los Teoremas de Tarski y Lb oDefiniciones tarskianas de verdad. oEl Teorema de la indefinibilidad de la verdad. oEs posible definir la verdad aritmtica? oEl Teorema de Tarski y la incompetitud expresiva de la semntica. oEl Teorema de Lb y los principios de reflexin de la aritmtica

    4. Bibliografa especfica Unidad I Boolos, G., Burgess, J. & Jeffrey, R. Computability and Logic. Cambridge, New York: Cambridge University Press, 2001. Caps. 1, 2, 3, 4, 6 , 7 y 8. Smith, P. An Introduction to Gdels Theorems. (Cambridge, Cambridge UP, 2009).

    Unidad 2 Boolos, G., Burgess, J. & Jeffrey, R. Computability and Logic. Cambridge, New York: Cambridge University Press, 2001. Caps. 9, 10, 11, 12, 13 y 14. Hodges, W. Elementary Predicate Logic en Gabbay, D. & Guenthner, F. Handbook of Philosophical Logic, Kluwer Academic Publishers, 2001. Hunter, G. Metalgica Madrid, Paraninfo. 1981. Segunda Parte. Mendelson, E. Introduction to Mathematical Logic (Londres, Chapman and Hall, 1997). Unidad 3 Boolos, G., Burgess, J. & Jeffrey, R. Computability and Logic. Cambridge, New York: Cambridge University Press, 2001, Caps 15, 16, 17 y 18 Hunter, G. Metalgica Madrid, Paraninfo. 1981. Segunda Parte. McGee Gdels First Incompleteness Theorem Manuscrito. McGee Gdels Second Incompleteness Theorem Manuscrito. Paseau, A. Proofs of the Compactness Theorem, HISTORY AND PHILOSOPHY OF LOGIC, 31 2010, Smith, P. An Introduction to Gdels Theorems. (Cambridge, Cambridge UP, 2009). Unidad 4 Boolos, G., Burgess, J. & Jeffrey, R. Computability and Logic. Cambridge, New York: Cambridge University Press, 2001. Caps. 17 y 18. Smith, P. An Introduction to Gdels Theorems. (Cambridge, Cambridge UP, 2009). Tarski, A. (1929) The Concept of Truth in Formalized Languages en Tarski, A. (1956) Logic, Semantics and Metamathematics Oxford, Oxford University Press, Segunda edicin 1990.

    5. Actividades planificadas Clases Tericas: se destinarn a la exposicin de los principales temas del presente programa. Cuatro horas semanales: lunes y mircoles de 15 a 17hs. Horarios de Consulta de clases tericas: Todos los mircoles de 17 a 18hs en el aula 441 del Instituto de Filosofa Clases Prcticas: Habr dos comisiones de trabajos prcticos, de cuatro horas cada una. En las mismas, se desarrollarn los ejercicios del libro Boolos, G., Burgess, J. & Jeffrey, R. Computability and Logic. Cambridge, New York: Cambridge University Press, 2001. Total de horas semanales del curso: 8 horas 6. Condiciones de regularidad y rgimen de promocin y calificacin 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. Se tomarn dos exmenes escritos, acerca de los temas desarrollados en las clases. 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. 7. Requisitos y recomendaciones Seber leer en Ingls.

    Dr Eduardo Alejandro Barrio Profesor Regular Adjunto

    También podría gustarte