Universidad de Chile Facultad de Filosofa y Humanidades Escuela de Pregrado

PROGRAMA - LGICA II

1.- IDENTIFICACIN Nombre de la asignatura: Lgica II Ao acadmico en que se dicta: Primero Nivel del curso: Segundo semestre. Carcter: Obligatorio Profesor: J. Sebastin Castillo Horario: Seccin 1: Jueves bloque 3, Viernes bloque 4 Seccin 2: Jueves bloque 4, Viernes bloque 3 Nmero de horas cronolgicas semanales: 3 Porcentaje mnimo de asistencia: 50%

2.- DESCRIPCIN El curso presenta los elementos bsicos de la lgica aristotlica, tanto en su exposicin clsica como en su enfoque moderno, y una introduccin a la lgica predicativa abstracta moderna. Incluye adems una breve exposicin sobre falacias lgicas.

3.- OBJETIVOS 3.1- Objetivo general: Examinar brevemente los principales tipos de falacias lgicas. Conocer los elementos bsicos de la lgica clsica aristotlica, y comprender su posterior enfoque moderno. Comprender las ideas fundamentales de la lgica de predicados (lgica cuantificacional abstracta). 3.2- Objetivos especficos: - Elaborar una clasificacin general de las falacias lgicas, y examinar ejemplos de los distintos tipos, procurando as adquirir habilidad para detectarlas. - Conocer los elementos esenciales de la lgica aristotlica en su exposicin clsica, y comprender su enfoque posterior en base a diagramas de Venn. - Conocer y comprender los aspectos esenciales de la lgica predicativa (lgica cuantificacional abstracta).

Ignacio Carrera Pinto N 1025 Fono 978 70 37 978 70 36 Fax 9787184

Universidad de Chile Facultad de Filosofa y Humanidades Escuela de Pregrado

4.- CONTENIDOS Parte 1: Falacias Lgicas. - Concepto. - Falacias formales. - Falacias no formales. Parte 2: Lgica Aristotlica. - Trminos. - Extensin de un trmino. Clases. - Enunciados categricos. - Silogismos categricos. Parte 3: Un enfoque moderno de la lgica Aristotlica. - Clases, elementos. - Diagramas de Venn. - Anlisis de silogismos mediante diagramas de Venn. - Suposicin implcita de alcance existencial. Parte 4: Introduccin a la lgica de predicados. - Insuficiencia de la lgica proposicional. - Predicados, relaciones. - Cuantificadores. - Equivalencias entre cuantificadores. - Formalizacin: lenguaje formal predicativo. - Consecuencia lgica. Validez.

5.- BIBLIOGRAFA OBLIGATORIA - Quine, W. Orman: Los Mtodos de la Lgica. Ariel, Barcelona, 1969. -Copi, Irving: Introduccin a la Lgica. Eudeba, Buenos Aires, 1977.

Ignacio Carrera Pinto N 1025 Fono 978 70 37 978 70 36 Fax 9787184

Universidad de Chile Facultad de Filosofa y Humanidades Escuela de Pregrado

6.- BIBLIOGRAFA RECOMENDADA - Peirano, Pedro: Deduccin Natural (Lgica Proposicional). Publicado en pgina web del curso. - Aristteles: Organon. (Diversas ediciones). - Lewin, Renato: Introduccin a la Lgica. Apuntes para clases, publicados en pgina web del curso.

7.- EVALUACIN Tres pruebas escritas y una nota de ayudanta. Cada una de estas cuatro notas vale 25% de la nota de presentacin. Si este promedio de presentacin es mayor o igual a 3, y menor a 4, el alumno tiene derecho a rendir examen, que vale 40% (y todo lo anterior, 60%); si el promedio de presentacin es inferior a 3, el curso se da por reprobado (con dicho promedio). TODA AUSENCIA A PRUEBA REQUIERE JUSTIFICACIN FORMAL. Si el alumno no rinde una prueba (con la debida justificacin), dicha nota ser recuperada en el examen final. En tal caso, la nota del examen sigue valiendo como tal (es decir, aunque al incluir la nota faltante el promedio de presentacin resultase superior a 4, igualmente la nota del examen vale 40%).

Ignacio Carrera Pinto N 1025 Fono 978 70 37 978 70 36 Fax 9787184