CURSO : LOGICA
TRADUCCION : LOGIC
SIGLA : FIL011
CRÉDITOS : 10
MÓDULOS : 02
REQUISITOS : SIN REQUISITOS
CARÁCTER : MINIMO
DISCIPLINA : FILOSOFIA
I. DESCRIPCION
El curso versara sobre la teoria de las proposiciones categoricas: sus elementos, sus propiedades sintacticas,
sus propiedades semanticas y sus relaciones de consecuencia logica, definidas en la logica de Aristoteles y su
larga tradicion de comentarios (conversion, contraposicion, obversion, subalternacion). Ademas se trataran los
metodos no-silogisticos para demostrar si una proposicion es consecuencia logica de otra, la teoria del
silogismo categorico (sus figuras y modos, directos e indirectos), e igualmente las extensiones silogisticas:
tradicionales, modernas y contemporaneas y argumentos silogisticos. Tambien se abordara la validez formal,
la validez cientifica y la demostracion por absurdo, ademas de la teoria del calculo proposicional y por
ultimo, la logica de predicados de primer orden.
II. OBJETIVOS
Generales
1. Desarrollar la capacidad de analisis logico y distinguirla del analisis gramatical.
2. Comprender la importancia que las nociones de validez y consistencia logicas tienen en el lenguaje
artificial y el natural.
3. Distinguir la naturaleza formal de la logica y reconocer sus diferencias con otras disciplinas,
especialmente las cientifico-inductivas y las hipotetico-deductivas.
4. Definir los principales metodos de prueba para demostrar validez de argumentos y consistencia de
conjunto de proposiciones.
Especificos
1. Determinar las principales similitudes y disimilitudes de la teoria clasica o aristotelica y la teoria
matematica de la logica.
2. Demostrar por medio de un metodo de decision si un razonamiento es correcto o incorrecto segun las
reglas de formacion de cada teoria y (silogistica, calculo proposicional, logica de predicados de primer
orden).
3. Aprender un metodo de decision para cada lenguaje.
III. CONTENIDOS
1. Introduccion.
1.1 La naturaleza de la logica.
2. Teoria de las proposiciones categoricas.
2.1 La proposicion categorica y sus elementos.
2.2 Propiedades logicas de la proposicion.
2.3 Numero y clasificacion de las proposiciones categoricas.
2.4 Definicion de contradiccion y otras oposiciones.
2.5 Consecuencia logica entre proposiciones y conjuntos de proposiciones.
2.6 Operaciones inmediatas: conversion, obversion, contraposicion.
2.7 Presuposicion existencial.
PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE
INSTITUTO DE FILOSOFIA/Diciembre de 2008
1
3. La teoria del razonamiento deductivo o silogistico.
3.1 El silogismo no-modal.
3.2 Estructura del razonamiento silogistico.
3.3 Modos y Figuras del silogismo.
3.4 El Numero de los modos silogisticos posibles y los modos validos.
3.5 Reduccion y generacion de todos los modos silogisticos a los cuatro perfectos de la Primera
Figura.
3.6 Reglas de correccion implicitas en la teoria.
3.7 Extensiones silogisticas tradicionales y no tradicionales.
3.8 Modos indirectos.
3.9 Calculo de todos los modos silogisticos validos, directos e indirectos.
4. La teoria del razonamiento deductivo formalizado del Calculo proposicional.
4.1 Origen de la teoria.
4.2 Las formulas de la teoria y las reglas de formacion.
4.3 Metodos de decision para formulas bien formadas.
4.4 El valor de verdad de una formula de la teoria: semantica formal.
4.5 Argumentos y conjuntos de creencias: validez y consistencia.
4.6 Tecnicas para demostrar validez, consistencia y otras relaciones entre dos o mas proposiciones
(tablas de verdad, demostraciones axiomaticas, metodos de arbol).
5. La teoria del razonamiento deductivo formalizado para variables de la Logica de Predicados de Primer
Orden.
5.1 Origen de la teoria.
5.2 Las formulas de la teoria y las reglas de formacion.
5.3 Metodos de decision para formulas bien formadas.
5.4 El valor de verdad de una formula de la teoria: cuantificacion formal de las variables de una
formula de la teoria.
5.5 Argumentos y conjunto de creencias: validez y consistencia.
5.6 Tecnicas para demostrar validez, consistencia y otras relaciones entre dos o mas proposiciones:
metodos de arbol.
IV. METODOLOGIA
- Clases lectivas.
- Ejercicios y resolucion.
- Estudio de casos.
- Tareas.
V. EVALUACION
- Tareas: 2.
- Pruebas: 3.
VI. BIBLIOGRAFIA
Aristoteles Aristotelis Categoriae et liber de Interpretatione. L. Minio Paluello,
Oxford Classical Texts (OCT), Oxford 1949.
Aristoteles Aristotle's Prior and Posterior Analytics., W.D. Ross, Oxford 1957.
Aristoteles Tratados de Logica (El Organon), vols. I y II. Traduccion,
introduccion y notas por Miguel Candel San Martin. Madrid, Ed.
Gredos, 1982.
PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE
INSTITUTO DE FILOSOFIA/Diciembre de 2008
2
Aristoteles Aristotle. Categories and De Interpretatione, J.L. Ackrill, Oxford
1962.
Bochenski, I. Historia de la Logica Formal. Madrid, Ed Gredos, 1966.
Copi, I. Introduccion a la Logica, Mexico: Limusa Eds., 1995 (ver tambien:
Buenos Aires, Eudeba, 1962).
Correia, M. La logica de Aristoteles. Lecciones sobre el origen del pensamiento
logico en la antiguedad. Santiago de Chile, Ediciones Universidad
Catolica de Chile, 2003.
Correia, M. La teoria logica y sus interpretaciones. Estudios sobre logica
aristotelica. Santiago de Chile, Ediciones Universidad Catolica de
Chile, 2007.
Hodges, W. Logic, 2?Ed. Londres, Penguin Books, 1991.
Lear, J. Aristotle and Logical Theory. Cambridge, 1980.
Lewin, R. Introduccion a la logica (Apuntes pdf. sin publicar).
Lukasiewicz, J. La Silogistica de Aristoteles desde el punto de vista de la logica
formal moderna. Madrid, Ed. Tecnos, 1977.
Mates, B. Elementary Logic. Oxford: Oxford University Press, 1972.
Smith, R. Aristotle. Prior Analytics, Indianapolis/Cambridge, Hackett Publ.,
1989.
Strawson, P. Introduccion a una teoria de la logica. Buenos Aires, Nova, 1969
Tarski, A. Introduccion a la logica y a la metodologia de las ciencias
deductivas. Madrid, Espasa-Calpe 1968.
PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE
INSTITUTO DE FILOSOFIA/Diciembre de 2008
3
