Hola

1

Apéndice 2 Orientación bibliográfica
La bibliografía de manuales y textos de lógica en general es muy extensa. En lo que sigue se pretende indicar algunos textos, sobre todo en castellano, que sirven para profundizar o extender los contenidos vistos anteriormente. No pretende ser una presentación exhaustiva y, seguramente, habrá omisiones involuntarias. No se incluyen entre los textoselementales obras orientadas exclusivamente a estudiantes de matemática o de ciencias de la computación. En el caso de textos intermedios o avanzados se incluyen obras escritas en inglés.

1. Algunos textos elementales
Badesa, Calixto, Ignació Jané y Ramon Jansana: Elementos de lógica formal. Barcelona, Ariel, 1998. ISBN: 84-344-8748-9 El libro tiene por objetivo introducir a la lógica, en su estadoactual, a estudiantes de humanidades. El repertorio de temas es amplio. Se incluye una primera parte dedicada a conceptos de la teoría de conjuntos. En la última parte del libro se llegan a analizar problemas metalógicos, como la adecuación semántica de la lógica de primer orden. Cohen, Morris y Ernst Nagel: Introducción a la lógica y al método científico I. Lógica formal. Trad. cast. de NéstorMiguez. Buenos Aires, Amorrortu, 1968, 9na. reimpr. 2000. ISBN 950-518-999-0. Este libro ha sido escrito originalmente hace más de sesenta años, pero no por ello deja de ser recomendable. Tiene buenas y extensas exposiciones de los conceptos más básicos de la lógica, incluyendo razonamientos inductivos y ampliativos en general. La parte de lógica simbólica es muy elemental. Copi. Irving M.:Introducción a la lógica. Trad. cast. de Néstor Miguez. 22da. ed., Buenos Aires, Eudeba, 1981. ISBN 950-2309-308 Se trata de un texto clásico de introducción a la lógica, con un gran número aclaraciones, ejemplos y ejercicios. Se presta particular atención a simbolización del lenguaje ordinario e incluye un capítulo sobre falacias. sistema de deducción formal tiene limitaciones y no abarca toda la lógicaprimer orden. de la El de

Falguera, J.L. & C. Martínez. Lógica clásica de primer orden. Estrategias de deducción, formalización y evaluación semántica. Madrid, Trotta, 1999. ISBN 84-81642916

2

Esta obra incluye deducción natural y los árboles lógicos como procedimiento de decisión. Describe estrategias para simbolizar y para efectuar derivaciones en deducción natural. También se tratanalgunos temas más avanzados, que van más allá de una mera introducción, como la caracterización de sistema formal. En un cuadernillo separado se ofrecen las soluciones a los ejercicios. Gamut, L.T.F.: Introducción a la lógica. Trad. cast de Cecilia Durán. Buenos Aires, Eudeba, 2002. ISBN 950-23-1224-4 Este libro sirve como referencia útil y básica para un amplio espectro de temas de la lógica ensu estado actual. Tanto la simbología como la terminología son de uso corriente en textos de lógica matemática. Incluye el análisis de un gran número de problemas semánticos y sintácticos, muchos de ellos vinculados con cuestiones lingüísticas. La batería de ejercicios no es muy extensa, pero aparecen las soluciones al final del libro. La presentación de los temas puede presentar dificultades paraun nivel introductorio. García Trevijano, Carmen: El arte de la lógica. 2da. ed., Madrid, Tecnos, 2002. ISBN 84-309-3908-3. El libro pone el acento en la deducción natural, siguiendo la presentación que hace Manuel Garrido en su Lógica simbólica, y contiene una variada ejemplificación con el acento puesto en la simbolización de razonamientos del lenguaje ordinario (entre ellos algunosrazonamientos filosóficos). Garrido, Manuel: Lógica simbólica. 3ra. ed., Madrid, Tecnos, 1995. ISBN 84-309-06754. El libro abarca un amplio espectro de temas, incluyendo la silogística clásicas, sistemas axiomáticos, aplicaciones computacionales, entre otros, y ha sido empleado a menudo en el mundo de habla hispana como manual de lógica. El sistema de deducción natural presentado allí como sistema básico,...