SÍLABO DE LÓGICA I. DATOS GENERALES CÓDIGO A0283 CARÁCTER Obligatorio CRÉDITOS 3 PERIODO ACADÉMICO 2016 PRERREQUISITO Ninguno HORAS Teóricas: 2 Prácticas: 2 II. SUMILLA DE LA ASIGNATURA La asignatura contiene: La lógica, su objeto de estudio e importancia. El lenguaje, sus funciones y niveles. El argumento y las falacias. La lógica proposicional: la proposición, la inferencia y su formalización. Métodos semánticos: tablas de verdad y diagramas semánticos. Métodos sintácticos: Validación por leyes y equivalencias lógicas; la deducción natural y sus reglas de inferencia. La lógica cuantificacional: formalización y aplicación de métodos de validación de inferencias. III. COMPETENCIA Evalúa las proposiciones moleculares, argumentos fundamentos, procedimientos y métodos lógicos en e inferencias con los lenguaje de la lógica proposicional y el de la lógica cuantificacional; usando ejercicios, ejemplos planteados o propuestos relacionados a su especialidad profesional; valorando la importancia del correcto razonar y demostrando perseverancia y esfuerzo. IV. ORGANIZACIÓN DE LOS APRENDIZAJES UNIDAD I II CONOCIMIENTOS PROCEDIMIENTOS “LA LÓGICA Y EL RAZONAMIENTO” Evaluación de diagnóstico Tema N°1: Introducción e importancia de la lógica 1.1. Evolución del pensamiento humano. A. Origen y desarrollo histórico de la Lógica 1.2. La Lógica. Tema N°2 La Lógica y El Lenguaje 2.1. El Lenguaje y sus funciones. 2.2. Niveles del Lenguaje. 2.3. Lenguaje Natural y Artificial. Tema N°3: Argumentos 3.1. ¿Qué es un argumento? 3.2. Identificación de argumentos y sus partes. 3.3. Estructura de los argumentos. Tema N°4. Las Falacias 4.1. Definición y clasificación. “LOGICA PROPOSICIONAL” Tema 1: LA PROPOSICIÓN 1.1. Clasificación de proposiciones. Tema 2: EL LENGUAJE DE LA LÓGICA PROPOSICIONAL 2.1. Símbolos primitivos. 2.2. Símbolos usuales. 2.3. Sinónimos de lectura de los conectores 2.4. Clases y uso de los conectores 2.5. Metavariables. 2.6. Signos de agrupación 2.7. Fórmulas bien y mal formadas Tema 3: FORMALIZACIÓN DE INFERENCIAS 3.1. ¿Qué es formalizar?. 3.2. Formalización de proposiciones atómicas 3.3. Formalización de proposiciones moleculares ACTITUDES Desarrolla una evaluación de diagnóstico del curso. Reconoce el objeto de estudio e importancia de la Lógica a través de un cuestionario Diferencia las funciones y los niveles del lenguaje a partir de oraciones y ejemplos planteados. Clasifica argumentos y señala su estructura utilizando los indicadores de premisa y de conclusión. Analiza y diferencia los tipos de Falacias en argumentos y situaciones. Identifica e interpreta proposiciones, y clases de proposiciones por medio de textos planteados Caracteriza las proposiciones moleculares en base al conector dominante. Valora la importancia del correcto razonar mediante la aplicación del lenguaje formalizado para la demostración de conclusiones, determinando la validez o la invalidez de un argumento o esquema lógico Formaliza proposiciones e inferencias de un lenguaje natural al lenguaje lógico a través de textos planteados. Construye tablas de verdad respetando las reglas y el orden que le son inherentes. Realiza operaciones con tablas de verdad para demostrar los valores de verdad o falsedad de argumentos o esquemas moleculares lógicos. Utiliza el método de diagramas semánticos para demostrar los valores de verdad y falsedad en relación a esquemas moleculares l y argumentos. TEMA 4: METODOS SEMÁNTICOS 4.1. Método de Tabla de valores 4.2. Método de Diagramas semánticos EVALUACIÓN PARCIAL METODOS DECISORIOS SINTÁCTICOS LEYES LÓGICAS Y EQUIVALENCIAS III Los tres principios lógicos clásicos. Equivalencias notables. Simplificación de esquemas moleculares a sus equivalentes menos complejas. DEDUCCIÓN NATURAL Definición. Reglas de inferencia y procedimiento para la demostración de conclusiones. Prueba Directa. Prueba Condicional. Prueba por Reducción al Absurdo. LÓGICA CUANTIFICACIONAL: Importancia de la lógica cuantificacional. Formulación utilizando símbolos primitivos de la LC. Esquemas proposicionales básicos. Cuadro básico de oposición. IV PROPIEDADES CATEGÓRICAS TÍPICAS: Las cuatro proposiciones categóricas típicas. Formulación de proposiciones categóricas típicas. Cuadro básico de oposición. Cuadro de oposición categórico típico. Equivalencias de las proposiciones categóricas típicas. PRINCIPALES PROPIEDADES LÓGICAS DE LOS CUANTIFICADORES. Reglas de intercambio de cuantificadores. .Alcance de los cuantificadores. Esquemas abiertos y cerrados. Cierre de esquemas. METODO DECISORIO. Reglas lógicas de introducción y eliminación de cuantificadores. Método decisorio. Reconoce las leyes lógicas y equivalencias notables en esquemas lógicos propuestos. Emplea las leyes lógicas y equivalencias notables para establecer la equivalencia entre dos proposiciones moleculares. Evalúa argumentos y/o esquemas moleculares para determinar su validez. Identifica las características de cada regla de inferencia a través de ejemplos no formalizados y formalizados. Utiliza las reglas de inferencia para demostrar validez de un argumento. Reconoce las características de la LC en la fomalización de enunciados, haciendo uso de los signos, variables y símbolos de este lenguaje. Utiliza el cuadro básico de oposición para construir formas equivalentes de los esquemas proposicionales básicos. Formaliza proposiciones categóricas típicas indicando las características al utilizar el cuantificador. Utiliza el cuadro de oposición categórico típico para construir formas equivalentes de las proposiciones categóricas típicas. Utiliza las reglas de introducción - eliminación de cuantificadores, propiedades lógicas de los cuantificadores , reglas de inferencia y equivalencias lógicas para demostrar la validez de argumentos en LC. Aplica las pruebas de validación deductivo usando el lenguaje de la LC EVALUACIÓN FINAL Demuestra perseverancia y esfuerzo durante el desarrollo de ejercicios lógicos, en las cuales utiliza los aspectos teóricos de la Lógica para lograr con éxito las demostraciones y simplificaciones lógicas en el lenguaje proposicional y cuantificacional o predicativo. V. ESTRATEGIAS METODOLÓGICAS Los contenidos propuestos se desarrollarán siguiendo la secuencia teoría-práctica, efectuando la recuperación de saberes previos, el análisis, el desarrollo y la evaluación de los contenidos propuestos. El profesor utilizará en la modalidad presencial la exposición de clases, haciendo uso de recursos multimedia, sin perder el dialogo con los alumnos; en tanto en la modalidad a distancia la disposición de información en formato digital será a través de la plataforma virtual de la universidad. Por otro lado, los estudiantes realizarán trabajos individuales, y en equipos, propiciándose el empleo de sus conocimientos, texto universitario e investigación bibliográfica para la profundización de los temas tratados. VI. SISTEMA DE EVALUACIÓN VII. RUBROS INSTRUMENTOS Pruebas escritas Intervenciones orales Prácticas domiciliarias Practicas grupales Consolidado 1 Evaluación Parcial Rúbrica de evaluación Pruebas escritas Intervenciones orales Prácticas domiciliarias Practicas grupales Consolidado 2 Evaluación Final Rúbrica de evaluación PESO 20% 20% 20% 40% FÓRMULA PARA OBTENER EL PROMEDIO: PF = C1 (20%) + EP (20%) + C2 (20%) + EF (40%) VIII. BIBLIOGRAFÍA 7.1 BÁSICA KATAYAMA OMURA, Lima, 2003 Roberto Introducción a la Lógica , Editorial Universitaria URP, 7.2 COMPLEMENTARIA IRVING M. COPI Y CARL COHEN. Introducción a la Lógica. Editorial Limusa - Grupo Noriega Editores. 2009. Código en Biblioteca: 160-C77-2009. TRELLES MONTERO OSCAR ; ROSALES PAPA DIÓGENES. Introducción a la Lógica. Fondo Editorial. 2000. Pontificia Universidad Católica Del Perú. Código en Biblioteca: 160-T79 ROSALES PAPA, Diógenes. Introducción a la Lógica. Editorial LABRUSA. PERU. Código en biblioteca UCCI 160 R84 LUIS PISCOYA HERMOZA. Lógica General. Código en Biblioteca: 160-P62-2007 REA RAVELLO, Bernardo. Introducción a la Lógica. Editorial MANTARO. Lima – Perú, 2003 ÓSCAR AUGUSTO GARCÍA ZÁRATE. Introducción a la Lógica. -Fondo editorial de la UNMSM 2003 MIAJA DE LA PEÑA, CONCEPCIÓN. Lógica. Ed. Pax México 2001 ARRIETA GUTIERREZ, GABRIEL. Introducción a la Lógica. Pearson Educación. México, 2000. ALEJANDRO CHÁVEZ NORIEGA. Introducción a la Lógica. Tercera Edición- UNMSM, Lima Perú 2000. 7.3 RECURSOS DIGITALES APRENDE LOGICA : http://w3.cnice.mec.es/eos/MaterialesEducativos/mem2003/logica/ ELEMENTOS DE LÓGICA http://www.claudiogutierrez.com/portada.html LÓGICA Y TEORÍA DE CONJUNTOS http://www.uv.es/~ivorra/Libros/Logica.pdf LÓGICA http://www.fcnym.unlp.edu.ar/catedras/logica/programa.pdf LÓGICA http://librosgratisweb.com/html/kant-inmanuel/logica/index.htm Ángeles Eraña Lagos. (2003). Normatividad EpistÉmica Y estructura HeurÍstica del razonamiento*. Crítica; Revista Hispanoamericana De Filosofía, 35(104), 69-108. Retrieved from http://search.proquest.com/docview/216583732?accountid=146219 Maciaszek, J. (2005). Criterios parciales de logicidad/Partial criteria of logicality. Anales Del Seminario De Historia De La Filosofía, 22, 139-156. Retrieved from http://search.proquest.com/docview/206608000?accountid=146219 Antoni Defez, i. M. (2005). ¿Qué es una creencia?/What is a belief? Logos : Anales Des Seminario De Metafísica, 38, 199-221. Retrieved from http://search.proquest.com/docview/217980438?accountid=146219 Santiago Fernández Lanza. (2008). Una propuesta metodológica para la evaluación de condicionales (A methodological proposal for evaluating conditionals). Revista De Filosofía, 33(2), 67-86. Retrieved from http://search.proquest.com/docview/223221753?accountid=146219 Ángel, N. F. (2009). SistematizaciÓn del descubrimiento Y la ExplicaciÓn: La ElaboraciÓn de una LÓgica abductiva. Crítica; Revista Hispanoamericana De Filosofía, 41(123), 129-146. Retrieved from http://search.proquest.com/docview/763611092?accountid=146219 2016 Firmado por CARLOS ALBERTO CALDERÓN SEDANO CN = CARLOS ALBERTO CALDERÓN SEDANO O = UNIVERSIDAD CONTINENTAL SAC OU = 20319363221 T = JEFE DE DEPARTAMENTO ACADÉMICO Signature date and time: 05/07/2016 11:34:55