¿Qué es un buen libro para comenzar a aprender sobre lógica?

Answer 1

La “Introducción matemática a la lógica” de Enderton [1] es uno de los mejores libros que he leído, no solo uno de los mejores libros de matemáticas, uno de los mejores libros.

Hay una presentación muy clara y simple de la lógica proposicional y de primer orden, desde lo más básico hasta los resultados clásicos de los años veinte y treinta: el teorema de la integridad, los teoremas de Lowenheim-Skolem, los teoremas de incompletitud de Gödel y la falta de sostenibilidad de Tarski, y el problema Entscheidungsproblem . El libro se vuelve difícil, pero siento que en cada etapa, el autor se esforzó por maximizar la claridad e introducir solo los conceptos relevantes.

Probablemente no habría podido trabajar en el libro de forma aislada. Probablemente ayudaría tener a alguien con quien consultar si te quedas atascado.

[1] http://www.amazon.com/dp/0122384520

Answer 2

Es posible que desee considerar tomar el curso “Introducción al pensamiento matemático” en Coursera ( https://www.coursera.org/course/ …). El profesor Devlin también escribió un libro de texto para el curso: http://www.amazon.com/Introducti …
Ha sido muy informativo y solo estoy examinando las conferencias, pero si desea obtener más información, le recomiendo este curso y este libro de texto.

Answer 3

Sugeriría The Game of Logic [1] y Symbolic Logic [2] de Lewis Carroll . El primero es realmente bueno para aprender silogismos y el segundo libro ofrece un análisis profundo de la lógica simbólica. Están disponibles en Gutenberg

[1] http://www.gutenberg.org/ebooks/ …

[2] http://www.gutenberg.org/ebooks/ …