Elena Teresa José, Filosofía - Biblioteca Virtual Universal

dad. Tautología, contradicción e indeterminación. Leyes de la lógica proposicional. El
condicional asociado. La deducción natural. Formas normales booleanas.
Lógica cuantificacional o de predicados. La necesidad de considerar la estructura
interna de la proposición. Simbolizaciones. Leyes de oposición simple. Interpretación
del cuadro tradicional de oposiciones a la luz de la lógica de predicados. Método de
la deducción natural. Método de reducción al absurdo.
El cálculo de clases. Funciones proposicionales y clases. Pertenencia, inclusión,
complemento, unión, intersección, identidad. La clase universal y la clase nula. Definiciones
y teoremas.
Lógica de la identidad. Leyes de la lógica de identidad. Teoremas básicos. Descripciones.
Lógica de relaciones. El concepto de relación y de par ordenado. Referente, relato,
alcance, rango y universo de discurso de una relación. Dominio, condominio y campo.
Operaciones entre relaciones. Propiedades de la relación. Tipos de relaciones.
Sistemas deductivos. Sistemas deductivos formales. Atributos de los sistemas deductivos:
consistencia, completitud e independencia. Sistemas logísticos.
Bibliografía sugerida:
E. T. José / Filosofía 239
AGAZZI, Evandro, La lógica simbólica, Barcelona, Herder.
BLANCHÉ, Robert, Introducción a la lógica contemporánea, Buenos Aires, Lohlé.
BOCHENSKI, J. M., Historia de la lógica, Madrid, Gredos.
COPI, Irving, Introducción a la lógica, Buenos Aires, Eudeba.
COPI, Irving, Lógica simbólica, México, CECSA.
DALLA CHIARA SCABIA, María Luisa, Lógica, Barcelona, Labor.
DEAÑO, Alfredo, Introducción a la lógica formal, Madrid, Alianza.
ECHAVE, Delia, T. y otros, Lógica, proposición y norma, Buenos Aires, Astrea.
FERRATER MORA, J. y Leblanc, H., Lógica matemática, México, Fondo de Cultura Económica.
GARRIDO, Manuel, Lógica, Madrid, Tecnos.
GIANELLA DE SALAMA, Alicia, Lógica simbólica y elementos de metodología de la ciencia,
Buenos Aires, El Ateneo.
HAACK, Susan, Filosofía de las lógicas, Madrid, Cátedra.
KNEALE, M. y W., El desarrollo de la lógica, Madrid, Tecnos.
MATES, Benson, Lógica matemática elemental, Madrid, Tecnos.
QUINE, Willard van Orman, Los métodos de la lógica, Barcelona, Ariel.
QUINE, Willard van Orman, El sentido de la nueva lógica, Buenos Aires, Nueva Visión.
RUSSELL, Bertrand, Introducción a la filosofía matemática, Madrid, Aguilar.