A mathesis universalis é un concepto filosófico xurdido no século XVII, que fai referencia a unha ciencia ou matemática universal que procura establecer un método formal e sistemático de razoamento e descubrimento aplicable a todos os ámbitos do coñecemento. Desenvolvida e elaborada por Gottfried Wilhelm Leibniz, a partir de concepcións anteriores, esta idea propón unha «característica universal» —unha linguaxe simbólica que combina lóxica e matemática para posibilitar un cálculo preciso do pensamento, eliminando os erros na argumentación e facilitando a invención en todas as ciencias.
A idea remóntase a René Descartes, quen empregou o termo na súa obra inédita (redactada arredor de 1628 e publicada en 1701), onde propuxo un método matemático xeral para guiar o intelecto cara á verdade, dando prioridade á cantidade e á orde por riba da lóxica aristotélica tradicional. Leibniz ampliou esta concepción máis restrinxida, de corte alxébrico, nun marco máis amplo, distinguindo entre unha «mathesis do entendemento ordinario» (centrada nas operacións combinatorias) e unha mathesis universalis integral, que unifica a ontoloxía, a lóxica formal e a (arte do descubrimento). Na perspectiva de Leibniz, esta ciencia universal funcionaría como unha «arte da infalibilidade», na cal as ideas complexas se descompoñen en primitivas simples, o que permite resolver mecanicamente as disputas mediante a manipulación simbólica, dun xeito semellante a como a aritmética resolve os problemas numéricos.
O proxecto de Leibniz entrelazábase co seu desenvolvemento dunha , un proposto alfabeto do pensamento humano que representaría os conceptos como caracteres susceptibles de regras combinatorias, o que influíu nos avances posteriores da lóxica simbólica e dos sistemas formais. Aínda que nunca se materializou plenamente en vida do seu autor, a mathesis universalis marcou profundamente a filosofía e as matemáticas dos séculos XIX e XX, inspirando a lóxicos como George Boole e Gottlob Frege, e estendéndose ata a fenomenoloxía a través da reinterpretación de Edmund Husserl como unha teoría das categorías e xuízos formais. O seu legado perdura hoxe en campos como a informática e a semántica formal, o que pon de relevo a busca dunha linguaxe unificada da razón.
Notas
Categoría:Lóxica Categoría:Método científico Categoría:Teorías filosóficas