Logica Simbolica - Manuel Garrido

La «lógica simbólica» simbólica» es un instrumento instrumento que que sirve de ayuda al ejercicio ejercicio 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 diferencai de la mayoría de manuales 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.

M  a n  u  e  l    G  a r  r  i    d   o L   ó    g i    c   a  s  i   m  b   ó  l   i    c   a