Proyecto y Ensayos para llegar a alguna certeza para terminar una buena parte de las disputas para avanzar

en el arte de inventar. Los hombres han sabido algo acerca del camino para llegar a la certeza, la lgica de Aristteles y de los estoicos es una prueba de ello. Pero sobre todo el ejemplo de los matemticos y puedo agregar el de los romanos, varios de cuyos razonamientos en los digestos no difieren en nada de una demostracin. Sin embargo, no se ha seguido este camino, porque es un poco incmodo y porque es necesario ir lentamente y contando los pasos. Pero creo que es porque no se han sabido sus efectos. No se ha considerado cul sera la importancia de poder establecer los principios de metafsica, de fsica y de moral con la misma certeza que los elementos de matemtica. Ahora bien, encontr que por este medio no se llegara solamente a un conocimiento slido de muchas verdades importantes, sino tambin que se alcanzara un arte de inventar admirable, y un anlisis que tendra algo de similar a lo que el lgebra hace con los nmeros en otras materias. Yo mismo encontr algo sorprendente, que con los nmeros se puede representar todo tipo de verdades y consecuencias. Hace ms de 20 aos que me propuse un proyecto admirable de encontrar la demostracin de este importante conocimiento, y que pens en un mtodo que nos conduzca infaliblemente al anlisis general de los conocimientos humanos. A menudo, me sorprendi que los hombres han descuidado cmo se puede juzgar a alguien por medio de un pequeo tratado que hice imprimir, donde hay algunas cosas que conciernen al hombre joven y al aprendiz, pero cuyo fondo es bueno, y he elaborado a partir de l tantos asuntos y distracciones como me poda permitir. Encontr entonces que hay ciertos trminos primitivos [que si no son absolutos, a menos lo son para nosotros], que una vez constituidos, todos los razonamientos se podran determinar del mismo modo que los nmeros y lo mismo desde la perspectiva de las circunstancias dadas, o data, que no bastan para la determinacin de la cuestin, se podra sin embargo determinar [metafsicamente] matemticamente el grado de probabilidad. He observado que la causa que hace que nos equivoquemos fcilmente fuera de las matemticas, y de que los gemetras hayan sido tan felices en sus razonamientos, no es sino que porque en la geometra y en otras partes de las matemticas abstractas se pueden hacer experiencias o pruebas continuas, no solamente sobre la conclusin, sino tambin en todo momento, y en cada paso que se hace sobre las premisas, reduciendo el todo a los nmeros; pero en la fsica muchos razonamientos en que la experiencia refuta a menudo la conclusin no se vuelve sobre el razonamiento, y no se marca el lugar donde uno se ha equivocado. En metafsica y en moral, es peor, a menudo no se podra hacer experiencias sobre la conclusin ms que de una manera vaga y en materia de metafsica la experiencia es en algunos casos imposible en esta vida. El nico medio de volver sobre nuestros razonamientos es hacerlos tan sensibles como lo son los razonamientos de los matemticos, de manera que pueda encontrarse el error de un vistazo y cuando hay disputas entre la gente, se pueda decir solamente contemos, sin ninguna otra ceremonia para ver quin tiene la razn. Si las palabras estuvieran hechas segn un artificio que veo posible, pero de las cuales los que han hecho lenguas universales no se han dado cuenta, se podra llegar a este efecto por medio de las palabras mismas, lo que sera de una utilidad increble para la vida humana. Pero mientras esperamos, hay otro camino menos bello, pero que ya est abierto, en lugar del otro que debera ser hecho todo de nuevo. Es sirvindose de caracteres y tomando como ejemplo a

los matemticos, que se ocupan propiamente de fijar nuestro espritu al que le agregan la prueba de los nmeros. Puesto que por este medio, habiendo reducido un razonamiento de moral, de fsica, de medicina o de metafsica a estos trminos o caracteres, se podr en todo momento acompaarlo con la prueba de nmeros, de manera que ser imposible equivocarse si no se quiere. Lo que es quizs uno de los ms importantes descubrimientos de los que hayamos advertido desde hace mucho tiempo. Ser necesario decir algo de aquellos que han tratado de hacer demostraciones fuera de las matemticas. Aristteles ha sido el primero en lgica y se puede decir que ha logrado, pero es necesario mucho ms en las otras ciencias que ha tratado, si observamos los libros de Crisipo o de otros estoicos, encontraramos en ellos ensayos. Se puede decir tambin que los romanos nos han dado bellas muestras de razonamientos demostrativos. Entre los escolsticos hay un cierto Jean Suisset, llamado el calculador, del que no he an encontrado sus obras, no habiendo visto ms que las de aquellos que eran sus seguidores. Este Suisset ha comenzado por hacer matemticas en la escolstica, pero poca gente lo ha imitado, porque hubiera sido necesario dejar el mtodo de las disputas por el de las cuentas y de los razonamientos, y un trazo de pluma hubiera esparcido muchos clamores. Es algo remarcable, a mi entender, el hecho de que Jean Scot quisiera ilustrar cmo los ngeles podan estar en el cielo y en la tierra como el renombrado Virgilio, que se serva de una proposicin de Euclides acerca de la igualdad de los paralelogramos. Raymundo Lullio tambin fue matemtico y adverta de alguna manera el arte de las combinaciones. Sera sin duda una bella cosa el arte de Lullio, si estos trminos fundamentales (unum, verum, bonum) (bonitas magnitudo, duratio, potentia, sapientia, voluntas, virtus, gloria), no fueran vagos y en consecuencia, ya que sirven solamente para hablar y para nada para descubrir la verdad. No me acuerdo en este momento de haber visto un filsofo que demostrara en el siglo pasado, si no fuera que Tartaglia ha hecho algo sobre el movimiento y Cardan, que habla de las proporciones, y Franciscus Patritius, que era un hombre de bellas visiones, pero al que le faltaban las luces necesarias para proseguirlas. El quera recuperar las maneras de demostrar de los gemetras, haba visto en efecto que le faltaba algo, y quiso hacer tanta metafsica aunque las fuerzas le faltaran: el Prefacio de su Nueva geometra dedicada al duque de Ferrare es admirable, pero lo que est adentro da lstima. Pero es nuestro siglo el que se ha ocupado para obtener demostraciones. Galileo ha rompido el hielo en su nueva ciencia del movimiento. He visto la obra de un tal Lince llamado Stelliola, en lo que concierne a la diptrica, donde observo algo del mtodo de proceder demostrativamente fuera de las matemtica, en fsica, tanto en Kepler como en Gilbert, Cabeus y Snellius, cuya obra de Diptrica no se ha publicado an, pero cuyos descubrimientos han abierto aparentemente los ojos de M. Descartes. Mons. Morin, habiendo publicado un libro sobre la luz intent dar all demostraciones de la existencia de Dios al modo de los gemetras, al mismo tiempo que M. Descartes, impulsado por las persuasiones del Pre Mersenne intent redacta las meditaciones metafsicas en forma de demostracin, pero nunca pudo remontar sus debilidades all donde lo ha hecho. Y casi al mismo tiempo, Thomas Hobbes intent escribir de una manera demostrativa tanto en moral como en fsica. Hay una mezcla en Hobbes de un espritu maravillosamente penetrante y extraamente dbil. Es que l no ha aprovechado lo suficiente de las matemticas para evitar los paralogismos. Al mismo tiempo, P. Fabry tambin se puso a escribir demostrativamente, puede decirse que el echa luz y que es uno de los ms sabios y de los ms universales

de su orden, pero que le falta el verdadero anlisis; a menudo va bien en sus pruebas y hubiera querido hacer menos proposiciones y demostrar ms exactamente aquellas que ha planteado habra hecho mucho ms. En Inglaterra, un annimo publica un Tentamen Metaphysicum muy ingenioso para probar que el mundo no ha podido ser eterno, pero supone que un infinito podra ser ms grande que otro o que el infinito es un tamao, lo que no es seguro. El caballero Digby emprendi tambin la tarea de hacer demostraciones de la inmortalidad del alma y su fidus Achates Thomas Albius, que era tan excelente en geometra y en metafsica como Digby lo era en conocimiento del mundo y en qumica, ha hecho algunas bellas obras escritas de manera demostrativa. Yo no he visto ms que su Euclides metafsico: es cierto que hay pensamientos profundos, pero es muy oscuro, hace poco para que sus demostraciones puedan convencer o aclarar. Finalmente, Spinoza intent dar demostraciones, las que public sobre una parte de los principios de Descartes fueron bien recibidas. Es necesario admitir que este autor ha tenido algunos pensamientos bellos y profundos pero hay otros muy embrollados y muy alejados de la claridad de los matemticos que no se sabe qu decir y sin embargo, quiere hacerlos pasar por demostraciones incontestables. Las demostraciones que hace algunas veces son extremadamente embarazosas y a menudo la proposicin de la que se sirve para demostrar otra proposicin es mucho ms difcil que la conclusin. Entre los aristotlicos, se encuentran tambin gente muy hbil que ha intentado hacer demostraciones entre los cuales hay dos que no deben ser despreciados, Abdias Trew, matemtico de Altorf, que ha reducido en forma de demostracin los ocho libros de Aristteles de la Fsica y el otro es Jean Felden, que es conocido por un libro de anotaciones que hizo sobre la obra de Grocio De jure belli et pacis y que M. Grassvinckel refut, l ha dado algunos elementos de jurisprudencia donde hay por cierto algunos pensamientos slidos. Hay un hbil profesor en Jena llamado M. Weigelius, quien ha publicaod una bella obra llamado Analysis Euclidea, donde hay muchos bellos pensamientos para perfeccionar la lgica y para hacer demostraciones en filosofa; entre otros, ha dado a conocer a algunos amigos un Ensayo para demostrar la existencia de Dios, fundada sobre el hecho de que todos los otros seres deben ser continuamente creados, tambin ha redactado una moral bastante ingeniosa, a la manera de una alegora para explicar toda moral en relacin con las esferas de los astrnomos. Esta esfera moral est agregada en la edicin de Jena de los Elementos de jurisprudencia universal de Pufendorf, quien tambin ha dado algunas definiciones y axiomas al modo de los gemetras que son bastante ingeniosas. Ramus ha retomado a Euclides siguiendo el rigor de las demostraciones ha abandonado el mtodo que parece ms propio para esclarecer el espritu, pero el buen Ramus, que quera cambar el mtodo de Euclides, no solamente ha perdido el riegor sino tambin la verdad y la exactitud. El excelente autor de los Nuevos Ensayos de Geometra ha reunido de alguna manera la claridad del orden con la certeza de M. Mercator, uno de los ms hbiles gemetras de la poca tambin ha escrito Elementos de Geometra, donde hace ver por medio de algunos ensayos cmo se podra reunir en la geometra la claridad a la certidumbre. Reconozco sin embargo, si no se puede obtener lo uno y lo otro al mismo tiempo, que vale ms ser exacto en desmedro del orden que de guardar el orden en desmedro de la verdad. Y se podran decir muchas cosas a favor del orden del que Euclides se ha servido. Tambin observo un defecto en los que tratan de escribir demostrativamente, es que ellos cortan la materia en tantas pequeas proposiciones que el espritu se

encuentra disperso. Es por ello que es necesario distinguir las proposiciones ms importantes de las que lo son menos. Hay an otro defecto que los autores que tratan de dar demostraciones y de escribir por proposiciones no saben cundo es el momento de terminar, pues las proposiciones llegan al infinito. Encuentro estos dos lmites que la razn nos prescribe y son estos: 1) es necesario continuar la sntesis hasta que se pueda cambiarla en anlisis; 2) es til continuar la sntesis hasta donde se vean progresiones al infinito; 3) cuando hay algunos bellos teoremas, sobre todo que sirven a la prctica, es bueno marcarlos. Pero la primera basta para lo que es estrictamente necesario. El defecto ms general, y del cual Euclides mismo no est exento es que se suponen axiomas que podran demostrarse. Es cierto que este defecto no perjudica a la certeza, cuando estos axiomas estn justificados por una infinidad de experiencias como aquellos de los matemticos. Pero este defecto perjudica a la perfeccin del espritu y es la principal razn por la cual la sntesis de los gemetras no ha podido an cambiarse por el anlisis. Uno se sorprender quizs de que yo digo esto aqu, pero es necesario saber que el lgebra, el anlisis de Viete y Descartes es antes que nada el anlisis de los nmeros que de las lneas aunque all se reduzca la geometra indirectamente, en cuando que todas las magnitues pueden ser expresadas por nmeros; pero esto obliga a menudo a grandes desvos y algunos a menudo los gemetras pueden demostrarlos en pocas palabras, lo que es mucho ms largo por la va del clculo. Y cuando se ha encontrado una ecuacin, en algn problema difcil, es mejor que se tenga una demostracin corta y bella de la construccin del problema tal como se desea. La va del lgebra en geometra esta asegurada pero no es la mejor, y es como si para ir de un lugar a otro uno quisiera seguir el curso de los ros, como un viajero italiano que conozco, que iba siempre en barco cuando poda hacerlo, aunque haya 12 lugares de Alemania desde Wurcebourg a Wetheim siguiendo la riviera del Main, preferira tomar esta va que ir por tierra en 5 horas. Pero cuando los caminos por tierra no estn an abiertos y descifrados como en Amrica, uno es feliz de poder servirse del ro y es lo mismo en la Geometra cuando pasa los Elementos; pues la imaginacin all se pierde en multitud de figuras. Si el Algebra no alcanzara su seguridad hasta el momento en que se establece una caracterstica propia de la geometra, que marca las sitac Si l'Algbre ne venait a son secours jusqu' ce qu'on tablisse une caractristique propre la Gomtrie, qui marque les situations comme l'Arithmtique marque les grandeurs. Ce qui est faisable et serait d'une grande utilit tant pour les dcouvertes, que pour aider l'imagination. On m'a communiqu un Ecrit de feu M. Pascal intitul Esprit gomtrique o cet illustre remarque que les Gomtres ont coutume de dfinir tout ce qui est un peu obscur, et de dmontrer tout ce qui est un peu douteux. Je voudrais qu'il nous eut donn quelques marques pour connatre ce qui est trop douteux ou trop obscur Et je suis persuad que pour la perfection des sciences il faut mme qu'on dmontre quelques propositions qu'on appelle axiomes comme en effet Apollonius a pris la peine de dmontrer quelques uns de ceux qu'Euclide a pris sans dmonstration. Euclide avait raison mais Apollone en avait encore davantage. Il nest pas ncessaire de le faire mais il ne laisse pas dtre important de le faire, et ncessaire certaines vues. Feu M. de Roberval mditait des nouveaux Elments de Gomtrie o il allait dmontrer rigoureusement plusieurs propositions qu'Euclide a prises ou supposes. Je ne sais s'il acheva son ouvrage avant sa mort, mais je sais que bien des gens s'en moqurent; s'ils avaient su l'importance de cela, ils en auraient jug autrement. Ce n'est pas

ncessaire pour les apprentis, ni mme pour les Matres ordinaires, mais pour avancer les sciences et pour passer les colonnes d'Hercule, il n'y a rien de si ncessaire.