%0 Journal Article %T Demostraci¨®n leibniziana de las f¨®rmulas num¨¦ricas %A Vi£¿uela %A Pedro A. %J Di¨¢noia %D 2010 %I Instituto de Investigaciones Filos¨®ficas, UNAM %X 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). %K method %K evidence %K intuition %K formalism %K symbolism. %U http://www.scielo.org.mx/scielo.php?script=sci_abstract&pid=S0185-24502010000100008&lng=en&nrm=iso&tlng=en