Ciencia universal

La ciencia universal ( en alemán : Universalwissenschaft ; en latín : scientia generalis, scientia universalis ) es una rama de la metafísica dedicada al estudio de los principios subyacentes de toda ciencia. ^{[1] En lugar de considerar el conocimiento como separado en ramas, los universalistas consideran que todo el conocimiento forma parte de una única categoría. La ciencia universal está relacionada con} el lenguaje universal , pero es distinta de él .

La lógica y el racionalismo son la base de las ideas de la ciencia universal. En un sentido amplio, la lógica es el estudio del razonamiento . Aunque hubo individuos que utilizaron implícitamente métodos lógicos antes de Aristóteles , en general se acepta que él fue el creador de los sistemas modernos de lógica. ^[2] El Organon , los libros de lógica de Aristóteles, detalla este sistema. En Categorías , Aristóteles separa todo en 10 "categorías": sustancia, cantidad, calidad, relación, lugar, tiempo, posición, estado, acción y pasión. En De Interpretatione , Aristóteles estudió las proposiciones , detallando lo que él determinó que eran las proposiciones más básicas y las relaciones entre ellas. El Organon tenía varios otros libros, que detallaban aún más el proceso de construcción de argumentos, deducción de consecuencias lógicas e incluso contenían los fundamentos del método científico moderno. ^[3]

El predecesor más inmediato de la ciencia universal es el sistema de lógica formal , que es el estudio de las nociones abstractas de proposiciones y argumentos, utilizando generalmente símbolos para representar estas estructuras. ^[4] La lógica formal difiere de los sistemas de lógica anteriores al observar exclusivamente la estructura de un argumento, en lugar de los aspectos específicos de cada enunciado. Así, mientras que los enunciados "Jeff es más bajo que Jeremy y Jeremy es más bajo que Aidan, por lo que Jeff es más bajo que Aidan" y "Cada triángulo tiene menos lados que cada rectángulo y cada rectángulo tiene menos lados que cada pentágono, por lo que cada triángulo tiene menos lados que cada pentágono" tratan con información específica diferente, ambos son equivalentes en lógica formal a la expresión

${\displaystyle \para todo x\en X,y\en Y,z\en Z,\cuadrado x<y\cuña y<z\implies x<z}$.

Al abstraerse de los detalles específicos de cada afirmación y argumento, la lógica formal permite estudiar la estructura general de la lógica. Este punto de vista inspiró a los lógicos posteriores a buscar un conjunto de tamaño mínimo que contuviera todo el conocimiento necesario del que se pudiera derivar todo lo demás, y es la idea fundamental detrás de la ciencia universal.

Ramon Llull fue un filósofo, místico y poeta catalán del siglo XIII. ^[5] Es más conocido por crear un "arte de encontrar la verdad" con la intención de unificar todo el conocimiento. ^[5] Llull buscó unificar la filosofía , la teología y el misticismo a través de un único modelo universal para comprender la realidad. ^[6]

Llull recopiló sus pensamientos en su obra Ars Magna , que tuvo varias versiones. La versión más completa y minuciosa fue el Ars Generalis Ultima, que escribió varios años antes de su muerte. ^[7] El Ars Generalis Ultima constaba de varios libros, que explicaban el Ars, su sistema universal para comprender toda la realidad. Los libros incluían los principios, definiciones y preguntas, junto con las formas de combinar estas cosas, que Llull pensó que podrían servir como base para estudiar la realidad. Dado que se centró principalmente en la fe y el cristianismo, el contenido de estos libros también se ocupaba principalmente de ideas y conceptos religiosos. De hecho, el Ars contenía figuras y diagramas que representaban ideas del cristianismo, el islam y el judaísmo para servir como herramienta para ayudar a los filósofos de cada una de las tres religiones a discutir las ideas de manera lógica.

Gottfried Wilhelm Leibniz fue un filósofo, matemático y asesor político, metafísico y lógico alemán del siglo XVII, distinguido por sus logros, incluida la creación independiente del campo matemático del cálculo .

Leibniz ingresó en la Universidad de Leipzig en 1661, ^[8] donde estudió por primera vez las enseñanzas de muchos científicos y filósofos famosos, como René Descartes , Galileo Galilei , Francis Bacon y Thomas Hobbes . Estos individuos, junto con Aristóteles , influyeron en las futuras ideas filosóficas de Leibniz, siendo una idea principal la reconciliación de las ideas de los filósofos modernos con los pensamientos de Aristóteles, lo que ya demostraba el interés de Leibniz por la unificación.

La unificación jugó un papel importante en una de las primeras obras de Leibniz, Dissertatio de arte Combinatoria . Escrito en 1666, De arte Combinatoria fue un texto matemático y filosófico que sirvió como base para el objetivo futuro de Leibniz de una ciencia universal. ^[9] El texto comienza con el análisis de varios problemas matemáticos en combinatoria , el estudio de las formas en que se pueden organizar los objetos. Si bien las matemáticas en el texto no fueron revolucionarias, el principal impacto provino de las ideas que Leibniz derivó a partir de las matemáticas. Tomando gran influencia de las ideas de Ramon Llull en su Ars Magna, Leibniz argumentó que la solución a estos problemas combinatorios sirvió como base para toda la lógica y el razonamiento, ya que todo el conocimiento humano podría verse como diferentes permutaciones de un conjunto base.

Las ideas de Leibniz sobre la unificación del conocimiento humano culminaron en su Characteristica universalis , que era un lenguaje propuesto que permitiría que los enunciados y argumentos lógicos se convirtieran en cálculos simbólicos. ^[10] Leibniz se propuso construir "el alfabeto del pensamiento humano", que era la colección de todos los "primitivos" de los cuales todo pensamiento humano podría derivarse a través de los procesos descritos en de arte Combinatoria. ^[9]

Aunque nunca se ha construido, las ideas detrás de la ciencia universal de Leibniz han permeado los pensamientos de muchos matemáticos y filósofos modernos. George Boole , un matemático inglés del siglo XIX, amplió las ideas de Leibniz. Es responsable del sistema simbólico moderno de lógica, acertadamente llamado Álgebra de Boole . El sistema lógico de Boole, y por lo tanto también el sistema lógico de Leibniz, sirvieron como base para las computadoras y los circuitos electrónicos modernos.

Las ideas fundamentales de la ciencia universal también se pueden ver en el sistema axiomático moderno de las matemáticas, que construye teorías matemáticas como consecuencias de un conjunto de axiomas. En este caso, los axiomas son los elementos primitivos de los que se pueden derivar todas las proposiciones posteriores. El Programa de Hilbert fue un intento del matemático alemán David Hilbert de axiomatizar todas las matemáticas de la manera anterior y, además, de demostrar que estos sistemas axiomáticos son consistentes . ^[11] Kurt Gödel fue un matemático y lógico austríaco, que promovió las investigaciones en lógica y los fundamentos de las matemáticas iniciadas por Hilbert y Russell a principios del siglo XX. Gödel es más famoso por sus teoremas de incompletitud , que abarcan dos teoremas sobre la demostrabilidad y la completitud de los sistemas lógicos. En su primer teorema, Gödel afirma que cualquier sistema formal que incluya aritmética tendrá un enunciado que no puede probarse ni refutarse dentro del sistema. Su segundo teorema afirma que un sistema formal tampoco puede demostrar que es consistente, utilizando únicamente métodos de ese sistema. ^[12] Por lo tanto, Gödel refutó esencialmente el Programa de Hilbert, junto con aspectos de la ciencia universal.

• Arquitectura
• Ciencia unificada
• Lengua universal
• Arte Magna
• Disertación de arte combinatoria
• Caracteristica universalis
• Matemática universal

• Stephen Palmquist, Título 6, La filosofía como ciencia teológica