Docente/s. Práctica Departamento/Divisi ón R Corrales Julia Edith Ciencias Exactas R Corrales Julia Edith Ciencias Exactas. Departamento/Divisi ón

Transcripción

1 Ciclo Académico: 2011 Año de la Carrera: Horas de Clases Semanales Régimen de Cursado 2do. Teoría Práctica Otros i (1) Anual 1er.Cuatr. 2do.Cuatr. Otros (2) 2hs 2hs X (1) Observaciones: (2) Observaciones: R/ I Teoría ii Apellido y Nombres Departamento/Divisi ón Docente/s R/ I Práctica Apellido y Nombres Departamento/Divisi ón R Corrales Julia Edith Ciencias Exactas R Corrales Julia Edith Ciencias Exactas Observaciones: Espacios Curriculares Correlativos Precedentes Aprobada/s Cod. Asig. Cursada/s (1) Cod. Asig. Introducción al Conocimiento Científico 0012 Taller de Metodología de la Investigación 0016 Espacios Curriculares Correlativos Subsiguientes Aprobada/s Cod. Asig. Cursada/s Cod. Asig. Metodología de la Investigación Educativa 0509 Estadística Aplicada FUNDAMENTACIÓN Se concibe a la Lógica como una disciplina científica con objetos, teorías y resultados que le son propios. La Lógica es parte de la cultura del hombre del siglo XX, y su conocimiento, es hoy en día imprescindible en la medida en que proporciona al ser humano la base formal para realizar con rigor cualquier tarea seria en el mundo científico. Siendo esta la disciplina que se ocupa en sí misma de la corrección de los argumentos, con prescindencia de sus contenidos, su estudio puede encararse, en una primera aproximación, como la indagación acerca de sus fundamentos, o por el contrario, como el análisis del repertorio de los distintos métodos utilizados para dicho objetivo. Se pretende abordar una combinación equilibrada de ambos enfoques, sin descuidar su evolución histórica, mencionando conceptualmente los resultados más significativos y las diferencias entre la lógica antigua y la contemporánea. El programa se ha diseñado para estudiantes del 2do año del Profesorado en Ciencias de la Educación, intentando proporcionarles algunos fundamentos básicos y la capacidad lógica que les permita abordar tanto el estudio de posteriores asignaturas como Estadística Aplicada, como así también la realización de muchas de las tareas de su futra vida profesional, con conocimientos más significativos para la abstracción, el rigor y la precisión a la hora de la toma de decisiones. Se han organizado los contenidos del programa partiendo de una concepción de la Lógica Clásica y su objeto de estudio para luego tratar en profundidad la lógica proposicional: desde la simplicidad en la construcción del lenguaje formal, hasta la comprobación del carácter decidible de las fórmulas, pasando por el método semántico de demostraciones, la teoría de los sistemas formales y el método de deducción natural. Luego se desarrollan los mismos temas pero desde la Lógica de Predicados, Lógica de clases y Lógica de Relaciones con el consiguiente aumento de complejidad tanto en la construcción de los lenguajes como en los métodos de demostración o en el desarrollo de los sistemas formales. Se analiza la indecidibilidad de los distintos tipos de fórmulas. prg_0057_007_uaco_pact Pag - 1 -

2 2- OBJETIVOS GENERALES: Se espera que el alumno: Comprenda los aspectos fundamentales relacionados con esta ciencia La lógica Formal, que es parte de la cultura del hombre de este siglo y es imprescindible para realizar con rigor tareas en el mundo científico. Tome conciencia de la necesidad e importancia para la docencia el conocer la historia y la epistemología de la Lógica, en general, y, en particular, sobre la historia identificando los distintos tipos de lógicas y sus partes componentes, sus relacione con los distintos campos del conocimiento; por ejemplo los elementos básicos de la semiótica. Conozca los métodos y técnicas de la lógica proposicional y de predicado para el tratamiento de los razonamientos. Distinga los conceptos de constante, variable y cuantificador, así como las técnicas que gobiernan sus usos: interpretaciones y deducción. Conozca los aspectos constructivos y algorítmicos de la lógica. Adquiera un nivel mínimo de autonomía profesional para planificar y poner en práctica situaciones de aprendizaje que prioricen la construcción de los saberes lógicos y la atribución de significados por parte de los alumnos. 3- CONTENIDOS MÍNIMOS: -Introducción. Lógica formal. Su objeto. -Estructuras del pensamiento: concepto, juicio y razonamiento. -La verdad: niveles lógico, ontológico y gnoseológico. -Lógica simbólica: términos, proposiciones y razonamientos. -Nociones de semiótica. -Lógica proposicional. -Lógica de predicados. -Lógica de clases. -Lógica de relaciones. 4- ORGANIZACIÓN DE LOS CONTENIDOS PROGRAMA ANALÍTICO Eje I: Ubicación de la Lógica Noción y Objeto de la Lógica Formal. Panorama histórico de la Lógica. Las definiciones clásicas. Las estructuras lógicas: términos, proposiciones, razonamientos. Clasificación de los términos, proposiciones y Razonamientos. Las proposiciones categóricas. Cantidad, calidad y distribución. Cuadro de Oposición. Inferencias inmediatas: oposición, conversión, obversión y contraposición. Silogismos. Modo. Figura. Simbolización. Reglas de validez. Nociones de semiótica. Lenguaje objeto y metalenguaje. Sintaxis y Semántica. Nociones de Lógicas Polivalentes. La inteligencia Artificial. EjeII: Conceptos fundamentales de la Lógica Proposicional Presentación y especificación del sistema formal proposicional. Evaluación semántica de fórmulas. prg_0057_007_uaco_pact Pag - 2 -

3 4- ORGANIZACIÓN DE LOS CONTENIDOS PROGRAMA ANALÍTICO Equivalencias lógicas y leyes lógicas. Evaluación semántica de deducciones. Teorema de la deducción. Relación semántica entre fórmulas y deducciones. Teoría de la demostración: Deducción natural o método derivativo. Reglas. Método de deducción natural. Demostración axiomática: Sistema Formal. Coherencia entre la teoría semántica y la teoría de la demostración. Propiedades formales de los sistemas axiomáticos; el problema de decibilidad en el cálculo de predicados. EjeIII: Lógica de Predicados Lenguaje de la lógica de predicados: constantes y variables de individuo, cuantificadores, conectivas, signos de puntuación, propiedades o predicados. Simbolización. Fórmulas. Grado de un predicado. Alcance de los cuantificadores, variables libres y ligadas. Enunciados, tipos. Proposiciones negadas. Intercambio de cuantificadores. La interpretación del cuadro de oposición clásico. Contenido existencial de los enunciados generales. Deducción natural en la lógica de predicados. Reglas. Restricciones. Conmutación de cuantificadores. Distribución de cuantificadores. Interpretaciones. Designación. Verdad. La concepción semántica de la verdad. Identidad. El principio de los indiscernibles. Sentido y denotación. Algunos resultados importantes respecto de los sistema s de la lógica de primer orden: consistencia, completad, independencia de los axiomas. Eje IV: Lógica de Clases Definición. Relaciones entre clases, pertenencia e inclusión. Dominio de individuos. Clase universal y clase vacía. Transcripción del lenguaje cotidiano. La lógica clásica en términos de clases. Diagramas de Venn. Operaciones con clases. Propiedades. El álgebra de clases. Eje V: Lógica de Relaciones Pares ordenados y generalizaciones. Definición de relaciones. Elementos: dominio, codominio y campo. Grado de una relación. Propiedades de las relaciones binarias. Reflexividad, simetría, transitividad y conexidad. Otras propiedades. Operaciones con relaciones. Relación inversa. Producto de relaciones. Relaciones de orden. Propiedades. Diagrama de Hasse. Orden parcial y orden total. Otros tipos de órdenes. Relaciones de equivalencia. Propiedades. Clases de equivalencia. Particiones. Funciones, definición. Propiedades. Operaciones con funciones, composición, función inversa. 5- CRITERIOS DE EVALUACIÓN Comprenderá la evaluación del Programa y la evaluación como proceso sistemático e integrado, donde todos interactúan, entre si y consigo mismos. Evaluación del Programa prg_0057_007_uaco_pact Pag - 3 -

4 5- CRITERIOS DE EVALUACIÓN Se logrará con: Discusiones periódicas sobre el funcionamiento de la metodología propuesta, el tratamiento de los contenidos mínimos, el acercamiento al perfil planteado, el cumplimiento de los objetivos. Análisis del rendimiento de los alumnos, sus producciones y las relaciones con los objetivos esperados. 6- METODOLOGÍA DE TRABAJO PARA LA MODALIDAD PRESENCIAL: Esta asignatura, cuya duración es de dos cuatrimestres, presenta de una manera dialéctica y reflexiva los problemas y desarrollos de esta ciencia a través de su historia, y se presenta a partir de puntos centrales de cada eje debates y análisis bibliográfico con interrogantes de una manera clara y rigurosa de los problemas y desarrollos de la lógica formal, proposicional, de predicados, de clase y relaciones. Analizando las rupturas y las nuevos interrogantes para avanzar sobre las nuevas construcciones de la lógica como ciencia en continua evolución. Se presentará material teórico de apoyo, bibliografía de consulta y actividades con situaciones problemáticas que promuevan el análisis y la discusión de los temas involucrados de los distintos ejes temáticos. A lo largo de la evolución de cada actividad, se irá aportando información en la medida en que sea necesario, concluyéndose con debates formales y metodológicos del programa relacionados con la tarea así como con la correspondiente síntesis y exposición del profesor. En este momento se completará la información y se harán propuestas de trabajo adicionales para completar y/o ampliar lo aprendido. Los alumnos realizarán: trabajos individuales para cada eje y de grupo, debates y coloquios, así como exposiciones ocasionales seguidas de debate. El profesor iniciará y conducirá las actividades, introduciendo en su momento esquemas, explicaciones y resúmenes. 7- ACREDITACIÓN : Alumnos Presénciales. Regularización Para regularizar la asignatura el alumno deberá: Tener el 80% de los trabajos de producción propuestos durante la cursada. Y poseer un 75% de la asistencia. Aprobar 2 (dos) parciales o sus respectivos recuperatorios, que serán tomados al concluir el eje II y al finalizar el segundo cuatrimestre. Se exige obtener un 60 % correcto para aprobar cualquiera de estas instancias. Al aprobar los dos parciales o sus recuperatorios adquiere la condición de regular. Aprobación Final EXÁMEN FINAL PARA ALUMNOS REGULARES Defensa oral de los marcos conceptuales. 8- METODOLOGÍA DE TRABAJO PARA ALUMNOS EN EL SISTEMA DE ASISTENCIA TÉCNICA PEDAGÓGICA (SATEP) La asignatura cuenta con Estándar 0, por lo cual no existe interacción entre los docentes y los alumnos. Se dejará a disposición de los alumnos la Guía de Trabajos Prácticos y el material que se estime pertinente. 9- ACREDITACIÓN : Alumnos No Presenciales (SATEP) Regularización Al contar con Estándar 0, los alumnos no podrán regularizar la asignatura. Deberán rendir en calidad de Libres. prg_0057_007_uaco_pact Pag - 4 -

5 9- ACREDITACIÓN : Alumnos No Presenciales (SATEP) Aprobación Final Ver Alumnos Libres. 10- METODOLOGÍA DE TRABAJO SUGERIDA PARA EL APRENDIZAJE AUTOASISTIDO (Alumnos Libres) Se presentará material teórico de apoyo, bibliografía de consulta y un práctico por cada eje con actividades de cada tema abordado por el eje, situaciones problemáticas que promuevan el análisis y la discusión de los temas involucrados en los distintos ejes temáticos que aborda el programa. Los alumnos realizarán todos los trabajos individuales para cada eje. 11- ACREDITACIÓN : Alumnos Libres Aprobación Final El examen consistirá en una evaluación escrita de carácter práctico previa a la defensa oral sobre todos los contenidos del programa. prg_0057_007_uaco_pact Pag - 5 -

6 12- BIBLIOGRAFÍA Ref er. Libros (Bibliografía Obligatoria) Apellido/s Nombre/s Año Edición Título de la Obra Capítulo/ Tomo / Pag. 1 Gamut L.T.F Introducción a la Lógica 1,2,3,4,y 5 Bs. As. Eudeba x Lugar de Edición 2 Copi Irving 1990 Introducción a la Lógica 1 y 4 Bs. As. Eudeba Sí 3 Collacili de Muro Ma.Angelica y Julio C Elementos de Lógica Moderna y Filosofía 4 Kowalsky Morris y Ernest 1990 Introducción a la Lógica y al Método científico1 y 2 5 Gómez y Gómez Raúl 1989 Lógica, Programación e Inteligencia artificial 6 Comesaña Pedro y Cristina 1992 Sistemas formales, informalmente 7 Casaubon J.M 1998 Lógica informal, falacias y argumentos filosóficos Editorial Unidad 3,4,5, y 6 Bs. As. Estrada Sí 1,2,3,4 y 5 Bs. As. Amorrortu ,2 y 3 Madrid Díaz de Santos S.A. 6,7y 8 Colombia Una empresa docente. y Sí Sí Biblio tec UA SIU NP A Otr o No x 1,2 y 3 Bs. As. EUDEBA 5 y 6 No x 8 Haak Susan 1980 Lógica Divergente 1,2 y 3 Madrid Paraninfo 1-2 No x 9 Alegrías Lourdes Arenas 1996 Lógica Formal para Informáticos 1 al 8 Madrid Díaz de Santos SI Ref er. Libros (Bibliografía Complementaria) Apellido/s Nombre/s Año Edición Título de la Obra Capítulo/ Tomo / Pag. 1 Agazzi Evandro 1973 La lógica Simbólica 2da. P. Barcelona x 2 Nudler Telma y O Elementos de lógica simbólica Lugar de Edición 1 al 4 Bs. As. 3 Moreno Alberto 1973 Ejercicios de Lógica 1 al 9 Bs. As. x 4 Piaget Jean 1977 Ensayo de Lógica Operatoria Int y 1 Bs. As. Editorial Unidad Biblio tec UA SIU NP A Otr o x x Pag - 6 -

7 Artículos de Revistas Apellido/s Nombre/s Título del Artículo Título de la Revista Tomo/Volumen/ Pág. Ravossi Eduardo Los Hombres de la historia Página /12 Nro x Fecha Unidad Bibliotec UA SIUNPA Otro Recursos en Internet Autor/es Apellido/s Autor/es Nombre/s Título Datos adicionales Disponibilidad / Dirección electrónica Otros Materiales Pag - 7 -

8 13- VIGENCIA DEL PROGRAMA AÑO Firma Profesor Responsable Aclaración Firma 2011 Corrales Julia Edith 14- Observaciones El presente programa se considera un documento que, a modo de "contrato pedagógico", relaciona a los protagonistas del proceso de enseñanza-aprendizaje y constituye un acuerdo entre la Universidad y el Alumno. Los cuatrimestres tienen como mínimo una duración de 15 semanas. i Si el espacio curricular está implementado en una modalidad diferente de teóricos y prácticos, tildar en Otros y consignar esta característica en observaciones ii Si el espacio curricular está implementado en una modalidad consignada por Otros y no pueden ser discriminados los miembros del equipo, incluirlos todos en la columna de teóricas y consignar esta característica en observaciones. En R/I se debe registrar si el docente es Responsable o Integrante. El Responsable del espacio curricular debe estar registrado en la columna de la Teoría. El responsable del espacio curricular no puede estar únicamente en la Práctica. VISADO División Departamento Secretaría Académica Fecha: Fecha: Fecha: Pag - 8 -