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

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).