LA FILOSOFA MATEMTICA CARTESIANA A TRAVS DE LEN BRUNSCHVICG

Referencia: Ao 1990. Ciencias matemticas, N.1, Ao 1, Vol. 1, 1990, UCR, San Jos, Costa Rica.

Abstract Len Brunschvicg -un extraordinario filsofo de las matemticas francs y poco conocido en nuestro mediorealiz en los primeros aos de este siglo un anlisis de los temas contenidos en las REGULAE y la GEOMETRIE. La idea del presente ensayo es concatenar los principales resultados de Brunschvicg en esta parte de su LES ETAPES DE LA PHILOSOPHIE MATHEMATIQUE con algunos aspectos de mi propia aproximacin al cartesianismo. Ordenar esos resultados de la manera que ms me resulten convenientes; e igualmente har sealar las limitaciones del anlisis de Brunschvicg. Paso de la reforma cosmolgica a la matemtica y, luego, a algunas conclusiones. El nombre de Descartes para cualquier estudiante de matemtica elemental resulta familiar. Bastan unas pocas lecciones para necesitar utilizar las coordenadas rectangulares o cartesianas. Pero los resultados de Descartes, particularmente en su GEOMETRIE de 1637, no se reducen a las coordenadas. Descartes es sin duda uno de los primeros matemticos modernos. Iniciador de una gran poca en el pensamiento matemtico, que todava hoy vivimos. Al igual que cuando nos referimos a Coprnico hablamos de una revolucin en la astronoma, con Descartes tenemos que hablar de otra en la matemtica. Sin embargo, como pensador y filsofo, como ser vital e histrico, Descartes realiza esta gigantesca revolucin al mismo tiempo que reinterpreta la cosmologa, la revoluciona tambin bajo la palanca idntica del mismo impulso que busca la comprensin de la realidad. Reforma cosmolgica y reforma matemtica son dos personajes centrales que aparecen en la obra de Descartes de manera entrelazada, pero con caractersticas y valorizacin netamente diferentes. De la REGULAE a la GEOMETRIE podemos ver el sentido preciso de las reformas cartesianas. Deben, sin embargo, estudiarse en conexin con las grandes concepciones de mtodo epistemolgicas y ontolgicas con que Descartes se aproxima a la realidad. Es indiscutible que los fantasmas de las "ideas innatas", de la "intuicin" a priori..., rodean las reformas cartesianas. Era inevitable.

El camino de la abstraccin en la matemtica ha sido muy complejo. Es innegable que los resultados cartesianos no han podido dejar de influenciar ese camino. No slo en el terreno de lo que supuso su reforma matemtica, sino tambin en los problemas derivados de su aproximacin metafsica e idealista a la matemtica y a la realidad en general. Este tema subyase en el conjunto de mi ensayo, aunque no es el lugar ms apropiado para desarrollarlo. Brunschvicg realiza una interesante descripcin de las nociones cartesianas en torno a la geometra y la cosmologa. Desde las entraas intelectuales exclusivamente de LES ETAPES DE LA PHILOSOPHIE MATHEMATIQUE quiero incidir en algunos aspectos filosficos y metodolgicos del cartesianismo. No pretendo agotar la descripcin planteada por Brunschvicg, ni la problemtica involucrada, eso ser objeto de otro trabajo. Para Len Brunschvicg es claro que elementos esenciales de trabajos en geometra cartesiana estn contenidos en matemticos de la antigedad. Tal es el caso de las secciones cnicas de Apolonio, mejor dicho, la aproximacin concreta que este posee frente a ellas: ". ..instruit des procds analytiques des modernes, l 'historien considre les travaux d'Apollonius sur les sections coniques, il est frapp d'y retrouver les traits constitutifs d'une algbre gomtrique qui, I'aide de formes diffrentes de langage et de reprsentation, suit un cours parallle a celui de la gomtrie analytique 1 . (Se refiere a Chasles, en su APERU HISTORIQUE SUR L'ORIGINE ET LE DEVELOPPEMENT DES METHODES EN GEOMETRIE) 2 Al igual que con Diofanto de Alejandra. " nous reconnaissons dans I'arithmtique de Diophante d'Alexandrie quelques-uns des traits essentiels du symbolisme opratoire ". 3 De hecho, muchos de los resultados tericos matemticos conocidos en la poca de Descartes fueron obtenidos en la Antigedad. Esta fue una cima de la cultura y el conocimiento en la historia humana. La decadencia histrica promovida por el Imperio Romano condujo en Occidente a un retroceso cultural enorme y a la prdida de una gran parte del bagaje cientfico antiguo. Muchos siglos tuvieron que pasar hasta que por diferentes vas, como la islmica, Occidente pudiese abrirse campo hacia la ciencia y el progreso. Las reformas cartesianas que pasaremos a estudiar no pueden colocarse como reflejo mental de la poca de Descartes. El conjunto de ideas, mtodos y estructuras mentales, del mundo antiguo, influenciaron notablemente en Occidente la poca moderna y a sus pensadores. En Descartes es especialmente sencillo establecer una relacin con el pensamiento y resultados culturales de la Antigedad. Al igual que en la Antigedad,
2

en el Medioevo encontramos antecedentes tericos del salto epistemolgico frente a la matemtica que opera Descartes. Brunschvicg lo seala: "Le tractatus de latitudinibus formarum ( dont l'influence fut grande et durable ce point que, ds la dcouverte e limprlmerie, quatre ditions sen succdrent, de 1442 1515), enseigne reprsenter les variations de quelque grandeur que ce soit en transportant sur une surface plane les lignes de repre qui avaient t jusque-l traces sur une sphre. Les degrs du phnomne naturel se figurent par lordonne, et constituent ainsi ce que Nicolas Oresme appelle latitude de la forme; la longitude, c 'est-adire la ligne des abscisses, figure les temps correspondants. " 4 Oresme apunta hacia las coordenadas. Vieta hacia el mtodo operatorio, siguiendo a Diofanto. Lo seala Brunschvicg: "L'arithmtique, dit Viete, est une mthode opratoire sur les nombres: Logstica numerosa; l'Algbre est une mthode opratoire sur les espces ou formes des choses: Logstica speciosa. " 5 Los cientficos y matemticos europeos del pasado inmediato cartesiano estuvieron ligados a la dinmica de las necesidades econmicas de la produccin material social. En el contexto de las necesidades de la nueva organizacin de la produccin y tcnica los problemas se fueron planteando. Sin embargo, es obvio que los resultados tericos medievales no fueron meros reflejos de la produccin. La conexin con las normas de la cultura y conocimientos existentes, as como la metodologa escolstica, fueron muy importantes. Brunschvicg seala tambin que: "...le systme de traduction qui permet de ramener les questions de la gomtrie a la solution d'quations algbriques a t systmatiquement employ par Fermat dans un crit qui est antrieur a la publication de la GEOMETRIE de Descartes. " 6 Este buscar las races histricas de los desarrollos cartesianos metodolgicamente un gran acierto de Brunschvicg. Coloca con precisin lo que ya esta en la historia previa a Descartes, y permite apreciar lo que puede ser el verdadero mrito, si se quiere su originalidad y novedad. En efecto, Brunschvicg coloca adecuadamente el significado de la geometra cartesiana desde un primer momento: "...la gomtrie analytique a servi surtout a perfectionner la thorie des sections coniques jusqu 'au moment ou les progrs des
3

recherches infinitsimales a permis de transporter sur un nouveau terrain le principe de la correspondance entre les courbes et les quations, et d'en tendre ainsi la fcondit" 7 (subrayado mo, A.R.). El mtodo de situar al pensador en su contexto social histrico, as como tomar en cuenta el bagaje intelectual anterior es siempre necesario. Brunschvicg, sin embargo, no profundiza adecuadamente en el anlisis histrico. Se limita a aportar los conocimientos matemticos previos. No aborda la importancia de la dimensin heredada por la Antigedad como factores constituyentes del pensamiento cartesiano. No integra en el anlisis la revolucin social y cultural que atraviesa Europa, como producto de la aparicin de un ordenamiento social econmico que empieza a recorrer Occidente. No pone en movimiento las grandes situaciones histricas que han engendrado los principales rubros intelectuales del racionalismo cartesiano. (-No quiero decir con esto que el anlisis se ve disminuido, sino que se pierde de vista otras dimensiones interesantes. Por otra parte, no creo que hubiese ningn determinismo social o material en Descartes). La matemtica universal aparece en Descartes como un ideal esencial, determinante en gran medida de sus aproximaciones metodolgicas sobre la ciencia y el conocimiento. Esta matematizacin universal debe entenderse corno un principio de mtodo, integrado en la visin filosfica cartesiana. Es necesaria, sin embargo una distincin dentro de ese ideal. Se trata, segn Brunschvicg, de dos proyectos diferentes contenidos bajo el nombre de ese ideal, una REFORMA COSMOLOGICA, y una REFORMA MATEMATICA. "Il reste a savoir quelle est exactement, a la prendre en ellemme; la porte de cette de mathmatique universelle (...) la rponse sera diffrente, suivant que lon considrera luvre de Descartes dans la philosophie gnrale, c'est-a- dire l'extension de la mthode mathmatique a l'universalit des problmes cosmologiques, ou que l'on ce s'attachera seulement a l'ouvre que Descartes accomplit dans le domaine propre de la mathmatique par la rduction des problmes de la gomtrie aux problme de l'algbre". 8 Estos dos caminos diferentes esclarecen sus diferencias en el uso cartesiano del espacio. Seala justamente Brunschvicg: " ...l'espace joue dans la physique de Descartes et dans la gomtrie de Descartes deux personnages bien diffrents. Dans la physique la rduction de la qualit a la quantit consiste a ne retenir des phnomnes sensibles que des dterminations mesurables a l'aide des dimensions de l'tendue. Dans la gomtrie
4

au contraire les figures spatiales apparaissent comme des sortes de qualits, qui seront ramenes aux formes purement abstraites et intellectuelles de la quantit, aux degrs de l'quation". 9 Resume y llega a una importante conclusin: "...les Principes de la Philosophie sont une physique de gomtre; la Gomtrie est une gomtrie d 'analyste. Ainsi s'explique qu'en suivant les directions que dessinent l'un et l'autre ouvrage on arrive deux conceptions nettement distinctes de la philosophie mathmatique". 10 En la antigedad griega la conexin terica ms prctica geometraespacio no es establecida totalmente. Descartes apunta aqu a una de las principales caractersticas de la concepcin espacial de la modernidad occidental. Es correcto sealar, como Brunschvicg, la diferencia de la reforma cosmolgica frente a la matemtica. Sin embargo, es necesario precisar con claridad que no se trata de cuestiones de orden contradictorio. Si se unifican ambas reformas es perfectamente observable que se trata de una reduccin de la cosmologa en trminos algebraicos. Es decir, se trata de tomar la fsica, reducirla a la extensin susceptible de la contencin geomtrica y, sin detenerse, avanzar hacia su expresin en ecuaciones, en un movimiento algebraico. Metodolgicamente es correcto, de cualquier forma, hacer incidir el anlisis en las diferencias para luego volcarse sobre lo comn. Brunschvicg hace esencialmente lo primero; lo segundo lo deja de lado. Esto es inadecuado al puesto que en la ltima instancia debe recordarse que la mathesis universalis que propone Descartes parte de un concepto unitario en sus mtodos, en sus aproximaciones. Pero el camino de Brunschvicg es todava ms peligroso. La nocin cartesiana de mathesis universalis es precisamente la de encerrar el conocimiento del mundo en un esquema matematizante. Se trata de tomar todas las partes de la ciencia: fsica, biologa, etc ..., y englobarlas en un sistema deductivo-matemtico. Reforma matemtica y reforma cosmolgica son una misma cosa en cuanto al objetivo central de Descartes. Por razones de exposicin es tal vez justificable externar las diferencias particulares, pero slo si se logra entender la unidad metodolgica y epistemolgica que hay detrs. La reforma cosmolgica parte adems de la comprensin de la existencia de un mtodo universal en el conocimiento: "Mais l'analyse des anciens et l'algbre des modernes avaient sacrifi a l'ampleur des rsultats la simplicit et la puret des principes; elles doivent se rorganiser, elles se fondront de
5

manire a constituer una mthode universelle. Le principe de cette mthode consiste a s'lever au-dessus de la reprsesentation des figures, et a dgager ce qui est commun Toutes ces sciences particulires qu'on nomme communment Mathmatiques ...Encore que leurs objets soient diffrents, elles ne laissent pas de s'accorder toutes, en ce quelles nyconsiderent autre chose que les divers rapports ou proportions quis'y trouvent". 11 Es obvio que para Descartes todo esto es posible en tanto su cosmologa parte del principio metafsico de la espacialidad y la medicin de la misma. El establecimiento de proporciones es la base de la medicin espacial, es esto lo que expresa cuando se refiere a la extensin. Ahora bien, el carcter universal se desprende de la universalidad racional: "L'ide fondamentale est que la science est essentiellement unit parce quelle est l'intelligence humaine a luvre et qu'il n'y a qu'une faon de comprendre. La mthode est unique pour disposer les donnes complexes u un problme suivant un ordre intelligible, de faon a ne plus avoir qu'une chane de relations simples entre lments simples" 12 Que sea universal adems lo justifica tomando en cuenta slo una parte de los participantes en la relacin cognoscitiva, el sujeto: Es universal porque es racional. Las reglas clsicas del mtodo cartesiano y no otras son las que estn presentes aqu. Para Descartes no se trata solamente de la extensin como elemento constitutivo de la esencia de la matemtica. Se trata tambin del orden. Esto va a clarificar aun ms el asunto. El orden es caracterstica esencial de un cuerpo axiomtico. Orden y medida, segn Descartes, determinan lo que es la matemtica. El nfasis en lo del orden aunque sea vinculado a la medida empujar posteriormente en el camino de la abstraccin en la matemtica. Seala Brunschvicg: "...la mathmatique est la science de l'ordre aussi bien que la science de la mesure; et elle comprend, en outre de l'arithmtique (ou algbre) et de la gomtrie, l'astronomie, la musique, l'optique, la mcanique". [12] 13 Otro concepto clave en Descartes para la definicin de los nuevos papeles del espacio, es el de dimensin. Seala Brunschvicg:

"L'lment de dimension spatiale est la longueur, on peul partir de la longueur pour reconstituer la ralit spatiale, comme multiplicit a trois dimensions. Mais ce mode de composition n'est, aux yeux de Descartes, qu'un cas particulier dans le mode de composition des grandeurs; tout lment analogue a la longueur peul tre considr comme une dimension, et on introduira dans un problme autant de dimensions qu'on voudra ". 14 Lo que le da un contenido revolucionario: "Des lors la reprsentation spatiale de la dimension ne dpend plus de la nature spatiale de la dimension". 15 Eso le da un carcter abstracto que es el que le permite una utilidad mayor. Este es el punto medular de la REGULAE y como dice Brunschvicg: ". ..elle explique comment la reprsentation spatiale peut acqurir une valeur tout autre que celle d'un symbolisme arbitraire, et conduire a une science effective de l'univers". 16 Esta nocin de dimensin generalizada logra trasladar la analoga exterior a una resolucin interna (si se quiere axiomtica, lgica). En efecto, al no depender de una realidad espacial concreta la nocin involucrada apunta hacia un terreno de generalizacin y abstraccin. Esta "libertad" de vuelo es la esencia de la matemtica de los siglos posteriores. Para Descartes esta era suficiente para ascender a una ciencia universal. Las cosas en la realidad no son, sin embargo, tan sencillas. La reforma cosmolgica cartesiana no se reduce solamente al problema de las medidas de dimensiones. Descartes introduce una nueva definicin del concepto de movimiento, pero siempre dentro de la lnea general de su aproximacin: "La nature du mouvement duquel j'entends ici parler, est si facile a connatre que les Gomtres mmes, qui entre tous les hommes se sont le plus tudie concevoir bien distinctement les choses qu'ils ont considres, l'ont juge plus simple et plus intelligible que celle de leurs superficies et de leurs lignes; ainsi qu'il parat en ce qu'ils ont explique la ligue par le mouvement d'un point, et la superficie par celui d'une ligne". 17 La matemtica universal de Descartes posee como bases las ideas "claras y distintas" de extensin y movimiento. El mecanismo cartesiano, es necesario sealar, adquiere, pues, un papel relevante en tanto es elevado a toda una cosmologa universal y es concebido geomtricamente. El mecanismo es "especializado" puesto que todo
7

movimiento expresa en realidad una forma espacial. Si se quiere el concepto de movimiento en Descartes est subordinado al de espacio. Este caracteriza su mecanismo. Esto tendra una gran influencia en el pensamiento cientfico de los siglos posteriores. En sntesis se puede afirmar que la mathesis universalis cartesiana se reduce a una extensin de los mtodos geomtricos a la totalidad de problemas de la mecnica, fsica, biologa, etc. La palanca que utiliza Descartes es la redefinicin del espacio en trminos de extensin, evidentemente medible. Pero, en forma ms concreta, se trata del clsico concepto de la proporcin. Como hace ver Gerd Buchdahl en su METHAPHYSICS AND THE PHILOSOPHY OF SCIENCE: "The theme that extension, and comparison between extension, in the proper subject of science had previously been broached more fully in REGULE X// and XIV. The logically simplest operation, according to Descartes, apart from the simple and naked intuition of one single thing is comparison of two or more things with each other'. This is involved in any theoretical treatment of a scientific subject". 18 La reduccin cosmolgica a la extensin no es en Descartes una mera observacin emprica. Se trata de una premisa metafsica frente al mundo. A travs del cristal "extenso" el mundo va a poder ser desentraado tericamente por las reglas de la geometra, eso s: una geometra remodelada por la fusin de los resultados infinitesimales hasta la poca, as como la nueva actitud abstracta frente a ella. Se trata de hacer encajar el mundo en el esquema establecido a priori por Descartes de las reglas geomtricas. Esto es tambin una premisa metafsica. El mecanismo es clsico; toma un aspecto de la realidad, hpostasiarlo a la altura que determine o define el resto de ella; este aspecto ha sido cuidadosamente escogido calzando con las premisas doctrinales previamente establecidas. Como seala Buchdahl: "... from holding that a successful scientific treatment of nature presupposes its being considered under the aspect of extension, Descartes slides into the assertion that (material) nature is essentially equivalent to extension, and that this alone justifies us in postulating the existence of genuine science". 19 La reforma de la matemtica cartesiana es de gran importancia en el desarrollo de la matemtica. No porque los principales factores de esta geometra analtica hayan sido descubiertos por Descartes, sino porque Descartes los coloca en una totalidad distinta, si se quiere moderna. Se trata de una nueva actitud frente a la matemtica, un avance en el camino de la generalizacin y la abstraccin. Sin embargo no tan nueva histricamente. Recurdese la axiomtica
8

griega. Pero ms que eso es el constante empujar metodolgico de la axiomatizacin lo que debe entenderse como nuevo. La preocupacin principal de la GEOMETRIE de 1637 no recae en la geometrizacin de la fsica sino que seala Brunschvicg: ... opre une transformation des mthodes techniques de la Gomtrie et de LAlgbre. 20 Una preocupacin ajena, si se quiere, a las de la REGULAE. Al decir de Brunschvicg: La proccupation constante de Descartes dans les Regulae, cest de briser lenveloppe pour mieux faire apparatre la porte de lapplication aux sciences du concret. Il semble bien que, si une sollicitation extrieur navait pas conduit Descartes composer la GEOMETRIE, il naurait tir du concours de lalgbre et de la gomtrie que des procdes techniques son usage personnel. La chose du moins semble stre passe ainsi pour le calcul des indivisibles: Descartes, suivant les conjectures trs plausibles de Paul Tannery, disposait pour son compte de mthodes quivalentes celles de Cavalieri ou de Roberval; il sabstint pourtant den rien faire connatre, faute peut-tre den pouvoir donner une justification suffisamment rationnelle son gr, abandonnant ses mules lhonneur de linvention. 21 A propsito de un problema geomtrico planteado por Pappus, Descartes muestra las ventajas del mtodo abstracto que l propone. En REPONSES AUX SECONDES OBJECTIONS FAITES SUR LES MEDITATIONS METAPHYSIQUES expresa las caractersticas fundamentales de la nueva matemtica. Brunschvicg lo resea as: Or ces lignes, qui sont pour limagination les termes lmentaires du problme et qui reprsentent naturellement labsolu, sont en ralit des effets, puisquelles dpendent des relations mtriques qui sont contenues dans lnonce du problme; ce sont les relations mtriques, et non les lignes, qui sont le vritable absolu, si nous entendons par absolu, non pas lobjet qui semble se dtacher pour les yeux avec une apparence dindpendance, mais le principe simple, la cause, ce qui pour lesprit commande et engendre un ensemble de dterminations. Ainsi compris, labsolu peut tre, comme lindiquent les REGULAE, une relation: par exemple la relation qui dfinit une proportion gomtrique et qui en est appele bon droit la raison. Cette relation doit tre exprime en elle-mme; et pour elle-mme; en cela consiste lattitude de lanalyse: lanalyse montre la vraie voie pour laquelle une chose a t mthodiquement invente, et fait voir comment les effets dpendent des causes. 22
9

No se trata entonces de aquellos objetos sensibles o susceptibles de una intuicin emprica, se trata de una relacin interna abstracta de una concatenacin en el fondo lgica. Lo absoluto en la geometra sinttica de los antiguos es como dira Spengler apolnea, en la geometra analtica es fustica. Lo absoluto no es lo aparente, trasciende este plano hacia lo mas general y abstracto. No se trata ya de lneas sino de medidas, de valores abstractos susceptibles de ser tratados como objetos aritmticos o algebraicos. Descartes en este terreno abre un camino para el desarrollo de la matemtica moderna y de la ciencia. Ser un camino que se profundizar definitivamente en el siglo XIX: un camino de abstraccin necesaria pero no infinita, es decir, con fronteras que desde finales del siglo XIX se hacen manifiestas angustiosamente. La expresin de las relaciones geomtricas en algebraicas se convierte desde un punto de vista tcnico esencial para Descartes. Frente a este problema es que utiliza las coordenadas. Como advierte Brunschvicg: "...la GEOMETRIE utilise le systme de coordonns le plus simple, celui quOresme employait en vue de reprsentations purement graphiques comme les symboles auxquels dans les REGULAE Descartes recommandait davoir recours: systme des coordonns rectangulaires qui sont appeles aussi coordonnes cartsiennes".
23

Sin las coordenadas rectangulares las que enlazan las relaciones geomtricas y las algebraicas. En las relaciones algebraicas se expresa lo que es esencial, la magnitud. Observa Brunschvicg: "L'quation algbrique exprime la relation fondamentale qui constitue la grandeur ; elle est Iabsolu ". 24 Que esto sea as para Descartes, ya lo hemos dicho, corresponde a premisas metafsicas. La longitud es la unidad bsica, la medicin, de la realidad espacial. La descripcin debe hacerse en estos trminos. Es interesante como la concepcin de la metafsica cartesiana lo lleva a la aritmetizacin de la geometra, y a poder describir el espacio geomtrico analticamente. Esta concatenacin afianzara la comprensin de la realidad a travs de la geometra euclidiana, pero al mismo tiempo sentaba las bases para una crtica de esa situacinrelacin, como se desarrollara en los siglos venideros. En las REGULAE se tiene una yuxtaposicin de geometra y aritmtica, en la Gomtrie se da una jerarquizacin; Brunschvicg lo capta as:

10

"Les REGULAE partaient de la mathmatique proprement dite pour tendre a I'ensemble des problmes qui pouvaient se poser a I'homme la mthode de la rsolution dont cette science avait, seule jusqu 'ici, donn I'exemple. L'arithmtique et la gomtrie y sont juxtaposes comme satisfaisant galement aux exigences de I'ordre et de la mesure. Avec la Gomtrie la juxtaposition se change en hirarchie; la quantit soumise a la restriction que lui impose la reprsentation spatiale devient quelque chose de compos par rapport la quantit dfinie uniquement au moyen des oprations de I'arithmtique, exprime a I'aide des systmes symboliques de I'algbre". 25

La reforma de la matemtica cartesiana se integra en un contexto histrico en el que diferentes elementos deben siempre analizarse. Los desarrollos de nuevas formas de organizacin econmica y social, as como del conocimiento tcnico y tambin social, fueron un motor para resultados tericos como los presentes en Descartes. Tambin influa la filosofa de la poca, sus debates en torno a la deduccin y la intuicin. Los resultados de los algebristas italianos seran decisivos. Las circunstancias empujaban pero no necesariamente determinaban. La condensacin de reglas en el Discurso del Mtodo, las concepciones en torno al espacio ya la geometra, tal vez las hubiera presentado Fermat o Tartaglia, si no hubiera existido Descartes. Pero tal vez no. Tambin pudieron no haberse nunca presentado y entonces el camino de las concepciones occidentales en torno al espacio ya la geometra hubieran seguido un camino menos abstracto y menos metafsico. La sociedad y la historia influyen en la constitucin de las condiciones y circunstancias de la vida y prctica de los hombres, pero no las determinan. El papel de los individuos en la historia ha significado a veces el avance o retroceso de naciones enteras. Qu es determinante en una situacin histrica es algo que no se puede abordar con ningn mecanismo metodolgico a priori. Ni las condiciones sociales ni los individuos en s sirven como criterio universal para entender por s solos la historia. Pero eso s, en su concatenacin recproca, en la resultante variante de todas las condiciones sociales e histricas y la practica individual podemos encontrar mejor las explicaciones del devenir de la humanidad. Las reformas cartesianas a la fsica como a la matemtica deben comprenderse como un todo terico, ntimamente entrelazadas. 26 Ya lo dije antes, se pueden ver ambas reformas como una sola aproximacin al mundo. Pero, se trata de algo ms. Existe una gran unidad en el mtodo de deduccin de resultados partiendo de principios a priori abstractos e insensibles: De ideas innatas. De hecho en la cosmolgica solo puede tener coherencia si se introducen premisas metafsicas. En la reforma matemtica el resultado es una
11

nueva forma de concebir la matemtica; en forma ms precisa: una nueva matemtica. La generalizacin, la abstraccin, y el tratamiento axiomtico, caracterizan la matemtica moderna. El papel jugado por Descartes es en este terreno extraordinario. Los resultados cartesianos contenidos especialmente en las REGULAE y en la GEOMETRIE deben analizarse en conexin con las reglas puestas en EL DISCURSO DEL METODO. 27 Las reformas cartesianas deben estudiarse en conexin con el desarrollo de la axiomtica. En este terreno Brunschvicg no hace mucho, lo cual debilita el esclarecimiento del contenido de las reformas cartesianas. La axiomtica no es un mtodo nuevo en la historia del pensamiento matemtico. Es ms, se trata de un modelo caracterstico de la antigedad griega, que podemos observar claramente desde sus principios hasta Euclides. Los ELEMENTOS son la obra sintetizadora de la geometra antigua ms importante. El mtodo de exposicin es el axiomtico. En el mundo occidental este ha sido para bien o para mal caracterstico. 28 Descartes retrotrae en su descripcin de la geometra este mtodo. Es fcil de entender para un pensador occidental. Lo ms interesante es tal vez que lo aplique ala cosmologa. Las reglas de funcionamiento del mundo fsico expresadas axiomticamente. Esto tampoco es completamente nuevo pero su trabajo signific un replanteamiento en su tiempo. La axiomtica es esencial para la explicacin de los resultados cientficos. Da una forma ordenada y lgica de la teora. Es til. Sin embargo no es el mtodo del conocimiento cientfico. La prctica de la ciencia no es deductiva por excelencia, sino todo lo contrario: inductiva. La ciencia es prctica de experiencias, observaciones y generalizaciones, establecimiento de hiptesis y comprobacin de errores; y nuevas aproximaciones. 29 Siempre ha sido as: la relacin hombre-naturaleza en el conocimiento as se da. Ha sido, sin embargo, una caracterstica occidental el tratar de ocultar ese "sucio y oscuro" proceso prctico y plantear la ciencia como meros sistemas axiomticos y formales. Esto no es tampoco casual. Se trata de un principio filosfico y epistemolgico asentado profundamente en la historia. Casi todas las grandes doctrinas filosficas siempre han partido de ese fundamento metodolgico. Esto en mi opinin ha influido negativamente en el proceso de la ciencia y el conocimiento. Descartes parte de ese principio no particularmente en su filosofa de la matemtica, sino en general como parte de su filosofa racionalista, deductivista y axiomtica. En la reforma cosmolgica y en la geometra el mtodo es idntico, eso s los resultados no. En la matemtica la axiomatizacin permiti liberarse de esquemas burdos y rgidos en torno a s misma. La afluencia posterior de nuevas entidades matemticas, nuevas estructuras, y concepcin moderna arranca de esto. 30 Es hoy da discutible si esto slo acarre beneficios en la matemtica y sus fundamentos. Soy de la opinin de
12

que todava hay muchos problemas por resolver. Lo que s es indiscutible es que para la fsica la reduccin axiomtica fue ambivalente: benefici en las condensaciones de resultados y sus aplicaciones, pero deterior una actitud ms decidida hacia la prctica y al experimentacin cientfica. Brunschvicg es, por otra parte, muy poco crtico de los resultados cartesianos. Tanto en el sealamiento de las debilidades que lo llevan a la metafsica, as como el forzamiento de la realidad en aras de un ideal matemtico (Husserl, que le debe tanto a Descartes en su obra, es por ejemplo muy claro en la crtica de esa matematizacin enfermiza). La aproximacin a la reforma cosmolgica cartesiana no puede ser completa si no se analiza el problema del tiempo en Descartes. Descartes pasa de la extensin al movimiento sin detenerse suficientemente en el concepto de tiempo. De hecho este elemento es tremendamente importante. El concepto de realidad espacio-temporal es clave para la comprensin cientfica moderna. Tiene que ver con la configuracin de los lmites del universo y del sentido cosmolgico y hasta termodinmico del mismo. La visin mecanicista espacial de Descartes no poda ser capaz de hacer avanzar en esa direccin del pensamiento cientfico de la poca. Que la matemtica moderna, como proceso de abstraccin y generalizacin, se haya iniciado desde un principio ligada a una concepcin metafsica no puede dejar de tener consecuencias en el conjunto de la historia de la matemtica. Este salto de al abstraccin matemtica no se hace con una comprensin de sus lmites y alcances, que vienen dados por la concatenacin misma de la realidad. Seguro que en los desarrollos de esta ciencia, posteriores a Descartes, la abstraccin ha desbordado los lmites de lo real como tal, ayudando a introducir en el edificio matemtico serios problemas en sus bases ms profundas. La crisis moderna de los fundamentos de la matemtica en alguna medida ha tenido que ver con ese desbordamiento. Este sera un tema para la investigacin en los fundamentos de la matemtica pero que no es mi objetivo a abordar en este artculo. La solucin a los graves problemas que se suelen plantear con el trmino crisis en la matemtica, slo puede intentarse partiendo metodolgicamente de las races epistemolgicas y hasta ontolgicas. En el conocimiento matemtico es una problemtica antigua la relacin existente entre sus entidades y la realidad. Ya en Pitgoras se afirmaba la descripcin del mundo a travs de los nmeros naturales. Esta tendencia mstica en torno a las nociones matemticas se manifiesta tambin en Platn. Las nociones matemticas deben analizarse como cualquier nocin terica en relacin a la prctica y vida social-material. Se trata de entender el status de la dicotoma validez-verdad en cada nocin. En qu medida es un cuerpo lgicamente consistente y con cul lgica, aunque no corresponda por lo menos en primer lugar instancia a una
13

entidad material particular. Ms ni se trata solo de esto: se trata en primer lugar de definir una posicin en torno a la verdad matemtica y a la naturaleza matemtica, y esto es lo que nos coloca en el terreno de la epistemologa y la ontologa. Brunschvicg establece en LES ETAPES DE LA PHILOSOPHIE MATHEMATIQUE la concatenacin de las reformas cartesianas. Establece algunas de las caractersticas de ambas. Sin embargo no va a las races tericas, y filosficas en general, que pueden iluminar el anlisis cartesiano; por lo menos no suficientemente. La concatenacin de ambas reformas en Descartes no es una necesidad de cada una de ellas, no se desprende del tratamiento axiomtico de ambas. Es en las consideraciones metafsicas bsicas cartesianas que encontramos las justificaciones intelectuales del anlisis. La filosofa de la matemtica, no puede prescindir de la Filosofa en general. Esto es absolutamente claro en Descartes, pero tambin es vlido en otros filsofos de la ciencia y de la matemtica. Si se quiere dar cuenta por ejemplo- de las nociones de Frege en torno a la aritmtica, i.e. el logicismo, por ms tcnico que aparezca, slo lo podremos hacer adentrndonos en el mundo general de sus concepciones filosficas. Las reglas metodolgicas generales son las que en particular se expresan en el tratamiento de lo particular en el conocimiento filosfico.

14

Brunschvicg, Len. LES ETAPES DE LA PHILOSOPHIE MATHEMATIQUE. Paris: Librairie scientifique et technique A. Blanchard, 1981 p. 101. Las citas se hacen usando la lengua original del autor, con el propsito de tener una referencia ms fidedigna. Ibid, p.103. Ibid, p.103. Ibid, p.104. Ibid, p.99. Ibid, p.105. Ibid, p.107. Ibid, p.107. Ibid, p.107. Ibid, p.106. Ibid, pp.107-8. Ibid, p.108. Ibid, p.111. Ibid, p.111. Ibid, p.111. Descartes (citado por Brunschvcg) Ibid, p. 112.

10

11

12

13

14

15

16

17

Buchdahl, Gerd. METAPHYSICS AND THE PHILOSOPHY OF SCIENCE. Cambridge: The MIT PRESS, 1969 p.85.
19

18

Ibid, pp.89-90. Brunschvicg, L. LES ETAPES DE LA PHILOSOPHIE MATEMATIQUE. P. 114. Ibid, p.115. Ibid, p.117. Ibid, p.119. Ibid, pp.120-21. Ibid, p.121.

20

21

22

23

24

25

Un interesante estudio sobre las relaciones entre ciencia y matemticas se puede ver en Bochner, Salomon. THE ROLE OF METHEMATICS IN THE RISE OF SCIENCE. Princeton: Princeton University Press, 1981.
27

26

La contribucin precisa de Descartes en cuanto a la geometra analtica puede verse en Boyer, Carl. A HISTORY OF MATHEMATICS. Princeton: Princeton University Press, 1985.

15

Para un estudio del axiomatismo en la constitucin de la estructura ideolgica sobre las matemticas, puede estudiarse mi trabajo: Implicaciones terico-filosficas del teorema de Gdel en el paradigma racionalista de la reflexin sobre las matemticas. Rev. Fil. Univ. Costa Rica, XXIII (58), 183-194, 1985. Sobre la relacin entre matemticas y realidad se puede consultar mi artculo: Sobre la llamada armona pre-establecida entre matemticas y realidad, en el libro HISTORIA DE LA CIENCIA Y LA TECNOLOGA. Cartago: Editorial Tecnolgica de Costa Rica, 1989 (editado por Angel Ruiz Ziga y Luis Camacho). Opiniones interesantes sobre la axiomatizacin y la historia de las matemticas se pueden consultar en la obra clsica de E.T. Bell: HISTORIA DE LAS MATEMATICAS. Mxico: Fondo de Cultura Econmica, 1985. *(La primera edicin en ingls es de 1940)
30 29

28

16