Sìlabo LÓGICA

Page 1

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

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

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

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

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

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.


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

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

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.

Control de Lectura2

Aplica los métodos sintácticos para demostrar la validez de argumentos.

Práctica domiciliaría

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


Turn static files into dynamic content formats.

Create a flipbook
Issuu converts static files into: digital portfolios, online yearbooks, online catalogs, digital photo albums and more. Sign up and create your flipbook.