X

Formulario de contacto

Nombre

Correo electrónico *

Mensaje *

sábado, 7 de mayo de 2022

El Gobierno y las comunidades acuerdan que para 2026 ningún niño tutelado menor de seis años viva en centros




Peter Smith: An Introduction to Formal Logic



Tan solo unas líneas para recomendar este libro (Cambridge University Press, 2ª ed., 2020). Porque yo he leído y estudiado muchos manuales de iniciación a la Lógica (es decir, a los rudimentos de la lógica proposicional y de la lógica de predicados de primer orden), pero ninguno tan claro y, al tiempo, tan riguroso como este: a través de un empleo muy limitado y moderado del aparato formal, y mediante ejemplos sencillos, el autor te va conduciendo a entender, en sus verdaderas dimensiones, todos y cada uno de los conceptos más importantes de la disciplina: validez deductiva, conectivas lógicas, constantes y variables, sintaxis y semántica, teoría y metateoría, pruebas y teoremas, tautologías, reglas de deducción natural, cuantificadores, relaciones e identidades, funciones, conjuntos,... En suma, todos los conceptos básicos y la explicación acerca de cómo funcionan, en la práctica, en el curso de las argumentaciones.

Muy recomendado, pues, para quienes -como es mi caso- se interesen por la disciplina, pero solamente tengan una formación moderada (no especializada, pues) en matemáticas, y pese a ello deseen dominar los conceptos y teorías más fundamentales de la Lógica contemporánea.