¿Qué libro de texto sobre lógica simbólica introductoria crees que es el mejor?

Gracias por el A2A, Raj.

Ya tienes excelentes recomendaciones de libros de texto aquí.
Solo una cosa que quiero agregar desde mi propia experiencia.
Los libros de texto son geniales. Pero no aprendes solo de leerlo.
Necesita una combinación de diferentes materiales de aprendizaje para que sea eficaz.

Lo más importante, necesita una aplicación de su aprendizaje.

Entonces, esto es lo que haría:

(1) ¿Cómo haces que tu aprendizaje sea efectivo?

Comience su propio blog de aprendizaje .

Registra las cosas que estás aprendiendo.
Comparta sus ideas con otras personas que están aprendiendo lo mismo.
Conéctese con personas con experiencia en este campo.

(2) Materiales de aprendizaje

Libros de texto, según lo recomendado.

– MOOC y otros materiales gratuitos en línea. Estos son solo algunos ejemplos:

Lógica y Pruebas | Iniciativa de aprendizaje abierto

PHIL 120 – Lógica simbólica

https://www.coursera.org/course/…

The Logic Cafe

https://www.coursera.org/course/…

– Grupos de discusión, incluido Quora.

(3) Solicitud

Comience su propio proyecto que aplique las cosas que ha aprendido para resolver un problema de la vida real .

Use su blog de aprendizaje para compartirlo con otros.

Si necesita ayuda / consejo para que su proceso de aprendizaje sea más organizado y efectivo, no dude en preguntar.

Espero que esto ayude y mantenerse en contacto.

Me gusta (y he usado en el aula) Herbert B. Enderton. “Una introducción matemática a la lógica”,
Segunda edición, Academic Press, 2001

Página de inicio con correcciones, etc.: http://www.math.ucla.edu/~hbe/amil/

Si lees portugués básico, aquí hay uno descargable gratuito:

2) Walter A. Carnielli, Marcelo E. Coniglio y Ricardo Bianconi “Lógica e Aplicações: Matemática, Ciência da Computação e Filoso fi a”
(Primeros capítulos):
http://www.cle.unicamp.br/prof/c

No estoy realmente interesado en los libros introductorios de lógica simbólica. Creo que el que usé hace mucho tiempo fue Symbolic Logic de Irving M. Copi.

Escuché que Language, Proof and Logic de Jon Barwise, John Etchemendy, Gerard Allwein, Dave Barker-Plummer, Albert Liu es bueno.

Hay muchas ediciones de Una introducción concisa a la lógica de Patrick J. Hurley, por lo que debería poder obtener una edición anterior barata.

Hay bastantes otros y algunos de ellos tienen software asociado que puede usar para hacer ejercicios. Uno es Deducción: lógica simbólica introductoria , de Daniel Bonevac.

Mi voto va a la lógica filosófica de John P. Burgess. No es un texto de clase y está destinado a lectores “maduros”, pero es excelente.

No puedo recomendar personalmente ninguno, pero he escuchado cosas buenas sobre A First Course in Logic por Shawn Hedman. Enlace de Amazon.co.uk.

¿Realmente introductorio? Mira a Lewis Carroll. Sinceramente, eso es lo más profundo que pude, pero Carroll lo hace bastante persuasivo. ¡Y es Lewis Carroll!