Lógica simbólica

La "lógica simbólica" es un instrumento que sirve de ayuda al ejercicio inteligente sel 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 radi se sus aplicaciones comprende esferas tan diversas del saber como lamatemá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 para personas de formación humanística. Su objetivo es facilitar a lectores que carezca 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 compresión de las principales nociones teóricas que sirven de fundamento a la metodología de las ciencias educativas. A diferencia 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 un 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ófica con la filosofía y con la ciencia matemática.

Introducción.. Lógica de enunciados (cálculo de conectores).. Lógica de predicados (cuantificacional).. Axiomatización de la lógica.. Automatización de la lógica (las bases lógicas de la in formática).. Anexo: breve historia de la lógica.

Otros libros de Garrido, Manuel son El Puente De Santo Domingo En La Conquista De Málaga y El Legado Filosófico Español E Hispanoamericano Del Siglo Xx.