Universidad Nacional de Río Cuarto Facultad de Ciencias Humanas Departamento de Filosofía Licenciatura y Profesorado en Filosofía Cátedra: LÓGICA (6471) Año Académico 2011 Régimen: Anual Horas semanales: 2 (T) 2 (P), en el 2º cuatrimestre se agregan 2 horas por semana de trabajo en sala multimedia. Profesora a cargo: Lic. Alejandra Ciruelos Colaborador: Dr. Eduardo Dib Profesora Adscripta: Prof. Aldana D Andrea Ayudande de Segunda: María Soledad García Denner PROGRAMA OBJETIVOS COGNOSCITIVOS Que el alumno: Comprenda la importancia de la lógica en la argumentación filosófica y en la investigación científica. Sea capaz de reconocer y distinguir los razonamientos correctos de los incorrectos aplicando el análisis informal y el formal. Comprenda la noción de consecuencia lógica como concepto central de la disciplina. Aprenda las herramientas necesarias para el manejo de los lenguajes formales como el de la lógica de primer orden. Conozca las ventajas de la formalización y sus limitaciones. Se introduzca en algunas de las discusiones filosóficas actuales en el ámbito de la lógica. OBJETIVOS ACTITUDINALES: Que el alumno:
Relacione los ámbitos formal e informal de la argumentación lógica Participe activamente en el análisis de sus propios modos de intercambio de ideas con sus compañeros Asuma un compromiso claro de integración grupal en el estudio METODOLOGÍA Las clases teóricas tendrán como característica principal la exposición, por parte de la docente, de los temas referidos en los contenidos del programa; asimismo se organizarán como un ámbito de constante búsqueda de participación de los alumnos, a través de ejercicios, lectura de textos, discusión de ideas, etc. Las clases prácticas serán desarrolladas al modo tradicional aplicando los contenidos teóricos en la resolución de ejercicios. Durante el segundo cuatrimestre, y a cargo de la docente del teórico con la colaboración de la profesora adscripta y de la alumna ayudante, se implementará un programa para computadora El Mundo de Tarski como complemento para el aprendizaje de los conceptos centrales de la lógica; para ello se cuenta con la disponibilidad de un aula multimedia en la Facultad de Ciencias Humanas. CONTENIDOS Unidad N.º 1: Lógica y Lenguaje: El rol de la lógica en la indagación racional. El uso de argumentos. Argumento e inferencia. Razonamientos: premisas y conclusión. Panorama de la Lógica Informal: 1-La Argumentación. 2-Falacias no formales: de atinencia y de ambigüedad. Lenguaje natural y lenguaje formal. La Lógica Formal: Forma lógica. El propósito de la formalización. Verdad y Validez. Lenguaje y metalenguaje. Sintaxis, semántica y pragmática. Unidad N.º 2: Lógica Proposicional: Proposiciones simples y compuestas. Conectivas: funciones de verdad. Tablas de verdad. Satisfactibilidad y verdad lógica. Tautologías, contradicciones y contingencias. Conectivas especiales: implicación y equivalencia. Las leyes generales de la implicación. El retículo de la implicación. Completitud funcional y la relación de equivalencia. Métodos de demostración: deducción natural. Leyes y reglas. Principios
lógicos y leyes lógicas. Falacias formales. Razonamientos deductivos y no deductivos. Unidad N.º 3: Lógica Cuantificacional: Variables y constantes. Cuantificadores. Cuantificación simple. Representación de proposiciones categóricas. Silogismos: Métodos de decisión para los silogismos: Métodos simbólicos: Sistema Fitch y Cuadros Semánticos; Métodos diagramáticos: Diagramas de Venn. Cuantificación múltiple: relaciones de deducibilidad y modelos. Unidad N.º 4: Lógica de Relaciones: Caracterización y componentes de las expresiones relacionales. Noción de par ordenado; referente y relato; universo de discurso; dominio codominio y campo de R. Relaciones y operaciones entre relaciones. Propiedades de las relaciones diádicas. Tipos de relaciones. Isomorfismo y estructura. Unidad N.º 5: El Método Axiomático: Sistema axiomático de lógica proposicional. Noción sintáctica de deducción y demostración de teoremas. Propiedades de un sistema axiomático: consistencia, completitud, decidibilidad e independencia. Demostración de la consistencia para un sistema axiomático de lógica proposicional. BIBLIOGRAFÍA BARWISE, J. Y ETCHEMENDY, J.: El lenguaje de la lógica de primer orden. 1992. Editorial Brujas. Córdoba. COMESAÑA, J. M.: Lógica informal. Falacias y Argumentos Filosóficos. Eudeba, 2001. Buenos Aires. COPI, I.: Introducción a la lógica. Eudeba. 1985. Buenos Aires. DEAÑO, A.: Introducción a la lógica formal. Alianza Editorial. 1983. Madrid.
GARRIDO, M.: Lógica simbólica. Ed. Tecnos. 1997. Madrid. QUINE, W. V.: Los Métodos de la Lógica. Editorial Ariel. 1981. Barcelona. RAGGIO, A.: Apuntes de cátedra. 1963. Bs As. SACRISTAN, M.: Introducción a la lógica y al análisis formal. Ed. Ariel. Barcelona. SUPPES, P.: Introducción a la lógica simbólica. Ed. Continental. 1971. México. CONDICIONES Y EVALUACION La asistencia mínima del alumno, tanto a las clases teóricas como a las prácticas, será del 80%. Como sistema de evaluación se realizarán dos exámenes parciales escritos durante el año, el primero en junio y el segundo en noviembre. Para regularizar la materia el alumno deberá tener el 80 % de asistencia a teóricos y prácticos y aprobar los parciales con una nota mínima en cada uno de ellos de 4 (cuatro). En caso de desaprobar alguno de los exámenes se prevé un sólo recuperatorio para cualquiera de ellos. Si las condiciones anteriores no se cumplen, el alumno quedará como libre, en este caso, en los turnos de exámenes finales, deberá rendir un examen escrito y si éste es aprobado pasará al oral correspondiente. El alumno que quede en condición de regular, sólo rendirá un examen oral. Esta materia no está inscripta bajo el régimen de promoción. Alejandra Ciruelos