Programas CONTENIDOS MÍNIMOS DE LA ASIGNATURA, SEMINARIO, TALLER, SEGÚN EL PLAN DE ESTUDIOS

Transcripción

1 Programas PRESENTACIÓN 1.1. CARRERA Filosofía NOMBRE DE LA ASIGNATURA, SEMINARIO, TALLER Lógica I 1.3. CONTENIDOS MÍNIMOS DE LA ASIGNATURA, SEMINARIO, TALLER, SEGÚN EL PLAN DE ESTUDIOS Introducción de algunos conceptos fundamentales de la lógica, como argumento, validez, prueba, forma lógica, entre otros. Presentación de la noción de sistema lógico-formal. Simbolización en el lenguaje de primer orden. Introducción de la noción general de semántica formal y validez deductiva. Esquematización a algunas nociones de la teoría intuitiva elemental de conjuntos PROFESOR TITULAR Y EQUIPO DE CÁTEDRA Titular: Sandra Lazzer, Ayudante de primera: Romina Pelegri, Ayudante alumno: Natividad Barta. 2. OBJETIVOS 2.1. OBJETIVOS GENERALES (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ógicafilosó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 OBJETIVOS ESPECÍFICOS 1

2 La selección de contenidos, y su distribución y planificación en el curso de Lógica I ha de satisfacer los siguientes objetivos específicos: (i) Debe introducir al estudiante en la práctica argumentativa y proporcionarle criterios de evaluación de dicha práctica. (ii) Debe proporcionar el instrumental lógico-formal necesario de uso más común en las diversas subdisciplinas filosóficas, y debe proporcionar dicho material de modo que sea asimilable por el estudiante medio sin intereses específicos por la lógica. (iii) Debe permitir la adquisición por parte del estudiante de técnicas para evaluar la validez deductiva y la plausibilidad de los argumentos haciendo hincapié en los aspectos conceptuales que están en la base y dan sentido a los elementos técnicos que se manejan en una presentación actual de la lógica deductiva. (iv) Debe proporcionar el suficiente conocimiento lógico para que el estudiante pueda adquirir una idea adecuada del objeto y contenidos de la especialización en lógica poniendo especialmente énfasis en aquellas cuestiones que llevan a comprender las motivaciones para construir y los problemas para evaluar los sistemas de lógica elemental clásica. 3. PROGRAMA ANALÍTICO DE TEMAS Y BIBLIOGRAFÍA CORRESPONDIENTE 3.1 FUNDAMENTACIÓN TEÓRICO - METODOLÓGICA La filosofía hace uso central de la práctica argumentativa. La destreza argumentativa es importante en cualquier disciplina, pero en filosofía ocupa un lugar especialmente destacado, pues su tarea fundamental consiste en escrutar argumentos, identificar sus presupuestos y eventuales errores, y elaborar réplicas o argumentos alternativos. Por ello es fundamental que el estudiante conozca perfectamente en qué consiste la corrección de un argumento, así como que adquiera la destreza necesaria para la tarea filosófica. Algunos aspectos específicos de la práctica argumentativa en una subdisciplina filosófica particular deben ser provistos por las materias correspondientes a la subdisciplina en cuestión. Pero es fundamental que los aspectos más generales de dicha práctica se adquieran independientemente de las subdisciplinas particulares. Introducir y justificar esos aspectos generales, y facilitar el adiestramiento en ellos, tiene que ser una de las finalidades de la enseñanza de la lógica. Para satisfacer esta función, se requiere que el estudiante adquiera las nociones generales relativas a la argumentación, y sus diferentes tipos, así como que aplique esas nociones a argumentos sencillos del lenguaje natural para cuyo análisis baste la lógica de primer orden. Para satisfacer esta función, debe ser suficiente, en principio, que el estudiante conozca bien el instrumental formal correspondiente a (i) la lógica proposicional, (ii) la lógica de primer orden (con identidad) y (iii) la teoría elemental de conjuntos. Estos son los recursos formales más comunes en las diferentes subdisciplinas filosóficas, y aunque en algunos casos se utiliza aparato formal nuevo, el conocimiento de (i), (ii) y (iii) capacita en general para la comprensión y asimilación del nuevo formalismo. Las diversas nociones que se introducen en cada parte se presentan acompañadas de ejemplos, comenzando con ejemplos muy sencillos concluyendo con algunos más complejos. Para las clases prácticas, se incluyen ejercicios con los que el estudiante pueda contrastar su asimilación de las nociones estudiadas. Los ejercicios consisten fundamentalmente en aplicar las nociones mediante ejemplos concretos de algunas propiedades de dichas nociones. La selección y método de exposición de las diversas partes del 2

3 programa se ha hecho con la intención de que el estudiante pueda ir introduciéndose en los diversos conceptos de la manera más sencilla posible, sin dejar por ello de ser rigurosos. Por todo ello este primer curso de lógica 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 semánticos que proporciona la lógica de primer orden clásica para la evaluación de argumentos. En segundo lugar, y con carácter tanto propedéutico como introductorio, se presentarán algunos elementos básicos de la teoría intuitiva de conjuntos. Finalmente 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 y una introducción al problema de las constantes lógicas. 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. Constantes lógicas y sistemas lógicos. Lenguajes formales. BIBLIOGRAFÍA OBLIGATORIA DE LA UNIDAD I COPI, I. : Introducción a la lógica. Bs.As.: Eudeba, Cap. I FALGUERA, J. L. & MARTINEZ, C.: Lógica clásica de primer orden, Trotta, 1999, Cap. II. BIBLIOGRAFÍA AMPLIATORIA DE LA UNIDAD I DIEZ CALZADA, J.A.: Iniciación a la lógica, Ariel, 2002, Cap. 1. MATES, B.: Lógica matemática elemental, Tecnos, 1987 cap. 1 y 2. MORETTI, A. Argumentos, deducción y lenguaje, Fichas de cátedra, FFyL-UBA, UNIDAD II El lenguaje de la lógica de primer orden clásica: Primera parte: 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 3

4 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. BIBLIOGRAFÍA OBLIGATORIA DE LA UNIDAD II FALGUERA, J. L. & MARTINEZ, C.: Lógica clásica de primer orden, Trotta, 1999, Cap. IV. PICOLLO, L. (Editora): Lógica I, Guía de Ejercicios, Ficha de Cátedra, FFyL, UBA,2014. BIBLIOGRAFÍA AMPLIATORIA DE LA UNIDAD II GAMUT, L.T.F: Lógica, lenguaje y significado: Introducción a la lógica, Eudeba, 2009, cap. Il UNIDAD III El lenguaje de la lógica de primer orden clásica: Segunda parte: 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. La semántica modelo teórica para la lógica de primer orden. Presupuestos de la semántica estándar. El predicado veritativo. BIBLIOGRAFÍA OBLIGATORIA DE LA UNIDAD III FALGUERA, J. L. & MARTINEZ, C.: Lógica clásica de primer orden, Trotta, 1999, Cap. V. PICOLLO, L. (Editora): Lógica I, Guía de Ejercicios, Ficha de Cátedra, FFyL, UBA,2014. BIBLIOGRAFÍA AMPLIATORIA DE LA UNIDAD III GAMUT, L.T.F: Lógica, lenguaje y significado: Introducción a la lógica, Eudeba, 2009, cap. III UNIDAD IV Nociones de teoría elemental de conjuntos Nociones y operaciones básicas: Pertenencia, extensionalidad y conjunto vacío. Inclusión, subconjuntos y conjunto potencia. Operaciones básicas. Diagramas de Venn. Determinación de la validez de los argumentos silogísticos por Diagramas de Venn. 4

5 BIBLIOGRAFÍA OBLIGATORIA DE LA UNIDAD IV SUPPES, P.: Introducción a la lógica simbólica, CECSA, 1980, Cap.9. BIBLIOGRAFÍA AMPLIATORIA DE LA UNIDAD IV DIEZ CALZADA, J.A.: Iniciación a la lógica, Ariel, 2002, Cap. 11. UNIDAD V La lógica, su historia y su 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 BIBLIOGRAFÍA OBLIGATORIA DE LA UNIDAD V COPI, I.: Introducción a la lógica. Bs.As.: Eudeba, 1974, Cap. V, VI y VII 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 BIBLIOGRAFÍA AMPLIATORIA DE LA UNIDAD V BOCHENSKI, L: Historia de la lógica formal, Gredos, España. 1965, Capítulo II. ORAYEN, R.: Lógica, Significado y Ontología, UNAM, México, 1989, Capítulo I, 3, 4 y BIBLIOGRAFÍA GENERAL ALCHOURRON, C.: Concepciones de la lógica, en Enciclopedia Iberoamericana de Filosofía (EIAF), tomo 7: Lógica, p.11., Ed. Trotta, BOCHENSKI, I. M.: Historia de la lógica formal, Gredos, COHEN Y NAGEL: Introducción a la lógica y al método científico, Amorrortu, DEAÑO, A.: Introducción a la lógica formal, Alianza Universidad Textos, GARRIDO, M.: Lógica simbólica. Tecnos, HAACK, S. Lógica divergente. Madrid: Paraninfo,

6 HILBERT Y ACKERMANN: Elementos de Lógica, Tecnos, JEFFREY, R.: Lógica formal: su alcance y sus límites. Ediciones Universidad de Navarra, KNEALE & KNEALE: El desarrollo de la lógica, Tecnos, 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, QUINE, W.: Los métodos de la lógica, Ariel, QUINE, W.: Filosofía de la lógica, Madrid: Alianza Editorial, VEGA REÑON, L. & OLMOS GÓMEZ, P (eds.): Compendio de Lógica, Argumentación y Retórica, Madrid: Trotta, TARSKI, A.: Introducción a la lógica, Espasa Calpe, RÉGIMEN DE CURSADO Y EVALUACIÓN ESTABLECIDO POR LA CÁTEDRA 4.1 EVALUACIÓN Y CONDICIONES PARA LA REGULARIZACIÓN Se trata de una asignatura de PROMOCIÓN CON EXAMEN FINAL lo que significa que: Aquellos alumnos/as que obtuvieran una nota como resultado de la/s evaluación/es correspondientes a los temas desarrollados en los prácticos igual o superior a los 6 (seis) puntos obtendrán la condición de alumnos regulares. Aquellos alumnos/as que obtuvieran una nota como resultado de la/s evaluación/es durante el curso y/o en las fechas de recuperatorio inferior a los 6 (seis) puntos tendrán la condición de alumno/a libre. La aprobación del curso y/o la acreditación de la condición de alumno regular presuponen cumplir con el porcentaje de asistencia obligatorio. Carga horaria semanal obligatoria del alumno para regularizar 2 Hs. 4.2 CONDICIONES PARA LA PROMOCIÓN Carga horaria semanal obligatoria del alumno para promover 4 Hs. El haber regularizado el curso habilita al alumno/a para rendir el examen final en las fechas examen fijadas por el calendario académico posteriores a la regularización del curso, examen que se aprueba con un mínimo de 6 (seis) puntos. 4.3 EXAMEN FINAL. 6

7 ALUMNOS REGULARES Examen Oral (eventualmente podrá considerarse la posibilidad de remplazarlo por un escrito) Presentación de la Guía para la exposición oral ALUMNOS LIBRES Examen escrito sobre la ejercitación de los trabajos prácticos cuya aprobación es condición necesaria para poder rendir el examen oral final con la correspondiente presentación de la Guía para la exposición oral. El examen versará sobre la totalidad del programa. FIRMA Y ACLARACIÓN DEL PROFESOR TITULAR O RESPONSABLE DE CÁTEDRA Prof. Titular Lic. Sandra Leonor Lazzer 7