Introducción a la lógica formal

Opiniones de los lectores

El libro ha sido elogiado por su introducción clara y completa a la lógica formal, con una progresión bien estructurada desde los conceptos básicos hasta los temas más avanzados. Los usuarios aprecian las explicaciones detalladas, los numerosos ejemplos y los ejercicios prácticos. Sin embargo, algunos lectores señalan incoherencias en la complejidad de los capítulos y consideran que algunas secciones son potencialmente demasiado avanzadas para los principiantes.

Discusión concisa e informativa de los fundamentos de la lógica, cobertura exhaustiva de los temas, fácil de leer para principiantes, explicaciones detalladas con ejemplos, excelente estado del libro, estructura bien organizada, recursos adicionales proporcionados, bien escrito y atractivo.

⬤ Algunos capítulos varían significativamente en complejidad, con ciertas secciones más fáciles y otras que requieren más esfuerzo para entender
⬤ puede ser demasiado avanzado para algunos principiantes
⬤ puede ser algo farragoso.

(basado en 15 opiniones de lectores)

Título original:

An Introduction to Formal Logic

Contenido del libro:

La lógica formal nos proporciona un poderoso conjunto de técnicas para criticar algunos argumentos y demostrar que otros son válidos. Estas técnicas son relevantes para todos los que estamos interesados en ser razonadores hábiles y precisos.

En este libro muy accesible, ampliamente revisado y reescrito para la segunda edición, Peter Smith presenta una guía de los objetivos fundamentales y los elementos básicos de la lógica formal. Introduce al lector en los lenguajes de la lógica proposicional y de predicados, y desarrolla sistemas de deducción natural para evaluar argumentos traducidos a estos lenguajes.

Su exposición está profusamente ilustrada con ejemplos prácticos y ejercicios, y junto al trabajo formal se incluyen esclarecedores comentarios filosóficos. Este libro, una reimpresión corregida de una edición publicada por primera vez por CUP, será un texto ideal para un primer curso de lógica y proporcionará una base firme para trabajos posteriores en lógica formal y filosófica.