UNIVERSIDAD RICARDO PALMA FACULTAD DE INGENIERA

ESCUELA ACADMICO PROFESIONAL DE INGENIERA CIVIL

SLABO PLAN DE ESTUDIOS 2000 I. DATOS ADMINISTRATIVOS Asignatura Cdigo rea Acadmica Condicin Nivel Crditos N de horas por semana Requisito Semestre Acadmico Profesores II. : Lgica : IC 0103 : Humanidades : Obligatorio : I Ciclo : 03 : Teora: 2 Practica: 2 : Ninguno : 2006 :

SUMILLA El curso de Lgica forma parte del rea de Humanidades y corresponde al primer ciclo de la carrera. Tiene como principal objetivo realizar el anlisis sintctico y semntico del lenguaje argumental, aplicar procedimientos decisorios relacionados con la validez e invalidez de inferencias y desarrollar una teora de la demostracin aplicable a sistemas axiomticos. Asimismo, examina las relaciones existentes entre lgica, ciencia y tecnologa. COMPETENCIA DE LA CARRERA DE INGENIERA CIVIL Crea, gestiona y lidera eficazmente empresas y proyectos para el desarrollo socio econmico, preservando el medio ambiente. Dirige y/o ejecutar estudios de ingeniera bsica e ingeniera conceptual, analizando, diseando elaborando expedientes tcnicos de proyectos de ingeniera a nivel definitivo en el mbito nacional e internacional. Programa, organiza, dirige, coordina o supervisa obras de ingeniera civil con eficiencia tcnica, calidad y economa. Planifica medidas de prevencin ante desastres y ejecuta obras de defensa. Participa en proyectos de investigacin. COMPETENCIA DEL CURSO Analiza y construye lenguajes formalizados a partir del lenguaje natural. Utiliza procedimientos decisorios que permiten establecer la validez o invalidez de los argumentos. Desarrolla una teora de la demostracin y una metodologa que est en la base de los procesos deductivos de teoremas a partir de axiomas. Identifica estructuras del lenguaje que permiten reconocer la relacin de isomorfismo entre proposiciones lgicas y circuitos elctricos. Identifica, describe y explica la estructura lgica de la investigacin cientfica, tanto en el nivel bsico como tecnolgico. Ejercita funciones mentales como el conceptuar, deducir, argumentar y contra-argumentar. RED DE APRENDIZAJE

III.

IV.

V.

ESCUELA DE CIVIL

LGICA

PGINA: 1

FACULTAD DE INGENIERA VI. UNIDADES DE APRENDIZAJE

PLAN DE ESTUDIOS 2000

UNIDAD 1: LGICA Y LENGUAJE. Logro de la unidad: Analiza y reconoce la estructura del lenguaje argumentativo, los usos del lenguaje en general y establece la diferencia entre argumentos vlidos y falaces. SEMANA TEMAS 01 Primera Sesin: Definicin de la lgica. Importancia de la lgica. Leyes Generales. Segunda sesin: Estructura de un argumento: premisas y conclusiones. Argumentos inductivos y deductivos. Primera Sesin: Lgica y lenguaje. Funciones del lenguaje. 02 Segunda sesin: Niveles del lenguaje: Lenguaje y metalenguaje. Primera Sesin: Falacias; definicin y clasificacin. 03 Segunda sesin: Falacias no formales (1. Parte). Primera Sesin: Falacias no formales (2. Parte). 04 Segunda sesin: Falacias no formales (3. Parte). LECTURAS: 1. COPI, Irving y COHEN, Carl. Introduccin a la lgica, cap. II, pp. 37, 81-91. 2. DE GORTARI-GORSKI. Principios de lgica, cap. I, pp. 25-61. 3. DORIGA, Enrique. Metodologa del pensamiento, pp. 149-167. 4. GARRIDO, Manuel. Lgica simblica, cap. I, pp. 19-28. 5. PSICOYA HERMOZA, Luis. Lgica, pp. 10-12. UNIDAD TEMTICA N 2: LGICA PROPOSICIONAL. Logro de la unidad: Construye lenguajes formalizados a partir del lenguaje natural y, con su ayuda, desarrolla procedimientos decisorios. SEMANA 05 TEMAS Primera Sesin: La sintaxis lgica. Formalizacin de proposiciones (1. Parte). Segunda sesin: Formalizacin de proposiciones (1. Parte). Primera Sesin: Funciones veritativas. Segunda sesin: Funciones veritativas y tablas de verdad. Primera Sesin: Clasificacin de esquemas moleculares: esquemas tautolgicos, consistentes, y contradictorios. Segunda sesin: Las tablas de verdad como procedimiento decisorio para determinar la validez o invalidez de inferencias. EXAMEN PARCIAL ACTIVIDADES Ejercicios. Anlisis de casos. Ejercicios. Anlisis de casos. Ejercicios. Anlisis de casos. ACTIVIDADES Lectura de material bibliogrfico seleccionado. Anlisis de casos. Ejercicios. Anlisis de casos. Ejercicios. Anlisis de casos. Ejercicios. Lecturas. Anlisis de casos.

06

07 08

LECTURAS: 1. CHVEZ NORIEGA, ALEJANDRO, Introduccin a la lgica, pp. 49-171. 2. GARRIDO, Manuel. Lgica simblica, pp. 29-44 y 75-158. 3. KATAYAMA, Roberto, Introduccin a la lgica, pp. 53-74. 4. PISCOYA HERMOZA, Luis. Lgica, pp. 110-114. 5. ROSALES. Digenes. Introduccin de la lgica, pp. 69-80 y 82-83. UNIDAD 3: LGICA DE CLASES. Logro de la unidad: Identifica una clase y utiliza diagramas de Venn para determinar la validez de silogismos categricos. SEMANA 09 TEMAS Primera Sesin: Concepto de clase. Notacin. Tipos de clases: clase universal, clase vaca, clase complemento, subclase. Uso de los diagramas de Venn. Segunda sesin: Operaciones con clases. lgebra de Boole. Primera Sesin: Las proposiciones categricas. Diagramacin de las proposiciones categricas. Segunda sesin: El silogismo categrico. Modos y figuras del silogismo. Primera Sesin: Uso de los diagramas de Venn para establecer la validez de silogismos (1. Parte).
LGICA

ACTIVIDADES Ejercicios. Anlisis de casos.

Ejercicios. Anlisis de casos.

10

11

Ejercicios. Anlisis de casos.

PGINA: 2

ESCUELA DE CIVIL

FACULTAD DE INGENIERA Segunda sesin: Uso de los diagramas de Venn para establecer la validez de silogismos (2. Parte). LECTURAS: 1. COPI, Irving (y) COHEN, Carl. Introduccin a la lgica, pp. 407-419. 2. CHVEZ, Alejandro, Introduccin a la lgica, pp. 173-190. 3. KATAYAMA, Roberto, Introduccin a la lgica, pp. 127-132.

PLAN DE ESTUDIOS 2000

UNIDAD TEMTICA N 4: EL MTODO DE LA DEDUCCIN O DERIVACIN. Logro de la unidad: Aplica principios y leyes lgicas, utiliza el mtodo de la deduccin y desarrolla pruebas formales de validez. SEMANA TEMAS ACTIVIDADES Primera Sesin: Concepto De prueba formal (Derivacin). Principios lgicos: Identidad, no contradiccin y Tercio excluido. Reglas de inferencia o implicaciones notables: Modus Ponens, Modus tollens, Silogismo hipottico, Silogismo disyuntivo, Dilema constructivo, Absorcin, SimplifiEjercicios. Anlisis de casos. cacin, conjuncin, Adicin. Segunda sesin: Regla de reemplazo o equivalencias notables: Teoremas de De Morgan, conmutacin, Asociacin, Distribucin, Doble negacin, Transposicin, Derfinicin de la implicacin, Definicin de la equivalencia, Exportacin, etc. Primera Sesin: Desarrollo de pruebas formales de validez. Ejercicios. Anlisis de casos. Segunda sesin: Aplicacin a un sistema axiomtico simple: axiomas de la adicin.

12

13

LECTURAS: 1. COPI, Irving y COHEN, Carl. Introduccin a la lgica, pp. 407-419. 2. SUPPES, P. y HILL, S., Introduccin a la lgica matemtica, pp. 263-269. 3. GIANELLA DE SALAMA, Alicia. Lgica simblica y elementos de metodologa de la ciencia, pp. 66-72. UNIDAD TEMTICA N 5: LGICA E INTELIGENCIA ARTIFICIAL.. Logro de la unidad: Describe la relacin de isomorfismo entre lenguajes naturales y circuitos elctricos. Analiza y valora las relaciones entre lgica e investigacin cientfica. SEMANA 14 TEMAS ACTIVIDADES Primera Sesin: Sistemas expertos y robots. Mquina de Turing. Ejercicios. Lecturas. Segunda sesin: Diseo de circuitos elctricos para computadoras. Anlisis de casos. Circuitos lgicos a compuertas.

LECTURAS: 1. PISCOYA, Luis. Lgica, pp. 168-187. 2. TOURING,Alan, La maquinaria de computacin y la inteligencia. En BODEN, Margret (compiladora), Filosofa de la inteligencia artificial, pp. 53-81. UNIDAD TEMTICA N 6: LGICA E INVESTIGACIN CIENTFICA. Logro de la unidad: Identifica, analiza y desarrolla la estructura lgica de la investigacin cientfica y el proceso de contrastacin de hiptesis. SEMANA 15 16 17 CONTENIDOS Primera Sesin: El mtodo cientfico. La lgica de la investigacin cientfica. Segunda sesin: La contrastacin de hiptesis. El modus tollens. EXAMEN FINAL EXAMEN SUSTITUTORIO ACTIVIDADES

LECTURAS: 1. ALVARADO, Carlos, Epistemologa, pp. 93-110. 4. HEMPEL, Carl. Filosofa de la ciencia natural, pp. 16-25. VII. METODOLOGA
ESCUELA DE CIVIL LGICA PGINA: 3

FACULTAD DE INGENIERA PLAN DE ESTUDIOS 2000 Se propiciar en todo momento la participacin activa de los estudiantes, mediante el desarrollo de ejercicios y trabajos prcticos, individuales o en grupo. VIII. CRITERIOS Y PROCEDIMIENTOS DE EVALUACIN DEL APRENDIZAJE Parte Terica: Puntualidad y responsabilidad. Asistencia a clase (mnimo 70%). Participacin en las actividades programadas. Parte Prctica: Puntualidad. Desarrollo y entrega oportuna de trabajos. Asistencia a clase (mnimo 70%). Participacin en las actividades programadas. PROMEDIO FINAL: Se obtendr sobre la base de: Primera evaluacin o examen parcial (EP). Segunda evaluacin o examen final (EF). Promedio de prcticas (PP). Promedio final (PF ) PF = PP = EP + EF + PP 3 P1 + P2 + P3 + P4 4

EXAMEN SUSTITUTORIO: Se realizar al finalizar todas las evaluaciones. Reemplazara a la nota ms baja, excepto A IA correspondiente al promedio de prcticas. nicamente podrn presentarse a este examen quienes tengan un promedio final a partir de siete. IX. REFERENCIAS BIBLIOGRFICAS Y OTROS TIPOS DE FUENTES 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. ALVARADO, Carlos. Epistemologa, Lima, Ed. Mantaro, 2005. COPI, Irving (y) COHEN, Carl. Introduccin a la lgica, Mxico, D.F., Limusa, 1997. CHAVEZ NORIEGA, Alejandro. Introduccin a la lgica, Lima, Imprenta Chvez, 2000. FERRATER MORA, Jos (y) LEBLANC, Hughes. Lgica matemtica, Mxico, D.F., FCE, 1975. GIANELLA DE SALAMA, Alicia. Lgica simblica y elementos de metodologa de la ciencia, Bs. As., El Ateneo, 1975. HEMPEL, Carl. Filosofa de la ciencia natural, Madrid, Alianza Universidad, 1986. KATAYAMA, Roberto. Introduccin a la lgica, Lima, Ed. URP, 2003. LIST, G. y otros. Lgica matemtica, teora de conjuntos y dominios numricos. La Habana, Ed. Pueblo y educacin, 1986. GARRIDO, Manuel. Lgica Simblica. Madrid. Tecnos. 1993. MIROQUESADA CANTUARIAS, Francisco. Lgica 1. Filosofa de las matemticas, Lima, Ignacio Prado Pastor, 1980. PISCOYA HERMOZA, Luis. Lgica, Lima. Ed. San Marcos, 1997. QUINE, Willard van Orman. Los mtodos de la lgica. Barcelona, Ariel, 1967. ROSALES, Digenes (y) TRELLES, Oscar. Introduccin a la Lgica, Lima PUCP, 2000. SANGUINETI, Juan Jos. Lgica. Ed. Universidad de Navarra S.A. Espaa, 2000. SUPPES, P. y HILL, S. Introduccin a la lgica matemtica. Barcelona, Ed. Revert, 1968.

ESCUELA DE CIVIL

LGICA

PGINA: 4