Libros de Lógica, página 15 de 20

El nuestro es un mundo en el que la necesidad de información correcta es constante y exigente_ los animales humanos buscamos con ahínco pensamientos verdaderos, creencias verdaderas que nos permitan aumentar nuestras posibilidades de supervivencia. Pero entre los pobladores de ese mundo habita el grupo de los escepticos, personajes que predican que una fuente importante de angustia es la preocupacion por tener creencias verdaderas y que creen necesario curarnos de esa neurosis que han denominado epistemologia, una enfermedad que ha contaminado a los dogmaticos de forma incurable.

Traducción y prólogo crítico de L.-E. Palacios.

El razonamiento, objeto de una elevada valoración en nuestro mundo razonable, no constituye el único medio para acceder a la verdad. A él se contraponen el cálculo y la observación.Sin embargo, ¿comprender la naturaleza del razonamiento ayuda a razonar? Segun Gilles Dowek, investigador de Institut National de Recherche en Informatique et en Automatique, la respuesta habra de hallarse en las propiedades intrinsecas del razonamiento.

El presente volumen pretende ofrecer un panorama representativo de tipos de problemas y orientaciones características de la Filosofía de la lógica. Desde la relación de los lenguajes formales con el lenguaje ordinario y los procesos psiquicos, pasando por el estudio de nociones fundamentales como las de identidad, referencia, verdad o consecuencia logica, hasta las cuestiones de la abstraccion y las entidades abstractas, o la consideracion de los problemas implicados en la teoria de tipos, la teoria de conjuntos o los distintos sistemas de logica, los autores hacen una valiosa contribucion a la indagacion filosofica motivada por la logica.

Pablo Rafael BonaparteLos ensayos aquí reunidos hacen hincapié en la importancia de reflexionar sobre aquello que creemos conocido y en la necesidad de tomar distancia de nuestros presupuestos para lograr un cambio de actitud. Cada capitulo tiene la forma de un metalogo batesoniano, es decir que desarrolla un problema a traves de una conversacion cuya estructura refleja el tema tratado y en torno del cual giran las discusiones y los dialogos que propone el autor.

This book is an introduction to non-classical propositional logics. It brings together for the first time in a textbook a range of topics in logic, many of them of relatively recent origin, including modal, conditional, intuitionist, many-valued, paraconsistent, relevant and fuzzy logics. The material is unified by the underlying theme of world-semantics. All of the topics are explained clearly and accessibly, using devices such as tableaux proofs, and their relation to current philosophical issues and debates is discussed. Students with a basic understanding of classical logic will find this an invaluable introduction to an area that has become of central importance in both logic and philosophy, but which, until now, could be studied only through the research literature. It will interest those studying logic, those who need to know about non-classical logics because of their philosophical importance, and, more widely, readers working in mathematics and computer science.

Este libro de lógica tiene dos características sobresalientes:- Está dirigido a un público amplio, desde el secundario y el polimodal hasta la universidad, porque a pesar de no ser un texto trivial que simplemente replica otros, esta escrito atendiendo especialmente los aspectos didacticos de esta disciplina, lo que lo torna verdaderamente ameno y comprensible.- Facilita enormemente la labor docente, porque une a la claridad de sus explicaciones (elaboradas en lenguaje natural y no solo en lenguaje simbolico) una gran cantidad de ejercicios (mas de 250) no solamente con sus resultados, sino integramente resueltos paso a paso.

La gran mayoría de los manuales de lógica olvidan la dimensión práctica de esta ciencia, que es también el arte de razonar. No es fácil encontrar repertorios y colecciones de problemas prácticos de logica, ni menos aun libros que ayuden al lector a iniciarse en la aplicacion de la logica a ciencias no matematicas. El arte de la logica contribuye a satisfacer esta doble necesidad en el ambito de la filosofia. En sus dos primeras partes, un nutrido repertorio de problemas con soluciones puede servir de ayuda a alumnos de primer curso de Logica para ejercitarse en el analisis y diseño de argumentos mediante el uso practico de las reglas de calculo logico. La tercera parte se dedica al analisis logico de textos y argumentos clasicos en la historia de la filosofia y de la ciencia, desde las aporias de Zenon o el poema de Parmenides hasta la teoria de la seleccion natural de Darwin, pasando por las demostraciones tradicionales de la existencia de Dios, incluida la famosa interpretacion en terminos de teoria de conjuntos y relaciones que hizo el logico polaco Jan Salamucha de la via del movimiento. La presente tercera edicion incorpora en su sexto capitulo una presentacion con ejercicios del famoso programa Tarskis World, elaborado por los profesores Jon Barwise y John Etchemendy en la Universidad californiana de Stanford con base en la semantica de Tarski y las reglas de juego de la logica dialogica. Este programa es uno de los mas excelentes de cuantos existen en el mundo para aplicar y enseñar a nivel elemental, en cursos basicos, la logica mediante ordenador.