UNIVERSIDAD DE BUENOS AIRES

FACULTAD DE FILOSOFIA Y LETRAS

DEPARTAMENTO: FILOSOFA
MATERIA: LGICA
PROFESORES: SANDRA LAZZER
CUATRIMESTRE: SEGUNDO (Franja matutina)
AO: 2014
PROGRAMA N: 0211

UNIVERSIDAD DE BUENOS AIRES

FACULTAD DE FILOSOFA Y LETRAS
DEPARTAMENTO DE FILOSOFA
MATERIA: Lgica
PROFESOR: Sandra Lazzer
SEGUNDO CUATRIMESTRE 2014 (franja matutina)
PROGRAMA N 0211
1.- Fundamentacin y descripcin
Este curso tiene como finalidad brindar los conocimientos elementales
correspondientes a la lgica deductiva clsica, poniendo especial nfasis en algunos
aspectos tanto histricos como filosficos asociados con su desarrollo. Para ello, en
primer lugar, se familiarizar a los estudiantes con el lenguaje de la lgica clsica de
de primer orden a la vez que se analizaran algunas las tcnicas de formalizacin de
enunciados del lenguaje natural. Tambin se presentarn los mtodos sintcticos y
semnticos que proporciona la lgica de primer orden clsica para la evaluacin de
argumentos. Se completar el conocimiento de la lgica elemental con una
introduccin general a los principales resultados de la metateora de la lgica de
primer orden rescatando su relevancia filosfica. En segundo lugar, se presentaran
de manera general algunos temas vinculados con la historia y la filosofa de la
lgica que abarcan: una breve resea sobre la silogstica aristotlica, algunos
aspectos filosficos e histricos sobre las nociones de cuantificacin y sus
interpretaciones, una aproximacin a la nocin de e validez y consecuencia lgica
clsica y una introduccin al problema de las constantes lgicas.
2.- Objetivos.
(i)
(ii)
(iii)

Introducir la nocin de argumentacin correcta y facilitar el adiestramiento del

estudiante en la prctica argumentativa de la que va a hacer uso en sus estudios
de filosofa;
Proporcionar los recursos formales bsicos utilizados en diversos mbitos de la
filosofa y que el estudiante necesita dominar para cursar satisfactoriamente las
restantes materias;
Ser el mbito, dentro de los estudios de Filosofa, donde se pueda adquirir una
formacin especializada no slo en cuestiones de lgica-matemtica y lgicafilosfica, sino especialmente en cuestiones inherentes a lo que en la actualidad
es una especialidad filosfica reconocida, esto es, la filosofa de la lgica.

3.- Contenidos
Unidad I
El objeto de estudio de la lgica.
Argumentos e inferencias El concepto pre-formal de validez. Argumento esquema o
esquema de argumento. El concepto de forma lgica. Argumentos deductivos y no

deductivos. Lgica y lenguaje. Contextos de habla Usos del lenguaje. Sintaxis,

semntica y pragmtica. Uso y mencin. Niveles de lenguaje. Forma lgica versus
forma gramatical. La nocin de sistema lgico-formal. Lenguajes formales.
Unidad II
El lenguaje de la lgica de primer orden clsica:
A) El lenguaje de la lgica proposicional. Los conceptos de oracin, enunciado o
proposicin. Portadores de verdad. Smbolos descriptivos y lgicos. Definicin
recursiva de frmula. La traduccin del lenguaje natural al lenguaje de la lgica
proposicional. Las conectivas lgicas como funciones de verdad. La semntica de la
lgica proposicional. Contingencias, tautologas y contradicciones. Implicacin (o
condicional) material e implicacin lgica. Equivalencia material y equivalencia lgica.
Leyes lgicas. Validez semntica de los argumentos o inferencias proposicionales. La
prueba de validez de argumentos por tablas de verdad. Principales meta-teoremas
semnticos.
B) El lenguaje de la lgica de predicados. Frmulas: oraciones y funciones
proposicionales. Clases de funciones proposicionales. Las relaciones como funciones
proposicionales n-dicas. Cuantificacin universal y existencial. Definicin recursiva de
frmula. La traduccin del lenguaje natural al lenguaje de la Lgica de Predicados. 1.
La semntica modelo terica para la lgica de primer orden. Presupuestos de la
semntica estndar. El predicado veritativo. Funcin de interpretacin. Universo de
discurso. Modelos. La nocin de satisfacibilidad: satisfaccin y verdad y satisfaccin y
consecuencia lgica. Verdad lgica y equivalencia lgica.
Unidad III
Mecanismos deductivos para la lgica de primer orden.
A) Deduccin Natural. La idea general y breve resea histrica. Reglas de deduccin
natural para la lgica proposicional. Reglas bsicas y derivadas. La regla de sustitucin
de expresiones equivalentes o intercambio: un esbozo de su prueba. Reglas de
deduccin natural para la lgica predicados. Reglas bsicas y sus restricciones. Reglas
derivadas.
B) Sistemas axiomticos. La idea general y breve resea histrica. Sistemas axiomticos
para la lgica proposicional. La naturaleza de la prueba axiomtica: Axiomas y
esquemas de axiomas. Ejemplos de sistemas.
C) La evaluacin de los sistemas de lgica: definicin y objeto de estudio de la
metalgica. La relacin de consecuencia deductiva: Anlisis sintctico y semntico.
Consistencia, correccin, completitud y decidibilidad de un sistema axiomtico de
lgica proposicional.

Unidad IV
La lgica, su historia y filosofa.
A) La silogstica aristotlica. Las cuatro formas de la proposicin general.
Calidad,
cantidad y distribucin. El cuadrado de la oposicin. La doctrina del silogismo: la
naturaleza formal del razonamiento silogstico. Mtodos de prueba: figuras.
B) Cuantificacin: El origen de la teora de la cuantificacin. Aspectos filosficos sobre
las nociones de cuantificacin y sus interpretaciones.
C) La nocin de validez y consecuencia lgica clsica. Concepciones intuitivas.
Generalidad formal de la nocin de consecuencia lgica
D) El problema de las constantes lgicas: Forma Lgica y constantes lgica. Teoras
invariantistas y teoras inferencialistas. Pragmtica y constante lgicas

4.- Bibliografa especfica

Unidad I

COPI, I.: Introduccin a la lgica. Bs.As.: Eudeba, 1974. Cap. I.

FALGUERA, J. L. & MARTINEZ, C.: Lgica clsica de primer orden, Trotta, 1999,
Cap. II.
GAMUT, L.T.F: Lgica, lenguaje y significado: Introduccin a la lgica, Eudeba, 2009,
cap. I.

Unidad II
GAMUT, L.T.F: Lgica, lenguaje y significado: Introduccin a la lgica, Eudeba, 2009,
cap. 2 y Cap. 3, 3.5. 3.6
FALGUERA, J. L. & MARTINEZ, C.: Lgica clsica de primer orden, Trotta, 1999,
Cap. IV.
PICOLLO, L. (Editora): Lgica I, Gua de Ejercicios, Ficha de Ctedra, FFyL, UBA,
2014.

Unidad III

FALGUERA, J. L. & MARTINEZ, C.: Lgica clsica de primer orden, Trotta, 1999,
Cap. III y VI.
GAMUNT, L.T.F. Lgica, lenguaje y significado: Introduccin a la lgica. Buenos
Aires, Eudeba., 2009, Cap. 4
HUNTER, G. Metalgica. Madrid, Paraninfo, 1981, 1-6 y 17-32.
KLIMOVSKY, G.: Las desventuras del conocimiento matemtico, AZ editora, 2005,
Caps. 6 y 8.

Unidad IV

COPI, I.: Introduccin a la lgica. Bs.As.: Eudeba, 1974 , Cap. V, VI y VII .

BOCHENSKI, L: Historia de la lgica formal, Gredos, Espaa , 1965, Captulo II.
FRPOLLI, M.J.: Qu son las constantes lgicas?, Crtica,
Hispanoamericana de Filosofa, Vol. 44, N 132, dic. 2012, pp. 65-99.

Revista

FRPOLLI, M.J. Cuantificadores, en Frpolli, M.J.: Filosofa de la lgica, Tecnos,

Madrid, 2008, pp. 151-178
GMEZ TORRENTE, M.: Constantes Lgicas, en Frpolli, M.J.: Filosofa de la
lgica, Tecnos, Madrid, 2008, pp. 179-206
SAGILLO, J.M. Validez y Consecuencia Lgica. La Concepcin Clsica. en Frpolli,

M.J.: Filosofa de la lgica, Tecnos, Madrid, 2008, pp. 55-82.

5.- Bibliografa complementaria general
ALCHOURRON, C.: Concepciones de la lgica, en Enciclopedia Iberoamericana de
Filosofa (EIAF), tomo 7: Lgica, p.11., Ed. Trotta, 1995.
BOCHENSKI, I. M.: Historia de la lgica formal, Gredos, 1976.
COHEN Y NAGEL: Introduccin a la lgica y al mtodo cientfico, Amorrortu, 1968.
DEAO, A.: Introduccin a la lgica formal, Alianza Universidad Textos, 1996.
GARRIDO, M.: Lgica simblica. Tecnos, 1983.
HAACK, S. Lgica divergente. Madrid: Paraninfo, 1980.
HILBERT Y ACKERMANN: Elementos de Lgica, Tecnos, 1962.

JEFFREY, R.: Lgica formal: su alcance y sus lmites. Ediciones Universidad de

Navarra, 1996.
KNEALE & KNEALE: El desarrollo de la lgica, Tecnos, 1972.
MATES, B. Lgica matemtica elemental. Madrid: Tecnos, 1987
PALAU, G. Introduccin filosfica a las lgicas no clsicas. Barcelona, Gedisa, 2002.
QUINE, W.: Los mtodos de la lgica, Ariel, 1967.
QUINE, W.: Filosofa de la lgica, Madrid: Alianza Editorial, 1977.
VEGA REON, L. & OLMOS GMEZ, P (eds.): Compendio de Lgica,
Argumentacin y Retrica, Madrid: Trotta, 2011.
TARSKI, A.: Introduccin a la lgica, Espasa Calpe, 1957.

6. Carga horaria
Total de horas semanales: clases tericas: 4 horas; clases prcticas: 4 horas; clases de
consulta: 2 horas.
Total de horas cuatrimestrales: 160.

7. Condiciones de regularidad y rgimen de promocin

La materia se ajusta a las normas que rigen para las materias con examen final
obligatorio. Si el alumno cumple con el 75% de asistencia a las comisiones de trabajos
prcticos y alcanza un promedio mnimo de 4 (cuatro) puntos en las evaluaciones
parciales, podr acceder a la instancia de examen final. El examen final se aprueba con
una nota mnima de 4 (cuatro) puntos.

Sandra Lazzer
Profesora adjunta a cargo