¿Qué libro leería / enseñaría si estuviera muy interesado en la lógica en general?

Las otras respuestas sugieren principalmente la lectura popular fácil. Creo que puede hacerlo mejor con una introducción más formal a los principales resultados de la lógica del siglo 20 y la teoría de la función recursiva. ¿Has oído hablar de los teoremas de incompletitud de Godel? Manteniendo la letra pequeña a un mínimo, son:

  1. Cualquier teoría axiomática consistente capaz de expresar los axiomas de aritmética de Peano elementales contendrá una oración indecidible , de modo que ni la oración ni su negación puedan probarse dentro de la teoría.
  2. Si alguna de esas teorías contiene una declaración de su propia consistencia, entonces es inconsistente.

Es difícil exagerar la importancia de estos teoremas. Bertrand Russell y AN Whitehead intentaron reducir la matemática a la lógica, y llegó un joven de 20 y algo que probó de manera decisiva que su proyecto no puede tener éxito. Si está realmente interesado en la lógica, entonces no puede dejar de estar interesado en trabajar con la prueba completa de los teoremas de Godel. Para este propósito, este libro es excelente: Introducción a la lógica matemática, Quinta edición (Matemáticas discretas y sus aplicaciones): Elliott Mendelson: 9781584888765: Amazon.com: Libros

Voy a sugerir dos libros muy diferentes.

  1. La esencia de la lógica de John Kelly.
  2. Lógica informal: Un manual para la argumentación crítica por Douglas Walton.

El libro de Kelly es una introducción a la lógica, pero es un libro de matemáticas. Tiene pruebas y todo.

El libro de Walton es básicamente cómo argumentar lógicamente y cómo analizar los argumentos de otras personas.

Yo recomendaría un libro titulado: Todo lo que los lingüistas siempre han querido saber sobre la lógica. . . Pero estaban avergonzados de preguntar, James D. McCawley.

El libro analiza la lógica desde varias perspectivas diferentes. Una muy buena lectura.

Gödel, Escher, Bach: Una trenza dorada eterna, de Douglas Hofstadter es lo que me gustaría.

Si quiere decir que quiere leer un libro diferente cada uno, entonces el otro sería los dos libros de Alicia en el país de las maravillas de Lewis Carroll. Esto complementará muy bien a GEB y proporcionará un sinfín de temas para el debate.