Universidad de Chile Facultad de Filosofa y Humanidades Escuela de Pregra do

PROGRAMA - LGICA I

1.- IDENTIFICACIN Nombre de la asignatura: Lgica I. Ao acadmico en que se dicta: Primero. Nivel del curso: Primer 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 constituye una primera aproximacin a la lgica formal moderna (en particular, a nivel proposicional).

3.- OBJETIVOS 3.1- Objetivo general: Obtener una visin genrica de la lgica formal, a nivel proposicional, y comprender y asimilar el carcter abstracto de su enfoque. 3.2- Objetivos especficos: -Conocer el tratamiento moderno de la lgica. -Adquirir hbitos de rigor intelectual, a travs del estudio del enfoque formal propio de la lgica moderna. -Conocer y comprender los aspectos esenciales de la lgica proposicional, tratada del modo abstracto moderno. -Conocer y comprender el concepto de sistema deductivo, y las principales nociones asociadas a l (axiomas, reglas de inferencia, etc,).

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

Universidad de Chile Facultad de Filosofa y Humanidades Escuela de Pregra do

4.- CONTENIDOS Prefacio. - Comentarios generales sobre afirmaciones y razonamientos. - Forma y contenido. - Lgica formal. Parte 1: Lgica Proposicional. - Las proposiciones, o enunciados. - Conectivos lgicos, funciones veritativas, tablas de verdad. - Propiedades de los conectivos, relaciones entre ellos. - Formalizacin de afirmaciones en lenguaje natural, interpretacin de frmulas construidas en lenguaje formal. Discusin sobre la definicin formal de los conectivos lgicos, en comparacin con sus correspondientes contrapartes intuitivas. - Todos los conectivos concebibles. - Tautologas, contradicciones, contingencias. - Frmulas lgicamente equivalentes. Parte 2: Implicacin Lgica, Deducciones. - Consecuencia Tautolgica. - Deducciones, razonamientos, argumentaciones. - Distincin entre veracidad y validez lgica. - Deduccin natural (Gentzen). - Formalizacin de razonamientos y comprobacin de su validez. - Argumentos correctos y conjuntos inconsistentes. Parte 3: Clculo Proposicional. - El concepto de Sistema Deductivo. - Deducciones formales, reglas de inferencia, axiomas, premisas.

5.- BIBLIOGRAFA OBLIGATORIA - Quine, W. Orman: Los Mtodos de la Lgica. Ariel, Barcelona, 1969. - Peirano, Pedro: Deduccin Natural (Lgica Proposicional). Publicado en pgina web del curso.

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

Universidad de Chile Facultad de Filosofa y Humanidades Escuela de Pregra do

6.- BIBLIOGRAFA RECOMENDADA - Lewin, Renato: Introduccin a la Lgica. Apuntes para clases, publicados en pgina web del curso. -Copi, Irving: Introduccin a la Lgica. Eudeba, Buenos Aires, 1977. 7.- EVALUACIN Tres pruebas escritas, una nota de ayudanta, y (si corresponde) un examen final. El promedio de las tres pruebas vale 80% del promedio de presentacin, y la ayudanta, 20%. Si este promedio de presentacin es inferior a 3, el curso se da por reprobado (con dicho promedio); si el promedio de presentacin es mayor o igual a 3, y menor a 4, el alumno tiene derecho a rendir examen, que vale 40% de la nota final (y el promedio de presentacin, 60%); y si el promedio de presentacin es superior o igual a 4, constituye la nota final del curso, salvo si el alumno desea dar voluntariamente el examen final. IMPORTANTE: TODA AUSENCIA A PRUEBA REQUIERE JUSTIFICACIN FORMAL.

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