Diánoia

volumen LV, número 64, mayo 2010



Demostración leibniziana de las fórmulas numéricas

[Leibnizian Demonstration of the Numerical Formulae]

Pedro A. Viñuela

Instituto de Filosofía, Pontificia Universidad Católica de Chile

pvinuela@uc.cl


Páginas:175–200


Resumen: El presente artículo examina puntos centrales de la teoría leibniziana de la prueba matemática en conexión con su concepción general de la ciencia. Se analizan, primeramente, las características generales del método leibniziano, oponiéndolo al método cartesiano (§§ 1–3). Puesto que para Leibniz las fórmulas numéricas no son verdades lógicas primitivas y por ello requiere una estricta prueba formal, a continuación se examina la demostración de ellas contenida en los Nuevos ensayos, mencionando las críticas que Frege y Poincaré le han dirigido, a fin de precisar y aclarar el significado del formalismo leibniziano (§§ 4–6). Se finaliza con un recuento evaluativo de lo realizado en este trabajo (§ 7).
Palabras clave: método, evidencia, intuición, formalismo, simbolismo

Abstract: This paper is intended to analyze the Leibnizian theory of mathematical proof, in relation to his general view on science. Firstly, it provides the main characteristics of Leibniz’s method, making a strategic contrast with the Cartesian one (§§ 1–3). Secondly, because for Leibniz the numerical formulae are not primitive logical truths, they require a rigorous formal proof, so that the corresponding demonstration given in the New Essays is examined in order to gain new insights into the so-called Leibnizian formalism, taking into account as well Frege’s and Poincaré’s criticisms to it (§§ 4–6). Finally, it offers an evaluative account of all these considerations (§ 7).
Keywords: method, evidence, intuition, formalism, symbolism



> PDF (198KB)