Introducción a las lógicas no clásicas

Abstract

Este libro es una introducción al estudio de la lógica matemática desde un planteamiento paraconsistente y gradualista (difuso o fuzzy). Critica como injustificable el monopolio docente de la lógica clásica. Examina las nociones de valor de verdad y de tautología. Propone una lógica infinivalente de lo difuso. Hace una clasificación sintáctica y semántica de las teorías y presenta un sistema axiomático. Se adentra en el campo del cálculo de predicados y se completa con capítulos dedicados a modelos combinatorios y algebraicos y a aplicaciones filosóficas de los sistemas propuestos.