Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 3 vistas

    Lógica 1º cuatrimestre vespertina 2019 S.Lazzer

    Cargado por

    pferfranco74

    Copyright:

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

    Lógica 1º cuatrimestre vespertina 2019 S.Lazzer

    Cargado por

    pferfranco74
    3 vistas6 páginas

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    3 vistas6 páginas

    Lógica 1º cuatrimestre vespertina 2019 S.Lazzer

    Cargado por

    pferfranco74

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    Está en la página 1de 6

    UNIVERSIDAD DE BUENOS AIRES

    FACULTAD DE FILOSOFIA Y LETRAS

    DEPARTAMENTO: FILOSOFÍA

    MATERIA: LÓGICA

    PROFESORES: SANDRA LAZZER

    CUATRIMESTRE: 1º (Franja Vespertina)

    AÑO: 2019

    PROGRAMA Nº: 0211


    UNIVERSIDAD DE BUENOS AIRES
    FACULTAD DE FILOSOFÍA Y LETRAS
    DEPARTAMENTO DE FILOSOFÍA
    MATERIA: LÓGICA
    MODALIDAD DE PROMOCIÓN: PD
    CUATRIMESTRE Y AÑO: 1º CUATRIMESTRE 2019
    CÓDIGO N° 0211

    PROPESOR/ A: SANDRA LAZZER

    EQUIPO DOCENTE:

    Jefe de trabajos prácticos: Javier Castro Albano


    Ayudante de primera: Mariela Rubín
    Ayudante de primera: Damián Szmuk
    Ayudante de primera: Diego Tajer
    Ayudante de primera: Paula Teijeiro

    a.- Fundamentación y descripción

    Este curso tiene como finalidad brindar los conocimientos elementales


    correspondientes a la lógica deductiva clásica, poniendo especial énfasis en algunos
    aspectos tanto históricos como filosóficos asociados con su desarrollo. Para ello, en
    primer lugar, se familiarizará a los estudiantes con el lenguaje de la lógica clásica de
    de primer orden a la vez que se analizaran algunas las técnicas de formalización de
    enunciados del lenguaje natural. También se presentarán los métodos sintácticos y
    semánticos que proporciona la lógica de primer orden clásica para la evaluación de
    argumentos. Se completará el conocimiento de la lógica elemental con una
    introducción general a los principales resultados de la metateoría de la lógica de
    primer orden rescatando su relevancia filosófica. En segundo lugar, se presentaran
    de manera general algunos temas vinculados con la historia y la filosofía de la
    lógica que abarcan: una breve reseña sobre la silogística aristotélica, algunos
    aspectos filosóficos e históricos sobre las nociones de cuantificación y sus
    interpretaciones, una aproximación a la noción de e validez y consecuencia lógica
    clásica y una introducción al problema de las constantes lógicas.

    b.- Objetivos.

    (i) Introducir la noción de argumentación correcta y facilitar el adiestramiento del


    estudiante en la práctica argumentativa de la que va a hacer uso en sus estudios
    de filosofía;
    (ii) Proporcionar los recursos formales básicos utilizados en diversos ámbitos de la
    filosofía y que el estudiante necesita dominar para cursar satisfactoriamente las
    restantes materias;
    (iii) Ser el ámbito, dentro de los estudios de Filosofía, donde se pueda adquirir una
    formación especializada no sólo en cuestiones de lógica-matemática y lógica-
    filosófica, sino especialmente en cuestiones inherentes a lo que en la actualidad
    es una especialidad filosófica reconocida, esto es, la filosofía de la lógica.

    c.- Contenidos

    Unidad I: El objeto de estudio de la lógica:

    Argumentos e inferencias El concepto pre-formal de validez. Argumento esquema o


    esquema de argumento. El concepto de forma lógica. Argumentos deductivos y no
    deductivos. Lógica y lenguaje. Contextos de habla Usos del lenguaje. Sintaxis,
    semántica y pragmática. Uso y mención. Niveles de lenguaje. Forma lógica versus
    forma gramatical. La noción de sistema lógico-formal. Lenguajes formales.

    Unidad II: El lenguaje de la lógica de primer orden clásica

    A) El lenguaje de la lógica proposicional. Los conceptos de oración, enunciado o


    proposición. Portadores de verdad. Símbolos descriptivos y lógicos. Definición
    recursiva de fórmula. La traducción del lenguaje natural al lenguaje de la lógica
    proposicional. Las conectivas lógicas como funciones de verdad. La semántica de la
    lógica proposicional. Contingencias, tautologías y contradicciones. Implicación (o
    condicional) material e implicación lógica. Equivalencia material y equivalencia lógica.
    Leyes lógicas. Validez semántica de los argumentos o inferencias proposicionales. La
    prueba de validez de argumentos por tablas de verdad. Principales meta-teoremas
    semánticos.
    B) El lenguaje de la lógica de predicados. Fórmulas: oraciones y funciones
    proposicionales. Clases de funciones proposicionales. Las relaciones como funciones
    proposicionales n-ádicas. Cuantificación universal y existencial. Definición recursiva de
    fórmula. La traducción del lenguaje natural al lenguaje de la Lógica de Predicados. 1.
    La semántica modelo teórica para la lógica de primer orden. Presupuestos de la
    semántica estándar. El predicado veritativo. Función de interpretación. Universo de
    discurso. Modelos. La noción de satisfacibilidad: satisfacción y verdad y satisfacción y
    consecuencia lógica. Verdad lógica y equivalencia lógica. Lenguaje de primer orden con
    identidad. Términos complejos y expresiones funcionales. Descripciones definidas.

    Unidad III: Mecanismos deductivos para la lógica de primer orden:

    A) Deducción Natural. La idea general y breve reseña histórica. Reglas de deducción


    natural para la lógica proposicional. Reglas básicas y derivadas. La regla de sustitución
    de expresiones equivalentes o intercambio: un esbozo de su prueba. Reglas de
    deducción natural para la lógica predicados. Reglas básicas y sus restricciones. Reglas
    derivadas.

    B) Sistemas axiomáticos. La idea general y breve reseña histórica. Sistemas axiomáticos


    para la lógica proposicional. La naturaleza de la prueba axiomática: Axiomas y
    esquemas de axiomas. Ejemplos de sistemas.
    C) La evaluación de los sistemas de lógica: definición y objeto de estudio de la
    metalógica. La relación de consecuencia deductiva: Análisis sintáctico y semántico.
    Consistencia, corrección, completitud y decidibilidad de un sistema axiomático de
    lógica proposicional.

    Unidad IV: La lógica, su historia y filosofía:

    A) La silogística aristotélica. Las cuatro formas de la proposición general. Calidad,


    cantidad y distribución. El cuadrado de la oposición. La doctrina del silogismo: la
    naturaleza formal del razonamiento silogístico. Métodos de prueba: figuras.

    B) La noción de validez y consecuencia lógica clásica. Concepciones intuitivas.


    Generalidad formal de la noción de consecuencia lógica

    d.- Bibliografía específica

    Unidad I

    COPI, I.: Introducción a la lógica. Bs.As.: Eudeba, 1974. Cap. I.


    FALGUERA, J. L. & MARTINEZ, C.: Lógica clásica de primer orden, Trotta, 1999,
    Cap. I y II.

    Unidad II

    FALGUERA, J. L. & MARTINEZ, C.: Lógica clásica de primer orden, Trotta, 1999,
    Cap. IV, V, VII y IX (1, 2 y 3)

    Unidad III

    FALGUERA, J. L. & MARTINEZ, C.: Lógica clásica de primer orden, Trotta, 1999,
    Cap. III ,VI. VII (6)
    HUNTER, G. Metalógica. Madrid, Paraninfo, 1981, §§ 1-6 y 17-32.

    Unidad IV

    COPI, I.: Introducción a la lógica. Bs.As.: Eudeba, 1974 , Cap. V, VI y VII .


    BOCHENSKI, L: Historia de la lógica formal, Gredos, España , 1965, Capítulo II.
    SAGÜILLO, J.M. “Validez y Consecuencia Lógica. La Concepción Clásica”. en
    Frápolli, M.J.: Filosofía de la lógica, Tecnos, Madrid, 2008, pp. 55-82.

    Bibliografía complementaria general

    ALCHOURRON, C.: “Concepciones de la lógica”, en Enciclopedia Iberoamericana de


    Filosofía (EIAF), tomo 7: Lógica, p.11., Ed. Trotta, 1995.
    BOCHENSKI, I. M.: Historia de la lógica formal, Gredos, 1976.
    COHEN Y NAGEL: Introducción a la lógica y al método científico, Amorrortu, 1968.
    DEAÑO, A.: Introducción a la lógica formal, Alianza Universidad Textos, 1996.
    GAMUNT, L.T.F. Lógica, lenguaje y significado: Introducción a la lógica. Buenos
    Aires, Eudeba., 2009,
    GARRIDO, M.: Lógica simbólica. Tecnos, 1983.
    HAACK, S. Lógica divergente. Madrid: Paraninfo, 1980.
    HILBERT Y ACKERMANN: Elementos de Lógica, Tecnos, 1962.
    JEFFREY, R.: Lógica formal: su alcance y sus límites. Ediciones Universidad de
    Navarra, 1996.
    KNEALE & KNEALE: El desarrollo de la lógica, Tecnos, 1972.
    MATES, B. Lógica matemática elemental. Madrid: Tecnos, 1987
    PALAU, G. Introducción filosófica a las lógicas no clásicas. Barcelona, Gedisa, 2002.
    QUINE, W.: Los métodos de la lógica, Ariel, 1967.
    QUINE, W.: Filosofía de la lógica, Madrid: Alianza Editorial, 1977.
    VEGA REÑON, L. & OLMOS GÓMEZ, P (eds.): Compendio de Lógica,
    Argumentación y Retórica, Madrid: Trotta, 2011.
    TARSKI, A.: Introducción a la lógica, Espasa Calpe, 1957.

    e.- Organización del dictado de la materia: carga horaria y distribución entre


    modalidades de clase (teóricos, teórico-prácticos, trabajos prácticos, talleres u
    otras), carácter de las actividades para las distintas modalidades de clase
    planificadas:

    Total de horas semanales: 8 (ocho)

    Total de horas cuatrimestrales: 128 (ciento veintiocho)

    f.- Organización de la evaluación: régimen de promoción y formas y criterios de


    evaluación a utilizar.
    PD – PROMOCIÓN DIRECTA:
    Cumplir con los siguientes requisitos:
    i. asistir al 80% de cada instancia que constituya la cursada (considerando clases
    teóricas, prácticas, teórico-prácticas u otras dictadas por los/as profesores/as y/o
    auxiliares docentes);
    ii. aprobar 3 (tres) instancias de evaluación parcial con un promedio mínimo de 7 (siete)
    puntos, sin registrar aplazos en ningún examen parcial.

    Los/as estudiantes que no hayan satisfecho los requisitos para la PROMOCIÓN


    DIRECTA, pero que hayan cumplido con lo establecido para EXAMNEN FINAL,
    podrán presentarse como estudiantes regulares en la mesa general de exámenes finales.

    Se dispondrá de UN (1) RECUPERATORIO para aquellos/as estudiantes que:


    - hayan estado ausentes en una o más instancias de examen parcial;
    - hayan desaprobado una instancia de examen parcial.
    La desaprobación de más de una instancia de parcial constituye la pérdida de la
    regularidad y el/la estudiante deberá volver a cursar la materia.
    Cumplido el recuperatorio, de no obtener una calificación de aprobado (mínimo de 4
    puntos), el/la estudiante deberá volver a inscribirse en la asignatura o rendir examen en
    calidad de libre. La nota del recuperatorio reemplaza a la nota del parcial original
    desaprobado o no rendido.
    La corrección de las evaluaciones y trabajos prácticos escritos deberá efectuarse y ser
    puesta a disposición del/la estudiante en un plazo máximo de 3 (tres) semanas a partir de
    su realización o entrega. El examen será devuelto al/la estudiante con la corrección y
    calificación correspondientes, en tinta sin enmiendas ni tachaduras, y firma del/la
    docente. El/la estudiante deberá conservarlo en su poder hasta que la materia haya sido
    aprobada y conste en el Certificado Analítico.

    VIGENCIA DE LA REGULARIDAD:
    Durante la vigencia de la regularidad de la cursada de una materia, el/la estudiante podrá
    presentarse a examen final en 3 (tres) mesas examinadoras en 3 (tres) turnos alternativos
    no necesariamente consecutivos. Si no alcanzara la promoción en ninguna de ellas
    deberá volver a inscribirse y cursar la asignatura o rendirla en calidad de libre. En la
    tercera presentación el/la estudiante podrá optar por la prueba escrita u oral.
    A los fines de la instancia de EXAMEN FINAL, la vigencia de la regularidad de la
    materia será de 4 (cuatro) años. Cumplido este plazo el/la estudiante deberá volver a
    inscribirse para cursar o rendir en condición de libre.

    g.- Recomendaciones

    Ninguna

    Firma

    Sandra Lazzer
    Acalración

    Profesora Adjunta
    Cargo

    Firma

    Eduardo Barrio
    Aclaración

    Profesor Asociado
    Cargo

    También podría gustarte