Consecuencias lógicas: Teoría y Aplicaciones: An Introduction. 2ª Edición

Título original:

Logical Consequences: Theory and Applications: An Introduction. 2nd Edition

Contenido del libro:

La teoría de la consecuencia lógica es fundamental en la lógica moderna y sus aplicaciones. Sin embargo, se encuentra dispersa en una abundancia de trabajos a menudo de difícil acceso, y rara vez se trata teniendo en cuenta sus aplicaciones.

Este libro recoge los aspectos más fundamentales de esta teoría y ofrece al lector los fundamentos de sus aplicaciones en informática, inteligencia artificial y ciencia cognitiva, por citar sólo los campos más importantes en los que esta noción encuentra sus múltiples aplicaciones. Se analizan tanto la consecuencia deductiva como la no deductiva. El punto de partida es la consecuencia deductiva clásica: la lógica clásica es el sistema de referencia, y los sistemas deductivos no clásicos se consideran extensiones, desviaciones o variaciones del mismo.

La discusión de la consecuencia deductiva no clásica se centra en las consecuencias lógicas multivaluadas, intuicionistas, modales, paraconsistentes y subestructurales. El tema de la consecuencia no deductiva se desarrolla desde los puntos de vista de la lógica abductiva, inductiva y probabilística.

En conjunto, se examinan los principales sistemas (clases de) lógicos contemporáneos. El enfoque es matemático en esencia, y el trasfondo matemático, basado principalmente en las relaciones de orden, se trata a fondo y de forma accesible para los no matemáticos.