Universidad de Chile

Facultad de Filosofa y Humanidades

Escuela de Pregrado

PROGRAMA - LGICA I

1.- IDENTIFICACIN
Nombre de la asignatura: Lgica I.
Ao acadmico en que se dicta: Primero.
Nivel del curso: Segundo semestre.
Carcter: Obligatorio.
Profesor: J. Sebastin Castillo.
Horario: Seccin 1: Lunes bloque 3, martes bloque 3
Seccin 2: Lunes bloque 4, martes bloque 4
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,).
- Conocer las ideas bsicas de la lgica proposicional modal, y comprender el modo en
que ampla los lmites de la lgica proposicional clsica.

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 0: Prefacio.

- Comentarios generales sobre afirmaciones y razonamientos.

- Forma y contenido.
- Lgica formal.

Parte 1: Lgica Proposicional.

- Lenguaje formal, frmulas bien formadas.

- Conectivos lgicos, 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.
- Formalizacin de razonamientos.
- Argumentos correctos y conjuntos inconsistentes.

Parte 3: Clculo Proposicional.

- El concepto de Sistema Deductivo.

- Deducciones formales, reglas de inferencia, axiomas, premisas.

Parte 4: Introduccin a la Lgica Modal.

- Conectivos Proposicionales Modales.

- Marcos de Kripke; mundos posibles.

5.- BIBLIOGRAFA OBLIGATORIA

- Quine, W. Orman: Los Mtodos de la Lgica. Ariel, Barcelona, 1969.

- Lewin, Renato: Introduccin a la Lgica. Apuntes para clases, publicados 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 Pregrado

6.- BIBLIOGRAFA RECOMENDADA

- Copi, Irving: Introduccin a la Lgica. Eudeba, Buenos Aires, 1977.

7.- EVALUACIN

Tres pruebas escritas, y (si corresponde) un examen final. Si el promedio de

presentacin (el promedio de las tres pruebas) 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/la alumno/a 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/la alumno/a 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