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