Programa del semestre 2014-1 Lógica I

A continuación el plan de trabajo para el Semestre 2014-1, correspondiente a la asignatura de Lógica I a cargo de Gabriel Ramos.

El curso persigue dos objetivos fundamentales: 1) Presentar al estudiante algunos elementos que puedan fungir como evidencia que le permita reconocer la importancia de estudiar Lógica en Filosofía. 2) Aportar al estudiante las herramientas necesarias para continuar el estudio de la Lógica como disciplina independiente de la filosofía en cualquier rubro que sea de su interés.

1) Erística: Buscando una aproximación más natural a la Lógica, se hará una breve revisión al contraste que establece Arthur Schopenhauer en La dialéctica erística, a través de la revisión a la introducción de su texto y aplicación de algunas de sus estratagemas. Echar un vistazo al ejercicio de la argumentación en el lenguaje y a través de la distinción entre la dialéctica analítica y la dialéctica erística permitirá a los estudiantes de Filosofía reconocer a la lógica como propia de su cotidianeidad, así como muy deseable respecto al ejercicio filosófico.

2) Falacias: A la luz de la ilustración de la argumentación retórica en la erística, se revisarán las falacias clásicas para tener un conocimiento puntual del tema. Dado que guarda mucha proximidad con el tema anterior se realizará sólo una breve revisión. El texto a revisar será "Libro de los elencos sofísticos", de Fray Alonso de la Veracruz.

Silogística: Continuando con la metodología que busca guardar proximidad con el pensamiento cotidiano, se encuentra en la silogística una herramienta muy útil para introducir a los estudiantes a las estructuras formales del pensamiento sin alejarlos radicalmente de  la familiaridad del lenguaje. 

3) Categorías y categoremas. Revisión del tratado primero de Perútilis logica de Alberto de Sajonia (páginas 621 a 719 en la edición de la UNAM), sustancias primeras y segundas, qué es ser en sí y qué ser en otro.

Breve revisión de la teoría aristotélica del razonamiento (simple aprehensión, juicio y razonamiento).

4) Juicios: cuadro de oposición, conversiones y asignación de valores de verdad.

5) Figuras y formas silogísticas

6) Conversión de figuras silogísticas por consonantes indicadoras y método de reducción al absurdo.

Lógica Proposicional: El entendimiento y dominio de las relaciones veritativo funcionales, las conectivas lógicas, reglas de inferencia y equivalencia clásicas son los elementos indispensables para todo estudioso de la lógica.

7. Lectura de "On propositions, what they are and how they mean" de Bertrand Russell.

8. Conectivas y tablas de Verdad

9. Métodos rápidos para probar validez e invalidez

10. Reglas de inferencia

11. Reglas de equivalencia

Cada uno de los temas con numeral anteriormente mencionado será evaluado con un examen; la calificación final es el resultado de la suma de los exámenes.

Bibliografía:

-Schopenhauer, Arthur. El arte de tener siempre la razón. Barcelona, el barquero, 2009.

-Fray Alonso de la Veracruz. Libro de los elencos sofísticos. México, UNAM, 1989.
-Alberto de Sajonia. Perutilis lógica o lógica muy útil (o utilísima). México, UNAM, 1988.
-Francisco García Olvera. Lógica Formal para principiantes. México, UNAM, 2008.

-Dan Cryan, et. al. Lógica para todos. Barcelona, Paidós, 2005.

Raúl Gutiérrez Sáenz. Introducción a la Lógica. México, Esfinge. 20004.

-Aristóteles. El Organon. Madrid, Gredos, 2001.

-María del Carmen San José G. Lógica. México, Esfinge, 1998.

-Guillermo González Rivera, et. al. Ars Logicorum. UNAM, Acatlán, 2010.

-Paul Halmos, Naive set theory. Princeton, New Jersey : D. Van Nostrand, c1960

-Enderton, Herbert B. Una introducción matemática a la lógica. México, UNAM, Instituto de Investigaciones Filosóficas, 2004.

-Amor Montaño, Jose Alfredo, Teoria de conjuntos para estudiantes de ciencias. Mexico, UNAM, Facultad de Ciencias, 1997.

-George Boole. The laws of thought. Chicago : Open Court, 1940.