Imprimir

Programa

CURSO               :       LÓGICA
TRADUCCIÓN          :       LOGIC
SIGLA               :       FIL011
CRÉDITOS            :       10
MÓDULOS             :       02
REQUISITOS          :       SIN REQUISITOS
CARÁCTER            :       MÍNIMO
DISCIPLINA          :       FILOSOFÍA


I.   DESCRIPCIÓN

     El curso versará sobre la teoría de las proposiciones categóricas: sus elementos, sus propiedades sintácticas,
     sus propiedades semánticas y sus relaciones de consecuencia lógica, definidas en la lógica de Aristóteles y su
     larga tradición de comentarios (conversión, contraposición, obversión, subalternación). Además se tratarán los
     métodos no-silogísticos para demostrar si una proposición es consecuencia lógica de otra, la teoría del
     silogismo categórico (sus figuras y modos, directos e indirectos), e igualmente las extensiones silogísticas:
     tradicionales, modernas y contemporáneas y argumentos silogísticos. También se abordará la validez formal,
     la validez científica y la demostración por absurdo, además de la teoría del cálculo proposicional y por
     último, la lógica de predicados de primer orden.


II.  OBJETIVOS

     Generales
     1.     Desarrollar la capacidad de análisis lógico y distinguirla del análisis gramatical.
     2.     Comprender la importancia que las nociones de validez y consistencia lógicas tienen en el lenguaje
            artificial y el natural.
     3.     Distinguir la naturaleza formal de la lógica y reconocer sus diferencias con otras disciplinas,
            especialmente las científico-inductivas y las hipotético-deductivas.
     4.     Definir los principales métodos de prueba para demostrar validez de argumentos y consistencia de
            conjunto de proposiciones.

     Específicos
     1.     Determinar las principales similitudes y disimilitudes de la teoría clásica o aristotélica y la teoría
            matemática de la lógica.
     2.     Demostrar por medio de un método de decisión si un razonamiento es correcto o incorrecto según las
            reglas de formación de cada teoría y (silogística, cálculo proposicional, lógica de predicados de primer
            orden).
     3.     Aprender un método de decisión para cada lenguaje.


III. CONTENIDOS

     1. Introducción.
            1.1     La naturaleza de la lógica.

     2.     Teoría de las proposiciones categóricas.
            2.1     La proposición categórica y sus elementos.
            2.2     Propiedades lógicas de la proposición.
            2.3     Número y clasificación de las proposiciones categóricas.
            2.4     Definición de contradicción y otras oposiciones.
            2.5     Consecuencia lógica entre proposiciones y conjuntos de proposiciones.
            2.6     Operaciones inmediatas: conversión, obversión, contraposición.
            2.7     Presuposición existencial.




                                    PONTIFICIA UNIVERSIDAD CATÓLICA DE CHILE
                                      INSTITUTO DE FILOSOFÍA/Diciembre de 2008
                                                                                                                  1

    3.     La teoría del razonamiento deductivo o silogístico.
           3.1   El silogismo no-modal.
           3.2   Estructura del razonamiento silogístico.
           3.3   Modos y Figuras del silogismo.
           3.4   El Número de los modos silogísticos posibles y los modos válidos.
           3.5   Reducción y generación de todos los modos silogísticos a los cuatro perfectos de la Primera
                 Figura.
           3.6   Reglas de corrección implícitas en la teoría.
           3.7   Extensiones silogísticas tradicionales y no tradicionales.
           3.8   Modos indirectos.
           3.9   Cálculo de todos los modos silogísticos válidos, directos e indirectos.

    4.     La teoría del razonamiento deductivo formalizado del Cálculo proposicional.
           4.1   Origen de la teoría.
           4.2   Las fórmulas de la teoría y las reglas de formación.
           4.3   Métodos de decisión para fórmulas bien formadas.
           4.4   El valor de verdad de una fórmula de la teoría: semántica formal.
           4.5   Argumentos y conjuntos de creencias: validez y consistencia.
           4.6   Técnicas para demostrar validez, consistencia y otras relaciones entre dos o más proposiciones
                 (tablas de verdad, demostraciones axiomáticas, métodos de árbol).

    5.     La teoría del razonamiento deductivo formalizado para variables de la Lógica de Predicados de Primer
          Orden.
           5.1   Origen de la teoría.
           5.2   Las fórmulas de la teoría y las reglas de formación.
           5.3   Métodos de decisión para fórmulas bien formadas.
           5.4   El valor de verdad de una fórmula de la teoría: cuantificación formal de las variables de una
                 fórmula de la teoría.
           5.5   Argumentos y conjunto de creencias: validez y consistencia.
           5.6   Técnicas para demostrar validez, consistencia y otras relaciones entre dos o más proposiciones:
                 métodos de árbol.


IV. METODOLOGÍA

    -      Clases lectivas.
    -      Ejercicios y resolución.
    -      Estudio de casos.
    -      Tareas.


V.  EVALUACIÓN

    -      Tareas: 2.
    -      Pruebas: 3.


VI. BIBLIOGRAFÍA

    Aristóteles                               Aristotelis Categoriae et liber de Interpretatione. L. Minio Paluello,
                                              Oxford Classical Texts (OCT), Oxford 1949.

    Aristóteles                               Aristotle's Prior and Posterior Analytics., W.D. Ross, Oxford 1957.

    Aristóteles                               Tratados de Lógica (El Organon), vols. I y II. Traducción,
                                              introducción y notas por Miguel Candel San Martín. Madrid, Ed.
                                              Gredos, 1982.


                                 PONTIFICIA UNIVERSIDAD CATÓLICA DE CHILE
                                   INSTITUTO DE FILOSOFÍA/Diciembre de 2008
                                                                                                                  2

Aristóteles                    Aristotle. Categories and De Interpretatione, J.L. Ackrill, Oxford
                               1962.

Bochenski, I.                  Historia de la Lógica Formal. Madrid, Ed Gredos, 1966.

Copi, I.                       Introducción a la Lógica, México: Limusa Eds., 1995 (ver también:
                               Buenos Aires, Eudeba, 1962).

Correia, M.                    La lógica de Aristóteles. Lecciones sobre el origen del pensamiento
                               lógico en la antigüedad. Santiago de Chile, Ediciones Universidad
                               Católica de Chile, 2003.

Correia, M.                    La teoría lógica y sus interpretaciones. Estudios sobre lógica
                               aristotélica. Santiago de Chile, Ediciones Universidad Católica de
                               Chile, 2007.

Hodges, W.                     Logic, 2ªEd. Londres, Penguin Books, 1991.

Lear, J.                       Aristotle and Logical Theory. Cambridge, 1980.

Lewin, R.                      Introducción a la lógica (Apuntes pdf. sin publicar).

Lukasiewicz, J.                La Silogística de Aristóteles desde el punto de vista de la lógica
                               formal moderna. Madrid, Ed. Tecnos, 1977.

Mates, B.                      Elementary Logic. Oxford: Oxford University Press, 1972.

Smith, R.                      Aristotle. Prior Analytics, Indianapolis/Cambridge, Hackett Publ.,
                               1989.

Strawson, P.                   Introducción a una teoría de la lógica. Buenos Aires, Nova, 1969

Tarski, A.                     Introducción a la lógica y a la metodología de las ciencias
                               deductivas. Madrid, Espasa-Calpe 1968.




                   PONTIFICIA UNIVERSIDAD CATÓLICA DE CHILE
                     INSTITUTO DE FILOSOFÍA/Diciembre de 2008
                                                                                                 3