Download Descargar para Word ()

Programa de Estudios de Lógica II (LSyC) (2010)
Universidad: Rosario
Facultad: UCA (Universidad Católica Argentina)
Profesor: Gabriela Seta - Sebastian Velazquez
I. A. OBJETIVOS INSTITUCIONALES






Promover en los miembros de la Comunidad Universitaria el espíritu de justicia y
solidaridad de tal modo de involucrarse en la historia como lugar de encuentro,
de búsqueda de justicia, paz e integridad de lo creado.
Contribuir a la realización del bien común y la mejora de la calidad de vida de la
sociedad, discerniendo el significado de los cambios científico-tecnológicos y los
graves problemas contemporáneos proponiendo proyectos alternativos
integradores de los saberes.
Desarrollar una gestión participativa en lo académico-administrativo, donde se
manifieste el espíritu fraterno de la comunidad universitaria.
Incentivar la formación continua y la integración del saber promoviendo un
proceso de enseñanza-aprendizaje que se oriente al mejoramiento de la calidad
educativa.
Generar líneas de investigación que se correlacionen con las exigencias
curriculares y las necesidades de la región.
Lograr una interacción dinámica con el ámbito socio-cultural ofreciendo
propuestas alternativas y creativas que permita atender los desafíos en el actual
proceso de transformación.
I. B. PERFIL DE LA CARRERA
Carrera destinada a la formación de profesionales para formular planes informáticos en
las organizaciones, identificando los requerimientos de información necesarios para
cumplir con los objetivos de la organización, así como la identificación de los sistemas
de información para satisfacer dichas necesidades. También la carrera brinda los
conocimientos necesarios para entender, planificar, dirigir y controlar el relevamiento,
análisis, diseño e implementación de sistemas de información, elaborar programas de
aplicación de acuerdo a las especificaciones y antecedentes, y operar equipos
informáticos; además de poder realizar investigación y docencia.
I.C. OBJETIVOS DE LA CARRERA

Formar personas profesionales con una cosmovisión humana y cristiana de la
vida, capaces de articular los conocimientos científicos con la Fe, en un saber
total.





Formar profesionales con conocimientos superiores en las ciencias de sistemas
y computación.Acreditar títulos intermedios que posibiliten una rápida inserción laboral en el
medio.
Formar técnicos programadores con conocimientos para la implementación de
sistemas en general y en especial, sistemas de gestión de bases de datos.
Formar Analistas de Sistemas con la capacidad de desarrollar análisis de
sistemas en general, con aplicaciones en empresas de servicio e industriales.
Capacitar Licenciados en Sistemas y computación con competencias para
auditar, gerenciar y dirigir proyectos en el área de sistemas en los ámbitos de
servicios, industriales, así como de investigación y docencia.
II. OBJETIVOS DE LA MATERIA
II.A. OBJETIVOS CONCEPTUALES
 Reconocer las estructuras básicas del pensamiento.
 Conocer símbolos de la lógica proposicional y cuantificacional para la
formalización de dichas estructuras del pensamiento.
 Distinguir leyes y reglas lógicas.
 Aplicar las leyes y reglas en el desarrollo del método demostrativo y en
simplificaciones booleanas.
 Utilizar técnicas de diagramas de Venn en la comprobación de validez e
invalidez de silogismos.
 Comprender el método matemático y continuar los procesos de diferentes
ejemplos que se mostrarán a lo largo del curso.
II.B. OBJETIVOS ACTITUDINALES
 Valorar el conocimiento teórico como sustento de juicios y opiniones.
 Identificar la complejidad de la relación entre lenguajes y realidad.
 Reflexionar sobre la propia posibilidad de inferencia.
 Incorporar la necesidad de fundamentar juicios y opiniones.
 Valorizar el trabajo con la palabra como vehículo de ideas y medio de resolución
de conflictos.
 Apreciar la lógica simbólica como una continuidad mejorada de la lógica clásica
 Descubrir la importancia de la Lógica como ciencia formal básica para cualquier
actividad científica.
 Comprender la importancia de la lógica simbólica y su incidencia en la
informática.
 Participar en instancias de deliberación haciendo uso correcto del discernimiento
y la argumentación racional.
III. CONTENIDOS CONCEPTUALES
UNIDAD TEMÁTICA I: Qué es la lógica simbólica?.
La lógica como ciencia formal. Lógica clásica y lógica matemática. Estructuras básicas
del pensamiento: Revisión. Aristóteles. El concepto como nombre de clase. El juicio
como proposición y como interrelación de clases.. El silogismo en la lógica tradicional.
Lenguaje formal. Características. Proposiciones y conectivas.
UNIDAD TEMÁTICA II: Qué cuantifica la Lógica Cuantificacional?
Las proposiciones singulares. Simbolización. Función proposicional. Proposiciones
generales simples. Proposiciones negativas y proposiciones negadas. Proposiciones
categóricas. Proposiciones generales complejas. El cuadrado de oposición.
Implicación. Alcance de un cuantificador. Predicados monádicos y poliádicos.
Proposiciones generales complejas no categóricas
UNIDAD TEMÁTICA III: Qué es una clase lógica?
Definición y caracterización. Pertenencia y no pertenencia. Relaciones entre clases:
Inclusión, Igualdad. Clases finitas e infinitas. Clases unitaria, vacía y universal.
Operaciones entre clases: Intersección, Unión, Diferencia relativa y absoluta.
Representación con círculos y elipses. Leyes lógicas. Representación gráfica para los
silogismos categóricos y no categóricos. Prueba de validez por esquematización.
UNIDAD TEMÁTICA IV: Qué es la Lógica Proposicional?
Conectivos lógicos. Polinomios booleanos. Operaciones proposicionales: Conjunción.
Disyunción inclusiva. Disyunción exclusiva. Implicación o condicional. Doble implicación
o bicondicional. Los métodos de demostración de implicaciones. Implicaciones
asociadas. Conectivos shefferianos. Tablas de verdad.
UNIDAD TEMÁTICA V: A qué llamamos Leyes Lógicas?
Leyes Lógicas, contradicciones y contigencias. El teorema de intercambiabilidad de
equivalentes. Su extensión y aplicación a la demostración de teoremas matemáticos.
Leyes fundamentales del Álgebra proposicional. Aplicación de las leyes lógicas a la
simplificación de proposiciones. Razonamiento deductivo válido.
UNIDAD TEMÁTICA VI: Qué es el Método Matemático?
Funciones proposicionales. Definición. Cuantificación de una función proposicional.
Valor de verdad en relación con la demostración matemática. El método matemático:
deducción e inducción. Caracteres generales. Deducción: métodos directo, indirecto y
absurdo. Elementos: axiomas, postulados, lemas, proposiciones, teoremas. Verificación
y demostración de un teorema. Teoremas recíproco, contrario y contrarrecíproco.
Contraejemplos. La inducción matemática.
IV. TRABAJOS PRÁCTICOS
Los trabajos prácticos se incluirán en el desarrollo de las clases como aplicación de la
teoría expuesta y se acordará oportunamente con el grupo las fechas de entrega de los
mismos.
Tiempo estimado de dedicación por cada trabajo: 2 horas cátedra semanales.
Trabajo Práctico I: Unidades Temáticas I, II y III
Las competencias involucradas en la resolución, son:
 Apreciar la lógica simbólica como una continuidad mejorada de la lógica
clásica.
 Reconocer las estructuras básicas del pensamiento.
 Distinguir leyes y reglas lógicas.
 Utilizar técnicas de diagramas de Venn en la comprobación de validez e
invalidez de silogismos.
 Valorar el conocimiento teórico como sustento de juicios y opiniones.
 Identificar la complejidad de la relación entre lenguajes y realidad.
Trabajo Práctico II: Unidades Temáticas IV, V y VI
Las competencias involucradas en la resolución, son:
 Comprender el método matemático y continuar los procesos de diferentes
ejemplos que se mostrarán a lo largo del curso.
 Aplicar las leyes y reglas en el desarrollo del método demostrativo y en
simplificaciones booleanas.
  Comprender la importancia de la lógica simbólica y su incidencia en la
informática.
 Participar en instancias de deliberación haciendo uso correcto del discernimiento
y la argumentación racional.
V. TAREAS ASIGNADAS A CADA INTEGRANTE DE LA CATEDRA
Las tres primeras unidades están a cargo de la Profesora Gabriela Seta y las tres
siguientes unidades a cargo del Profesor Sebastián Velázquez. Este dictado no es
paralelo, sino que las unidades se dictan en orden consecutivo.
VI. ESTRATEGIAS METODOLÓGICAS DE ENSEÑANZA
1-Lectura dirigida
2- Exposición
3- Discusión
4- Diálogo
5-Técnicas de análisis
6- Resolución de problemas
VII. A. BIBLIOGRAFÍA GENERAL
Consulta de catálogo en línea: Catálogo Biblioteca










Bunge, Mario. La Ciencia, su método y filosofía. Siglo Veinte. Buenos Aires,
1977.
Carpio, Adolfo. Principios de Filosofía. Glauco.2a ed. Buenos Aires, 2000.
Cotlar Sadosky. Introducción al Álgebra. Eudeba. 3a ed. Buenos Aires, 1962.
Copi, Irving. Introducción a la Lógica. Eudeba. Buenos Aires, 1990.
Dickinson, John. La Ciencia y los investigadores científicos en la sociedad
moderna. Unesco. 1a ed. Buenos Aires, 1986.
Fatone, Vicente. Lógica e Introducción a la Filosofía. Kapelusz.9a ed. Buenos
Aires, 1969.
Gianella de Salama, Alicia. Lógica simbólica y Elementos de metodología de la
Ciencia. El Ateneo. 5a ed. Buenos Aires, 1982.
Guibourg, R; Ghigliani, A; Guarinoni, R. Introducción al conocimiento científico.
Eudeba. Buenos Aires, 1992.
Guillermo. Nuevo curso de Lógica y Filosofía. Kapelusz. Buenos Aires,1995.
Verneaux, Roger. Textos de los grandes filósofos. Herder. 5a ed. Barcelona,
1982.
VII. B. BIBLIOGRAFÍA COMPLEMENTARIA











Bosch, Jorge. Introducción al simbolismo lógico. Eudeba. 9a ed. Santiago del
Estero, 1981.
Bunge. Ciencia, Técnica y Desarrollo. Sudamericana. Buenos Aires, 1997.
Carroll, Lewis. El Juego de la Lógica. Alianza Editorial. 13a ed. España, 1996.
Crossley, J.N. Qué es la lógica matemática? Tecnos. 2a ed. España, 1982.
DallaChiara Scabia, María Luisa. Lógica. Editorial Labor. Barcelona, 1976.
De Lionnais, Federico. Las grandes corrientes del pensamiento matemático.
Eudeba. 3a ed. Buenos Aires, 1976.
Fingermann, Gregorio. Lógica y Teoría del Conocimiento. El Ateneo. 26a ed.
Buenos Aires, 1974.
Lipchutz, Seymour. Matemáticas para Computación. Mc Graw Hill. México,
1987.
Meyer. Lógica, Lenguaje y Argumentación. Hachette. Buenos Aires, 1982.
Moreno, Alberto Lógica Matemática. Eudeba. 3a ed. Buenos Aires, 1981.
Pinzón, Alvaro. Conjuntos y Estructuras. Harla. México, 1975.



Puyau y otros. Prolegómenos a la Lógica Simbólica. Editorial Macchi. Buenos
Aires, 1968.
Sanguinetti. Lógica. EUNSA. Pamplona, 1985.
Verneaux. Introducción general y Lógica. Barcelona. Editorial Herder, 1982.
VII. C. La Cátedra incorporará un Software de aplicación a determinar con el fin de
apoyar la parte práctica.
VIII. SISTEMA DE EVALUACIÓN
La condición de alumno regular se obtendrá mediante la pertinente inscripción y se
conserva con el cumplimiento de los siguientes requisitos:
a) Asistencia a no menos del 75% de las clases que se dicten en el curso.
b) Presentación y aprobación en tiempo y forma del total de los Trabajos
Prácticos requeridos.
c) Aprobación de la evaluación parcial.
Sólo podrán presentarse al examen final de la asignatura quienes revistan la condición
de alumno regular.
Se tendrán en cuenta algunos criterios básicos como ortografía, caligrafía y
prolija presentación de los escritos prácticos y final.
Asimismo la Cátedra considera importante evaluar en los prácticos y final los
siguientes criterios:
Claridad y precisión en el desarrollo conceptual
Pertinencia en el análisis
Coherencia en el planteo
Creatividad en el planteo
Fundamentación adecuada de la postura asumida
IX. CRONOGRAMA DE DESARROLLO
<sp