MATEMTICA Y FILOSOFA INTRODUCCIN

Siguiente

INTRODUCCIN GERAL
A la hora de tratar de escribir una introduccin a este libro haba pensado en intentar explicar cmo cada captulo se conecta con los otros de manera terica y siguiendo cierta secuencia histrica. Ahora que la escribo se me ocurre que lo ms adecuado es no desentraar esta red de conexiones tericas, sino ms bien hacer manifiesta una idea del tipo de tejido intelectual con el que est hecho este libro. O sea, intentar hacer un bosquejo del marco de ideas y opiniones, percepciones e intuiciones que se encuentran en la base del anlisis realizado. Y pienso esto porque se bien que este marco terico con el que usted, estimado lector, pronto entrar en contacto, no es aceptado ni siquiera medianamente en la comunidad no slo de filsofos profesionales sino en la de matemticos y educadores. Se trata de una interpretacin sobre la naturaleza de las matemticas poco ortodoxa. Estas frases constituyen -sin duda- una primera advertencia al lector. Por otra parte, en este libro y en esta introduccin no pretendo demostrar mi visin sobre las matemticas. Me contentar con sugerir ideas, opiniones y digamos tomas de posicin. Estas se van a hacer manifiestas a lo largo del anlisis de los temas propuestos. La pintura que se plantea busca ser apenas una visin diferente a partir de la cual pueda intentarse una reflexin innovadora sobre las matemticas. Se trata en lo esencial de solamente un punto de partida para la investigacin sistemtica y el anlisis detallado posteriores. Este es un libro de filosofa, y como tal no es posible eliminar el papel de la opinin subjetiva y personal. Y aqu vamos a hacer una disgresin. Existe en nuestro tiempo cierta mana a pensar que la filosofa puede sufrir los tratamientos demostrativos que se afirma se dan con la lgica y la ciencia en general. Y es que la opinin -por ms fundamentada que est- nunca deja de ser opinin. Y no por eso deja de ser valiosa. La filosofa, la interpretacin epistemolgica y ontolgica nunca pueden estar liberadas de la opinin y del mundo subjetivo y la visin personal que el pensador le confiere. Y -ms que eso- cantas veces la opinin y la idea no demostrada constituyen precisamente el elemento ms valioso en el avance cognitivo y en el decurso ascendente de la creatividad intelectual. Cuntas veces es la interpretacin subjetiva y, a veces, extraa e intuitiva, la que ha abierto los derroteros al conocimiento positivo. Esto me recuerda una discusin reciente en el V Congreso Centroamericano de Filosofa en donde un par de filsofos jvenes trataban de descubrir un criterio para decidir en torno a la conveniencia de dos teoras cientficas. La idea esencial que se afirmaba era que la mejor teora sera la que explicase por lo menos lo mismo que la otra pero tuviera menos

carga metafsica. Desde el punto de vista lgico, el criterio sonaba muy bien, pero la realidad siempre trasciende la lgica. El caso comn en el conocimiento es ms difcil, no es el mencionado sino otro: la existencia de teoras con ms carga metafsica pero mayor rango explicativo. La metafsica o en nuestros trminos la carga de opinin (aunque no descabellada ni implausible) ms que considerarse objeto para el desprecio debera juzgarse en relacin con parmetros diferentes. Si esto es as -aunque en diferente grados- con las ciencias mismas, pues, entonces, con mayor razn se aplica a la filosofa. La realidad es que el conocimiento de una u otra manera es una combinacin compleja entre lo demostrable y lo no demostrable (de acuerdo a diferentes criterios), lo fundamentado y lo no fundamentado, lo que es opinin y lo que no es opinin. Y no se me mal-interprete, es obvio que slo de meras opiniones no se puede armar el conocimiento. Lo que quiero es sobre todo hacer una llamada de atencin en torno a la naturaleza del conocimiento y a la actitud metodolgica con que debemos juzgar su evolucin. Es entender que el conocimiento es un fenmeno histrico, social e individual, en donde las ideas no se construyen al margen de la subjetividad individual. Cun valioso resulta en estos tiempos ese sano relativismo crtico en torno a la certeza y a la verdad infalible en el pensamiento cientfico y filosfico. La realidad es que en la historia reciente de las ideas filosficas se ha vuelto a incurrir en lo que siempre se dijo criticar de la filosofa anterior: el dogmatismo y la rigidez en el pensamiento. Se ha llegado a pensar que el conocimiento y el pensamiento pueden llegar a eliminar por completo la contaminacin de lo interpretativo y subjetivo. Las viejas ideas leibnizianas del lenguaje universal y la mquina de pensamientos para erradicar la polmica subjetiva y zanjar la discusin mecnicamente han sido en nuestra poca un dogma en buena parte de la filosofa. Es obvio que este tipo de premisas estn en la base de la arrogancia del profesor que se niega a volver la vista ante lo que en su marco estrecho no est demostrado. Pero lo anterior nos conduce tambin a otro de los grandes vicios de los filsofos contemporneos y especialmente de los profesores de filosofa. Y es que existe una desproporcionada tendencia a olvidarse de que en la aventura del conocimiento las ideas son lo bsico. Cuntas veces la preocupacin recae en la estructura formal de lo escrito, en la suficiencia o no de las citas bibliogrficas y de los autores estudiados, o en si la nocin usada en la pgina 16 no es la misma que la de la pgina 48 o peor an resulta -a juicio del profesor- contradictoria. La actividad intelectual -de esta forma- se constrie en los detalles, y las ideas polmicas o novedosas no reciben la menor atencin. Es algo as como si el foco de atencin se ha desvirtuado hacia una direccin

equivocada y estril. El debate fundamentador sobre las ideas abre paso a la mini-polmica sobre si Quine o Russell dijeron exactamente eso o si la cita est mal tomada, o sobre la ausencia de tal o cual referencia, etc. Me deca hace poco tiempo un excelente filsofo costarricense que han habido apenas unas cuantas ideas extraordinarias en la historia del pensamiento, pero que -en realidad- alrededor de ellas el pensamiento humano se ha ido aglutinando. Es completamente cierto, las grandes ideas no han sido relativamente tantas. Y la bsqueda o creacin de este tipo de ideas es precisamente la esencia de la creacin intelectual. Y no se trata -por supuesto- de un retorno a Platn. Las ideas son siempre el resultado de una combinacin de muchos factores histricos (donde la actitud de la comunidad intelectual es una componente sumamente importante), pero siempre creacin humana. No es extrao encontrar, por otro lado, que la subestimacin de la opinin y la interpretacin originales est acompaada de esta sobreestimacin de los aspectos menos trascendentes del pensamiento. Ambos se han convertido en un extraordinario vicio intelectual que ha hecho que muchos buenos cerebros por su propia voluntad se hayan rebelado -desafortunadamente- contra la misma creatividad y contra la inteligencia. Este libro integra varios pequeos estudios sobre el logicismo y la filosofa de las matemticas. A partir del estudio de algunos textos bsicos de Frege y Russell se hace un anlisis de la filosofa del logicismo y no de los aspectos ms tcnicos asociados con ste. A partir del estudio del logicismo se filtran varias ideas en torno al problema de los fundamentos de la matemticas y esencialmente sobre la naturaleza de las matemticas. Para dejar claro desde un principio el tipo de visin que est -globalmente- detrs del anlisis he considerado apropiado -ya lo decamos arriba- hacer una pequea sntesis sobre la misma en esta introduccin. Desde la antigedad griega hasta nuestros das la visin racionalista sobre las matemticas, es decir, aquella en la que se afirma el rol predominante del sujeto, contrapuesto al del objeto epistmico (ya sea este rol vinculado a un nfasis en la lgica, la intuicin o la sintaxis) ha sido una constante en la conciencia occidental. No es entonces de extraar que buena parte de las ideas que todava se poseen a cerca de la naturaleza de las matemticas, as como de su desarrollo y enseanza, estn condicionados por el racionalismo y, en particular, por otra parte, lo que ha sido -en mi opinin- otro paradigma que tambin se ha asociado al clsico racionalismo, por un esquema axiomtico formalizante (es decir, que sobrestima la dimensin de la axiomtica y de lo formal en las matemticas).

Por otra parte, cul ha sido la visin sobre las matemticas dentro de las filas del Empirismo? Tal vez esto sea importante mencionarlo aqu. El Empirismo, si se quiere, ha sido el gran triunfador en el terreno de las llamadas ciencias naturales. La experiencia emprica se acept claramente en las componentes de las ciencias desde por lo menos el siglo XVIII; sin embargo, en las matemticas la cosa no estaba tan clara. La visin filosfica de -por ejemplo- Mill en el siglo pasado afirmaba a las proposiciones de las matemticas como simples generalizaciones inductivas. Sus verdades posean en cada situacin un referente fsico casi inmediato (todo dentro del contexto de un empirismo duro, que haca de la mente apenas cera donde el objeto emprico imprima sus huellas). Las crticas al racionalismo no se dejaron esperar en esta visin tan simplista, obligando al empirismo a buscar una mejor interpretacin de la naturaleza de las matemticas. Gracias al influjo de Wittgenstein y del Crculo de Viena, (as como a la visin de un Russell tardo), el Empirismo del siglo XX decret que las matemticas no se referan al mundo. La evidencia en las matemticas era para el Neo-positivismo evidencia sintctica. En esta visin, las proposiciones de la matemtica equivalen a las del tipo: tres pies hacen una yarda. Con ella se eliminaba de las matemticas -en nuestra opinin- la referencia a la verdad, o a la ontologa, las reglas y objetos de las matemticas aparecen entonces absolutamente convencionales. Este es -de manera esquemtica- el panorama intelectual que ha predominado en la reflexin ms generalizada sobre las matemticas. Tenemos -por un lado- un dinmico racionalismo que encuentra como su oposicin epistemolgica a un inductivismo simplista o, por otra parte, un convencionalismo que libra de contenido fctico a las matemticas. Se trata, entonces, de un marco intelectual en donde no aparece adecuadamente -siempre en nuestra opinin- una esencial referencia emprica intuitiva y, al mismo tiempo, un activo papel del sujeto epistmico. Opino que los intentos empiristas, tanto en el sentido clsico de Mill o de los Neo-positivistas en el sentido por ejemplo de Ayer, no son verdaderas alternativas al racionalismo en la filosofa de las matemticas. Yo afirmo que es necesario buscar una sntesis terica, un nuevo paradigma en la comprensin ms profunda de la naturaleza de las matemticas, capaz de orientar en los prximos aos el desarrollo de las matemticas y la comprensin del sentido de la enseanza de las mismas dentro de ese desarrollo. Creo tambin que esta es una tarea que est planteada de manera histrica. Con una nueva mentalidad filosfica, los aportes de Tales y Pitgoras, por ejemplo, tal vez se podran valorizar mejor en una relacin estrecha y espacial, con la que fue el origen, si se quiere, de la Ciencia Occidental, que supuso la

actitud naturalista jnica. La obra de Euclides, por ejemplo, se podra analizar especialmente como una sistematizacin importante de los resultados de muchsimos matemticos previos. De hecho, de Tales a Euclides se dio un perodo muy rico en aproximaciones y mtodos matemticos. Baste mencionar a los Pitagricos, a Anaxgoras, a Hipias, a Filolao, a Arquitas, a Xenn, a Demcrito, a Teodoro de Cirene, a Eudoxo, etc. Es mi opinin que los problemas clsicos de la matemtica griega fueron planteados en esta poca. Los Elementos de Euclides podran ser comprendidos como lo que en realidad fueron: un texto introductorio de matemticas elementales que se basaba en los trabajos previos. Sera entonces muy razonable sugerir que muchos de los resultados matemticos codificados por Euclides fueron obtenidos a travs de mtodos heursticos, intuitivos y aproximativos, aunque, sin duda, la participacin de la deduccin y la edificacin axiomtica pudo ser una dimensin tambin importante. Pero bien, si la tarea de Euclides la podemos relativizar y caracterizar como esencialmente de formalizacin y sistematizacin, aunque hubiere sido magistral, esta obra no debera verse tanto como un reflejo iluminador de la naturaleza de la construccin matemtica como sobre todo de su expresin. Por otra parte, tambin debera poderse en esta nueva mentalidad filosfica hacer una balance de la influencia que Platn tuvo en en las matemticas griegas y especialmente en el mismo Euclides (indirectamente), y entonces de los muchos efectos distorsionados que este pudo suponer en la obra matemtica y especialmente en su comprensin. Hay que decir, sin embargo, que en el anlisis de la antigedad siempre se debe tomar una precaucin, y es que en ausencia de mayores elementos de informacin siempre existe un nfasis mayor en la interpretacin y en la opinin. No obstante, creo que existe suficiente evidencia para afirmar que el modelo axiomtico de los Elementos no puede considerarse un modelo ni de la construccin matemtica griega, ni de las matemticas en general. Pero ha sido tomado a lo largo de muchos siglos como precisamente eso: modelo de la construccin matemtica. Y por eso cuando buscamos en siglos ms recientes, incluso en el siglo XX, races del xito y la dominacin del racionalismo en la filosofa de las matemticas, no podemos dejar de tomar en cuenta la poderosa influencia que fue este libro de Euclides y, sobre todo, una interpretacin de lo que significaba este libro de Euclides. El caso Arqumedes es, sin embargo, un caso tremendamente interesante. Por una parte, descubrimos en Arqumedes un nmero muy elevado de resultados fsicos y tcnicos, no propiamente abstracciones puras en matemticas. Los trabajos de Arqumedes tenan una estrecha vinculacin con problemas clsicos de Fsica. Sin embargo hay nuevos elementos para poder leer en la historia griega caractersticas o dimensiones de la construccin matemtica. Uno de ellos tal vez se puede apreciar a partir de lo que es posible

que constituya el testimonio ms importante sobre la naturaleza y mtodos de la construccin matemtica en la antigedad. Me refiero a un palimsesto escrito por Arqumedes llamado El Mtodo y descubierto en Constantinopla en el ao 1906. Es precisamente en este escrito en donde Arqumedes nos revela su mtodo mecnico e intuitivo con el que aborda la construccin de sus resultados. No era la fra, metlica y abstracta deduccin la que generaba la base de la construccin de sus resultados matemticos. La forma axiomtica de sus resultados haca referencia fundamentalmente a la expresin, no a la construccin. La matemtica, separada del mundo, aunque en buena parte de la filosofa Griega supuesta codificadora de las leyes del Mundo, apareca en Arqumedes tremendamente ligada a la Fsica, al mundo de lo emprico. Esto es un punto de partida para poder interpretar de otra manera este perodo. Pero podramos irnos a otro perodo de la historia de las matemticas. La historia del Clculo, que va a ser sin duda el primer motor de la matemtica moderna, nos revela la importancia de la Fsica y la intuicin en la gestacin de los conceptos matemticos. Acaso el famoso clculo de fluxiones de Newton no est directamente ligado a la cinemtica? Pero esto que es obvio debe completarse sin embargo con algo ms: El rol de las nociones abstractas en la construccin matemtica. La fuente ms inmediata anterior para el trabajo de Newton fue sin duda la geometra analtica de Descartes, que no es ms que la conjuncin de la geometra griega con los resultados algebraicos disponibles en el siglo XVII. Las nociones algebraicas menos ligadas a los intuitivo y material intervinieron importantemente en una sntesis intelectual dinamizante como la geometra analtica, que a la vez sera un punto de partida central para la creacin del Clculo. Es decir, las dimensiones ms abstractas de las matemticas encuentran su papel siempre en relacin con el mundo fsico y social. Se trata de una combinacin diversa, compleja y distinta de elementos intuitivos y abstracto-lgicos que generan sntesis tericas, en las que a veces predominan unos elementos y a veces otros. Pero que siempre existe una dialctica de ambas dimensiones. Las matemticas del siglo XIX con su abstraccin y con las necesidades del rigor lgico empujaron hacia el apuntalamiento del racionalismo. El logicismo y el formalismo son expresin de la matemtica nueva del siglo pasado. Sin duda podemos decir que hasta la dcada de los aos 30 en el presente siglo no se haban dado importantes crisis o dificultades en esta aproximacin epistemolgica. Sin embargo, en la dcada de los 30 Gdel public un famoso artculo llamado: Sobre sentencias formalmente indecidibles dePrincipia Mathemtica y sistemas afines. Este resultado -como sealaremos en este libro- tiene una gigantesca cantidad de implicaciones con relacin a la epistemologa y tambin a la ontologa sobre las matemticas. Tambin posee

grandes implicaciones con relacin a los sistemas formales en general y a los lmites en particular de los formalismos en matemticas y en el conocimiento. Los resultados de Gdel implican que cualquier formalismo suficientemente fuerte para expresar la teora elemental de nmeros es incompleto. La conclusin es inevitable: las matemticas no pueden ser formalizadas de manera absoluta y adems, lo cual es un corolario del trabajo de Gdel: en las partes formalizables, no es posible garantizar la consistencia. Este resultado slo puede significar que todas las aspiraciones de fundamentar la matemtica por la va de los sistemas formales quedaban semi-destruidas. Y este es precisamente el tipo de fundamentacin que se haba intentado desde finales del siglo pasado. El intento de la fundamentacin de la matemtica entraba entonces en crisis. Esto resultaba un duro golpe tambin para el racionalismo, pero, sin embargo, no implic en la conciencia del pensamiento occidental una renovacin de las ideas dominantes sobre la naturaleza de las matemticas. La realidad es que las consecuencias de los resultados gdelianos no slo no fueron sacados completamente, sino que tampoco lograron ascender mucho en la comunidad intelectual y filosfica de nuestro siglo. El Empirismo Lgico que haba adoptado una reduccin sintctica de las matemticas no pudo suponer una respuesta metodolgica verdaderamente alternativa al racionalismo, y ser capaz de integrar los nuevos resultados. A pesar de esto el Empirismo Lgico ha sido una corriente filosfica bastante influyente en el devenir intelectual de nuestro siglo. A pesar de Gdel, la filosofa de las matemticas ha seguido dominada por ideologas apriorsticas, axiomticas, formalistas, racionalistas o convencionalistas. Los resultados de Gdel eran decisivos, no slo se destruan las vas particulares de la fundamentacin de la matemtica que haban existido hasta entonces, sino que se cuestionaba cualquier fundamentacin basada en el poder casi absoluto de los sistemas formales. Deban de haber conducido a una autntica revolucin conceptual. Es decir, a una renovacin de las categoras usadas anteriormente en la comprensin en las matemticas. En este sentido, las categoras y distinciones del tipo de analtico versus sinttico, a priori versus a posteriori, inductivo versus deductivo, deberan haber sido replanteadas; es ms, en el territorio epistemolgico, la construccin entre empirismo y racionalismo debera haber dado a luz una nueva interpretacin dialctica entre ambas corrientes epistemolgicas. Sin embargo, la mayora de matemticos y filsofos y tambin educadores, se negaron a soltar la tradicional visin sobre las matemticas que parta en particular de su carcter formal, absoluto e infalible. En algunas ocasiones he mencionado la relacin entre los resultados de

Gdel y una crisis del racionalismo, y he encontrado que los filsofos buscan siempre encontrar salidas al asunto y se niegan a admitir el problema: se me dice que no se ha demostrado la crisis del racionalismo, o que en el intuicionismo podemos encontrar gran xito despes de Gdel, o que en la metamatemtica existen nuevas vas de lograr la fundamentacin adecuada del conocimiento matemtico. Se me dice: usted no ha demostrado nada, usted ha hecho un incorrecto anlisis de los filsofos para concluir antojadizamente lo claramente falso. Es natural. Cuando se leen los resultados de Gdel con otra mirada las conclusiones resultan diferentes. Nadie podra afirmar lo que yo he afirmado desde las tiendas de la filosofa tradicional neopositivista, o racionalista (y dentro del abanico de posiciones intermedias que aparecen entre ellas). La interpretacin que hemos delineado se aparta de las visiones tradicionales y busca una conceptualizacin diferente de la naturaleza de las matemticas. Busca impulsar un programa de investigacin en la historia y la filosofa de las matemticas. A manera de sistematizacin de una serie de ideas -y por supuesto de manera esquemtica- me voy a permitir indicar una coleccin de ideas metodolgicas acerca de una nueva visin posible sobre las matemticas. Si usted, estimado lector, encuentra que comparte -total o parcialmente- algunas de las ideas que aparecen a continuacin, sintase preocupado, porque si luego se atreve a decirlo en voz alta puede que no tarde en encontrar quien califique sus ideas de locura, loquera, disparate, etc. Esta es una segunda advertencia. Yo afirmo que las matemticas se pueden entender a partir de una epistemologa que enfatice una relacin mtuamente condicionante entre el objeto y el sujeto epistmico, al mismo tiempo que una ontologa que establezca a las matemticas no como a priori en el sentido clsico (ms an, creo que la distincin es insuficiente e inapropiada para dar cuenta de las matemticas) y considero que estas se refieren al mundo de igual manera que otras ciencias naturales, aunque no de la misma forma. Creo que una combinacin epistemolgica y ontolgica de esta naturaleza crea una marco conceptual diferente. Yo afirmo una epistemologa que apuntala el papel activo, no pasivo ni receptivo, tanto del objeto como del sujeto epistmicos. Es decir, es una metodologa en la que cualquiera de los dos factores puede ser ms determinante que el otro, pero donde esto slo es posible de manera particular y ocasional. Es decir, creo que epistemolgicamente no es posible privilegiar ninguno de los factores epistemolgicos; ni privilegiar el objeto como hace el Empirismo clsico, ni el sujeto como lo hace el Racionalismo, ni el sujeto como lo hace a su manera Piaget. A veces el sujeto puede ser determinante, a veces puede serlo el objeto. Se trata de una relacin dialctica de mutua dependencia siempre en la que slo de manera concreta y precisa, de manera individualizada y especfica, es posible estudiar el peso de los factores

epistmicos. No creo, entonces, en una visin metodolgica a priorstica del rol especfico de los factores epistemolgicos. Por otra parte, me parece de vital importancia, en el anlisis epistemolgico, estudiar el rol preciso que juega el factor social. A diferencia tal vez de una epistemologa clsica, creo que hay que afirmar el papel del factor social en la realidad epistemolgica de una manera independiente, autnoma, condicionante y activa. El anlisis epistemolgico debe entonces estudiarse a partir de una relacin integrada, condicionante y recproca del objeto y del sujeto epistmicos y del factor social aqu con la categora de factor epistemolgico. De nuevo, aqu yo considero que la preminencia de cualquiera de estos tres factores en el resultado epistmico debe ser establecida a partir del anlisis concreto de la situacin concreta. Volviendo a la ontologa, yo s que es una provocacin afirmar que las matemticas no son a priori. Pero creo que es un buen punto de partida para aprehender la autntica naturaleza de las matemticas. Es obvio que no son clsicamente experimentales, pero s creo que es posible determinar los referentes reales a los que sus nociones y conceptos estn vinculados. Es decir, a la hora del establecimiento de criterios de verdad en matemticas no creo que baste ni la consistencia ni la completitud, ni las categoras en general de la lgica, sino que nunca creo posible prescindir de la experiencia como ltima sancin para su verdad. El punto debera ser entonces: Cules son los posibles mecanismos experimentales o no, pero empricos y relacionados con el mundo, capaces de determinar si las proposiciones o teoras estructuradas de las matemticas son verdaderas o no? Cul debe ser, entonces, la nocin de verdad que corresponde?. En este sentido, tal vez, el concepto de modelo, y entonces la recurrencia apropiada a la multitud de modelos cientficos que existen puede darnos la solucin. Creo que centrar dispositivos de investigacin en este territorio sera de gran importancia y resultara extraordinariamente fecundo. Ahora bien, cuando hablo de establecer la experiencia como ltima sancin para la verdad matemtica, no dejo por fuera la importancia de la existencia de importantes falsadores no empricos que pueden jugar un papel en la valoracin veritativa as como en la utilidad y desarrollo de las matemticas. Creo, en efecto, que el rol de la lgica dentro de las matemticas juega un papel muy especial, pero al mismo tiempo entiendo que este papel lo puede jugar precisamente, o se puede jugar precisamente, por el carcter especial de las matemticas, integrado en una realidad global y emprica de las mismas. Con relacin a los referentes de las matemticas, creo que deben considerarse estos referentes no en s mismos, independientes del sujeto, sino que existiendo estos referentes no se puede prescindir de una relacin cognoscitiva con el sujeto, con sus lmites y sus condiciones

(materiales, psicolgicas, etc.) que intervienen precisamente para determinar la naturaleza del objeto cognocitivo. En sntesis: El objeto es subjetivizado y el sujeto es objetivizado. Visto de otra forma, al establecer una relacin material el sujeto con el objeto, se crea un referente en el que es tan importante el sujeto como el objeto, y este referente es el referente para la construccin matemtica; la construccin matemtica como creacin conceptual e intelectual siempre como abstraccin que parte de un referente que slo puede existir en el marco de esa relacin sujeto-objeto. De hecho, yo me aventurara a decir que en general este es el mecanismo bsico a partir del cual se edifica todo conocimiento cientfico. Conceptos matemticos como los de infinito, o el de continuidad, corresponden precisamente a una realidad que no podemos decir que exista en s misma sino a partir de una relacin entre el objeto y el sujeto epistmicos. El infinito no existe externamente o si existe, es un punto a debatir, si se quiere, en el territorio de la prctica. Pero es obvio que existe una realidad que aparece infinita al sujeto, debido a sus lmites, a sus condiciones sensoriales, etc. La percepcin del sujeto es la base de la construccin conceptual y la percepcin no es entonces un fenmeno pasivo en que el objeto brinde sus determinaciones al sujeto; existe una relacin mutuamente condicionante. En esta relacin se construye los elementos conceptuales. Si las matemticas deben verse, como construcciones en las cuales intervienen el objeto y el sujeto, y lo social, en las proporciones que correspondan, entonces, la construccin matemtica debe verse como un acto histrico; es decir la construccin matemtica es histrica. De lo que se trata para quien estudia la evolucin de las matemticas, es de estudiar en cada momento cules fueron los factores que generaron los resultados matemticos planteados. A veces la conexin con las otras ciencias pueden ser lo decisivo, a veces las necesidades de la tcnica y la vida prctica, a veces las necesidades de la coherencia lgica, a veces las intuiciones subjetivas ms extraas. En la aventura de la construccin matemtica los factores decisivos pueden ser muy variados y diferentes. No existe una receta universal a priori. Los temas y problemas de inters en matemticas a veces han estado definidos por la colectividad intelectual o matemtica, a veces por el inters individual. La flexibilidad es en matemticas an mayor que en otras ciencias. Para ir a una asunto particular, pero que siempre ha sido muy importante para m: la visin anterior apunta, para cualquier estrategia educativa en matemticas, hacia el uso de la historia de las matemticas. No es posible pensar en una estrategia de la enseanza de la matemtica al margen de una vinculacin estrecha con el uso de la historia de las matemticas. La historia de la matemtica se puede convertir en un poderoso instructivo no slo para ambientar a partir de ancdotas las clases -cosa que sera importante- y

mejorar la asimilacin de los conceptos matemticos; sino tambin para ayudar a definir la lgica y la estructura de los programas de matemtica. La enseanza de los conceptos matemticos es la enseanza de la construccin de la matemtica. Es imprescindible, entonces, que veamos la historia como un referente metodolgico central a la hora de debatir cmo se trate la enseanza de las matemticas. No quiere decir esto, por otro lado, que el orden que se deba seguir en la exposicin de la matemtica, en su enseanza, sea necesariamente el histrico. Es evidente que las grandes sntesis tericas, los nuevos conceptos deben abordarse introduciendo tambin una alta dosis de deduccin y de modelos que codifiquen esas sntesis y resultados. Es cierto que debe buscarse entonces un equilibrio entre lo histrico si se quiere, y lo lgico. Pero debe introducirse sin duda la discusin histrica en la enseanza de la matemtica, cosa que no ha sido ni estimulado ni sistematizado. La forma precisa del uso de esta debe estar sujeto a investigaciones y experiencias concretas. Es un problema abierto. Yo no creo, por ejemplo, que los cursos de matemtica bsica deban de convertirse en cursos de historia de las matemticas. No creo tampoco que todos los conceptos y las nociones de la matemtica deban introducirse histricamente ni siguiendo la evolucin histrica que tuvieron. Creo ms bien que la historia de la matemtica debe jugar un papel extraordinariamente decisivo en la formacin de los maestros y profesores de matemtica. Creo que si logramos que los maestros y profesores realmente conozcan la historia de la matemtica va a ser posible que enseen las matemticas de una forma que pueda ser asimilada mejor, comprendida mejor, y utilizada mejor por los estudiantes. Aunque no sea esta matemtica presentada a los estudiantes de manera histrica. La presentacin histrica es algo que debe decidirse de manera concreta, de una manera especfica. No creo que de manera a priori podamos definir como se hace esto. Esto est sujeto a la investigacin como ya lo he dicho. Lo que quiero enfatizar es que cualquier concepcin de la naturaleza de las matemticas que afirme a la construccin como algo esencial, que cualquier visin que enfatice los aspectos constructivos de la matemtica, que haga de la evolucin de la matemtica, la evolucin de construcciones, no puede prescindir de una intervencin decisiva del uso de la historia de las mismas. La visin que he tratado de delinear en las pasadas pginas afirma epistemolgicamente un construccionismo -en un sentido general- heurstico, donde el sujeto y el objeto juegan papeles activos definidos y concretos en contextos sociales y de forma histrica; afirma la sancin emprica de la verdad en matemticas, aunque reconoce la importancia de los criterios relacionados con la lgica en la misma. Esta visin estuvo presente cuando redact las pginas que siguen, pero

no se podra decir que cada frase o cada idea que se encontrar en el libro es la deduccin directa de las premisas que he planteado. Se trata ms bien de una relacin intelectual flexible y amplia. No trato de demostrar mi interpretacin subjetiva en el anlisis especfico del logicismo de Frege o Russell ni tampoco busco que todo todo lo que menciono constituya crtica de otras posiciones filosficas. Este libro est compuesto -en lo esencial- por artculos publicados en numerosas revistas acadmicas, e incluso algunos pocos fragmentos fueron tomados de un pequeo libro -de circulacin muy restringida- editado por la Editorial de la Universidad de Costa Rica en 1988: La filosofa de las matemticas y el anlisis de textos en secundaria. Debo mencionar que, sin embargo, la redaccin original fue hecha en 1984 pensando en un libro. Por eso existe una lgica en el anlisis realizado. Esta es ms bien -aunque relativamente- histrica. En el primer captulo se busca analizar algunas aspectos intelectuales previos a la edificacin del proyecto logicista por Frege. Se ponen en conexin algunas ideas centrales de Descartes y Leibniz que se afirman como sustrato del proyecto logicista. Se mencionan avances de la lgica, y sobre todo se hace un anlisis panormico de la historia de las matemticas modernas hasta el siglo XIX, que es donde se afirma est precisamente el sustrato del proyecto. El segundo captulo resume la visin de Frege. El tercer captulo es la descripcin de la etapa del proyecto que desarrolla Russell. Los captulos Cuarto, Quinto y Sexto constituyen una incursin en las filosofas de Frege y Russell en lo que pueden tener de inters para la mejor comprensin de las ideas de estos sobre las matemticas. El captulo Stimo es una breve exploracin sobre las filosofas del formalismo y el intuicionismo que permita al mismo tiempo que ampliar la perspectiva del anlisis del logicismo, realizar una pintura de la problemtica de los fundamentos filosficos de la matemtica en general. El captulo Octavo es al mismo tiempo que el lugar donde se introducen especficamente los teoremas de Gdel, una breve sntesis de ideas a manera de conclusin, especialmente en relacin con el racionalismo. Este captulo no pretende ser el corolario de los siete anteriores captulos, ni tampoco el ltimo eslabn de una demostracin. Se trata ms bien de la sugerencia de algunas ideas y opiniones as como cierto balance terico sobre la reflexin de la naturaleza de las matemticas. El libro contiene -no obstante- suficiente descripcin de las ideas logicistas (as como suficientes referencias) como para servir como introduccin al tema, slo que con una visin intencionadamente parcializada. Aunque el anlisis que se realiza en este libro ha tomado como punto

focal a la filosofa del logicismo, en realidad se trata de una incursin en buena parte de los problemas de la filosofa de las matemticas. En realidad, de eso es de lo que trataba desde un principio.