La «lógica simbólica» es un instrumento que sirve de ayuda al ejercicio

Manuel Garrido Lógica simbólica

inteligente del sentido común y a la práctica de la investigación científica
y la reflexión filosófica. Forma parte del bagaje cultural del hombre del
siglo XX, y el radio de sus apluicaciones comprende esferas tan diversas
del saber como matemática, la lingüística, la informática, las ciencias
naturales y sociales, la jurisprudencia y la filosofía.
Este libro es una introducción a la lógica simbólica par apersonas de
formación humanística. Su objeto es facilitar a lectores que carezcan de
base matemática y científica, sin ayuda de profesor, un dominio de las
técnicas modernas de deducción lógica, e introducir a los alumnos de
humanidades en la comprensión de las principales nociones teóricas que
sirven de fundamento a la metodología de las ciencias deductivas.
A diferencai de la mayoría de manuales y tratados de lógica simbólica
o matemática, esta obra toma también en consideración la lógica
tradicional aristotélica; da cuenta completa, sin ceñirse a uno solo, de la
pluralidad de métodos deductivos que enriquecen la lógica
contemporánea; incluye in tratamiento de la automatización de la lógica
y de sus conexiones con la informática, y explora sumariamente, a través
de su historia, las relaciones de la lógica con la filosofía y con la ciencia
matemática.

CONTENIDO GENERAL DEL LIBRO: Introducción: ¿Qué es la

lógica? El lenguaje de la lógica. Deducción y consecuencia. Lógica de
enunciados (cálculo de conectores): Tautologías. Estrategias de
deducción natural. Tablas semánticas. Cálculo de reglas derivadas.
Lógica de Predicados (cálculo cuantificacional): Cuantificadores y
modelos. Deducción cuantificacional. Silogística. Lógica de relaciones.
Identidad y descripciones. Axiomatización de la lógica: El método
axiomático. Sistemas axiomáticos de lógica elemental. Metalógica de
enunciados. Metalógica de predicados. Axiomatización de teorías
matemáticas. Automatización de la lógica (Las bases lógicas de la
informática): Máquinas de Turing. Métodos booleanos. Deducción
automática. Lógica y representación del conocimiento. La lógica de
Internet. Anexo: Breve historia de la lógica.