Calculus Ratiocinator

Douglas Hofstadter·1979·divulgacion

Aunque no es un tratado filosófico directo de Leibniz, este libro explora cómo sistemas formales, como el Cálculo Ratiocinator, pueden dar lugar a fenómenos complejos y 'conscientes'. Resuena con la aspiración leibniziana de un sistema lógico universal capaz de capturar la verdad subyacente del universo, revelando cómo la recursión y la incompletitud son inherentes a tales sistemas, lo cual es una conexión no obvia con los límites prácticos del ideal de Leibniz.

Andrea Wulf·2015·biografia

Leibniz buscaba un sistema universal para comprender y calcular la 'verdad'. La visión de Humboldt de la naturaleza como un todo interconectado y 'calculable' en sus interacciones, aunque en un ámbito diferente, comparte la misma ambición de un marco global de comprensión. La conexión es no obvia porque la obra de Wulf se centra en la ciencia natural del siglo XIX, pero la underlying aspiration por una 'mathesis universalis' que une todo es sorprendentemente similar.

Gottfried Wilhelm Leibniz·1666·filosofia

Este es el precursor directo y la base filosófica más profunda del Calculus Ratiocinator. La 'Ars Combinatoria' es la formulación más temprana de Leibniz de la idea de un lenguaje universal y un método de razonamiento que podría resolver disputas automáticamente, abordando las mismas preguntas fundamentales sobre el conocimiento y la verdad de manera abstracta.

Edmund Husserl·1900·filosofia

Leibniz buscaba la formalización del pensamiento para alcanzar verdades indudables. Husserl, aunque por vías radicalmente diferentes (la fenomenología en lugar de la lógica formal), también persigue la clarificación de las estructuras fundamentales del pensamiento y la experiencia para cimentar el conocimiento. Ambos están profundamente preocupados por las condiciones de posibilidad de la verdad y la objetividad, aunque sus métodos para alcanzarlas difieren drásticamente.

Rudolf Carnap·1928·filosofia

Este libro encarna la ambición de crear un sistema unificado de conocimiento basado en la lógica, muy en el espíritu del Calculus Ratiocinator de Leibniz. Sin embargo, Carnap no es tan conocido fuera de círculos específicos como otros filósofos del lenguaje, y su enfoque del programa leibniziano en el siglo XX es menos canonizado en la filosofía popular anglosajona que, por ejemplo, Frege o Russell como continuadores de la lógica. [wikipedia.org/wiki/Calculus_ratiocinator](https://en.wikipedia.org/wiki/Calculus_ratiocinator)

Johann Heinrich Lambert·1761·filosofia

Lambert fue un continuador del espíritu leibniziano y kantiano, buscando un sistema universal y deductivo para el conocimiento, lo que resonaba con la 'mathesis universalis' y la caracteristica universalis de Leibniz. Sin embargo, su obra es menos conocida en el mundo hispanohablante y anglosajón en comparación con figuras como Wolff o el propio Kant, a pesar de su contribución significativa a la lógica y la filosofía de la ciencia en su época. [es.wikipedia.org/wiki/Calculus_ratiocinator](https://es.wikipedia.org/wiki/Calculus_ratiocinator)

Ludwig Wittgenstein·1921·filosofia

Aunque la tesis final de Wittgenstein sobre el lenguaje difiere radicalmente de la de Leibniz, la estructura del 'Tractatus' con sus proposiciones numeradas y su aspiración a la claridad lógica y a la demostración rigurosa de los límites del pensamiento y el lenguaje, es un eco estructural sorprendente del enfoque analítico y sistemático que Leibniz imaginó para su Calculus Ratiocinator.

Bertrand Russell, Alfred North Whitehead·1910·filosofia

Este libro representa el intento más ambicioso y exhaustivo de formalizar el pensamiento matemático de manera axiomática, en la misma línea que el Calculus Ratiocinator de Leibniz pretendía formalizar el razonamiento general. La estructura deductiva, el uso extensivo de la notación simbólica y la pretensión de universalidad en su campo reflejan directamente la aspiración leibniziana de un sistema formal capaz de 'calcular' verdades. [wikipedia.org/wiki/Calculus_ratiocinator](https://en.wikipedia.org/wiki/Calculus_ratiocinator)