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

Al aceptar una recomendación de alguien, es útil calificar al recomendante al exigirle que demuestre su exposición a muchas cosas comparables a las recomendadas. Para los libros de texto de lógica, esto está extremadamente bien hecho en una publicación titulada “Los mejores libros de texto sobre cada tema” [0] en Menos incorrecto, donde el miembro de la comunidad lukeprog recomienda Significado y Argumento (por Ernest Lepore y Sam Cumming) sobre otros tres:

Sobre la lógica introductoria de la filosofía , lukeprog recomienda el significado y el argumento de Lepore [1] sobre la Introducción a la lógica de Copi [2], Una Introducción concisa a la lógica de Hurley [3], y Una Introducción a Lógica formal [4].

Para permitirnos evaluar aún más 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 Introducción a la lógica de Copi, un libro de texto integral que tiene capítulos sobre lenguaje, definiciones, falacias, deducción, inducción, lógica silogística, lógica simbólica, inferencia y probabilidad. Pasa demasiado tiempo con métodos que rara vez se usan hoy en día, por ejemplo, los métodos de inferencia inductiva de Mill. Sorprendentemente, el capítulo sobre probabilidad no menciona 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 al frente del libro que le dice qué secciones leer dependiendo de si desea (1) un curso de lógica tradicional, (2) un curso de razonamiento crítico o (3) un curso de lógica formal moderna. El capítulo único sobre inducción y probabilidad se mueve demasiado rápido, pero es excelente por su extensión. La Introducción a la lógica formal de Peter Smith, en cambio, se centra estrechamente en los métodos habituales utilizados por los filósofos de hoy: lógica proposicional y lógica predicativa. 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) se enfoca no tanto en la manipulación de símbolos en un sistema formal sino en el tema posiblemente más complicado de traduciendo oraciones inglesas en símbolos en un sistema formal en primer lugar.

[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…

Cuando intente aprender lógica formal, debe tener cuidado de desilusionarse y desanimarse, a menudo de la dificultad inicial. A diferencia de la educación normal donde recopilamos información, el aprendizaje de la lógica está tratando de enseñarte a ti mismo a pensar, lo cual es mucho más difícil.

Siempre debe comenzar con una introducción para principiantes. Sugiero ‘Introducción a la lógica’ de Harry J. Gensler si desea una introducción a todas las diversas formas de lógica que se le dan en una prosa sin pretensiones. Da muchas explicaciones, ejemplos y ejercicios. Luego está el fabuloso software LogiCola que ha inventado para practicar. También a menudo cita citas de textos filosóficos para que puedas probar tus nuevas habilidades por ti mismo.

Si desea pasar más tiempo aprendiendo ‘pensamiento crítico’ antes de pasar a la lógica formal, debería elegir ‘Introducción a la lógica’ de Irving Copi, que solo enseña lógica silogística y proposicional básica, pero lo hace de manera experta y con * mucha * profundidad y explicaciones.

Otras presentaciones incluyen la de Peter Smith, que es profesor en Cambridge (aunque personalmente no me gusta mucho), o ‘Logic Primer’ de Paul Teller, que está disponible de forma gratuita (pero no está impreso).

Si desea un texto * realmente * básico (esencialmente uno como una ‘Guía de idiotas’), entonces también podría optar por ‘El lenguaje de la lógica’ de Guttenplan, pero a menos que sea extremadamente malo en razonamiento o matemáticas, dudo que necesite eso.

Si no quiere aprender la lógica formal per se, pero solo quiere el lado matemático de la misma, sugeriría ir con ‘Una introducción al razonamiento matemático’ de Peter J. Eccless. También comienza con tablas de verdad, pero luego pasa directamente a problemas de axiomización y conjuntos. Sin embargo, una advertencia justa: a menudo es más difícil leer cualquier forma de lógica, ya sea matemática, filosófica o difusa, sin un pensamiento categórico básico. Usar Gensler o Copi te ayudará a adquirir eso.

En términos de matemática, uno puede mirar el absolutamente fantástico ‘Cómo demostrarlo’ de Daniel J. Velleman. No hay mejor libro que analice las pruebas y le enseñe a uno cómo analizarlas, comprenderlas y ejecutarlas. Para cualquier persona interesada en las matemáticas o incluso las pruebas filosóficas modales, recomendaría este libro. Otro (para resolver) podría ser ‘Cómo resolverlo’ de G. Polya.

Sin embargo, encuentro que Gensler es ineludible. Porque, después de él, puedes ir a aprender cualquier campo en particular que quieras. Verá, la lógica tiene sus propias subdisciplinas que puede estudiar una vez que haya aprendido los conceptos básicos. Y Gensler los presenta a todos. También hay una lista de ‘Más reasing’ para ayudarlo a decidir.

También puede consultar su ‘AZ de la lógica’ (tenga cuidado porque tiene otro libro con un nombre diferente con exactamente el mismo contenido) que enumera casi todos los libros para los diversos campos.

De todos modos, no creo que haya un “mejor libro” para la lógica, sino que el mejor es el que mejor te ayuda a lograr tus objetivos. Esperemos que lo mencionado anteriormente le dé un buen comienzo.

La introducción más completa a la lógica para filósofos y lingüistas es GAMUT. Su primer volumen cubre los temas básicos http://www.amazon.com/Logic-Lang … el segundo trata sobre 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 conoce algo de haskell o está 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 semántica, use Semántica computacional con programación funcional http://www.amazon.com/Computatio

Atacar el razonamiento defectuoso por T. Edward Damer es bastante bueno. Puede obtener una copia usada en Amazon por aproximadamente $ 8.
http://www.amazon.com/Attacking-

Las copias más nuevas están en el rango de $ 67, ya que se usa como un libro de texto universitario.
Es cierto que puedes aprender fallas lógicas en línea, pero este método de analizar cada una con ejemplos fáciles de entender es útil. Además, probablemente pueda obtenerlo en préstamo interbibliotecario gratis o casi gratis.

También investigaría el uso de criterios, lo cual es bastante útil para crear un acuerdo o especificar el desacuerdo subyacente (básicamente especifica la meta, el propósito o el valor que está tratando de mantener). No puedo pensar en un libro que aborde este problema, pero es útil en lógica y argumento para desarrollar ese tipo de afirmaciones.

El modelo de argumento de Toulmin también es bastante útil. Toma un poco de tiempo entenderlo. Su base es el reclamo (afirmación / premisa) y la garantía (razón) paring [a menudo incluyendo datos]. Pero es mucho más matizado, por ejemplo, al incluir un calificador que hace que el argumento sea más fuerte.
http://en.wikipedia.org/wiki/Tou

En mi clase de introducción a la lógica de pregrado, utilizamos esto como nuestro libro de texto:

El poder de la lógica por C. Layman
http://www.amazon.com/Power-Logi

Lo recuerdo como razonablemente claro, sin entrar en material demasiado avanzado.

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

Lógica formal: técnicas en razonamiento formal de Kalish y Montague.

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

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

Este libro no pierde el tiempo. Se pone manos a la obra y funciona muy bien.

Un libro increíble que he leído es: ¿Cuál es el nombre de este libro?

Tiene muchos acertijos y problemas de lógica muy complicados.

Espero que disfrutes leyendo …

Me gustan los Elementos de las matemáticas avanzadas de Steven Krantz .

Tabla de contenido de la 3a edición (2011) parcheada a continuación:

Cuando mi esposa estaba tomando un curso de lógica, no pude evitar leer su libro de texto. Una introducción concisa a la lógica está increíblemente bien organizada (incluso se podría decir … lógicamente organizada). Pero es un libro de texto universitario popular, por lo que no será barato.

Un buen manual es “Lógica: una introducción a la lógica elemental” de Wilfrid Hodges: http://www.amazon.com/Logic-Seco