Lógicas de nuestro tiempo

Un campo de investigación científica actual, de los verdaderamente más serios y potentes, es el de la Inteligencia Artificial (también llamada Computacional). Dentro de ella disponemos de una de sus armas más valiosas: la Fuzzy Logic (Lógica Difusa). Se suele creer que esta partió de una especie de “idea feliz” de un matemático e ingeniero azerí, Lofti A. Zadeh, profesor de California. Pero esto no es así: la Lógica Multivaluada (Many-Valued Logic) tiene sus raíces en el mismo Aristóteles, con su análisis del problema de los `futuros contingentes´, para seguir en tiempos medievales con Duns Scotus y Ockham, atravesando la famosa polémica “De Auxiliis”, que enfrentó a Domingo Báñez con Luis de Molina, pues lleva implícita la cuestión del libre albedrío humano y la Presciencia Divina. Tras unos largos tiempos oscuros, a través de una línea de influencia centroeuropea, que pasa por Leibniz, Bolzano, Brentano y Twardowski, llegamos a la formación de la Escuela de Lvov-Varsovia, que dio lugar a grandes lógicos y matemáticos, como Stefan Banach, creador del moderno Análisis Funcional, Jan Lukasiewicz, que es el padre de las Lógicas Multivaluadas, y su ayudante, Alfred Tarski, con su Teoría Semántica de la Verdad. Pocas veces la mente humana alcanzó tan altas cimas. Las ideas de Lukasiewicz, siempre preocupado por el problema del determinismo, fueron bien conocidas por Stephen C. Kleene, y por él llegaron a su amigo Zadeh, quien vio sus potenciales aplicaciones y con gran entusiasmo las dio a conocer. En esta obra analizamos aspectos fundamentales, con su evolución histórica. En el siguiente libro, a punto de aparecer en esta misma Editorial, Vaguedad e Incertidumbre, nos ocuparemos de algunos aspectos más estrictamente matemáticos. Ángel Garrido es Profesor Permanente de Análisis Matemático del Departamento de Matemáticas Fundamentales de la Facultad de Ciencias de la UNED. Cursó la Licenciatura de Matemática Pura en la Universidad Complutense, y realizó estudios de doctorado en Matemáticas y en Computación por la UNED. Doctor en Filosofía, con una tesis de Lógica Matemática, titulada “Filosofía y Matemáticas de la Vaguedad y de la Incertidumbre”, calificada con Sobresaliente cum Laude por unanimidad. Ha impartido docencia en las Universidades de Manchester y Politécnica de Madrid. Actualmente, es Editor en Jefe de la revista suiza AXIOMS, así como miembro del Editorial Board de numerosas revistas científicas internacionales. Ha publicado hasta la fecha doce libros y doscientos veintiséis artículos.