Lógica Simbólica

Sobre Lógica Simbólica de Manuel Garrido

Esta obra de Manuel Garrido, publicada por Editorial Tecnos dentro de su colección de filosofía, constituye un manual clásico y exhaustivo de lógica simbólica. El libro aborda de manera sistemática los fundamentos de la lógica formal contemporánea, desde el cálculo proposicional y la lógica de predicados de primer orden hasta temas más avanzados como la teoría de la cuantificación, la lógica de identidad y las relaciones. Garrido, catedrático y reconocido especialista en lógica y filosofía del lenguaje, presenta los contenidos con un rigor pedagógico que combina exposiciones teóricas con abundantes ejercicios y problemas resueltos, lo que lo convierte en un texto de referencia para estudiantes universitarios de filosofía, matemáticas o ciencias de la computación. La obra se sitúa en la tradición de la lógica matemática del siglo XX, con influencias de autores como Frege, Russell o Tarski, y ofrece una visión completa de los lenguajes formales y sus interpretaciones.

El volumen, de 544 páginas, está organizado en capítulos que progresan desde las nociones básicas hasta los teoremas de completud e incompletud, sin adentrarse en spoilers que desvelen desarrollos específicos. Se trata de un material de consulta imprescindible para quien desee comprender la estructura del razonamiento deductivo y las herramientas simbólicas de la lógica moderna. La obra está disponible en los formatos EPUB, PDF y MOBI para su consulta digital.