SÍLABO DE LÓGICA I
DATOS GENERALES CÓDIGO
A0283
CARÁCTER
Obligatorio
CRÉDITOS
3
PERIODO ACADÉMICO
2012 - I
PRERREQUISITO
Ninguno
HORAS
Teóricas: 2
DOCENTE
Walter Omar Goicochea Villavicencio
Prácticas:
2
II SUMILLA DE LA ASIGNATURA La asignatura contiene: Nociones básicas de la lógica clásica: conceptos básicos, argumentos y falacias. La lógica proposicional: el estudio de la proposición y su formulación, tablas de verdad, inferencias, cálculo deductivo, leyes lógicas y diagramas semánticos; la lógica cuantificacional: la práctica del cálculo deductivo y aplicaciones.
III COMPETENCIA
Aplica los fundamentos y procedimientos lógicos; en la formalización de proposiciones e inferencias tanto en la Lógica Proposicional como en la Lógica Cuantificacional; empleando adecuadamente los conectores lógicos y variables del lenguaje simbólico, valorando con actitud crítica y reflexiva la importancia en el análisis y síntesis como parte del correcto razonar.
IV ORGANIZACIÓN DE LOS APRENDIZAJES UNIDAD
I
SEMANA
1ª
2ª
CONOCIMIENTOS Video de presentación de la asignatura Unidad I: “LA LÓGICA Y EL RAZONAMIENTO” 1° Clase Presencial/ Virtual (Video conferencia) Tema N°1: Introducción e importancia de la lógica 1.1. Evolución del pensamiento humano. 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.
1
Diferencia el concepto y la importancia de la Lógica con respecto a otras ciencias.
2
Diferencia las funciones y los niveles del lenguaje usando oraciones y ejemplos planteados.
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.
3
Clasifica argumentos y señala su estructura utilizando los indicadores de premisa y de conclusión.
4
Analiza y diferencia los tipos de Falacias en argumentos y situaciones.
Desarrollo de Autoevaluación Nº 1
II
3ª
PROCEDIMIENTOS
Unidad II: “LOGICA PROPOSICIONAL” Tema 1: La Proposición 1.1. Clasificación de proposiciones. 2. Tema 2: El lenguaje de la lógica proposicional 2.1. Símbolos primitivos: 2.2. Símbolos usuales 2. 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?
Actividad Dirigida: Resuelve las actividades practicas
Control de Lectura Nº 1: (Evaluado) 1. Identifica e interpreta proposiciones, y clases de proposiciones. 2. Caracteriza las proposiciones moleculares en base al conector dominante. 3. Formaliza proposiciones e inferencias de un lenguaje natural al lenguaje lógico Actividad Dirigida: Resuelve las actividades practicas
ACTITUDES 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
3.2. Formalización de proposiciones atómicas 3.3. Formalización de proposiciones moleculares
4ª
TEMA 4: Métodos Decisorios Semánticos 4.1. Método de Tabla de valores 4.2. Método de Diagramas semánticos Desarrollo de Autoevaluación Nº 2
4. Utiliza los métodos semánticos para demostrar los valores de verdad y falsedad de esquemas moleculares lógicos y validez de argumentos. Tarea Académica Nº 1:
Unidad III: “LOGICA PROPOSICIONAL: MÉTODOS SINTACTICOS” III
5ª
6ª
1
2° Clase Presencial/ Virtual (Video conferencia) TEMA 1: Las leyes lógicas y equivalencias 1.1. Las equivalencias tautológicas o equivalencias lógicas.
TEMA 2: Deducción natural 2.1. Reglas de inferencia 2.2. Métodos de Deducción Natural Desarrollo de Autoevaluación Nº 3
Emplea las leyes lógicas y equivalencias notables para simplificar, establecer la equivalencia entre dos proposiciones moleculares y validar argumentos
Actividad Dirigida: Resuelve las actividades practicas 2. Utiliza las reglas de inferencia para demostrar si la conclusión de un argumento se sigue lógicamente de las premisas. Control de Lectura Nº 2:
Unidad IV: “LÓGICA CUANTIFICACIONAL” TEMA 1. Lógica Cuantificacional 1.1. Formalización en LC 1.2 Los cuatro esquemas proposicionales básicos TEMA 2: Proposiciones categóricas típicas IV
7°
1.
Formaliza proposiciones usando las variables y símbolos del lenguaje de la Lógica Cuantificacional.
2. Utiliza el cuadro de oposición categórico típico para construir formas equivalentes de las proposiciones categóricas típicas. Actividad Dirigida: Resuelve las actividades practicas
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.
8°
Tema 3: Propiedades lógicas de los cuantificadores 3.1. Reglas de Intercambio de cuantificadores Tema 4: Métodos Decisorios 4.1. Reglas lógicas de introducción y eliminación de cuantificadores 4.2. Método Decisorios: Derivaciones 4.2.1. Prueba Directa. 4.2.2. Prueba Condicional. 4.2.3. Prueba por Reducción al absurdo Desarrollo de Autoevaluación Nº 4 Evaluación Final Presencial
3. Utiliza las reglas de intercambio de cuantificadores en la aplicación de métodos decisorios 4. Aplica los métodos decisorios para demostrar si la conclusión de un argumento se sigue lógicamente de las premisas. Tarea Académica Nº 2:
V METODOLOGÍA La asignatura se desarrolla en la modalidad virtual con evaluación final presencial. La asignatura presenta esta secuencia didáctica: ● Video de introducción a la asignatura, presentado en el aula virtual. ● Sesión presencial/virtual, por video conferencia (en la Unidad I y en la Unidad IV). ● Estudio del manual autoformativo. ● Actividades dirigidas que permiten aplicar conocimientos, y son programadas en
el aula virtual: elaboración de organizadores visuales, ejercicios, etc. ● Interactividad de los estudiantes con el tutor virtual, mediante los recursos
tecnológicos programados del aula virtual. Por ejemplo: foro de discusión, foro de consulta, diario, wiki, chat, e mail. VI EVALUACIÓN La evaluación es permanente y formativa. En cada una de las unidades el estudiante realizará su autoevaluación, contando con una clave de respuestas para verificar su aprendizaje. Estas autoevaluaciones los preparan para resolver adecuadamente los rubros de evaluación. Para las evaluaciones calificadas se establece la siguiente matriz: Unidad
Semana
I
2°
II
III
IV
Rubros
Control de Lectura 1
Indicadores Diferencia las funciones y niveles de lenguaje, las partes y estructura de los argumentos; y los tipos de falacias en ejemplos y ejercicios planteados.
Instrumentos (*)
Práctica domiciliaria
4°
Tarea Académica 1
Formaliza proposiciones y argumentos para determinar los valores veritativos de los esquemas y la validez de argumentos mediante los métodos semánticos.
6°
Control de Lectura2
Aplica los métodos sintácticos para demostrar la validez de argumentos.
Práctica domiciliaría
8°
Tarea Académica 2 Evaluación Final
Formaliza proposiciones y argumentos al lenguaje de la Lógica Cuantificacional para validarlos mediante los métodos sintácticos.
Evaluación virtual
Evaluación virtual
(*) “La fecha y hora de entrega o aplicación del instrumento, se programará en el aula virtual”.
Obtención del Promedio Final RUBROS (*)
PESO
FÓRMULA PROMEDIO FINAL
0,20
P = CL (0,20) + TA (0,50) + Eval. (0,30)
0,50 Evaluación final Presencial
0,30
(*) Los estudiantes que no hayan cumplido con los CL y TA no pueden rendir la evaluación final presencial.
VII BIBLIOGRAFÍA 7.1 BÁSICA ● KATAYAMA OMURA,
Roberto Introducción a la Lógica , Editorial Universitaria URP, Lima, 2003
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-C772009. 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 AMARU. PERU.1994 Código en biblioteca UCCI 160 R84 LUIS PISCOYA HERMOZA. Lógica General. Código en Biblioteca: 160P62-2007 REA RAVELLO, Bernardo. Introducción a la Lógica. Editorial MANTARO. Lima – Perú, 2003
Lima, enero de 2012
Docente Responsable de Asignatura
Jefe de Departamento Académico