Dinoia, vol. 8, no.

8, 1962

APUNTES PARA UNA TEORA DE LA RAZN

l.

La revolucin lgica y el horizonte filosfico

Cuando en 1897 Burali-Forti public la primera paradoja de la teora de los conjuntos, ni l ni los que en aquella poca se interesaban por el fundamento filosfico de las matemticas y de la ciencia, sospecharon la trascendencia de descubrimiento. La repercusin fue muy grande en los crculos especializados, pero se consider que se trataba de un problema local, susceptible de una solucin dentro de las posibilidades existentes. La primera consecuencia fue la intensificacin del moderno movimiento lgico. Desde haca ya medio siglo la lgica se estaba desarrollando a velocidad creciente, pero el descubrimiento de las paradojas mostr que el aparato lgico disponible era insuficiente para abordar el problema de acuerdo con sus exigencias intrnsecas. Los esfuerzos se concentraron en la elaboracin de un instrumento lgico adecuado para tratar el problema de las paradojas y en general de la derivacin matemtica. El resultado de este proceso fue descubrir que las posibilidades de desarrollo de la lgica eran muy superiores a todo lo previsto. Pero el desarrollo del instrumento lgico, al aumentar el poder de anlisis, abri una serie de inesperadas perspectivas. El resultado ms importante fue que la solucin de las paradojas no era un problema tan sencillo ni tan limitado como pudo parecer en los primeros momentos. Pronto se vio que el ataque del problema inicial planteaba nuevos problemas cada vez ms amplios, que repercutan sobre todo el mbito de la lgica y de la fundamentacin de las matemticas. Estos nuevos problemas exigan cada vez mayor eficiencia de las tcnicas de anlisis y esto obligaba a elaborar sistemas deductivos cada vez ms perfectos y amplios. La exigencia de perfeccin analtica se hizo tan fuerte que fue inevitable crear una nueva tcnica para analizar y justificar el propio instrumento lgico. Nace as la metateora, primero como sintaxis y luego como semntica. Esta nueva tcnica analtica abre horizontes mucho ms amplios y renovadores que los que, pocos aos antes, haba abierto la reelaboracin lgica. Se llega a conclusiones totalmente inesperadas sobre el problema de las paradojas y de los fundamentos, se descubren relaciones extraordinariamente profundas entre los mtodos metatericos y los sistemas matemticos y se abren perspectivas revolucionarias sobre el significado de la lgica y del conocimiento matemtico. Aunque en este gigantesco desarrollo se encuentran los ms variados temas, el impulso principal es el desarrollo de la lgica como tcnica de anlisis para fundamentar el conocimiento cien t[ 1391

FRANCISCO

MIR QUESADA

fico. Por eso puede considerarsetodo el movimiento como una revolucin lgica,comouna ruptura de los moldes tradicionalesdel pensamientodeductivo y comola consecuente revelacin de nuevasposibilidadesen la construccin y manejode las teorasexactas. El impacto de la revolucin lgica sobre la concepcinfilosfica de las matemticas ha sido dramtico y su importancia es hoy da universalmente reconocida.Pero no se ven an con la misma claridad las consecuencias que esteimpacto tiene para la temticafilosfica general. Sin embargo,estasconsecuencias son an de mayor importancia que las anteriores,porque abarcan un campono slomsamplio sino msfundamental.Si la lgica esalgo diferentede lo que se crea,si los principios que rigen el conocimientodeductivo son ms amplios que los tradicionalmenteconsiderados, entonceses necesario revisartoda la historia de la filosofa. Porque la filosofa ha pretendidojustificar sus tesisracionalmentey para ello se ha valido siempre,de manera explcita o implcita, de la lgica. La concepcinde la lgica de los diversos sistemasfilosficos ha presupuestosiempre una determinadaconcepcin de la razn, y la concepcinde la razn ha sido el fundamento ltimo de la posibilidad filosfica. Pero no slo la renovacinde la lgica formal repercute sobre toda la filosofa. Los desarrollosde la tcnica analtica que culminan en el advenimientode la metateora, desembocan en un nuevo planteamientode la teora de la verdad, profundamentevinculada con la teora generalde la razn. Se trata en realidad de aspectos de un mismo planteamiento: la fundamentacinltima de todo conocimientocomo tal. La revolucin lgica que se inicia como intento de resolverun problema cientficamentelocalizado, se desarrolla hasta envolver en su poderoso torbellino el corazn mismo de la filosofa. Su verdaderaimportancia reside por esoms que en los resultadosalcanzadospor la moderna filosofa de las matemticas-algunos de ellos asombrosos--en su repercusin filosfica. Esta repercusinno es parcial sino total y exige por eso el replanteamiento de los grandestemasclsicosdesdeuna perspectivadiferente. El replanteamiento a su vez desemboca en el descubrimientode una problemticaespecifica, caractersticadel momentofilosfico, cuyo tratamientohabr de marcar la pauta para una futura reestructuracinfilosfica. En las lneas que siguenintentamosmostrar,de la manerams resumida posible, la trayectoriaque lleva de la revolucin lgica al replanteamiento y reestructuracin de la gran temticafilosfica. No pretendemos de ninguna manera ofrecer soluciones. Lo que interesa es mostrar el sentido profundo del proceso.La reestructuracin final slo podr lograrseuna vez que se haya alcanzadola plena comprensinde las razonesque obligan a plantear su necesdad.'
1 La mayora de los desarrollos que siguen son reelaboraciones (algunas de ellas bastante amplias) de trabajos presentados en diversos congresosinteramericanos de filosofa y

APUNTES
2.

PARA

UNA TEORA

DE LA RAZN

El concepto de razn y el rebasamiento de las doctrinas tradicionales

a) Los lmites de los formalismos. El resultado ms importante y sensacional de todos los obtenidos en el proceso descrito, que constituye un verdadero punto de partida en el camino que conduce a resultados cada vez ms imprevistos, es el descubrimiento de que el lenguaje formal, medio expresivo esencial al pensamiento matemtico, no puede agotar dicho pensamiento. El famoso teorema de incomplecin de Kurt Cdel, demostrado en 1931, revel algo totalmente inesperado: la insuficiencia de la forma expresiva de la matemtica ante el contenido objetivo. Esto oblig a cambiar todas las expectativas sobre el conocimiento matemtico. Clsicamente se crey siempre que todos los problemas matemticos eran, en principio, solubles. Se tuvo la conviccin de que, positiva o negativamente, era posible decidir la validez de una proposicin matemtica. La solucin negativa de una serie de problemas clsicos, como la cuadratura del crculo o la triparticin del ngulo, reforz la creencia en la decidibilidad fundamental de todo problema. Las matemticas eran consideradas, por este motivo, como la ciencia ms perfecta, en que la razn poda abarcar todas las posibilidades y esclarecer todas las oscuridades, aplicando sus principios evidentes e inmutables. La dificultad en la solucin de los problemas radicaba slo en las limitaciones psicolgicas individuales. Pero con el suficiente ingenio era posible resolver -positiva o negativamente- cualquier problema. En principio la razn matemtica no tena lmites. Empero, el descubrimiento de las paradojas mostr que los principios racionales que se haban empleado en la demostracin de los teoremas clsicos, no eran tan evidentes ni tan inconmovibles. Ms an, exista una enorme vaguedad y confusin en el pensamiento de los ms ilustres matemticos cuando se trataba de los principios racionales que se empleaban en la derivacin de los teoremas. La nica manera de luchar contra las paradojas y de encontrar un modo, no slo de suprimir las existentes sino de ofrecer una garanta contra las futuras, era esclarecer rigurosamente el concepto de principio lgico y de derivacin matemtica. Pero la nica manera de hacer esto era mediante un adecuado proceso de formalizacin, es decir, mediante un lenguaje que fuera capaz de expresar de manera completa todos los conceptos empleados en las definiciones, todas las reglas utilizadas en la formacin de las proposiciones matemticas, todos los postulados y todos los principios lgicos empleados en la derivacin de los teoremas. Mientras esto no se hiciera, el proceso demostrativo seguira siendo un proceso vago, con el consecuente peligro de produccin de paradojas. La formalizacin fue, pues, una consecuencia natural e inevitable del afn de superar las paradojas. Por otra parte,
en sesionesde la Sociedad Peruana de Filosofa. Las tesis sobre el lenguaje y la expresin filosfica son de elaboracin reciente.

FRANCISCO

MIR QUESADA

el lenguaje matemtico ingenuo, comparado con el de otras ciencias, es el ms formalizado. Todo matemtico tiene la clara conciencia de que slo a travs de la formalizacin puede lograrse el rigor necesario a su ciencia. Por eso el implacable proceso de formalizacin del lenguaje matemtico que origin ei descubrimiento de las paradojas, fue visto como un proceso natural, como la culminacin de la evolucin del conocimiento matemtico hacia niveles de rigor cada vez ms elevados. Cuando, despus de no pocos esfuerzos y de no poca dosis de genio, los protagonistas de la revolucin lgica lograron formalizar la aritmtica y probaron que en principio cualquier disciplina matemtica poda formalizarse, se crey que se haba logrado rigorizar por completo la ciencia matemtica. Naturalmente, en la nueva aritmtica formalizada, se pudieron probar todos los teoremas clsicos y se lleg por eso a la conclusin de que la expresin formalizada era la culminacin de la ciencia matemtica. A travs de los desarrollos formales, la razn, gracias a sus principios supremos, poda alcanzar el conocimiento cabal de su objeto. Por otra parte, una vez convenientemente formalizados los diversos sistemas matemticos, era posible estudiar sus propiedades formales y determinar si dichos sistemas eran o no susceptibles de engendrar paradojas. Las primeras investigaciones mostraron que gran parte de la aritmtica era consistente, es decir, que convenientemente formalizada, no poda originar paradojas. La razn no slo poda alcanzar un conocimiento completo de su objeto en el campo matemtico, sino que adems poda liberarse de contradicciones internas. Se haba llegado a un estado que permita justificar plena y cabalmente todas las expectativas del racionalismo. El teorema de Godel derrumb todas estas esperanzas. Porque mostr que cuando se trataba de la aritmtica clsica (no de aspectos parciales del sistema sino de todo el sistema tal como se determina mediante los postulados de Peano) era imposible demostrar la consistencia de la aritmtica por mtodos absolutamente seguros, y adems, que el formalismo creado para la aritmtica, que pareca un lenguaje perfecto, no era suficiente para derivar todos los teoremas posibles. Kurt Cdel prob que era posible construir una proposicin aritmtica, con las reglas permitidas en el sistema formal, de manera que ni ella ni su negacin podan derivarse dentro del sistema. Prob adems que, desde un punto de vista intuitivo, dicha proposicin era verdadera. Qued as establecido que cuando se expresa una teora matemtica mediante un lenguaje completamente formalizado, existen proposiciones verdaderas de la teora, que no pueden derivarse como teoremas dentro del lenguaje formalizado. O, lo que es lo mismo, prob que el objeto del conocimiento matemtico rebasa la esfera del lenguaje matemtico, que la matemtica no puede confundirse con el lenguaje que la expresa, porque, por

APUNTES

PARA

UNA

TEORA

DE LA RAZN

143

ms perfectoque sea un lenguaje,nunca podr utilizarse para derivar todos los posiblesteoremasde la teora que formalza,s La situacin se torn altamentedesconcertante. De un lado, el enfoque intuitivo de la matemticallev a la aparicin de las paradojas. Para eliminar las paradojasfue necesarioformalizar la matemtica,es decir, crear lenguajes formales capacesde expresarexplcitamente todos los elementosdel conocimiento matemtico. Una vez lograda la formalizacin se desarroll un mtodo (meta teora) para mostrar,de manerairrefutable, que era posible construir sistemasformalizadosconsistentes.Pero el resultado fue que no poda obtenerseesta demostracinde manera irrefutable y que la formalizacin no agotabala riqueza del conocimientomatemtico. El anlisis del procesode formalizacin que se origin en el afn de evitar las vaguedades intuitivas de la matemticaque condujeron a las paradojas,oblig a reconocer que la matemticaintuitiva no poda ser eliminada por medio de ningn lenguaje formalizado. La situacin era inesperada.Pero no era un mero retorno al punto de partida. Entre la matemticaintuitiva que origin las paradojasy el residuo intuitivo que rebasabala formalizacinrealizada,exista una creacinmetodolgicade excepcionalpenetracin.Por esoesteimpasse constituyel punto de partida de nuevasinvestigaciones y de ulterioresy cadavez ms profundos esclarecimientos. Pero el resultadode Kurt Godel, por s solo, constituyeun callejn sin salida para el pensamiento convencional.Es en s el primer e inevitable obstculo que obliga a la renovacin de ciertas maneras tradicionales de pensar. b) La insuficiencia de los sistemas tradicionales. La consecuencia filosfica ms extraordinaria de la demostracin godelianaes la prdida de vigencia del principio del tercio excluido. Todo el pensamiento matemtico clsico se haba desenvueltosobreel presupuestodel "tertium non datur", y es la vigencia indiscutida de esteprincipio lgico lo que constituy el fundamentode la creenciaingenuade que todo problemamatemticoes soluble positiva o negativamente.Pero, en la aritmtica formalizada,es siempreposible construir proposicionestales que, tanto ellas como sus negaciones son inderivables. O sea,que en relacin al sistemaformal dichas proposiciones no pueden ser ni verdaderasni falsas,porque, matemticamente, la verdad
2 Cuando se inici el movimiento formalista, muchos pensadores,especialmentelos in. tuicionistas,sostuvieronque el ideal formalista era inalcanzable. Pero no pudieron probarlo. Slo Kurt Cdel pudo dar una prueba de la limitacin enunciada. Pero si los formalistas hubieran tenido xito, si hubieran podido construir un lenguaje que permitiese: r) probar que las matemticasson consistentes, y 2) que existe un lenguaje que permite expresar y derivar todas las verdadesmatemticas, se habra llegado a la conclusin de que la esencia de las matemticasreside en su expresin lingstica y que el conocimiento matemticoes racionalmenteperfecto.

144

FRANCISCO

MIR

QUESADA

o falsedad de toda proposicin que no sea un postulado slo puede determinarse por medio de la derivacin o prueba. Puede pensarse que esto sucede slo en relacin al sistema formalizado, pero que en relacin a la matemtica intuitiva, tal como se constituye en la investigacin clsica, el principio conserva su vigencia. Mas quien comprende lo que significa el teorema de Kurt Godel, no puede hacer esta afirmacin, porque si la matemtica no se formaliza y se mantiene en el nivel intuitivo clsico, entonces se producen las paradojas o, en el mejor de los casos, desaparecen todas las garantas contra ellas. Estamos pues ante un verdadero dilema: o se conserva el principio del tercio en la matemtica intuitiva y se produce el peligro de encontrar la contradiccin en el fundamento mismo del pensamiento matemtico, o se formalizan los sistemas matemticos y el principio del tercio excluido no puede mantener su validez absoluta. Esta prdida de vigencia de un principio lgico considerado fundamental es uno de los fenmenos ms sorprendentes de la historia de la filosofa, porque se trata de una evolucin interna del pensamiento que conduce a consecuencias inevitables. No se trata de un cambio de perspectiva histrica, no se trata de un cambio en los valores o en las jerarquas, del triunfo de una escuela sobre otra. Se trata de algo muy diferente: de un resultado lgico, obtenido dentro de las tcnicas ms rigurosas de la misma lgica. Por otra parte, todas las escuelas haban aceptado siempre su validez, aunque discreparan en la manera de interpretarlo y sobre todo de Iundamentarlo.s l. El racionalismo que, a pesar de haber perdido su viejo predominio, se mantena an vigoroso en movimientos como la fenomenologa, recibe su golpe de gracia. Porque a travs de toda la tradicin racionalista se ha hablado de los principios supremos del pensamiento y el principio del tercio ha sido considerado uno de estos principios. No puede concebirse el racionalismo sin la existencia de un sistema de principios captados por medio de una evidencia intelectual indubitable. El advenimiento de las geometras no euclidianas y el impacto producido por la teora de la relatividad y sobre todo, por la teora de los quanta, haba ya mostrado las dificultades insuperables del racionalismo. Pero la prdida de vigencia de uno de los principios fundamentales de la razn es el derrumbe definitivo. Despus de la revolucin lgica no puede hablarse ms de una razn concebida como una estructura cerrada de principios evidentes. 11. El empirismo no puede tampoco dar cuenta de la situacin. La revolucin lgica haba obligado a los empiristas a reconocer que los principios
3 Incluso los mismos hegelianos y marxistas deben aceptar que, en el campo de los enunciados,deben respetarselos principios lgicos formales y que no tiene sentido enunciar dos proposicionescontradictorias o una proposicin que no sea ni verdadera ni falsa. 'Las modernas tendencias de la lgica dialctica, tanto en Occidente (por ejemplo, Lefevbre) como en la Unin Sovitica aceptan la validez de los principios lgicos tradicionales.

APUNTES

PARA

UNA

TEORA DE LA RAzN

lgicos no pueden derivarse de la experiencia. Para evitar el dogma racionalista adoptaron una posicin convencionalista. Los principios lgicos son slo reglas del lenguaje para expresar los fenmenos y estas reglas son convencionales. Las matemticas no son sino la prolongacin de la lgica. Los resultados de Godel invalidan esta posicin. En primer lugar la prdida de vigencia del tertium no se deriva de ningn hecho emprico. Se deriva de una necesidad del pensamiento lgico y matemtico, de una evolucin interna del pensamiento racional que parece mostrar que existe algo as como una regin independiente de la experiencia con un dinamismo propio. No una razn terminada y arquitectnica, cuyos principios son evidentes, pero s una razn que impone una necesidad y que no puede reducirse a puras reglas convencionales. En segundo lugar, y esto es definitivo, el descubrimiento de los lmites de los lenguajes formales muestra que las matemticas no pueden reducirse al lenguaje sino que lo rebasan. Existe pues un mundo matemtico que no es emprico, pero que no puede reducirse a la categora de lenguaje convencional. No hay salida. III. El pragmatismo no ofrece una mejor posibilidad. De acuerdo con su tesis fundamental, los resultados descritos deberan poderse comprender en relacin con la eficacia de la accin. Pero el profundo proceso que conduce a los sorprendentes resultados de Godel no tiene nada que ver con la accin. El proceso que conduce a las paradojas y al intento de ofrecer garantas contra ellas, es un proceso interno del pensamiento. En ningn momento la urgencia de la accin ha orientado el movimiento. La revelacin final de que el lenguaje no puede agotar el contenido de las matemticas, de que existe un residuo intuitivo en el pensamiento matemtico del cual no nos podemos librar y que nos remite a un tipo muy especial de intuicin intelectual, no tiene nada que ver con la eficacia de la accin. Todo el proceso es el resultado de un movimiento interno del pensamiento que culmina en una serie de resultados inevitables, que se imponen por una indiscutible necesidad racional. Pero hay ms todava. El principio del tercio excluido ha demostrado a travs de la historia su extraordinaria eficacia para la accin. No slo el pensamiento cientfico clsico y el pensamiento tcnico, sino hasta la accin poltica lo han empleado de manera ininterrumpida y con xito indiscutible. Y, sin embargo, por un proceso totalmente abstracto del pensamiento alejado de la realidad, y sin ninguna repercusin prctica, se ha tenido que limitar en su universalidad.t
4 Podra pensarseque la utilidad del principio del tercio para la accin es slo en relacin con el mundo fsico, en regiones finitas del universo, y en consecuencia,en relacin a conjuntos finitos de objetos. Pero el principio del tercio excluido es tambin til para la demostracinde teoremasde la teora de los conjuntos y del anlisis, es decir, en relacin a la determinacin de propiedadesde conjuntos infinitos. Ciertos teoremasfundamentales del anlisis no pueden demostrarsesin su ayuda, y el anlisis es el instrumento fundamen-

FRANCISCO

MIR

QUESADA

IV. El materialismo no es una escuelacomparablea las anteriores,pues se trata de una posicin que se define mediante una tesis de carcter concreto: todo en el universo es material, el espritu es un epifenmeno.Aunque por lo general no se hace suficiente hincapi sobre la relacin entre el racionalismo y el materialismo, este ltimo no es sino un tipo de doctrina metafsicay, como tal, estclsicamenteunida al racionalismo. Pero es interesantereferirse al materialismo debido a que una de sus especies,el materialismo dialctico, ha querido interpretar los resultados de Gdel como una confirmacin de los principios dialcticos.P Segn el materialismo dialctico los resultadosde Godel, en el sentido de que no puede demostrarse de manera indubitable (como se crey en un principio que se podra) la consistenciade la aritmtica, demuestraque la contradiccin es el motor del pensamientomatemtico. Nada menos fundado que esta interpretacin. El pensamientomatemticojams ha procedido impulsado por el afn de superar contradicciones,sino por el afn de encontrar nuevas verdades y de resolverproblemasque en s nada tenan de contradictorios,ni contradecan otros aspectosdel sistema. En todos sus desarrollos ha presupuesto siempre,como el principio supremo, el principio de no contradiccin, y es tal la vigencia de este principio que apenasse descubrieronlas paradojas se trat de inmediato de eliminarlas. Se ha podido eliminarlas, y el resultado no ha sido de ninguna manera un sistemaen que las paradojas han sido incorporadascomo elementosde una sntesissuperior. La dificultad de encontraruna garanta definitiva contra ellas no significa que el pensamiento matemticoprogresea travsde contradicciones.El hecho de que se descubrieran contradiccionesque han sido eliminadas (aunquesin una garanta absolutade que no se descubrirn nuevas)no significa que el pensamiento marchedialcticamente.Que el pensamientohumano se tope frecuentemente con contradiccionesy que trate de superarlases un hecho que se ha reconocido clsicamente.Pero el pensamientodialctico no consisteen afirmar esto,sino en la maneracomo concibe el procesoque generala existencia de la contradiccin y la superacin de la misma. Nada de esto puede encontrarseen el pensamientoque se origina en el descubrimientode las paradojas y que asciendehasta la perspectivametaterica. V. La imposibilidad de dar cuenta del procesoque conduce al teorema de Kurt G6del y a sus resultados por las escuelasclsicas,slo deja una puerta abierta: el relativismo. El hecho de que durante milenios se haya considerado, no slo en la filosofa oficial, sino en los presupuestos de la investigacincientfica, que el principio del tercio excluido tiene valor absoluto
tal de la tcnica,es decir, de la trasformacindel mundo. La eficacia de la accin presiona. como se ve, en-un sentido inverso al del movimiento que ha culminado en la prdida del valor absolutodel tertium, 5 Ver el prlogo de Haldane a la edicin espaolade la Filosofa de la Naturaleza de Engels.

APUNTES PARA UNA TEOR1A DE LA RAZN

147

y universal, y que repentinamente se haya demostrado su limitacin y haya sido incluso rechazado sistemticamente por una escuela filosfico-matemtica, demuestra, segn los relativistas, que los principios racionales son funcin de la poca histrica y que el conocimiento es relativo a las vigencias exigidas por una situacin vital determinada. Fuera de las dificultades insalvables a las que conduce todo relativismo (la imposibilidad de justificar el valor absoluto de la propia tesis), el carcter de la situacin hace imposible una salida relativista. Porque dentro del hecho total existe un hecho parcial, que no ha sido suficientemente observado y que invalida ab initio toda interpretacin relativista: la prdida de vigencia absoluta del principio del tercio excluido se debe a la imposibilidad de prescindir del principio de no contradiccin," Es, en efecto, la necesidad de eliminar las paradojas y de ofrecer una garanta contra ellas, lo que genera el hondo proceso que conduce a la limitacin de la validez del principio del tercio. Metafricamente hablando, se sacrifica un principio racional para salvar otro. Y se hace esto por una necesidad absoluta. En todo el proceso el principio de no contradiccin se manifiesta con una evidencia incontrastable. El proceso, en lugar de mostrar que los principios racionales son relativos, muestra que existe un principio absoluto, el principio antifsico, cuya vigencia inconmovible obliga a limitar otro principio que tambin se crea absoluto. De acuerdo con la estructura constitutiva de la lgica, si en un sistema deductivo puede demostrarse una contradiccin, entonces puede demostrarse cualquier proposicin construible dentro del sistema. O sea, que la existencia de una contradiccin deductivamente fundada (o, por supuesto, puramente postulacional), anula ipso tacto el sistema. Esta consecuencia es inescapable, es una propiedad estructural de todo sistema deductivo, es una exigencia permanente del pensamiento. Todo hace pensar que se trata de una vigencia suprahistrica de la razn. La situacin es por cierto desconcertante, tan desconcertante que, como acabamos de ver, rebasa las posibilidades de los planteamientos clsicos. Y, sin embargo, debe ser enfocada e interpretada de algn modo, pues se trata de una temtica que incide profunda y esencialmente sobre los problemas fundamentales del pensamiento tradicional,"
6 En 1954,hice por primera vez referencia a este hecho que considero fundamental, en un ciclo de conferenciasen el Instituto Riva Agero de la Universidad Catlica de Lima sobre "Lgicas no aristotlicas". En 1956,en un trabajo aparecido en la Reuue de Methoptrysique et de Mora/e, "Crise de la scienceet thorie de la rason" me refiero al procesoque hemosdescritoen las lneas que antecedeny hago hincapi sobreel hecho mencionado. 7 Lo dicho vale para todo sistemade lgica, incluso para aquellos, como el de Fitch, en los que se considera, ademsde proposicionesverdaderasy falsas, proposicionesde un tercer valor (indefinidas). En este tipo de sistemasno tiene vigencia el principio del tercio, pero el principio de no contradiccin tiene el mismo valor que en los sistemas;si no fuera

FRANCISCO

MIR QUESADA

c) Hacia una teora de la razn. La imposibilidad de las escuelastradicionalesde dar cuentade la situacin originada por el procesode la revolucin lgica muestrala necesidadde replanteary reelaborarimportantestemas clsicos. Si se interpretan adecuadamente el significado de estostemasy la relacin que existeentre ellos --evidencia de los principios racionales,necesidad de limitar la vigencia de uno de ellos para mantenerla vigencia de otro, limitacin de los sistemas formalespara expresartodaslas posibilidades intuitivas, descubrimiento de un residuo intuitivo- se ve que todosconvergen hacia un ncleo central: el temade la razn. En efecto,el problema de la intuicin intelectual,de los principios, de las posibilidadesexpresivasdel lenguaje,slo tienensentidoen relacin a la actividadfundamentaldel conocimiento racional. El inters de todos los problemasreveladosa travs del anterior anlisis,reside en que inciden directamenteen el problema del conocimientocientfico. Bastaestehechopara que el temade la razn aparezca en el fondo de todos los problemas. Pero el hecho de tratarsedel conocimiento matemtico,muestra que se trata del conocimiento racional por excelencia. Y esto refuerzae intensifica la convergencia problemticahacia el temacentral de la razn. El resultadoms importante del anlisis efectuadoes que, aunque las posicionesclsicasson incapacesde ofrecer una comprensinadecuada del procesodescrito,ello no significa de ninguna manera que se trate de algo caticoo sin sentido. Hemos visto que se trata de un movimientoque sigue pautaspropias,de un dinamismode desarrollointrnsecoque conduceinexorablemente hacia ciertos resultados. Estos resultadosson desconcertantes en tanto rebasanlos moldes clsicosy las costumbres inveteradasde pensar. Peroesterebasamiento y estedesconcierto sedebenprecisamente a la necesidad interna del proceso.Todos nos obliga a aceptarque existeuna dinmica de la razn, una manera de funcionar del pensamientoracional que, debido a su profundidad y a la falta de mediosanalticosadecuados, ha escapadoa la comprensinfilosfica. La nica manera,por eso, de comprenderlos fenmenosdescubiertos, es elevarsedesdeellos hasta una visin generalde la razn,para poder descubrir la unidad y el sentido de todo el proceso.La necesidad de una teora de la razn es evidente," Se trata de una tarea filosfica que no puede evitarseporque constituyeel campo de exploracin impuestopor la dinmica de la marchadel conocimientoracional: se trata de una reelaboracinde la teora de la razn.
as, a todo teoremapodra oponersesu contradictorio, lo que reducirla el sistemaa un conjunto sin ningn valor. 8 No debemosolvidar que la nica manera de obtener esta demostracin es mediante la formalizacin de la teora cuya consistenciase quiere establecer.

APUNTES

PARA

UNA TEORA

DE LA RAZN

149

3. El problema de la razn y el replanteamiento de la temtica clsica a) La intuicin intelectual. El tema de la razn es el punto de convergencia de un complejo temtico que comienza con el replanteamientode ciertos temasfundamentales del pensamientoclsico. En lo que sigue exponemos,de manera sucinta, los primeros resultadosde este replanteamiento que partede temasespecficos, derivadosde la situacindescrita,y que culrnina en una toma de posicingeneralsobrela estructuray el dinamismode la razn. El temaque se imponeen el punto de partida es el de la intuicin intelectual, no slo porque la mayor parte de las teoras tradicionalessobre la razn han girado en torno de este tema sino porque el procesoque analizamosse desenvuelve sobrela basede la relacin entre la matemticaintuitiva y la matemticaformalizada. Como hemosvisto, el origen del proceso es la necesidadde superar las paradojasderivadasde una metodologabao sadaen la utilizacin ingenuade ciertasverdadesmatemticas y de determinadas principios lgicos. y el punto de llegada es la comprobacinde que la formalizacin, que es el procedimientometodolgiconecesariopara la eliminacin principista de las paradojas, no puedeagotarla verdad intuitiva de las matemticas.Todo el procesose desarrollacomo una lucha entre la necesidadde formalizar y la imposibilidad de librarse de conocimientos intelectualesintuitivos. Por eso,mientrasno se esclarezca cul es el verdadero sentidode estosconocimientos y de la imposibilidad de eliminarlos,no puede comprenderse la temticarestante,que, en todo momento,la presupone. El primer resultadoque se desprendedel anlisis, es que, sin ninguna duda, los criterios clsicospara determinar la existenciade evidenciasabsolutas, no puedenya mantenerse .. Pero estono significa que debamosrechazar la existenciade una intuicin intelectualy de una evidenciacorrespondiente. Lo que no puede negarsees que el complejo de evidenciasracionalesque constituyla base del racionalismoclsico, se ha disuelto. Pero lo que no ha sido debidamenterealzadoes que no han desaparecido todas las evidencias. Algunas de las evidencias del complejo,comola del principio antfsico, sehan mantenido,mientrasque otrashan desaparecido, comola del principio del tercio. Se trata de un fenmenosui generis, muy diferentede otros pro cesasdisolutivos,como,por ejemplo,el de la evidenciageomtrica.El advenimiento de las geometrasno euclidianas mostr que no puede hablarsede evidencia geomtrica.No hay ninguna intuicin indubitable de cualidades o relacionesentreentesque puedanser llamadosgeomtricos. Pero estono significa que todaslas disolucionesde evidenciasdebanser del mismo tipo. La disolucin de las evidenciaslgicases de tipo muy diferente. Porque uno de los principios ha permanecidoinconmovible. Es posible rehacer la geometraprescindiendode cualquiera de los axiomaseucli-

FRANCISCO

MIR

QUESADA

dianos,-puestoque todos son independientes.Pero no es posible rehacer la lgica prescindiendode cualquiera de sus principios. El principio del tercio y el de no contradiccin son independientes,puestoque es posible rehacer la lgica prescindiendodel primero. Pero a pesar de su independencia no puede prescindirsedel segundo.? El anlisisdel procesonos pone as en el cauceque debeseguirse.Existe una intuicin intelectual, pero es diferente de lo que siempre ha credo el pensamiento racionalista. Esta diferencia se deriva del hecho de que la constelacin de evidenciaslgicas que siempre aceptel racionalismo se ha desgranado. El procesode desgranamiento nos conducea su vez a un problema que puede considerarse, en relacin a la situacin existente,el problema fundamental de la intuicin intelectual: si existe un procesohistrico segn el cual ciertas evidencias universalmenteaceptadasdurante un determinado periodo permanecen, mientras otras pierden su vigencia,cul es el criterio que permite distinguir las evidencias permanentesde las transitorias? El hallazgo de este Criterio habr de constituir, sin duda, la solucin, o, por lo menos,el encauzamientoadecuadodel anlisis. Hemos visto que en el trmino del procesode formalizacin necesario para probar la consistenciade las matemticasse descubreun residuo intuitivo que la formalizacin no puede agotar, es decir, se descubrenverdades matemticas intuitivas que no pueden enmarcarse dentro del sistemaformalizado. Ahora bien, antesde la formalizacin,en la teora matemticaintuitiva, tal como se presentaclsicamente,se aplican determinadosprincipios lgicos,que son tomadospor el cientfico como evidenciasabsolutas.Cuando se formaliza la teora intuitiva, se incluyen en la formalizacin todos los principios lgicos que sirven de base a dicha teora. Pero una vez que se analiza metatericamente la teora formalizada se descubreque algunos de estosprincipios no tienen el valor absoluto que les reconocala teora intuitiva. La teora formalizadaha servido,pues,comocedazo,como filtro, de los principios de la teora intuitiva. Una vez que nos convencemos de que ciertos principios que la teora intuitiva aceptabacomo absolutos tienen una aplicacin limitada, tenemosque pensar que no hay ninguna razn para seguir usndolosen la teoria intuitiva. Porque si los seguimosusando,estamos rebasandosu campo de aplicacin. Si no tienen valor universal y los aplicamosuniversalmente, podemosdemostraruna serie de teoremassin verdadero fundamento (puestoque en el desarrollo intuitivo no existe el control insobrepasable del anlisis de las posibilidadesderivativas). Pero si en la teora intuitiva no pueden reconstruirsetodoslos teoremas prescindiendo de estos'principios, la situacin sera desesperada.Existira un verdadero
9 Por supuesto,puede partirse de postulados que no sean una expresin directa del principio antfsco, pero de los cuales ste se pueda derivar.

APUNTES

PARA

UNA

TEORA

DE LA

RAZN

callejn sin salida: de un lado, formalizando la teora intuitiva se llega a la conclusin, a travs del anlisis metaterico, de que un principio no tiene vigencia universal; del otro se impone el empleo universal de este principio como nica posibilidad de desarrollar cabalmente la teora intuitiva. La teora formalizada no slo no agotara a la teora intuitiva, sino que nos impondra condiciones que no podran ser verificadas en la intuicin. La rigorizacin obtenida a travs de la formalizacin, no slo sera incompleta, sera, adems, intil, puesto que las limitaciones descubiertas a travs del anlisis metaterico, no podran mantenerse en la intuicin. Felizmente ste no es el caso. La teora intuitiva cuya formalizacin lleva a las conclusiones expuestas, es decir, a la demostracin de la limitacin del principio del tercio, es la aritmtica. Y se ha demostrado que es posible derivar todos los teoremas de la aritmtica clsica intuitiva, prescindiendo del principio del tercio. O sea, que intuitivamente queda verificada la limitacin descubierta por medio del anlisis de las propiedades de la teora formalizada. Existe, como se ve, una relacin de adaptabilidad entre la versin formalizada y el desarrollo intuitivo. Esta coincidencia permite pensar que se trata de un posible criterio para determinar la validez de las evidencias intelectuales. Cuando la formalizacin de una teora intuitiva conduce al desgranamiento de algn complejo de evidencias tradicionalmente aceptadas, conduce tambin a una seleccin: aquellos principios evidentes que conservan su vigencia en el sistema formalizado y que no pueden ser eliminados del residuo intuitivo, poseen una validez absoluta. En cambio, aquellos principios que sufren algn tipo de limitacin o eliminacin como resultado del proceso de formalizacin y de los cuales puede prescindirse en el residuo intuitivo, se revelan como purarnente relativos, derivados de algn tipo de extrapolacin o metabass que ha formado intuicin a travs del hbito. El proceso descrito que nos lleva a vislumbrar un criterio para discriminar el valor de las evidencias, caracteriza la formalizacin de la aritmtica. Si pudiese descubrirse el mismo proceso en otros sistemas formalizados, la generalidad de los sntomas reforzara el criterio propuesto. Vale la pena por eso hacer algunas consideraciones sobre la situacin actual en la formalizacin de las teoras matemticas. El proceso de la formalizacin de la aritmtica es de importancia capital porque la aritmtica es una teora base. Al lado de la aritmtica slo hay otra teora fundamentadora de tanta importancia: la teora de los conjuntos. Si se analizan los resultados de la formalizacin en este caso se llega a conclusiones muy interesantes. El resultado del anlisis metaterico revela que, como en el caso de la aritmtica, el formalismo no agota el contenido intuitivo de la teora. De acuerdo con el teorema de Kurt Godel, si un formalismo permite expresar la aritmtica es sintcticamente incompleto; y ste es el caso de la teora de los conjuntos. Si el sistema es incompleto, entonces existen proposiciones sintcticamente indecd-

FRANCISCO

MIR QUESADA

bles.w Luego, el principio del tercio queda,como en el casode la ,aritmtica formalizada,limitado. Pero esta limitacin no puede verificarse intuitivamente,porque hay una serie de teoremas de fundamentalimportancia en la teora'de los conjuntos,que no puedendemostrarse sin recurrir al principio del tercio. O sea,nos encontremosaqu con el callejn sin salida mencionado anteriormente. En apariencia,el criterio propuestofallara en el casode la teora de los conjuntos. Pero, en realidad, sucedealgo muy importante,que permite reafirmarlo. Porque en la teora de los conjuntosno existeun verdaderoplano intuitivo, en el cual se desarrollela teora. En el caso de la aritmtica este plano existe. Nadie duda que hay una teora intuitiva de la aritmtica,que puede desarrollarsesobre la intuicin de las propiedadesbsicasde los nmerosnaturales.Pero, en cambio,en la teorade los conjuntosno existeuna intuicin o evidenciade las propiedadesfundamentales de los conjuntos.El objetoconjuntono se da a la intuicin intelectualde la mismamaneracomo se da el objeto nmeronatural. Ambos objetospertenecena esferascompletamentedistintas,por eso mientras hay acuerdouniversal sobre lo que significa la teora intuitiva de los nmeros,no hay no puede haber acuerdo sobre lo que sera una teora intuitiva de los conjuntos. Se ve, as, que el criterio de la coincidenciaentre las posibilidadesde la formalizaciny.el residuo intuitivo no se cumple,porque no hay un verdaderoresiduo intuitivo. En la teora de los conjuntos el desarrollo intuitivo puede llamarse intuitivo porque no se han expresadode manera explcita (formal) todos los presupuestos de la teora. Pero no puede llamarseintuitiva porque se base en ciertasintuicionesintelectuales.Lo que sucedees que la expresin"teora intuitiva" tiene un doble sentido:un primer sentidogeneral,en que se toma la expresincomosinnimo de teora ingenua,de teora con presupuestos no analizados, y otro sentidoparticular en que significa,ademsde lo anterior, teora cuyospostuladosexpresan determinadas evidencias. En este segundo sentidose dice que existeuna teora intuitiva de la aritmtica. Pero no puede decirseentoncesque existe una teora intuitiva de los conjuntos. y esto concuerdaperfectamente con el sentido y origen de la teora. La teora de los conjuntosnace como intento de expresarmatemticamente las propiedadesde las multiplicidades infinitas. Y por principio, el infinito no puede captarseintuitivamente..Por eso, desdesu nacimiento,encontr fuertes resistenciasentre importantes matemticos,que criticaban la manera como prescinda de las intuiciones baicas.P Vemos,pues, que en el caso de la
10 Basndoseen el teorema de Lwenheim-Skokem, Wang ha mostrado que la teora de los conjuntos es semnticamente incompleta. 11 No debe creerseque la situacin es simple. Es. cierto que no existe una "intuicin intelectual" del conjunto infinito y de las relacionesentre conjuntos, Pero es innegable que en la presentacinprimitiva de la teora s encuentranuna 'serie de principios y de .reglasque son verdaderamente intuitivos. El anlisis de estosfactoreses de importancia para

APUNTES

PARA

UNA TEORA

DE LA RAZN

153

teora de los conjuntos,no puedehablarsede una falla del criterio propuesto, porque no existe un verdaderoresiduo ntutvo.w El anlisis del proceso de formalizacin de la teora de los conjuntos nos permite as precisar el criterio propuesto:la posibilidad de conservaruniversalmenteciertos principios, (despus que han sido limitadosotros),en el sistemaformalizadoy en la teoraintuitiva, significa que los principios sonabsolutos y que su evidencia es autnticamente intuitiva. Pero estonosconducede inmediatoa una nuevaaltura del recorrido.Porque para que el criterio propuestotengaeficacia,se requiere que exista un verdadero residuointuitivo. Estosucede en el casode la aritmtica.Y significa, por tanto,que debe de existir, ademsde la intuicin de los principios lgicos,una intuicin de otro tipo de verdades.Esto se debe a que el residuo intuitivo se determina como una incomplecin del formalismo aritmtico. La proposicinindecidible construidapor Codel, y todaslas que se han construido despus, son proposiciones que no puedenderivarse (ellaso sus negaciones)dentro del formalismo. Pero lo esenciales que tienen un significado intuitivo, lo que demuestra que hayverdadesaritmticasque no puedenderivarsepor medio del formalismo. Ademsde los principios lgicos,encontramos,pues,en el residuointuitivo, nada menosque la misma aritmtica. Hay verdadesaritmticascaptadasintuitivamentepor medio de la intuicin intelectual. .Ahora bien, de acuerdocon el criterio propuestopuede pensarseen la coincidenciaentre las eliminacionesy las retenciones del sistemaformalizado y las posibilidadesde desarrollarla teora intuitiva de acuerdocon estosresultados. Pero estanecesidadno existe,porque en el casode las intuiciones aritmticasno hay ningn resultadode la teora formalizadaque obligue a limitar o a rechazaralgn principio aritmticointuitivo. El criterio propuesto no tiene aplicacin en estecasoporque se trata de un casodiferente. El criterio slo se aplica en los casosde limitacin de principios, es decir, en los casosen que la formalizacinconducea situacionesen que se descubreque algunos de los principios que se crean evidentesno funcionan de acuerdo con lo previsto. En los casosen que no existelimitacin, entonces el criterio vlido parece
la exploracin del problema de la intuicin intelectual. Pero hasta donde llega nuestra informacin, an no se ha hecho. Por otra parte, en relacin al tema que nos interesa,es decir, a la confrontacin entre el sistemaformalizado y el residuo intuitivo, no puede hablarse de intuicin intelectual, porque se trata de la captacin intuitiva de las propiedades de los conjuntos infinitos y esta captacin no existe. 12 Este hecho abre un nuevo y hondo problema en relacin a la incomplecin de la teora de los conjuntos. Si la incomplecin es sintctica es imposible determinar con precisin el significado de la proposicin indecidible. Se tratara de una proposicin puramente simblica. Si es una incomplecin semnticael problema se generaliza,pues ello querra decir que se han determinadocriterios de validez semnticay esto es precisamente lo que no puede hacerse. . .

154

FRANCISCO

MIR

QUESADA

ser la existencia del propio residuo intuitivo. Cuando, por ms esfuerzos que se hagan,se demuestrala imposibilidad de que un formalismo abarque una determinadateora y como resultadode esta imposibilidad se revelaun residuointuitivo, cuya evidenciase impone a travsde significacionesunvocas,entoncesexiste evidencia intelectual. Puede pensarseque la limitacin del formalismo no est ligada a la existenciade esta intuicin. Puede pensarseque es perfectamenteposible que el formalismocoincida con el estratointuitivo y que entoncesel criterio propuestono tiene aplicacin. Pero, en estecasohipottico,no podra saberse si la intuicin es o no es absoluta. No existira manerade mostrar que existe una intuicin intelectual que no se deriva del hbito psicolgico. Si la formalizacin de la aritmtica no hubiera sido incompleta todos los matemticos habran adoptado un criterio formalista y habran consideradoque las matemticasno son sino sistemasformales que pueden construirse arbitrariamente. La semnticaslo habra tenido sentido en el caso de la aplicacin de las teorasmatemticas a la realidad. Lo reveladores que el estratointuitivo no ha podido ser eliminado. Esto significa mucho ms que la existencia de una intuicin intelectual y nos lleva, como veremosa continuacin, al significadoltimo del lenguaje. Pero significa de todasmanerasque hay una intuicin que rebasatodo esfuerzode formalizaciny que esta intuicin impone sus evidencias. Hay una coincidencia entre el residuo intuitivo y el contenido de la teora intuitiva. El residuo intuitivo, la verdad aritmtica que sepruebaintuitivamenteno pertenece a una aritmticadiferente. Es una verdadque pertenece al campode la teora de los nmerosnaturales,es decir, a la teora que se funda en ciertasintuiciones bsicas.La existenciadel resduo intuitivo redescubre,ratifica, la evidencia de la intuicin aritmtica y por eso puede tomarsecomo criterio de evidencia. Con lo avanzadose ha recorrido ya algn trecho en el cauce impuesto por el anlisisdel procesoque conducea la nuevasituacin. Se ha mostrado que la nueva situacin originada por la revolucin lgica no anula la posibilidad de que exista la intuicin intelectualbasadaen evidenciasde vigencia necesaria y universal. Se ha mostradoque no puedenaceptarseingenuamente todaslas evidenciastradicionales,pero que, en el caso de disolucin que se descubrecomo un inevitable desarrollointrnseco,puede encontrarseun criterio de seleccin. Este criterio se basa en las relacionesentre la teora formalizada y su correspondienteintuitivo. El criterio indicado se desprende del anlisisde slo dos casos:de la aritmticay de la teora de los conjuntos (que sirve,de acuerdoa los resultadospeculiaresde la limitacin de su formalismo, para reforzar la aplicacin positiva del criterio en la aritmtica). Es necesario encontrarnuevoscasosque muestrenque se trata de un criterio general. Pero de todas maneras el hecho de que el criterio se funde en estas

APUNTES

PARA

UNA TEORA

DE LA RAZN

155

dos teorasbsicasmuestraque no se trata de una generalizacinprecipitada. Y, aunque no puede an llegarsea conclusiones definitivas, el planteamiento expuestomuestrala existenciade vas de exploracin muy diferentesde las tradicionales.
(Continuar)
FRANCISOO MIR QUESADA