EPISTEMOLOGA Y ONTOLOGA MATEMTICAS DE FREGE ngel Ruiz www.cimm.ucr.ac.

cr/aruiz

EN

LA

FILOSOFA

DE

LAS

Referencia: ao 1986. Revista Venezolana de Filosofa, Editorial Universidad Simn Bolvar, Sociedad venezolana de filosofa, Venezuela.

Sin duda la filosofa del Gedanke expresa el nudo terico central de la aproximacin de Gottlob Frege a la comprensin de las matemticas. La nocin de Gedanke es la base de ese tercer mundo no fsico pero real que sirvi para definir su filosofa, y ahora como un punto central para caracterizar a Frege como platnico. Ahora bien, las consideraciones ontolgicas de Frege no estn separadas de otras de orden epistemolgico. Cul es el peso de la epistemologa en la resultante vectorial del pensamiento de Frege, slo puede comprehenderse en el anlisis concreto histrico de su evolucin intelectual. No es el mismo en la Conceptografa que en Der Gedanke (publicado por primera vez en los Beitrge zur Philosophie des Deutschen Idealismus en 1918). Las suposiciones de Frege en torno a los pensamientos (es decir, su aprehensin como caracterstica del conocimiento) y, de hecho, el reconocimiento de la importancia de la indagacin epistemolgjca, est presente en la tarea de la construccin de un lenguaje ideal. 1 Podra argumentarse entonces que la Conceptografa de 1879 obedeci a motivaciones epistemolgicas. Sin embargo, esto debe relativarze. La Conceptografa fue escrita como: ... un medio para evitar malentendidos con otros y, a la vez, para evitar fallas en el pensamiento propio, ambos defectos tienen su origen en la imperfeccin del lenguaje.2 Esta opinin la expuso Frege en Sobre la justificacin cientfica de una Conceptografa, que apareci en Zeitschrift fr Philosophie und Philosophische Kritik en 1882. En sus Grundlagen de 1884 seal la misma motivacin en relacin a los fundamentos de la matemtica: Es insoslayable el requerimiento de evitar todo salto en las deducciones. Que cumplir esto es difcil, lo muestra la duracin de un proceso que ha de realizarse paso a paso. Cada prueba, aunque slo sea algo complicada, amenaza con tomar una dimensin exorbitante. A ello se aade que la enorme variedad de formas lgicas acuadas por el lenguaje, dificulta aislar un conjunto de modos de inferencia suficientes para todos los casos y fciles de abarcar de una mirada. Para evitar este inconveniente he ideado mi Conceptografa.3 Las motivaciones epistemolgicas estn presentes pero no de una manera particular ms all de la bsqueda del rigor y el mejor medio para la transportacin de significaciones. La discusin sobre los pensamientos pone de manifiesto la relacin ntima entre ontologa y epistemologa en Frege. En el marco mismo de la interpretacin clsica de Frege como realista, la incidencia sobre determinantes epistemolgicas es imposible de evitar. La discusin se puede centrar a partir del nfasis que se le brinde a los trminos de la pareja ontologa- epistemologa. Para Eldridge, Frege es realista, pero de una manera muy precisa: Como los tradicionales epistemlogos racionalistas y realistas, Frege se preocupa

por negar que nuestro conocimiento y lenguaje son fundamentalmente artificiales o convencionales; ms bien, algo en el orden de las cosas nos hace comprender y usar el lenguaje como lo hacemos y nos permite conocer algunas cosas como son. Pero, para Frege (...) las cosas que nos permiten entender y usar el lenguaje como lo hacemos no son ideas innatas, implantadas, puestas en nosotros por Dios, sino pensamientos aprehensibles a travs de la construccin y empleo de un lenguaje ideal. Parece que, de acuerdo con Frege, si nosotros solamente pudisemos hablar un lenguaje del ser cuasi-platnico, entonces porciones considerables de nuestro mundo y en particular la naturaleza del conocimiento, se volveran puramente inteligibles para nosotros.4 Aqu Frege es visto en el terreno de la epistemologa realista. La diferencia estriba en la nocin de Gedanke y los mecanismos para aprehender los pensamientos. Frege escapa del esquema epistemolgico cartesiano por la va de subordinar la investigacin epistemolgica al anlisis del significado. 5 El conocimiento (para Frege) no depende de tener ideas (Descartes), sino de la validez del razonamiento. La aprehensin de pensamientos es la respuesta que Frege exhibe. Para Frege el tener ideas es subjetivo, lo objetivo son los pensamientos (es evidente que la respuesta a la visin cartesiana sin embargo no alude a la nocin de idea que participa en su ontologa). Aunque Frege no todo el tiempo en su obra se refiri a los problemas epistemolgicos explcitamente, las motivaciones epistemolgic4s en toda ella son centrales. La introduccin de Frege en el mundo de los fundamentos de la matemtica no fue una continuacin lineal de los trabajos de rigorizacin emprendidos en el siglo XIX. Se concentr en estos temas como parte de una visin que buscaba la fundamentacin de la matemtica, a travs de lo que cree est conectado a la verdad absoluta, la lgica. Su proyecto de validacin de la matemtica era un proyecto epistemolgico, y es el que recorre toda su obra. En ese sentido, en la pareja epistemologa-ontologa es el primer trmino el que debe enfatizarse en la evolucin de los trabajos de Frege. Este sentido epistemolgico nos permite comprender el sentido de lo que E. Currie dice al comentar que: son los argumentos de Frege, por la objetividad de los pensamientos, los que son importantes y duraderos, no sus argumentos, por su realidad.6 Objetividad, como veremos, no es asimilable con realidad; est ms conectado con la certeza y la validez. Sobre la nocin de objetividad hay toda una discusin que abordaremos en las siguientes pginas. Frege hace descansar la validez de la aritmtica en las reglas de la lgica, en la derivacin lgica; pero no es claro cuando se pregunta por la justificacin de la verdad de estas ltimas. Lo nico que hace es dar un mtodo de validacin. En los Grundiagen la validacin lgica ltima reside en la Razn en s, en las leyes ms generales de sta. Si bien la interpretacin que enfatiza la epistemologa es fundamental, no por ello las consideraciones en torno a la ontologa deben desaparecer. No es posible comprender el pensamiento de Frege de una manera completa si no se tiene en cuenta el conjunto de premisas y actitudes filosficas. Su realismo no es una consideracin exclusivamente epistemolgica, sino ontolgica. Y, como dice Michael Dummet, esta interpretacin precisa es necesaria; cualquier otra slo puede generar confusin y malentendidos.7 El anlisis sobre Frege ha vuelto a ser objeto de atencin en los ltimos aos. A propsito de l se ha desarrollado una interesante discusin: es adecuada la clsica interpretacin de Frege como realista? No se habr exagerado mucho con lo del metafsico tercer mundo de Frege? Siempre se ha separado a Frege de Kant: cun cierta es esa visin sobre la filosofa de Frege? Una de las interpretaciones ltimas ms heterodoxas ha sido la de Hans D. Siuga, que conviene resear. Para l, la interpretacin clsica de Frege como realista

conduce a no leer importantes hechos de la doctrina de Frege, entre los que seala el principio del contexto8 Para ste es un abuso identificar la revuelta de Russell y Moore frente al hegelianismo con otra similar de Frege.9 Tanto Frege como Kant objetaban el idealismo subjetivo, pero no desecharon un idealismo objetivo o trascendental. 10 El verdadero enemigo de Frege no era el idealismo sino en general lo que se podra llamar escepticismo positivista.11 En resumen su posicin sobre Frege es la siguiente: para Frege se trataba de mostrar que la lgica matemtica era objetiva, su oposicin era a la psicologa fisiolgica y al idealismo subjetivo, al formalismo y al psicologismo, y sobre todo su crtica incida en el naturalismo y la negacin de verdades a priori; Frege criticaba al empirismo y para ello utilizaba mtodos kantianos. Para justificar esta aproximacin, Siuga se concentra en la nocin de objetividad: aqu encuentra, segn l, el punto medular para su rechazo de la interpretacin clsica realista. 12 Sluga replantea esta nocin no en trminos ontolgicos sino epistemolgicos; conecta a Frege con la tradicin de Lotze-Kant, 13 con lo cual hace de la nocin de objetividad una no referida a la realidad sino a la validez. Afirma Sluga: Lotze es explcito en mantener que llamarlos (se refiere a los sentidos de expresiones) objetivos no es hacer un reclamo ontolgico.14 Y, adems: Mi objetivo ha sido mostrar que es plausible una interpretacin de Frege como perteneciente a la tradicin Lotze-Kant. Ni Lotze ni Kant son considerados generalmente como realistas y conectando a Frege con ellos yo quera socavar la interpretacin universal realista de su pensamiento.15 En su interpretacin Sluga critica las nociones de objetividad y de realismo en trminos de validez independiente de oraciones, usadas por Dummet en su famoso libro Frege: The Philosophy of language.16 Las conclusiones de Siuga conectan a Frege con Kant de una forma que, sin embargo, no resulta muy convincente. Dice: La posicin de Frege parece ms cercana al idealismo kantiano que al realismo entendido en la forma usual. Lo objetivo no existe para l separado de o fuera de la Razn, sino que constituye su estructura incambiable. Frege difiere de Kant al sostener que esta estructura no est compuesta slo de conceptos, sino tambin de objetivos a priori: En este respecto est completamente de acuerdo con Lotze (Loik, pp. 532). En este sentido la doctrina de la objetividad de nmeros, conceptos y pensamientos no es ontolgica para Frege (subrayado aadido).17 Sluga sugiere que, al igual que la Filosofa Crtica de Kant, Frege rechaz las cuestiones ontolgicas por considerarlas metafsica dogmtica.18 Por ltimo, Siuga seala que Frege no puede ser considerado realista en un sentido fuerte cuando llega a admitir que ... espacio y tiempo son intuiciones a priori y que las proposiciones geomtricas y temporales son, entonces, sintticas a priori.19 Tambin vincula a Frege con Kant el hecho de que para el primero no existe una relacin directa con los objetos. Estn los pensamientos va interpuesta; en Kant son las categoras del entendimiento. Estos dos ltimos hechos no conducen, sin embargo, necesariamente a las conclusiones de Sluga, como explicar ms adelante. La palanca argumentativa de Sluga es la de hacer desaparecer prcticamente la ontologa en Freg y dotar a todas las consideraciones fregeanas, adecuadamente, de un carcter epistemolgico. Su lnea de argumentacin, como seala G. Currje, est referida al sentido general de la filosofa de Frege. 20 Ahora bien, es una actitud metodolgica tremendamente difcil de sostener en el anlisis de la filosofa de Frege. Es un poco grueso

afirmar que los pensamientos en Der Gedanke de 1918 jueguen un papel similar al de las categoras kantianas del entendimiento Es tambin muy difcil sostener que, independientemente de lo que haya dicho Lotze, cuando Frege hablaba de nmero uno como un nombre lgicamente propio, pensara que no haba un objeto propio para l.21 Por otra parte, tampoco es concluyente que Frege haya credo en el carcter intuitivo de la geometra, al igual que Kant. La filosofa de Frege no es un cuerpo terico axiomtico, homogneo y coherente en todas sus partes; es ms bien, una resultante de premisas, mtodos y actitudes tericas. En algunas partes encontramos la influencia de Kant, en otras no. La parte central de los trabajos de Frege reside precisamente en desterrar la intuicin kantiana de la aritmtica y demostrar la analiticidad de la misma. La clave para comprender la filosofa de Frege se encuentra en dos actitudes metodolgicas Por un lado, entendiendo su filosofa como una resultante de diversas componentes tericas, es preciso exhibir esas componentes, el papel que juegan y trazar la direccin del vector que a su vez se transforma y evoluciona en el tiempo. En Frege hay varios elementos presentes, imbricados y activos: la presin del marco epistemolgico kantiano, la extraordinaria valoracin de la lgica y la aritmtica, la preocupacin por el rigor, la consistencia y el fundamento lgico, el nfasis en lo axiomtico y formal contrapuesto al mundo emprico, etc. y una poderosa actitud realista frente a las entidades abstractas. Esta ltima ocup en toda su obra un papel decisivo; sin embargo, es necesario colocarla siempre en el lugar concreto que ocup, lo que exige tambin el anlisis concreto. Por otra parte, en un sentido distinto pero complementario a lo anterior, es necesario hacer el anlisis de la evolucin de la relacin entre epistemologa y ontologa en Frege. En sta no es posible enfatizar a la primera o a la segunda simplemente, es necesario recorrer la produccin filosfica de Frege en sus diferentes etapas y, aunque comprendiendo la unidad recproca de los trminos de esta relacin, analizar el papel que cada uno de ellos jugaba en cada momento. Frege no mantuvo toda su vida la misma interpretacin epistemolgica ni sta pes de igual manera en todos los proyectos que estableci. De igual forma no mantuvo siempre ni la misma ontologa ni sta ocup el mismo papel en su filosofa. Yo creo que est libre de duda suponer que las preocupaciones epistemolgicas en el Frege de la Conceptografa y de los Grundiagen der Arithmetik fueron las decisivas en la elaboracin de sus proyectos de fundamentacin, mientras que la ontologa estaba en un plano secundario. Al igual, se puede considerar el contenido de su Der Gedanke cargado de ontologa. Podemos coincidir en este sentido con los especialistas que, en un grado mayor o menor, afirman el arranque epistemolgico de Frege; podemos coincidir tambin, en particular con Currie, en su consideracin del objetivismo de Frege con una teora epistemolgica sobre el tipo de conocimiento que podemos tener y que no puede ser explicado por el contenido subjetivo de la mente.22 Tambin pareciera lo ms razonable suponer que entre los Grundiagen y los Grundgesetze haya habido variaciones en la ontologa de Frege. Currie sugiere que el realismo no se da en los Grundiagen, sino que se desarrolla luego en respuesta a problemas de la psicologa filosfica, y que la tesis de un reduccionismo exclusivamente epistemolgico es insuficiente: la explicacin que yo ofrec pretenda lanzar luz sobre los comentarios de Frege sobre la actualidad (WIRKLICHKEIT) de los Pensamientos. Pero hay otros aspectos del realismo de Frege: su insistencia en la existencia de funciones, nmeros, extensiones y, ms en general, recorridos de valores, o lo que el llam objetos lgicos. Este aspecto especficamente matemtico del realismo de Frege no puede ser explicado por completo sobre la hiptesis de que l estaba tratando de resolver probleMas acerca de la naturaleza de la cognicin; a no ser que digamos

simplemente que una disposicin a favorecer objetos abstractos en un rea lo hizo ms receptivo para ellos en general.23 Para Currie el platonismo matemtico de Frege aparece en el momento en que decide introducir una categora de objetos para fundamentar la aritmtica, cuando no puede construir los nmeros slo sobre la base de conceptos.24 Fue entonces, para garantizar la existencia de suficientes objetos lgicos, que Frege sac la existencia de sus recorridos de valores, lo que est sancionado en los Grundgesetze por el Axioma V.25 Este axioma no seala lo que son los recorridos; brindan slo algunas de sus condiciones. El status metafsico de la nocin es poco claro.26 Para Currie esta situacin contrasta con la de los Grundlagen, en donde los nmeros estn claramente determmados en una teora como productos de nuestra estructura cognoscitiva ms bsica.27 La certeza apodctica de la Aritmtica en los Grundiagen descansa en la claridad con que se aprehenden las verdades sobre los nmeros y esto es as ... porque son creacin de la misma razn.28 Esla supuesta prdida de esta claridad, cuando se conecta recorridos con nmeros en los Grundgesetze, lo que conduce a Currie a concluir acerca del origen del realismo de Frege. En ese mismo artculo traza algunas consideraciones sobre la epistemologa en Frege; reafirma el papel de los pensamientos como las ... nicas entidades abstractas que entran en contacto con nosotros y a las que Frege les adscribe WIRKLICHKEIT (actualidad). 29 En Frege (segn tste) no existe un platonismo epistemolgico si por ello se entiende lo que dice Michael Resnick (es decir, una identificacin de la relacin del sujeto con los objetos fsicos y la existente con los nmeros). En realidad, es necesario aclarar esto mejor. Los objetos fsico sn aprehendidos a travs de la experiencia, aunque se introducen en su conocimiento los pensamientos: esto ltimo tambin sucede con los nmeros. En esto s habra coincidencia. Sin embargo la forma precisa de llegar a unos y a otros es diferente. El sujeto se relaciona con los objetos fsicos de manera directa, en cambio con las entidades matemticas el sentido de directo, que aparece antes aportado por la percepcin no est presente. Esto es apenas natural: de alguna forma el sentido de la realidad de lo material se introduce en la visin realista. Independientemente de que se admita la hiptesis particular de Currie en torno a la forma como se gest el realismo en Frege es indiscutible que se detecta un cierto cambio filosfico entre los Grundlagen y los Grundgesetze y, ms an, entre el primero y Der Gedanke. La conexin de nmeros y recorridos se entiende mejor con una interpretacin no slo epistemolgica, sino ontolgica, en concreto realista. De igual forma sucede con la descripcin del tercer mundo de pensamientos que aparece en 1918. Si bien en los Grundiagen y en toda esta etapa del pensamiento de Frege las motivaciones descansan especialmente en el dominio epistemolgico, yo considero inadecuada una visin que no haga intervenir el vnculo ontolgico. En la pareja epistemologa-ontologa no se puede prescindir de uno de los trminos. En Frege la nocin de objetividad de los Grundiagen no puede ser asimilada a un criterio de validez, independiente de consideraciones ontolgicas. Tampoco basta buscar una conexin con Lotze para justificar una aproximacin interpretativa sobre Frege. En los Grundiagen dice Frege: Yo distingo lo objetivo de lo tangible, de lo espacial, de lo real. El eje de la Tierra, el centro de masa del sistema solar son objetivos, pero no los llamara reales a la manera en que lo es la Tierra misma. Frecuentemente se dice que el ecuador es una lnea imaginaria; pero resultara falso llamarla una lnea ficticia; no surge del pensamiento, no es el resultado de un proceso anmico, sino que slo es reconocida c aprehendida por medio del pensamiento. Si el ser

reconocido fuera un ser creado, no podramos predicar nada positivo de ella en relacin a un tiempo anterior a su pretendida creacin.30 Lo objetivo para Frege, distinto de lo real, debe entenderse entonces en una forma muy precisa: no a la manera que lo es la Tierra misma. Es decir, real es asimilable a lo material, lo sensibl, lo espacial de una forma directa. Lo real es una nocin que aparece en Frege muy fsica, como dijo Russell del objeto fregeano en los Principios. Esta nocin no parece referirse exclusivamente a condiciones de validez, lo objetivo apunta aqu a una categora de cosas que no son creadas, sino existen en s, y son as pues descubiertas. Para Frege la rgida separacin entre pensamientos, ideas y objetos, se realiza para apuntalar las condiciones de los primeros. La objetividad no es mera apelacin a una consistencia lgica, es un reclamo ontolgico, si se quiere, de verdad. Veamos como Frege usa la nocin de objetividd en los Grundiagen: Cuando a la nieve se le llama blanca, se quiere expresar una propiedad objetiva que a la luz habitual del da se reconoce en una cierta sensacin (...). De esta suerte, las palabras para los colores no sealan con frecuencia nuestras sensaciones subjetivas, de las que no podemos saber si concuerdan con las de otros pues patentemente esto no garantiza de ninguna manera la misma denominacin, sino que sealan una propiedad objetiva. As por objetividad entiendo una independencia de nuestro tener sensaciones, de nuestro intuir e imaginar, del construir imgenes internas a partir de los recuerdos de sensaciones anteriores; pero no una independencia de la razn, ya que responder a la pregunta de qu cosa es independiente de la razn, sera como juzgar sin juzgar, como lavar una pelliza sin tener que mojarla.31 Cuando Frege se refiere aqu a una no independencia de la razn, no parece entender esto como que la razn crea, lleva integrada en s misma las propiedades objetivas: ms bien, se refiere a la capacidad de la razn para aprehenderlas. En los Grundiagen el sustrato que aparece mejor sancionado en el tercer mundo de Der Gedanke no est planteado ni formulado de idntica manera, pero existe bastante continuidad en las consideraciones de Frege sobre el problema. Encontramos desde un principio una actitud platonista que introduce entidades abstractas separadas de un proceso de construccin psico-social, aunque aprehensibles por la razn a travs de mecanismos que se van precisando con la evolucin de su pensamiento. Esta actitud es el factor determinante en la resultante de su filosofa, es un marco de condiciones bsicas en la concepcin y desarrollo de los proyectos de fundamentacin matemtica. Ahora bien, su teora del conocimiento no puede estudiarse como una consecuencia mecnica de esa descripcin, la ontologa no contiene toda la filosofa, evidentemente. La aproximacin epistemolgica de Frege, que tambin vara histricamente, es la palanca motriz en la determinacin de su filosofa. Es necesario en este punto hacer incidir el anlisis en las condiciones de la epistemologa en Frege y, en particular, su relacin con Kant. Para Philip Kitcher, Frege hered el marco epistemolgico kantiano. Seala: Yo espero mostrar que Frege encaj el concepto tradicional de prueba dentro del marco epistemolgico que deriv de Kant. Especficamente, Frege tom de Kant una respuesta a una pregunta que surge para cualquier proponente de la concepcin tradicional de prueba: cmo obtenemos conocimiento certero de los primeros principios de donde empiezan nuestras deducciones matemticas? Creyendo que el recuento general kantiano de fuentes de conocimiento es correcto, Frege mantuvo que Kant haba previsto los materiales para responder esta pregunta pero que haba aplicado mal ese recuento en el caso de la aritmtica.32

La tesis de Kitcher encuentra sustento en los Grundiagen. Frege reconoce aqu los mritos de Kant en la distincin de lo analtico y sinttico, e incluso dice: Si Kant se equivoc respecto a la aritmtica, creo que esto no hace mella esencial en su trabajo. Lleg a la conclusin de que hay juicios sintticos a priori; si stos aparecen nicamente en la geometra o tambin en la aritmtica, resulta de una menor importancia.33 En efecto, sin salir del marco epistemolgico kantiano, lo que propuso Frege fue una correccin precisa en relacin a la aritmtica. Colocada sta en un nivel superior al de la geometra, asimilada a las leyes de las leyes de la Razn, no poda entonces ser producto de una intuicin, aunque fuese a priori. Esto es claro y decisivo en la filosofa de Frege. Nos dice: No yace la base de la aritmtica a mayor profundidad que la de la misma geometra? Las verdades aritmticas gobiernan el campo de lo numerable. Este es el ms comprehensivo, puesto que a l pertenece no silo lo real, no slo lo intuitivo, sino todo lo pensable; as, no deberan estar las leyes de los nmeros, en ntima unin con las del pensamiento.34 La aritmtica es privilegiada y determinante, su fundamentacin es posible por su naturaleza. Es esta valoracin de la aritmtica la base de su correccin a Kant. Frege intent una redefinicin de la noci de analtico para poder con ella dar cuenta de la aritmtica.35 Analtico se asimila a derivable de leyes lgicas, tal porque la fuente del conocimiento analtico como aparece en Kant es oscura. Frege quiso ponerle un parche, pero sin tocar el rest de la estructura epistemolgica. Esta es la visin de Kitcher.36 Frege critica a Kant, le dice que ... ha subestimado como consecuencia de una conceptuacin estrecha el valor de los juicios analticos. 37 Frege critica a Kant sobre la base de condiciones lgicas diferentes, que la tradicin de los Boole, De Morgan, etc., ha engendrado. Dice Frege: El piensa en el caso del juicio universal afirmativo (...) Pero, qu pasa si el sujeto es un objeto individual? y, si se trata de un juici existencial? En este sentido, pues no se puede hablar de un concepto del sujeto.38 Frege piensa que su correccin hace avanzar la profundidad terica en la aproximacin a este problema. Refirindose a las proposiciones aritmticas dice: De hecho estn contenidas en las definiciones, pero a la manera en que las plantas lo estn en las semillas, y no como las vigas lo estn en una casa.39 La fuente que encuentra Frege para las verdades analtias es la derivacin lgica, conectada con la Razn misma. Sin embargo, cuando se suceden los fracasos del proyecto logicista, Frege abaidona esta pretensin y busca fundamentar la aritmtica en la geometra, con lo cual tampoco sale del marco definido por Kant. Se podra argumentar que los lazos de Frege con Knt son menores, accediendo por ejemplo, a las crticas que realiza el primero Contra el psicologismo y el intuicionismo en la lgica y la matemtica, Pero tambin se puede precisar mejor la naturaleza de la crtica antipsicologista que realiza. Se trata, sobre todo de criticar la identificacin de la lgica con los procesos mentales de criticar el consenso acerca de lo verdadero como criterio de verdad y de criticar que el significado de una expresin es la idea que sta genera en nosotros y la identificacin de nmeros con entidades mentales. 40 De hecho, sin sobreestjmar los procesos psicolgicos en el conocimiento vlido, puede sugerirse que la nocin de prueba que usa Frege no est en contradiccin con la que maneja Kant, en donde la prueba escrita es una expresin literal de un proceso mental que produce conocimiento.41

Es claro que Frege hizo en su vida un viaje por la epistemologa y que pas por varias estaciones; en todas ellas la terminologa kantiana aparece pero esto no es suficiente para acentuar exageradamente la relacin de las filosofas de Frege y Kant. Frege reconoci en la evolucin de su filosofa la existencia independiente de entidades abstractas, al mismo tiempo que asumi el marco epistemolgico (a veces corregido) de Kant. Pero no es posible describir en general la filosofa de Frege como una continuacin adaptada del kantismo. Vamos explicar por qu no puede ser as. La bsqueda de la salida de los problemas de la epistemologa cartesiana por la va de la subordinacin de la investigacin epistemolgjca al anlisis del significado, el proyecto de la construccin de un lenguaje ideal, el sentido preciso de la teora de los Gedanke en el conocimiento, as como, sobre todo lo anterior, su valorizacin especial de la lgica y de la aritmtica, en su conjunto ya definen (sin siquiera introducir las consideraciones ontolgicas que he tambin abordado) una filosofa diferente a la kantiana. El marco epistemolgico kantiano es si se quiere un punto de partida para Frege, pero es incapaz de definir su filosofa. De hecho, no esel marco epistemolgico kantiano el que determina el logicismo en Frege; son consideraciones filosficas particulares las que (inscritas tal vez en ese marco general) le dan origen al proyecto logicista, que condensa lo mejor de su filosofa. Aunque no niego la existencia de una importante conexin epistemolgica con Kant, es absolutamente necesario esclarecer en concreto su funcin filosfica autntica. En lo fundamental de su filosofa (le reconociera mritos o no a Kant) Frege se coloc contra Kant en el anlisis de la aritmtica. Esto es ms importante que su acuerdo en relacin a la geometra. Frege se apoy en la tradicin leibniziana, que separa la aritmtica de la geometra;42 interpret a Leibniz en favor de su consideracin de las leyes de los nmeros como analticas: ... para l lo a priori coincide con lo analtico.43 Se coloc de lleno en las tradiciones lgicas y matemticas del siglo XIX que haban abandonado la filosofa kantiana del XVIII. Sobre la base de esto es que valor a la aritmtica por encima del resto de las matemticas, la coloc con un cetro a la par de la lgica, en donde la razn preside. A partir de aqu se define la filosofa de la matemtica de Frege, no a partir de su acuerdo con el carcter sinttico a priori de la geometra. Si la conexin de una filosofa con el marco epistemolgico de Kant fuera suficiente para su caracterizacin, muchos infieles entraran ya en la categora de kantianos. Es acertado conectar a Frege con Kant y descubnr en su anlisis las relaciones entre sus filosofas; pero es insuficiente, ms an, no es lo esencial, en la caracterizacin de su filosofa de la matemtica. Lo que s es necesario en el marco epistemolgico general del que parte Frege en su aproximacin, y lo que es comn no slo a ste y a Kant, sino a la mayora de pensadores occidentales, es la premisa del conocimiento a priori (aunque la nocin de a priori no sea idntica). La mente produce conocimiento verdadero, genera verdades independientes o no del tiempo. Esto se realiza ya sea por la va de la intuicin pura, del oscuro develar conceptual, o por la va de la reduccin lgica... hasta las leyes ms profundas de la razn. Sea cual sea la fuente epistmica escogida, la premisa es la posibilidad de lo a priori en el conocimiento. Esto constituye la parte medular del paradigma racionalista en torno a la verdad, considerada como cerrada en s misma y no como un proceso continuo, polifactico, siempre inacabado, aproximativo. Estos presuposiciones filosficas contribuyen a apuntalar actitudes Qntolgicas platonistas, as como epistemolgicas subjetivistas. Es coherente con esta visin de la verdad referirse a verdades, a pensamientos con un contenido veritativo siempre determinado... dotndolos, si es el caso, de existencia, de valor

ontolgico. Es claro que en la raz de la aprehensin de los Gedanke, subyace este sustrato primitivo. Cuando la mente es as elevada a la categora de productora de conocimiento a priori, se han engendrado las condiciones no slo para explicar la aritmtica, sino el conocimiento en general y toda la realidad. Para Kant, para Boole, para Descartes, y para Frege, la mente es una palanca creadora o aprensora de verdades que, casi siempre, son previamente caracterizadas como absolutas, inmutables (aunque sus nociones de verdad, de a priori, etc., no sean idnticas). Todos ellos han compartido el paradigma racionalista de las matemticas enfatizando a veces unos mtodos y a veces otros. Sus visiones sobre la verdad tienen mucho en comn. Es necesario hacer aqu una pequea disgresin. Cuando la nocin de verdad se relativiza, se devuelve al corazn de lo terrenal; cuando la verdad se transmuta en apenas conjeturas falsabIes (aunque no se sepa muy bien cmo hacerlo) muchas de las actitudes clsicas de la filosofa occidental quedan girando en el vaco. Esta tal vez sera una forma til de actualizar los buenos usos de la navaja de Occam. En Frege no se afirma una concatenacin de las matemticas con las ciencias naturales y la realidad material. No se sostiene como contenido central de la naturaleza de las matemticas las aplicaciones en ciencia, tcnicas, etc. En Frege se apunta a lo a priori y lo deductivo, axiomtico y formal. El logicismo de Frege se desarrolla sobre la base de una actitud platonista radical en casi todos sus aspectos. Notas
Cf. Eldridge, R. (1982). Freges realist theory of knowledge. The construction of an ideal language and the transformation of the subject, Review of Metaphysics, Vol. XXXV, No. 3, Issue No. 139. pp. 506. 2 Frege, G. (1972). Conceptografa. Los Fundamentos de la aritmtica. Otros estudios filosficos. Trad. Hugo Padilla. Mxico: UNAM, pp. 209. 3 Ibid., pp. 194. 4 Eldridge, Ob. cit., pp. 507. 5 Ibid., pp. 508. 6 Currie, G. (1980). Frege on thoughts. Vol. LXXXIX. No.354. p. 245. 7 Cf. Dummett, M. (1976). Frege as a realist, Inquiry, Vol. 14, No. 4. 8 Cf., Sluga, Hans D. (1977). Freges alleged realism, Inquiry, Vol. 20, No. 2-3, pp. 277. 9 Cf. Ibid. pp. 229. 10 Cf. Idem. 11 Cf. Ibid. pp.230. 12 Cf. Ibid., pp. 231. 13 Cf. Ibid. pp235. 14 Ibid. pp. 233. 15 Ibid., pp.235 16 Cf. Idem. 17 Ibid., pp.236. 18 Ibid., pp.236. 19 Ibid., pp.236. 20 Cf. Currie, G.(1978). Freges realism, Vol. 21, No. 2, pp. 220. 21 Dummett, Ob. cit., pp. 457. 22 Currie. Frege on thoughts, pp. 234. 23 Currie, G. (1981). The origin of Freges realism, Inquiry, Vol. 24, No. 4, pp. 448. 24 Cf. Ibid., pp. 448 y siguientes. 25 Cf. Ibid., pp.499. 26 Cf. Ibid., pp.499.
1

27 28

Cf. Ibid., pp.499. Ibid., pp.450. 29 Ibid., pp.451. 30 Frege. Conceptografa. pp. 140 31 Ibid. pp. 141-142. 32 Kitcher, P. (1979). Freges epistemology; Philosophical Review, Vol. LXXXVIII, No. 2, p. 248. 33 Frege. Conceptografa. pp. 1 93. 34 Ibid., p. 130 35 Cf. Ibid., p. 117. 36 Cf. Kitcher. Ob. cit. pp. 252, 253. 37 Frege. Conceprografa. pp. 192. 38 Ibid. pp. 192. 39 Ibid. pp. 193. 40 Cf. Kitcher. Ob. cit., pp. 248. 41 Cf. Ibid. pp.245. 42 Cf. Frege. Conceptografa... pp. 127. 43 Ibid. pp. 130.