Plantilla sílabo 2011 UCCI

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