Lógica Cuantificacional.

Transcripción

1 Universidad Autónoma de San Luis Potosí. Nombre del curso: Lógica Cuantificacional. Datos básicos del curso: Tipo de propuesta curricular: Nueva creación. Tipo de materia: Obligatoria. Materia compartida con otro PE o Entidad Académica: No. Programas analíticos Horas de Horas de Horas de trabajo Semestre teoría por práctica por adicional estudiante Créditos semana. semana. por semana. III Objetivos del curso: Objetivo General. Al finalizar el curso el estudiante será capaz de: Que el estudiante reconozca y aplique los conceptos fundamentales de la lógica cuantificacional de primer orden estándar mediante el uso de las herramientas de demostración para probar validez e invalidez de argumentos deductivos, mediante el análisis de discursos argumentativos deductivos, para generar el hábito del pensamiento lógico y valore la relevancia de la lógica en la vida cotidiana y en todas las empresas académicas. Competencia(s) profesional(es) que contribuye a desarrollar la materia: Analizar de manera crítica a la sociedad, con base en el conocimiento de los aspectos fundamentales de las áreas disciplinares de la filosofía y las principales doctrinas filosóficas, para sustentar una visión integradora del mundo. Solucionar problemas vinculados con cualquier área del conocimiento mediante la investigación filosófica, a fin de construir un mundo plural con base en principios rectores, tales como la justicia, la verdad y la responsabilidad, mediante una postura crítica y argumentativa. Competencia(s) transversal(es) a la(s) que contribuye a desarrollar la materia: Dimensión científico-tecnológica, dimensión cognitiva, dimensión de responsabilidad social y sustentabilidad, dimensión ético-valoral, dimensión internacional e intercultural, dimensión de comunicación e información, dimensión de cuidado de la salud y la integridad física, dimensión de sensibilidad y apreciación estética. Objetivos específicos. Unidad 1. Lenguaje de la lógica cuantificacional de primer orden. Que el alumno maneje las herramientas iniciales para el cálculo cuantificacional en la lógica de primer orden y el lenguaje lógico de primer orden, para traducir las oraciones del lenguaje natural al lenguaje lógico y aplique las nociones básicas tales como: variables lógicas, predicados, objetos, fórmulas lógicas, equivalencia lógica, etc. 1

2 Universidad Autónoma de San Luis Potosí. Unidad 2. Métodos de demostración. Que el alumno conozca los distintos métodos para establecer la validez de los distintos tipos de argumentos; que evalue por sí mismo la corrección de los argumentos dentro de un texto o discurso, y que con el manejo de los anterior elabore sus propios argumentos. Unidad 3. Identidad y descripción definida. Que el alumno reconozca la relevancia de la lógica en otras áreas de la filosofía tales como la metafísica y la filosofía del lenguaje y cuente con los elementos suficientes para percatarse de la relevancia de la lógica para la filosofía contemporánea. Disposiciones para hacer más eficiente el proceso de enseñanza aprendizaje: Para facilitar el buen desarrollo de las clases, el aula se cerrará quince minutos después de la hora marcada de inicio de clases; posteriormente, no se permitirá el acceso hasta el eventual receso. No se permite el uso de teléfonos celulares u otros aparatos de radiocomunicación durante las clases. No ingerir alimentos en el salón de clases. Las tareas, controles de lectura, ejercicios y otros trabajos escritos se recibirán en la fecha establecida dentro del programa de actividades. Sólo se recibirán los documentos mencionados en una fecha posterior mediante un justificante firmado por el Coordinador de la Licenciatura correspondiente. Los trabajos escritos a mano deben tener la letra legible; en caso contrario, no se aceptarán para su evaluación. Contenidos y métodos por unidades y temas: Unidad 1. Lenguaje de la lógica cuantificacional de primer orden. (32H) 1.1 La relación de la lógica con el lenguaje. (16H) La forma lógica del lenguaje y del pensamiento. La relevancia de la lógica en la vida cotidiana. Variables lógicas. Proposiciones atómicas vs. compuestas. Leer y comentar los siguientes textos: Hernández G. y Rodríguez G. Lógica para qué?, México: Pearson Educación, Unidad 1, pp Graham Priest, Una brevísima introducción a la lógica, cap. 1 y 2. Métodos de enseñanza: Clase magistral en donde se exponen los principales contenidos de la lectura. Resolución de ejercicios. Seleccionar textos de revistas, periódicos donde se reflejen los argumentos que se suelen divulgar en relación con los temas centrales que se busca desarrollar en las 8 competencias universitarias, especialmente sobre temas controvertidos como: Actividades de aprendizaje: Diálogo fundado en argumentación y contraargumentación. 2

3 Universidad Autónoma de San Luis Potosí. Realizar análisis de argumentos sobre textos de noticias o bien artículos de revistas de divulgación, donde se aborden temas directamente relacionados con las 8 competencias universitarias, en vistas que el estudiante valore la importancia que estas tienen para su formación integral. 1.2 Semántica formal de la lógica cuantificacional de primer orden. (16H) Interpretaciones. Traducción del lenguaje natural al formal. Valoraciones y satisfacción. Equivalencia lógica. Fórmulas cerradas y verdad en una interpretación. Hernández G. y Rodríguez G. Lógica para qué?, México: Pearson Educación, Unidad 2, pp Métodos de enseñanza: Clase magistral en donde se exponen los principales contenidos de la lectura. Resolución de ejercicios. Seleccionar textos de revistas, periódicos donde se reflejen los argumentos que se suelen divulgar en relación con los temas centrales que se busca desarrollar en las 8 competencias universitarias, especialmente sobre temas controvertidos como: Actividades de aprendizaje: Revisión meticulosa de textos y charla grupal. Realizar análisis de argumentos sobre textos de noticias o bien artículos de revistas de divulgación, donde se aborden temas directamente relacionados con las 8 competencias universitarias, en vistas que el estudiante valore la importancia que estas tienen para su formación integral. Unidad 2. M étodos de demostración. (16H) 2.1 Deducción natural. (16H) Métodos directos: o Regla de sustitución. o Reglas de cuantificadores. Métodos indirectos Hernández G. y Rodríguez G. Lógica para qué?, México: Pearson Educación, Unidad 3, 4 y 5, pp Graham Priest, Una brevísima introducción a la lógica, cap. 3 y 4. Unidad 3. Identidad y descripción definida. (16H) 3.1 Enunciados de identidad. (16H) Enunciados de identidad. Identidad lógica vs. Metafísica. Sentido y Referencia. Graham Priest, Una brevísima introducción a la lógica, cap. 9. Gottlob, Frege, Sobre sentido y referencia, en: G. Frege, Escritos Filosóficos, pp

4 Universidad Autónoma de San Luis Potosí. Métodos de enseñanza: Clase magistral en donde se exponen los principales contenidos de la lectura. Resolución de ejercicios. Seleccionar textos de revistas, periódicos donde se reflejen los argumentos que se suelen divulgar en relación con los temas centrales que se busca desarrollar en las 8 competencias universitarias, especialmente sobre temas controvertidos como: Actividades de aprendizaje: Revisión meticulosa de textos y charla grupal. Realizar análisis de argumentos sobre textos de noticias o bien artículos de revistas de divulgación, donde se aborden temas directamente relacionados con las 8 competencias universitarias, en vistas que el estudiante valore la importancia que estas tienen para su formación integral. Nota: El curso se ha articulado en torno a tres ejes fundamentales: Clases Magistrales: La cátedra está pensada para ofrecer a los estudiantes una panorámica amplia y suficiente para que pueda desarrollar problemáticas, y pueda aproximarse críticamente a las discusiones que se presenten. Textos Fuente: El uso de bibliografía primaria está enfocada en estimular el acercamiento a fuentes de primera mano (en lo posible en idioma original, cosa que estará a cargo del docente), antes que a los estudiosos y comentaristas. Seleccionar textos de revistas, periódicos donde se reflejen los argumentos que se suelen divulgar en relación con los temas centrales que se busca desarrollar en las 8 competencias universitarias, especialmente sobre temas controvertidos como: Debates y Discusiones: Las discusiones que se pretende desarrollar en las clases tienen como objetivo estimular el espíritu crítico, la argumentación y la actitud propositiva. Taller Práctico: las actividades en el aula y en casa (tareas) tienen por objetivo que el alumno ponga en práctica los contenidos asimilados en clase. A través de este tipo de ejercicios, los ejemplos serán sobre textos de periódicos, noticias, donde se analicen situaciones. Evaluación y acreditación: Elaboración y /o presentación de: Primer examen parcial: Examen teórico escrito: 20% Tareas y taller práctico: 5% Participación en clase (cada clase): 5% Nota: en cada uno de los modos de evaluar, se introducirán preguntas o reactivos donde se pueda evaluar que el estudiante ha analizado la corrección lógica de argumentos a favor y en contra del desarrollo de las 8 competencias universitarias. Segundo examen parcial: Examen teórico escrito: 20% Tareas y taller práctico: 5% Participación en clase (cada clase): 5% Periodicidad Abarca Ponderación Al finalizar la unidad 1. Al finalizar la unidad 3. Todos los temas de la unidad 1. Todos los temas de las unidades 2 y 3. 30% 30% 4

5 Universidad Autónoma de San Luis Potosí. Nota: en cada uno de los modos de evaluar, se introducirán preguntas o reactivos donde se pueda evaluar que el estudiante ha analizado la corrección lógica de argumentos a favor y en contra del desarrollo de las 8 competencias universitarias. Examen Ordinario: Examen escrito: 30% Presentación de portafolio de ejercicios: 10% Nota: en cada uno de los modos de evaluar, se introducirán preguntas o reactivos donde se pueda evaluar que el estudiante ha analizado la corrección lógica de argumentos a favor y en contra del desarrollo de las 8 competencias universitarias. TOTAL Examen extraordinario Examen a título Examen de regularización Al finalizar el curso y en la fecha programada para el mismo por el HCTC. Todos los temas de las 5 unidades. 40% 100% Examen escrito sobre todos los temas de las 5 unidades: (80%). Entrega del portafolios de ejercicios propuestos durante todo el semestre (20%). Examen escrito sobre todos los temas de las 5 unidades: (80%). Entrega del portafolios de ejercicios propuestos durante todo el semestre (20%). Examen escrito sobre todos los temas de las 5 unidades: (80%). Entrega del portafolios de ejercicios propuestos durante todo el semestre (20%). Conforme al reglamento de exámenes de la UASLP: Las calificaciones se expresarán en una escala del cero al diez. La calificación mínima aprobatoria será de seis. Las calificaciones superiores se expresarán aproximadas al medio punto o al entero superior o inferior, según corresponda. La calificación reprobatoria se expresará con números fraccionarios si los hubiera. Para tener derecho a calificación o a presentar examen parcial u ordinario, los alumnos deberán haberse inscrito y cursado la materia, haber realizado las actividades académicas requeridas por este programa y acreditar una asistencia mínima de 66%. Para tener derecho a presentar el examen final ordinario, el alumno deberá tener un promedio aprobatorio en los exámenes parciales de reconocimiento. En todos los casos, los alumnos no pueden incurrir en plagios de información, ya que este hecho grave supondrá las sanciones contempladas en los Lineamientos de la FCSyH. Los recursos, bibliografía y links de consulta estarán sujetos a una permanente actualización por parte de la Academia correspondiente. Bibliografía y recursos informáticos. Textos básicos: Doxiadis, A., Papadimitriou, C.H., Papadatos, A., Di Donna, A. (2009). Logicomix: An Epic Search for Truth. (1st ed.) New York: Bloomsbury USA. 5

6 Universidad Autónoma de San Luis Potosí. Frege. Gottlob, Sobre sentido y referencia, en: G. Frege, Escritos Filosóficos, Barcelona: Crítica, 1998, pp Gensler, G.A. (2010). Introduction to logic. (2nd ed.) London: Routledge. Hernández G. y Rodríguez G. (2009) Lógica para qué? ( México: Pearson Educación. Nolt, J., Rohatyn, D., Varzi, A. (2011). Schaum s outline of logic. (2nd ed.) McGraw- Hill. Priest, Graham ( 2012). Una brevísima introducción a la lógica, Barcelona: Planeta. Steinhart, E. (2009) More Precisely: The Math You Need to Do Philosophy. (1st ed.) New York: Broadview Press. Suppes, P. (2010). First course in mathematical logic. (1st ed.) New York: Dover Publications. Textos complementarios: Enderton, H. B. (1972). A Mathematical Introduction to Logic. Academic Press. Hamilton, A. G. (1981). Lógica para matemáticos. Paraningo. Mendelson, E. (1997). Introduction to Mathematical Logic (4ª edición). Chapman and May. Pla, J. (1991). Lliçons de lógica matemática. P.P.U. Badesa, C.; Jané, I.; Jansana, R. (1998). Elementos de lógica formal. Ariel. Sitios de internet: Consultar: 6