La epistemologa de las matemticas

Jos david Garca Cruz BUAP

Introduccin
La proximidad entre matemticas y filosofa ha sido reconocida por profesionales de ambas disciplinas. La aparente intemporalidad de la verdad matemtica, la exactitud y objetividad de sus conceptos, su aplicabilidad a los fenmenos del mundo emprico[...] 1 incluso ha sido reconocida desde la antigedad. Podemos mencionar a Platn, Pitgoras, Leibniz, Frege, o Husserl, como ejemplos de est sntesis. Al igual que ellos, consideramos que uno de los problemas ms grandes en la filosofa de las matemticas es el concerniente a sus fundamentos. Elaborar un anlisis de este problema es de suma importancia, ya que, los matemticos consideran este problema de manera parcial y no vislumbran la profundidad de la reflexin filosfica; y los filsofos toman en cuenta este problema pero comnmente carecen de herramientas formales para conseguir resultados ms claros. En pocas palabras, es muy comn que los matemticos carezcan de perspectiva filosfica, y los filsofos carezcan de formacin matemtica. Formularemos esta dificultad siguiendo dos perspectivas: la primera concerniente a la naturaleza del lenguaje matemtico, en la que la nocin de inferencia est como ncleo, es decir, su relacin con la lgica; y la segunda referente a cuestiones de orden puramente epistemolgico, donde se considerar como base el anlisis de la metodologa de quienes practican esta disciplina. Iniciaremos con una descripcin general de cmo es que surgen actualmente problemas en la ciencia. Posteriormente, nos centraremos en las matemticas, especficamente considerando problemas generados a principios del siglo pasado ligados ntimamente con la lgica. Finalizaremos con algunas reflexiones entorno a la fundamentacin de las matemticas y la justificacin de dicha disciplina.

El problema de la ciencia y la filosofa

Pensar en la relacin generada entre filosofa y ciencia es remitirnos a la epistemologa. En trminos actuales no podemos ligar esta disciplina nicamente a la filosofa, aunque por otro lado no corresponde su estudio slo a la ciencia. Tomar a la epistemologa como interseccin de filosofa y ciencia parece lo ms plausible, y que, por un lado quienes actualmente llevan a cabo su estudio son personas de formacin cientfica; pero, por otro lado, esta prctica conserva un tinte que podramos caracterizar de filosfico. En qu consiste esta parte filosfica? La respuesta depender de cmo es que caractericemos a la filosofa. Paradjicamente si intentamos definir el concepto, caemos en cuenta de que no podremos justificar cmo es que hay mltiples definiciones igualmente vlidas, y si slo aceptamos una de ellas, incurriramos en la paradoja de anlisis, que nos llevara a la simple sinonimia. Nuestra propuesta es aceptar (as como Blanch propone) que la epistemologa es un hbrido entre ciencia y filosofa, y en base a ese supuesto mostrar, ms que definir, cmo es que tal interseccin se lleva a cabo. En base a esto consideremos lo que Blanche afirma:
1

The close conecction between mathematics and philosophy has long been recognized by practitioners of both disciplines. The apparent timelessness of mathematical truth, the exactness and objective nature of its concepts, its applicability to the phenomena of the empirical world [...] Bell, J. The Philosophy of Mathematics. Disponible en: <http://publish.uwo.ca/~jbell/The%20Philosophy%20of%20Mathematics.pdf>

Los problemas de la epistemologa se reparten en dos grandes grupos: los de carcter general, que abarcan la totalidad de las ciencias; y los propios de cada grupo de ciencias ms o menos amplio o concernientes a una sola ciencia e incluso a una rama de una determinada ciencia. Blanche (1973: 45).

Los problemas generales se remiten principalmente a cuestiones que todas las ciencias formales y humanas tocan. Por ejemplo, lo concerniente a la naturaleza de el objeto de estudio de cada disciplina; o problemas referentes al grado de incidencia que determinada ciencia ofrece al conocimiento en general. Podramos ubicar estos problemas en un nivel bsico en el que el cientfico se ubica para mirar a su disciplina frente a otras, tomando como referencia lo comn y diferente que en ellas existe. Los problemas del segundo tipo son los que en nuestro caso consideraremos. El caso de las matemticas es interesante por la sencilla razn de que el anlisis generado a partir de esta disciplina ofrece resultados a ambos tipos de problemas, generales y particulares. A continuacin iniciaremos con una somera descripcin de la problemtica.

Los problemas filosficos de las matemticas

Frege fue uno de los iniciadores de la lgica como ahora la conocemos, el denominado axioma fregeano que consiste en considerar a los valores de verdad como la referencia de las proposiciones2, fue uno de los mayores avances en la lgica desde Aristteles. Una de las principales consecuencias de extender el dominio de la lgica fue la incidencia en otras disciplinas, en caso particular su incidencia en las matemticas. Esta relacin no fue algo nuevo, ya desde Leibniz o el propio Aristteles, las matemticas y la lgica han sido consideradas disciplinas que comparten ciertos aspectos. Pero no fue hasta que personas como Frege, Peirce, Boole, o Russell, idearon la labor de fundamentacin de las matemticas, que su nexo se torn ms evidente. Tal y como remarca Blach (bid.: 50):
[...] Con la nueva lgica el problema esencial es saber si la matemtica se puede reducir a ella, lo que sera una manera de fundarla. De cualquier modo, cada problema de la epistemologa matemtica tiene su correspondiente en lgica y a la inversa. Quiz sera mejor decir que son comunes a ambas ciencias: por ejemplo, el problema del estatuto ontolgico de sus nociones o del correspondiente objetivo de sus trminos. Con facilidad podramos plantearnos, en matemticas, el problema de saber si los principios de la lgica expresan leyes del ser, normas del pensamiento o bien reglas para manipulacin de los smbolos; en otras palabras, si la lgica es una ciencia objetiva, normativa, o bien un arte del clculo.

Lo primero que podemos notar es que el principal problema es el fundamento de las matemticas. Es reductible a otra disciplina? Si es as, cul es? Y ms an si se intenta fundamentar en otra disciplina, qu nuevos problemas genera? Adems si genera problemas, es posible solucionarlos, o inevitablemente caemos en cuenta de la imposibilidad de su fundamentacin? Estos problemas surgieron a partir de que se comenz a notar que gran parte del lenguaje matemtico tiene como fondo la lgica clsica de primer orden. Enunciados sobre nmeros fcilmente pueden traducirse a frmulas de lgica, que tienen como dominio la cuantificacin sobre objetos, qu objetos, los que estudian los
2

Suszko, Roman (1977). The Fregean axiom and polish mathematical logic in the 1920s. Studia Logica 36 (4):376-380.

matemticos. Por tanto, si podemos traducir al menos una parte del lenguaje matemtico a la lgica, es plausible pensar en reducirla, y fundamentarla en esta ltima. Esta sugerencia provoc que la comunidad matemtica y filosfica se dividiera, tal y como Blanch lo nota, en tres principales escuelas: la que planteaba que las matemticas describen cierta parte de la realidad, que no es ni espacial ni temporal(logicismo); la que considera que las matemticas se construyen y no se descubren, por ende no 'existen', por as decir, los objetos matemticos (intuicionismo); y finalmente la que considera que las matemticas slo son un juego con signos no interpretados (formalismo). Puede verse la simetra con las tres principales tesis medievales que surgieron con referencia al problema de los universales. Ahora bien, el problema radica principalmente en cmo es que la lgica interviene en estas tres perspectivas. Por un lado, para el logicista, la lgica fundamenta la prctica matemtica, ya que lo que el matemtico en ltima instancia hace, es seguir esquemas inferenciales dados por la lgica, para descubrir verdades que se supone ya estn ah, slo hace falta explicitarlas. Por otro lado un formalista considera que la lgica en s misma carece de la potencia para lograr la empresa que el logicista propone. Ya que la propia lgica como fundamento, debe a su vez estar fundamentada en algo ms, y eso presupondra, o un regreso infinito, o un crculo vicioso, porque qu otra disciplina ms que las matemticas podra fundamentarse la lgica. En cambio, para un formalista, un modelo axiomtico, basado en la simple manipulacin de signos podra otorgar la objetividad necesaria para fundamentar todas las matemticas sin acarrear los problemas que sujetan al logicismo. Esto para un intuicionista es imposible, puesto que, la mera manipulacin de signos carece de un rasgo fundamental en la prctica matemtica, esto es, el hecho de que las matemticas son algo generado por seres humanos, y como tal son producto de la convencin entre la comunidad cientfica. En otras palabras, el intuicionista no acepta que las matemticas se descubran, pero tampoco que sean un mero juego sin significado. Nos centraremos principalmente en el intuicionismo, y analizaremos dos problemas fundamentales, el de cmo es que el matemtico elabora su trabajo, y cmo es que su disciplina conserva la objetividad que la caracteriza y a su vez carece de referencia.

El intuicionismo frente a los problemas de las matemticas

El intuicionismo como disiciplina filosfica en relacin a las matemticas inicia con el trabajo de Luitzen Egbertus Jan Brouwer. Posteriormente su discpulo Arendt Heyting formaliz sus ideas generando los primeros sistemas de lgica intuicionista. Tales sistemas tienen como caracterstica principal el rechazo a la ley del tercio excluso (para toda frmula a, o a, o no a). En el caso de la filosofa de las matemticas otro filsofo es imprescindible, Ludwig Wittgenstein. La importancia de este ltimo radica en que su labor sitetiza las ideas que la mayora de los intuicionistas mantuvieron. Especficamente Wittgenstein insiste en que lo caracterstico en filosofa de las matemticas no es hacer ms trabajo matemtico, consideremos lo que Tomasisni dice al respecto:
La aclaracin filosfica no es ella misma un clculo ms. O sea, las dificultades de comprensin que plantean las transiciones matemticas no son un asunto ms de nmeros y no son quienes las efectan los ms apropiados para dar cuenta de ellas. Lo que tenemos que examinar es lo que los matemticos dicen acerca de su propio trabajo[...] Tomasini (2006: 79).

Es en este anlisis del lenguaje matemtico en donde se encuentra lo que verdaderamente es filosfico. Sera imposible para el filsofo distinguirse del matemtico si no contara con un

mtodo propio. Este mtodo, de acuerdo con Wittgensten y Brouwer es el anlisis lingstico. El fundamento de las matemticas, para ambos, no se encuentra en la lgica vista como una herramienta matemtica, sino que se encuentra en la filosofa que a su vez toma a la lgica como instrumento de anlisis. Adems de ello, Wittgenstein propone algo que lo acerca a la fenomenologa, tal y como Tomasini puntualiza que debe ser la labor del filsofo de las matemticas:
[...]Nuestro objetivo debe ser ms bien describir nuestro proceder de manera neutral, sin prejuzgar la cuestin, es decir, sin dejar que las imgenes en circulacin se nos impongan y nos hagan encarar y comprender el tema a travs de ellas. (bid.: 81)

Lo que se quiere decir con esto es que las imgenes que llegan de los propios matemticos al hablar sobre su disciplina tienen prejuicios metafsicos. El lenguaje de los matemticos est cargado de trminos equvocos, que toman como analoga a trminos del lenguaje ordinario, ejemplos de ello, 'lmite', 'funcin', 'determinante', 'conjunto', etc. Conclusin Hemos mostrado cmo se generan problemas en la ciencia en general. Adems hemos analizado especficamente esto en la matemticas, y hemos tomado como ejemplo varias propuestas. Finalmente podemos preguntar en base a los resultados de la seccin anterior: con esto se quiere decir que las matemticas no hablan de nada? No. Las matemticas, a mi parecer, tienen su justificacin en una cuestin puramente pragmtica. No es el caso que el matemtico describa, o descubra ciertos aspectos de la realidad, que estn ah esperando a ser vistos. Tampoco se reducen a una manipulacin de signos sin significado. Las matemticas, en cambio, s son necesarias (algo que se comparte con el logicismo) pero no por razones de descubrimiento, sino por razones de conducta ante el uso de esta disciplina. Al aprender cmo usar las reglas, cmo transformar signos en otros signos, aceptamos ciertas convenciones, y eso hace que lo que el matemtico ejecute sea necesario. l sigue las reglas y al seguirlas su procedimiento lo lleva al resultado correcto, pero correcto significa en este contexto, lo estipulado al aceptar las reglas.

Bibliografa
Blanch, R. (1973) Epistemologa. Oikos, Espaa. Bell, J. The Philosophy of Mathematics. Disponible en: <http://publish.uwo.ca/~jbell/The %20Philosophy%20of%20Mathematics.pdf> Suszko, Roman (1977). The Fregean axiom and polish mathematical logic in the 1920s. Studia Logica 36 (4):376-380. Tomasini, A. (2007) Filosofa y Matemticas. Ed. Plaza y Valdz. Mxico.