UNIVERSIDAD CENTRAL DE VENEZUELA

Facultad de Humanidades y Educacin

Escuela de Bibliotecologa y Archivologa

Programas de las Materias del Plan de Estudios de 2003 y 2005
Lgica (Cdigo N 8111)
LGICA
Cdigo: 8111


Departamento : Metodologa

Especialidad : Ciclo Bsico

Prelacin : Matemtica Bsica, Cdigo: 8117

Tipo de Asignatura : Obligatoria Terica y Prctica

Nmero de Crditos : 3

Nmero de horas semanales : 3

Profesor que dicta la materia : Aurelio Prez




1.- J ustificacin
El lenguaje ordinario como representacin del pensamiento, no siempre logra ofrecer la
precisin necesaria que la ciencia requiere. La lgica intenta, en primer lugar, analizar
el lenguaje natural en su funcin lgica y construir un lenguaje artificial que ayude al
esclarecimiento del razonamiento y el establecimiento de las leyes que permitan
determinar su correccin y validez.

El propsito de este curso es presentar clara y gradualmente los elementos
fundamentales de la lgica entendida como la ciencia de la forma o estructura del
pensamiento que se plantea el valor de la verdad cientfica.


2.- Objetivos
El lenguaje ordinario como representacin del pensamiento, no siempre logra ofrecer la
precisin necesaria que la ciencia requiere. La lgica intenta, en primer lugar, analizar
el lenguaje natural en su funcin lgica y construir un lenguaje artificial que ayude al
esclarecimiento del razonamiento y el establecimiento de las leyes que permitan
determinar su correccin y validez.

El propsito de este curso es presentar clara y gradualmente los elementos
fundamentales de la lgica entendida como la ciencia de la forma o estructura del
pensamiento que se plantea el valor de la verdad cientfica.







UNIVERSIDAD CENTRAL DE VENEZUELA
Facultad de Humanidades y Educacin
Escuela de Bibliotecologa y Archivologa

Programas de las Materias del Plan de Estudios de 2003 y 2005
Lgica (Cdigo N 8111)
3.- Contenido Programtico

UNIDAD I

1. El lenguaje y sus funciones.
2. Tipos y funciones de palabras.
3. Teora general semitica.
4. Niveles de lenguaje.
5. Paradoja del lenguaje.
6. Lenguaje natural y artificial.


UNIDAD II

EL MBITO DE LA LGICA:

1. Sentencias y proposiciones.
2. El razonamiento.
3. Verdad, validez, necesidad y forma lgica.
4. Falacias.
5. Concepto y tipos de definicin.
6. Definicin, importancia y divisin de la lgica.


UNIDAD III

ELEMENTOS DE LGICA PROPOSICIONAL:

1. Smbolos de la lgica proposicional.
2. Funciones proposicionales.
3. Equivalencia lgica e interdefinibilidad de conectivas.
4. El mtodo de las formas normales.
5. Leyes y reglas de inferencia.
6. La prueba indirecta.


UNIDAD IV

FORMALIZACIN DE LA LGICA PROPOSICIONAL:

1. El lenguaje formal y el clculo.
2. La prueba formal y el clculo.
3. Sistema de deduccin natural para la lgica propocisional.
4. Presentacin axiomtica.
5. Elementos de metateora: Consistencia, completitud, decidibilidad e independencia.







UNIVERSIDAD CENTRAL DE VENEZUELA
Facultad de Humanidades y Educacin
Escuela de Bibliotecologa y Archivologa

Programas de las Materias del Plan de Estudios de 2003 y 2005
Lgica (Cdigo N 8111)
UNIDAD V

ELEMENTOS DE LGICA DE PREDICADOS:

1. El lenguaje del clculo de predicados: nombres, propiedades, relaciones, variables y
cuantificadores.
2. Reglas de cuantificacin y leyes bsicas de la lgica de predicados.
3. Teora silogstica.
4. Niveles de la lgica de predicados.
5. Identidad y descripciones.


UNIDAD VI

FORMALIZACIN DE LA LGICA DE PREDICADOS:

1. Desarrollo de un sistema de deduccin natural para la lgica de predicados.
2. Presentacin axiomtica.
3. Introduccin a la materia teora del clculo de predicados: Consistencia, completitud e
independencia.


DESARROLLO DEL CURSO

El curso se realizar sobre la base de exposiciones magistrales a cargo del profesor,
requiriendo as mismo la participacin activa de los alumnos en cuanto a la
preparacin bibliogrfica, el cumplimiento de las ejercitaciones asignadas y la
discusin de las diversas temticas propuestas.


4.- Evaluacin
La evaluacin de la asignatura seguir la prctica general de la Universidad Central,
consistente en tres evaluaciones parciales y un examen final.

La calificacin de los exmenes parciales valdr el 40 % de la nota final, y el examen
final el 60%.



5.- Bibliografa

COHEN, M. y NAGEL, E.: Introduccin a la lgica y al mtodo cientfico,
Buenos Aires, Amorrortu, 1968.

COPI, I.M.: Introduccin a la lgica, Buenos Aires, Edit. Eudeba, 1977.

DEAO, A.: Introduccin a la lgica formal, Madrid, Alianza Editorial, 1983.


UNIVERSIDAD CENTRAL DE VENEZUELA
Facultad de Humanidades y Educacin
Escuela de Bibliotecologa y Archivologa

Programas de las Materias del Plan de Estudios de 2003 y 2005
Lgica (Cdigo N 8111)
GARRIDO, M.: Lgica simblica, Madrid, Edit. Tecnos, 1980.

NUO, J.: Elementos de lgica formal, EBUC, Caracas, 1980.

YORIS, C.: Introduccin a la lgica (Problemario), UCAB, Caracas, 1995.