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: 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 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, 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 Pregrado

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, 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 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