UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS FACULTAD DE DERECHO Y CIENCIA POLTICA SYLLABUS

I. INFORMACIN GENERAL 1. Escuela Acadmico Profesional: Derecho 2. Departamento Acadmico: Derecho 3. Plan de estudios: 2008 4. Rgimen: Anual 5. Nombre del curso: Lgica 6. Cdigo del curso: 502157 7. Crditos : 4.0 8. Prerrequisito: ninguno 9. Horas de dictado: 02 10. Teora: 2 11. Prctica:0 12. Perodo de dictado: 2013 13. N de semanas que contiene el dictado del curso durante el ao lectivo: 33 semanas, del 1 de abril al 2 de diciembre. 14. Ao de estudios en que se dicta el curso: Primero II. SUMILLA El curso desarrolla los conceptos bsicos de la lgica de proposiciones y de predicados. Examina las falacias formales y no formales. Pone especial nfasis en el anlisis formal del lenguaje ordinario y cientfico a travs de mtodos sintcticos y semnticos, contribuyendo de esta manera a que el alumno desarrolle su capacidad crtica y argumentativa III. OBJETIVOS a) OBJETIVOS GENERALES Explicar la relacin de implicacin lgica en que se encuentran las premisas y la conclusin de una inferencia correcta. Contribuir a que el alumno desarrolle su capacidad crtica y argumentativa. b) OBJETIVOS ESPECFICOS Al finalizar el curso, el alumno estar en condiciones de: Caracterizar a la lgica como una ciencia formal Precisar las diferencias entre lgica antigua y lgica moderna. Explicitar las relaciones entre lgica, lenguaje y pensamiento. Reconocer, en textos propuestos, las funciones bsicas del lenguaje. Discriminar las falacias formales de las no formales. Identificar, en textos propuestos, las falacias jurdicas.

Reconocer, en texto propuestos, las expresiones lingsticas que son proposiciones. 8. Discriminar las inferencias deductivas de las inductivas. 9. Formalizar proposiciones e inferencias 10. Analizar proposiciones e inferencias tanto de la lgica proposicional como de la lgica de predicados, mediante mtodos sintcticos y semnticos. IV. PROGRAMACIN DE CONTENIDOS UNIDAD I: INTRODUCCIN (Abril) 1. Objeto de estudio de la lgica. Nocin de forma lgica. 2. Breve historia de la lgica. 3. Lgica, lenguaje y pensamiento. Funciones bsicas del lenguaje. 4. Las falacias. Falacias formales y no formales.

UNIDAD II: LGICA DE PROPOSICIONES (Mayo) 1. Concepto de proposicin. 2. Expresiones lingsticas que no son proposiciones. 3. Clases de proposiciones: Atmicas y moleculares. 4. Clases de proposiciones moleculares. UNIDAD III: EL LENGUAJE FORMALIZADO DE LA LGICA PROPOSICIONAL (Junio) 1. Lenguaje natural y lenguaje formalizado. 2. El lenguaje formalizado de la lgica proposicional. 3. Reglas de formacin de frmulas lgicas. 4. Formalizacin de proposiciones. UNIDAD IV: LA INFERENCIA (Julio) 1. Concepto de inferencia. 2. Inferencia, razonamiento, deduccin o argumentacin. 3. Clases de inferencias: Inferencias deductivas e inductivas. 4. Formalizacin de las inferencias. UNIDAD V: ANLISIS DE INFERENCIAS (Agosto) 1. Anlisis de inferencias mediante mtodos semnticos. 3. Anlisis de inferencias mediante mtodos sintcticos. UNIDAD VI: EL MTODO DE LA DEDUCCIN NATURAL (Setiembre) 1. Los principios lgicos fundamentales. 2. Principales reglas de inferencia. 3. Principales equivalencias tautolgicas. 4. Modalidades de la deduccin natural: Prueba directa (P.D.), Prueba condicional (P.C.) y Prueba por reduccin al absurdo (P.R.A.) . UNIDAD VII: LGICA DE PREDICADOS (Octubre) 1. El lenguaje de la lgica de predicados.

2. Reglas de formacin de frmulas bien formadas. 3. Formalizacin de proposiciones singulares, categricas y complejas. 4. Reglas de equivalencia entre cuantificadores y las de oposicin aristotlica. UNIDAD VIII: EL SILOGISMO CATEGRICO (Noviembre) 1. Estructura del silogismo categrico. 2. Los modos y figuras del silogismo categrico. 3. Formas vlidas silogsticas. 4. Anlisis de silogismos mediante las formas vlidas silogsticas. 5. Anlisis de inferencias silogsticas y no silogsticas mediante el mtodo de la deduccin natural. UNIDAD IX: EVALUACIONES Mayo: Primera prctica calificada Julio: Examen parcial Octubre: Segunda prctica calificada Diciembre: Examen final

V.

MTODOLOGA Como estrategia de enseanza-aprendizaje se utilizar la metodologa interactiva, combinando procedimientos individuales (intervenciones orales, resmenes de lecturas escogidas, desarrollo de ejercicios) y grupales (dilogo y discusin sobre lecturas escogidas). Como medios auxiliares se har uso de recursos didcticos de la tecnologa actual.

VI.

EQUIPOS Y MATERIALES DIDCTICOS El profesor har uso de mtodos convencionales de exposicin, as como de la tecnologa digital con el fin de facilitar la comprensin y el anlisis crtico de sus disertaciones.

VII. REGLAS GENERALES PARA EL DESARROLLO DE LAS CLASES La asistencia es obligatoria Las clases se inician con puntualidad. Habr cinco minutos de tolerancia, luego de los cuales no se deber interrumpir el desarrollo de las clases. No est permitido el uso de celulares en el saln de clases. En caso que el celular suene o sea utilizado durante la clase, el alumno deber abandonar el saln y no podr reingresar a ste.

VIII.

SISTEMA DE EVALUACIN Comprende: Dos (2) prcticas calificadas (PC), examen parcial (EP) y el examen final (EF). La nota final es la sumatoria de los rubros indicados dividido entre el nmero de pruebas.

VII.

BIBLIOGRAFA

AGAZZI, Evandro. La lgica simblica, Barcelona, Herder, 1967. ALCHOURRN, Carlos et al. Lgica, Madrid, Trotta, 1995. BLANCH, Robert. Introduccin a la lgica contempornea, Buenos Aires, Carlos Lohl, 1963. BOCHNSKI, I. M. Historia de la lgica formal, Madrid, Gredos, 1966. BOOLOS, George. Logic, Logic, Logic. Cambridge, Massachusetts, Harvard University Press, 1999. CARNAP, Rudolf. Introduction to Symbolic Logic and Its Applications. Nueva York, Dover Publications, 1958. CHVEZ N., Alejandro. Introduccin a la lgica, Lima, Imprenta Noriega, 2000. COPI, Irving. Lgica simblica, Mxico, Compaa Editorial Continental, 2000. COPI, Irving y Carl COHEN. Introduccin a la lgica, Mxico, Limusa, 1995. CHURCH, Alonzo. Introduction to Mathematical Logic. Princeton, Princeton University Press, 1996. DEAO, Alfredo. 1975. Introduccin a la lgica formal, Madrid, Alianza Editorial,

ENDERTON, Herbert B. A. Mathematical Introduction to Logic. San Diego, California, Academic Press, 2001. FERRATER MORA, Jos. Qu es la lgica?, Buenos Aires, Columba, 1965. FORBES, Graeme. Modern Logic: A Text in Elementary Symbolic Logic. Nueva York, Oxford University Press, 1994. GARCIA Z., scar Augusto. Elementos de lgica. Lima, Wari S.A., 2009. GOLDFARB, Warren. Deductive Logic. Indianpolis, Hackett Publishing Company, 2003. KILGORE, William J. An Introductory Logic, New York, Holt, Rinehart and Winston, Inc,1968. MENDELSON, Elliott. Introduction to Mathematical Logic. Londres, Chapman & Hall, 1997. MIR QUESADA CANTUARIAS, Francisco. Lgica 1. Filosofa de las matemticas, Lima, Ignacio Prado Pastor, 1980.

PISCOYA HERMOZA, Luis. Lgica, Facultad de Educacin de la UNMSM, 1997. PRIEST, Graham. Logic: A Very Short Introduction. Nueva York, Oxford University Press, 2000. QUINE, W.V.O. Los mtodos de la lgica, Barcelona, Ariel, 1969. SACRISTN, Manuel. Introduccin a la lgica y al anlisis formal, Barcelona, Ariel, 1969. TARSKI, Alfred. Introduction to Logic and to the Methodology of Sciences. Nueva York, Oxford University Press, 1994. WANG, Hao. Popular Lectures on Mathematical Logic. Nueva York, Dover Publications, 1993. Ciudad Universitaria, marzo de 2013

Dr. Oscar Augusto Garca Zrate

Dr. Alejandro Chvez Noriega