UNIVERSIDAD RICARDO PALMA

RECTORADO
PROGRAMA DE ESTUDIOS BSICOS

LGICA
SLABO

I. DATOS ADMINISTRATIVOS

1.1. 1.2. 1.3. 1.4. 1.5. 1.6. 1.7. 1.8. 1.9.

Asignatura Cdigo Naturaleza Ciclo Requisito Crditos N de horas por semana semestre Acadmico Profesor

: LGICA : PEB 0104 : Obligatorio : Primero : Ninguno : 04 : 04 ( 2 teora y 2 prcticas) : 2011-2 :

II. SUMILLA

El desarrollo del curso se inicia con el estudio de la argumentacin como objeto de la Lgica, luego, se definen las categoras conceptuales bsicas. Como temas centrales de la Lgica, se estudia, sintctica y semnticamente, la lgica proposicional y la lgica cuantificacional mondica de primer grado. En cada uno de estos captulos se considera de mayor importancia el anlisis formal del lenguaje y la aplicacin de las reglas lgicas. Para decidir la correccin o incorreccin de los argumentos se usarn, el mtodo de los diagramas semnticos y el mtodo de las derivaciones para las demostraciones.

III. ASPECTOS DE PERFIL PROFESIONAL QUE APOYA LA ASIGNATURA (PEB) Despus de haber concluido con la asignatura de Lgica en el Programa de Estudios Bsicos (PEB) el estudiante debe saber: 3.1. Analizar, abstraer, generalizar y confrontar conceptos, teoras y procesos en los campos de la ciencia comprendidos en el programa. 3.2. Comprender y aplicar los principios y leyes de la lgica, de tal manera que le sea posible una aproximacin a los problemas fundamentales del hombre. 3.3. Aplicar mtodos y tcnicas de investigacin en los diferentes campos de la ciencia comprendidos en el programa. 3.4. Cultivar los valores con una actitud responsable para consigo mismo, con la Universidad y con el Pas. IV. COMPETENCIAS ESPECFICAS DEL CURSO Concluido el curso de Lgica, el estudiante debe saber las siguientes competencias: 4.1. 4.2. 4.3. 4.4. 4.5. 4.6. 4.7. Analizar y evaluar argumentos, crtica y reflexivamente, usando la diagramacin. Reconocer y distinguir las funciones bsicas y niveles del lenguaje. Conocer los argumentos falaces. Aplicar mtodos decisorios para determinar la validez de frmulas y argumentos. Construir argumentos vlidos distinguiendo de los argumentos invlidos. Razonar de manera objetiva, dejando de lado subjetividades y prejuicios. Manejar las reglas lgicas para la demostracin rigurosa de los argumentos vlidos.

V. PROGRAMACIN DE LOS CONTENIDOS Y ACTIVIDADES UNIDAD 1: LENGUAJE Y ARGUMENTACIN Logros: 1. Distinguir textos argumentativos de textos no-argumentativos 2. Diagramar los argumentos sobre la base de indicadores de premisas y conclusiones 3. Conocer las funciones bsicas del lenguaje y las falacias no formales 4. Distinguir argumentos deductivos de argumentos inductivos 5. Conocer los conceptos bsicos de la lgica formal

Horas: 12 horas

SEM. 01

CONTENIDO

ACTIVIDADES

02

03

-Argumentacin: Textos -Ejercicios sobre lectura de textos argumentativos y no argumentativos y no argumentativos argumentativos -Diagramacin de argumentos -Diagramacin de argumentos -Trabajo de campo: Lenguaje -Funciones bsicas del lenguaje informativo, expresivo y directivo -Falacias no formales -Trabajo de campo: Reconocimiento -Argumentos deductivos e y recopilacin de falacias en diarios inductivos de circulacin local -Qu es la Lgica? -Ejercicios sobre proposiciones -Proposiciones e inferencias simples y compuestas. -Niveles del lenguaje -Ejercicios sobre distincin de -Verdad y validez niveles de lenguaje -Nocin de clculo

Textos de consulta: 1. ALVARADO DE PIROLA, Carlos, Epistemologa. Lima, Mantaro, 2005. 2. COPI, Irving y Carl COHEN, Introduccin a la lgica. Mxico, Limusa, 1997. 3. FISHER, Alec, The logic of real arguments. Cambridge University Press, 1988. 4. GARRIDO, Manuel. Lgica simblica. Madrid, Tecnos, 2000. 5. KATAYAMA OMURA, Roberto Juan, Introduccin a la lgica. Lima, URP, 2003. 6. ORNA SNCHEZ, Oswaldo. Lgica, manual de prcticas. Lima, URP, 1999. 7. ROSALES, Digenes. Introduccin a la Lgica. Lima, Amaru, 1994. 8. ROSALES, Digenes y Oscar TRELLES, Introduccin a la Lgica. Lima PUCP, 2000. 9. TYMOCZKO, Tom y HENLE, Jim, Razn, dulce razn. Barcelona, Ariel Ciencia, 2002. 10. http://es.wikipedia.org

UNIDAD 2: LGICA PROPOSICIONAL Logros: 1. Comprender la naturaleza de la lgica proposicional. 2. Saber decidir la validez de frmulas por el mtodo de los diagramas semnticos. 3. Analizar y simbolizar proposiciones. 4. Saber demostrar argumentos vlidos por el mtodo de la derivacin. Horas: 32 hrs. SEM. 04 CONTENIDO ACTIVIDADES

05

-Sintaxis: Smbolos primitivos, -Reconocimiento de fbfs en LP. reglas de formacin y fbfs de LP. -Ejercicios sobre elaboracin de -Funciones de verdad y reglas reglas semnticas. semnticas -Ejercicios: Operacin con reglas semnticas para decidir la validez o -El mtodo de los diagramas invalidez de frmulas semnticos proposicionales -Simbolizacin de textos que estn en lenguaje natural -Ejercicios sobre implicacin y -La implicacin y la equivalencia equivalencia. -Anlisis sobre la validez de -Decidir la validez o invalidez de inferencias inferencias por el mtodo de diagramas semnticos. -Simbolizacin de proposiciones EXAMEN PARCIAL -Principios, leyes y reglas lgicas -El mtodo de la derivacin -Demostraciones por derivacin: La prueba directa -Demostraciones por derivacin: La prueba condicional y la prueba por reduccin al absurdo -Ejercicios sobre la aplicacin de las reglas lgicas -Ejercicios sobre demostracin de inferencias vlidas -Ejercicios

06

07

08 09 10 11

Textos de consulta: 1. GARRIDO, Manuel. Lgica simblica. Madrid, Tecnos, 1995. 2. KATAYAMA OMURA, Roberto Juan. Introduccin a la lgica. Lima, URP, 2003. 3. ROSALES, Digenes, Introduccin a la Lgica. Lima,. Amaru, 1994 . 4. ROSALES, Digenes y TRELLES, Oscar. Introduccin a la Lgica. Lima, PUCP, 2000. 5. ZEVALLOS Y MUIZ, Marco Aurelio y Daniel LLAMAS. Introduccin al diseo lgico, Lima, Fondo Editorial de la Universidad de Lima, 2007 6. http://es.wikipedia.org UNIDAD 3: LGICA CUANTIFICACIONAL Logros: 1. 2. 3. 4. Comprender la importancia de la lgica de predicados mondicos Analizar razonamientos segn el cuadro de la oposicin Analizar y simbolizar proposiciones en la lgica cuantificacional Saber usar el mtodo de los diagramas semnticos para decidir la baliza o no de frmulas cuantificacionales Horas: 12 horas SEM. 12 CONTENIDO -Sintaxis de LC: Smbolos primitivos, reglas de formacin -Esquemas frmulas -Semntica de LC: Frmulas abiertas y cerradas -Reglas semnticas de los cuantificadores -Diagramas semnticos para LC. -Simbolizacin de proposiciones -Los cuadros de la oposicin ACTIVIDADES -Ejercicios para aplicar las reglas de formacin y obtener fbs. -Ejercicios sobre decisin de validez o invalidez de frmulas por los diagramas semnticos

13

14 15 16

-Ejercicios sobre simbolizacin de proposiciones y los usos de los cuadros de la oposicin -Ejercicios aplicativos al anlisis de -Anlisis de validez de inferencias validez o invalidez por los por los diagramas semnticos diagramas semnticos EXAMEN FINAL

Textos de consulta: 1. COPI, Irving y Carl COHEN, Introduccin a la lgica. Mxico, Limusa, 2000. 2. ROSALES, Digenes, Introduccin a la lgica. Lima, Monterrico, 1994. 3. ROSALES, Digenes y Oscar TRELLES, Introduccin a la Lgica. Lima, PUCP, 2000. 4. KATAYAMA OMURA, Roberto Juan. Introduccin a la lgica. Lima, URP, 2003. 5. http://es.wikipedia.org

VI. EQUIPOS Y MATERIALES 6.1. Los equipos y materiales se requerirn segn la infraestructura de cada aula: Tizas, plumones, pizarra, transparencias, retroproyector, multimedia, video, DVD, VHS, etc.

VII. METODOLOGA 7.1.1. El profesor desarrollar el curso en clases tericas y prcticas, y facilitar ejercicios para las prcticas de acuerdo al contenido temtico. 7.1.2. Los alumnos realizarn trabajos de campo organizados en grupos y/o de manera individual para exponer sus conclusiones sobre problemas planteados en clases. 7.1.3. En todo el desarrollo acadmico se propiciar la participacin activa y colaborativa de los estudiantes. 7.1.4. Para consolidar el aprendizaje, despus de cada unidad temtica, se someter a un anlisis crtico y reflexivo para concluir en una sntesis.

VIII. EVALUACIN
8.1.

Las tres (3) prcticas calificadas (PC) son obligatorias y el promedio de las prcticas (PP) se obtendr de acuerdo a la siguiente frmula: ( PC1 + PC2 + PC3 ) / 3 = PP

8.2.

EL PROMEDIO FINAL (PF) se obtendr de acuerdo a la siguiente frmula: ( PP + EP + EF ) / 3 = PF

8.3.

La nota mnima aprobatoria es ONCE (11). El Examen Sustitutorio reemplaza la nota ms baja del Examen Parcial o Examen Final. 8.4. Ninguna Prctica Calificada se elimina ni se sustituye. 8.5. Slo podrn presentarse al Examen Sustitutorio los que obtengan un promedio del curso igual o mayor a siete (07).

IX. BIBLIOGRAFA AGAZZI, Evandro, La lgica simblica. Barcelona, Herder 1967. ALVARADO DE PIROLA, Carlos, Epistemologa. Lima, Mantaro, 2005. BARKER, Stephen, Elementos de lgica. Mxico, M. Graw Hill, 1994. COPI, Irving, Introduccin a la lgica. Mxico, Limusa-Noriega Editores, 2000. CRYAN, Dan y SHATIL, Sharron y MARYBLIN, Bill, Lgica para todos. Ediciones Paidos Ibrica. Da COSTA, Newton, Lgica inductiva y probabilidad. Lima, Universidad de Lima, 1993. DEAO, Alfredo, Introduccin a la lgica formal. Madrid, Alianza Editorial, 1975. DRIGA, Enrique, Metodologa del pensamiento. Barcelona, Herder, 1986. FISHER, Alec, The Logic of Real Arguments . Cambridge University Press, 1994.

GARCA DAMBORENEA, Ricardo, Uso de razn: Diccionario de falacias. Editorial Biblioteca Nueva, S.L. GARRIDO, Manuel, Lgica simblica. Madrid, Tecnos, tercera edicin, 1995. GUTTENPLAN, Samuel, The Languages of Logic. An Introduction to Formal Logic, Oxford, Basil Blackwell, 1986. HENLE, Jim y TYMOCZKO, Tom, Razn, dulce razn: Una gua de campo de la lgica moderna. Editorial Ariel. KATAYAMA, Roberto, Introduccin a la lgica. Lima, Editorial universitaria URP, 2003. KNEALE, William y Martha, El desarrollo de la lgica. Madrid, Tecnos 1972. LLANOS, Marino, Lgica Dentica. Lima, Fondo Editorial de la UNMSM, 2003. MANZANO, Mara y HUERTAS, Antonia, Lgica para principiantes. Madrid, Alianza, 2004. ORNA, Oswaldo, Lgica: manual de prctica. Lima. URP, 1999. QUINE, W.V.O., Los mtodos de la lgica. Barcelona, Ariel 1967. REDMOND, Walter, Lgica simblica para todos. Mxico, Universidad Veracruzana, 1999. ROSALES, Digenes, Introduccin a la lgica. Lima, Monterrico, 1994. SACRISTAN, Manuel, Introduccin a la lgica y al anlisis formal. Barcelona, Ariel, 1973. TERRICABRAS, Josep Mara, Atrvete a pensar: La utilidad del pensamiento riguroso en la vida cotidiana. Ediciones Paidos Ibrica. TRELLES, Oscar y Digenes ROSALES, Introduccin a la lgica. Lima, Fondo Editorial PUCP, 2000. ZEVALLOS Y MUIZ, Marco Aurelio y Daniel LLAMAS. Introduccin al diseo lgico, Lima, Fondo Editorial de la Universidad de Lima, 2007. http://es.wikipedia.org