Logica

1.4.2. Los precursores de la lógica matemática.

Los especialistas consideran al filósofo alemán Leibiniz (1646-1716) como el primer genuino precursor de la lógica matemática, aunque reconocen queesta idea ya estaba en germen en la obra Ars Magna del español medieval Raimundo Lulio. Leibniz fue el primero que sostuvo con claridad que el método para convertir la teoría de la deducción lógicaen una ciencia estricta e infalible era convertirla en un cálculo mediante la utilización de procedimientos matemáticos. Esta nueva ciencia sería una mathesis universalis, cuya función consistiría endemostrar la verdad de las afirmaciones filosóficas y científicas sin tener en cuenta su significado sino solamente su estructura expresada en símbolos de un lenguaje artificial, construidoespecialmente para calcular. Leibniz decía que calcular era operar con símbolos y consecuentemente, así como se podía calcular con símbolos aritméticos también ello era factible con símbolos que representenestructuras deductivas. El ideal leibniziano era lograr un instrumento lógico lo suficientemente poderoso como para traducir cualquier discusión significativa sobre la corrección de las deducciones a unaoperación en la que los oponentes se limiten a revisar los cálculos para ubicar el error, de manera parecida a cómo se corrige una suma cualquiera.


El proyecto de Leibniz era demasiado ambiciosoy por ello fracasó. Aunque su intuición fue grande, estuvo lejos de lo posible y de la construcción de un lenguaje simbólico que supere significativamente la vieja silogística aristotélica. Fue lainexistencia de un lenguaje lógico-matemático adecuado hasta mediados del siglo XIX lo que llevó al filósofo Kant (1724-1804), a pesar de su genialidad, afirmar erróneamente que la lógica creada porAristóteles era un conocimiento acabado, cerrado y completo, puesto que la investigación post-aristotélica no había ni refutado ni aportado nada nuevo en relación con los enseñanzas del Organon. El...