Leibniz y los fundamentos semióticos de la construcción de lenguajes formales

Resumen

En una serie de memorias y cartas que se extienden desde el año 1677 hasta pocos años antes de su muerte, Leibniz presenta los rasgos generales que debería poseer la característica como lenguaje o escritura simbólica al servicio de la demostración y la invención. En todos ellos hay una nota más o menos común, consistente en el hecho de que el paradigma para la construcción del lenguaje algorítmico proviene básicamente de los métodos de representación algebraica, en los que Leibniz encuentra dos ventajas extraordinarias. En primer lugar, permiten dar rigor formal a las demostraciones, puesto que la notación analítica reproduce o representa, en un sentido que queda todavía por aclarar, la estructura formal de un estado de cosas, así como su encadenamiento con otros estados de cosas. En segundo lugar, el carácter sensible de la notación matemática proporciona un hilo conductor en cierta forma empírico del pensamiento humano, el cual recibe la guía segura de las reglas de construcción y transformación que rigen las expresiones simbólicas. De esta forma, los lenguajes de la matemática proporcionan un ideal de certeza, tanto en lo que respecta al juicio como a la invención.