¿Cuáles son algunos buenos libros sobre lógica?

Al aceptar una recomendación de alguien, es útil calificar al recomendador al exigirle que demuestre estar expuesto a muchas cosas comparables a las que se recomiendan. Para los libros de texto de lógica, esto está muy bien hecho en una publicación titulada “Los mejores libros de texto sobre cada materia” [0] en Less Wrong, donde el miembro de la comunidad lukeprog recomienda Meaning and Argument (por Ernest Lepore y Sam Cumming) sobre otros tres:

En la lógica introductoria para la filosofía , lukeprog recomienda el significado y el argumento de Lepore [1] sobre la Introducción a la lógica de Copi [2], A Concise Introduction to Logic [3] de Hurley y la Introducción a la lógica de Smith [3], y la Introducción de Smith para Smith Lógica Formal [4].

Para permitirnos evaluar la validez de su juicio, proporciona una justificación competente para su elección, comparando los cuatro libros:

Durante años, el libro de texto estándar sobre lógica fue la Introducción a la lógica de Copi, un libro de texto completo que tiene capítulos sobre lenguaje, definiciones, falacias, deducción, inducción, lógica silogística, lógica simbólica, inferencia y probabilidad. Dedica demasiado tiempo a los métodos que rara vez se utilizan en la actualidad, por ejemplo, los métodos de inferencia inductiva de Mill. Sorprendentemente, el capítulo sobre probabilidad no menciona a Bayes (a partir de la 11ª edición, de todos modos). Mejor es el estándar actual en las aulas: Una Introducción Concisa a la Lógica de Patrick Hurley. Tiene una tabla en la parte delantera del libro que le dice qué secciones debe leer, dependiendo de si desea (1) un curso de lógica tradicional, (2) un curso de razonamiento crítico o (3) un curso sobre lógica formal moderna. El único capítulo sobre inducción y probabilidad se mueve demasiado rápido, pero es excelente por su longitud. La Introducción a la lógica formal de Peter Smith, en cambio, se centra en los métodos habituales utilizados por los filósofos actuales: la lógica proposicional y la lógica de predicados. Sin embargo, mi favorito en este modo menos completo es el Significado y el Argumento de Ernest Lepore, porque (a) es altamente eficiente, y (b) no se centra tanto en la manipulación de los símbolos en un sistema formal sino en la cuestión posiblemente más complicada de en primer lugar, traducir oraciones en inglés a símbolos en un sistema formal.

[0] http://lesswrong.com/lw/3gu/the_…
[1] http://www.amazon.com/dp/1405196…
[2] http://www.amazon.com/Introducti…
[3] http://www.amazon.com/Concise-In…
[4] http://www.amazon.com/gp/product…

Soy parcial a un libro clásico de años anteriores. Uno de los libros más importantes que leí en la escuela secundaria.

Lógica formal: Técnicas de razonamiento formal por Kalish y Montague.

Amazon.com: Lógica: Técnicas de razonamiento formal (9780195155044): Donald Kalish, Richard Montague, Gary Mar: Libros

Capítulo 1: ‘NO’ y ‘SI’

Este libro no ensucia. Se apaga el negocio y su mente funciona muy bien.

La introducción más completa a la lógica para filósofos y lingüistas es el GAMUT. Su primer volumen cubre los temas básicos http://www.amazon.com/Logic-Lang … el segundo se ocupa de la lógica intensiva http://www.amazon.com/Logic-Lang

La lógica y estructura de Van Dalen es una introducción más formal y avanzada http://www.amazon.com/Logic-Stru

Si conoces algo de haskell o estás abierto a aprender un lenguaje de programación, The Haskell Road to Maths, Logic and Computation es una buena opción http://www.amazon.com/Haskell-Lo … Para una introducción más orientada a la semántica, usa Semántica computacional con programación funcional http://www.amazon.com/Computatio