LÓGICA MATEMÁTICA E INTELIGENCIA ARTIFICIAL - Tecno-Libro

Ver Índice

Unas palabras del autor
Dedicatoria
Prólogo de la profesora Piedad Yuste
I. Del IAH y lo que vino después
II. Bolzano y Brentano
III. Twardowski y Lesniewski
IV. ?ukasiewicz
V. Husserl, Hilbert, Brouwer, Neumann, Zermelo & Co.
VI. Lwow-Warsaw School vs. Wiener Kreis
VII. Peirce
VIII. Russell, Whitehead y Wittgenstein
IX. Tarski
X. Alonzo Church y Stephen C. Kleene
XI. Zadeh
XII. La contribución española
XIII. Algunos resultados fundamentales en Lógica
XIV. Consideraciones finales
Fuentes Bibliográficas

Ésta obra pretende llenar un cierto vacío en la bibliografía en español sobre nuevos temas.

Por ello, en primer lugar, hemos tratado de ciertos grandes lógicos, que no son los más mencionados; entre ellos, Bolzano, Brentano, Twardowski, Lesniewski, la Escuela de Lvov-Varsovia (ELV), en su contraste con el mucho más mediátic o Círculo de Viena (el Wiener Kreis).

Seguir con la búsqueda de sus antecesores, como Leibniz o los mencionados Bolzano y Brentano; de sus discípulos, Husserl y Twardowski, dando lugar este a tan brillante grupo, con Lukasiewicz, Tarski, Banach.

Para luego referirnos a Peirce, a Hilbert, o a Zermelo.

También otros fundamentales, como Russell, Whitehead y Wittgenstein.

Sin dejar por ello a Brouwer o su discípulo, Heyting.

Así como Church, Kleene o Zadeh.

Esperamos completar algo más esa línea del tiempo, muchas veces fragmentaria e incompleta, y que es tan interesante.

Se abordan, asimismo, las mutuas relaciones entre Lógica, Análisis e Inteligencia Artificial, materias que por su importancia y actualidad reclaman la atención de todo el público inteligente.