LAAXIOMTICA

RobertBlanche (1955) Edicinelectrnicade www.philosophia.cl/Escuelade FilosofaUniversidadARCIS.

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. Oh matemticas rigurosas! no las he ol vidado desde que sus sabias lecciones, dulces o ms que la miel, se filtraron en mi corazn como onda refrescante En mi espritu haba algo vago, un no s qudeespeso,comoelhumo;pero,reli giosamente, pude franquear las gradas quellevanatualtar,ymehasdespojado de ese velo oscuro, al modo que el vien to con la niebla. Y han colocado en su lugar una frialdad excesiva, una mesura acabadayunalgicaimplacable. LAUTRAMONT,LoscantosdeMaldoror

/2 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. NDICE

I.LASFALLASDELAPARATOEUCLIDIANO........................................................................................ 4 1.INTRODUCCINGENERAL ......................................................................................................................... 4 2.LOSPOSTULADOS ....................................................................................................................................... 5 3.LASFIGURAS .............................................................................................................................................. 7 4.LOSAXIOMAS ............................................................................................................................................. 9 5.LASDEFINICIONES ................................................................................................................................... 11 6.DEMOSTRACINYDEFINICIN ................................................................................................................ 13 II.LASAXIOMTICASINICIALES........................................................................................................... 17 7.ELNACIMIENTODELAAXIOMTICA ....................................................................................................... 17 8.LAANTERIORIDADDEUNSISTEMA ......................................................................................................... 18 9.INDEFINIBLESEINDEMOSTRABLES.LOSSISTEMASEQUIVALENTES ......................................................... 20 10.LASDEFINICIONESPORPOSTULADOS .................................................................................................... 22 11.DOSEJEMPLOSDEAXIOMTICAS ........................................................................................................... 24 12.LOSMODELOS.ELISOMORFISMO ........................................................................................................... 27 13.CONSISTENCIAEINTEGRIDAD.DECIDIBILIDAD .................................................................................... 28 14.INDEPENDENCIA.ECONOMA................................................................................................................ 31 15.LOSSISTEMASDEBILITADOSOSATURADOS ........................................................................................... 32 III.LASAXIOMTICASSIMBOLIZADAS ............................................................................................... 33 16.SIMBOLIZACIN ..................................................................................................................................... 33 17.FORMALIZACIN ................................................................................................................................... 34 18.DELRAZONAMIENTOALCLCULO ....................................................................................................... 36 19.LAMETAMATEMTICA .......................................................................................................................... 37 20.ELLMITEDELASDEMOSTRACIONESDENOCONTRADICCIN ............................................................ 40 21.LAAXIOMATIZACINDELALGICA ..................................................................................................... 41 22.LAMETALGICA .................................................................................................................................... 44 IV.ELMTODOAXIOMTICOENLACIENCIA................................................................................. 45 23.LASVENTAJASDELMTODOAXIOMTICO ............................................................................................ 45 24.LAAXIOMATIZACINDELASMATEMTICAS ....................................................................................... 47 25.LAAXIOMATIZACINENLASDEMSCIENCIAS .................................................................................... 50 26.LOSLMITESDELMTODOAXIOMTICO................................................................................................ 52 V.ELALCANCEFILOSFICODELAAXIOMTICA.......................................................................... 56 27.LAFILOSOFADELASMATEMTICAS..................................................................................................... 56 28.LAFILOSOFADELACIENCIA ................................................................................................................. 59 29.LAFILOSOFADELCONOCIMIENTO ....................................................................................................... 63

/3 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. I.LASFALLASDELAPARATOEUCLIDIANO 1.INTRODUCCINGENERAL Lageometra clsica,deacuerdoconlaformaqueEuclidesledioensusElementos, pas durante mucho tiempo como un modelo imposible de superar, y, al mismo tiempo, de igualar, de la teora deductiva. Los trminos que son propios a la teora jams son presentados sin una definicin previa, las proposiciones no se citan sin antes haber sido demostradas, con excepcin de un nmero reducido que s son enunciadas,enprimerlugar,encalidaddeprincipios.Enefecto,unademostracin nopuederemontarsealinfinitoydebebasarseenalgunasproposicionesprimeras, perostashansidoescogidasdemodotalqueno subsistadudaalgunaenespritu de su sano juicio. No importa que todo lo que se afirme sea empricamente cierto, pues no se apela a la experiencia para justificarlo. El gemetra trabaja recurriendo slo a la demostracin y nicamente fundamenta sus pruebas sobre lo que ya con anterioridad se encuentre establecido en tanto est de acuerdo con las leyes de la lgica. De este modo cada teorema guarda una relacin necesaria con las proposi cionesdelascualesesdeducidocomounaconsecuencia,demodoque,pruebatras pruebavaconstituyndoseunaredestrechaenlaque,directaoindirectamente,to das las proposiciones se encuentran relacionadas entre s. As, el conjunto integra un sistema del que no se puede sustraer o cambiar una parte sin comprometer el todo.Deestemodo,losgriegosrazonaroncontodalacertezaposibleenelcampo de las matemticas y heredaron al gnero humano los modelos del arte de la de mostracin.1 Mediante ellos la geometra dej de ser una coleccin de frmulas prcticas, o, mejor dicho, de enunciados empricos, y se transform en ciencia ra cional. Viene de all ese papel privilegiado que no se le ha dejado de reconocer. Si seobligaalosniosaestudiarlanoesconelfindeensearlesverdadessinoconel de disciplinar su espritu, pues se considera que su prctica ofrece y desarrolla la costumbrederazonarrigurosamente.ComoescribiL.Brunsvichg:2Euclides,pa ralasinnumerablesgeneracionesquesehannutridodesusustancia,quizhasido menosunprofesordegeometraqueunodelgica.Ylaexpresinmoregeometrico hallegadoasignificarmorelogico.

1 2

Leibniz,Nuevosensayossobreelentendimientohumano(1704),IV,II,p.13. Lestapesdelaphilosophiemathmatique,cap.VI,p.49.

/4 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. Por tanto, ha venido pareciendo cada vez ms que, si bien la geometra eu clidianahabavenidosiendopormuchotiempoelejemplomsacabadoquesepu diera dar de una teora deductiva ideal, el aparato lgico sobre el cual descansaba no era del todo irreprochable. Varias de sus fallas fueron apuntadas desde muy temprano,peronofuesinohastaelsigloXIXquesemidiladistanciaexistenteen tre una exposicin tradicional y una teora deductiva ideal. Una de las caractersti cas que mejor distinguen a las matemticas a partir de esta poca es, de hecho, el acrecentamiento que se dio sbitamente por preocuparse del rigor lgico. Estudia da de este modo con un rigor nuevo, la deduccin geomtrica clsica apareca co mo defectuosa en numerosos puntos. Se hicieron esfuerzos por corregirla y la pre sentacin axiomtica de la teora es resultado de tales esfuerzos. Originada princi palmente como una reflexin sobre la deduccin geomtrica va desprendindose, por lo dems, precisamente en razn de su carcter lgico y formal, de su conteni do geomtrico y, de este modo puede practicarse sobre una teora deductiva cual quiera. Puede decirse que un sistema axiomtico o bien, una teora axiomtica es, en este contexto, la forma definitiva que en la actualidad toma una teora deducti va. En modo alguno puede decirse que es el sistema quimrico con el que Pascal soabayqueestabadestinadoaesprituscolocadosmsalldelohumano,yenel quetodoslostrminosquedarandefinidosytodaslasproposicionesdemostradas. Sinomsbienunodondetodoslostrminosquedenexplicitados,ascomolaspro posiciones que no estn demostradas. Estas ltimas quedan consideradas como meras hiptesis con las cuales puede construirse las proposiciones del sistema de acuerdoconreglaslgicasdeterminadasenformaperfectayexpresa. Un mtodo parece afirmativo si las razones que lo impusieron son descono cidas. Y lo mejor para hacer comprensible la funcin que desempea la axiomtica es, pues, en primer lugar, exponer inicialmente las fallas que se intenta remediar (captulo I). Mas razonablemente se duda que la axiomtica haya alcanzado desde un primer momento su perfeccin. En rigor, las exigencias que la hicieron nacer fueron,ensuturno,comoexasperadasporsuusoysevolcaronsobreellaparaem pujarlacadavezmslejosenlarutaconlacualsehabacomprometido.Sinseguir detalladamente esta transformacin histrica en forma detallada, se hace necesario distinguiralmenosdosetapasmayoresdesudesarrollo:laprimerapuedesituarse afinalesdelsigloXIX(captuloII)ylasegundaseiniciaenlosaosveintedelsiglo XX(captuloIII).Seintentardemostrarlosalcancesdeestemtodoporsuusopro piamentecientfico(captuloIV) ascomoporsusimplicacionesfilosficas(captu loV). 2.LOSPOSTULADOS

/5 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. Lo que inicialmente mortific a los lectores de Euclides, amigos del rigor, fue que intervinieran los postulados. No se trataba, en primer lugar, de los tres postulados queencabezanlosElementos,juntoalasdefinicionesy losaxiomas,ycuyocarcter operativo es muy general y que,adems, tienen el nico objetivode sealar que se permitirnconstruccionesrecurriendoalareglayelcomps.PerounavezqueEu clides inicia su cadena deductiva, al hacer una demostracin, y por necesidad de sta, recurre a una proposicin muy especial que solicita le sea concedida sin otra raznqueconsiderarlaunaespeciedellamadoalaevidenciaintuitiva.Deestemo do, para justificar su proposicin 29 se hace necesario aceptar que, por un punto fueradeunarectanopuedepasarsinounasolalneaparalela.Lasimetraqueapa rentementeexisteentrelaproposicinmediantelacualseenunciaqueporunpun topasa,almenos,unaparalelaalarecta,proposicinestablecidapormediodeuna demostracin (el teorema de la existencia), la cual enuncia que, por lo menos, pasa una (postulado de la unicidad), converta en an ms inaudita la asimetra de las justificaciones. El postulado referente a las paralelas se converta de este modo en un eslabn ajeno al sistema; como un recurso cuyo fin era llenar una laguna del encadenamiento lgico. A ojos de los gemetras tomaba la forma de un teorema emprico de cuya certeza no se dudaba, pero del cual an no se contaba con una demostracin. Los estudiosos alejandrinos, rabes y modernos intentaron, a lo lar godeltiempo,tratardeencontrarlademostracin,perosuanlisisllevabainvaria blemente a la conclusin de que las demostraciones sucesivas tenan como base otrasuposicinconfrecuenciaimplcita.Slosecambiabadepostulado.Esconoci da la forma como la frustracin nacida del intento de lograr una demostracin di rectadiolugaraqueseintentaraunademostracinmedianteelabsurdo,quepron to tuvo fin, recurriendo a la inversin del punto de vista en las primeras geometr asnoeuclidianas. Elalcanceepistemolgicodelasnuevasteorashasidoconsiderable.Enfor maparticular,contribuyeronengranparteacambiarelcentrodeintersdelageo metraespeculativa,llevndolodelcontenidoalaestructura,delaverdadintrnse ca de las proposiciones aisladas a la coherencia interna de un sistema total. La su ma de los ngulos de un tringulo es igual, menor o superior a la de dos ngulos rectos? Un gemetra de la antigedad hubiera afirmado que lo correcto era lo pri meroyquelosotrosdoscasoseranfalsos.Ungemetramodernoconsideraquese tratadetresteoremasdistintosquenoseexcluyenentres,sinonicamentedentro de un mismo sistema, ya sea que el nmero de paralelas sea considerado igual, superioroinferior3auno,yqueinclusopuedensertoleradosdentrodeunsistema debilitado o ms general, en el cual el nmero de paralelas posibles se mantenga
3

El teorema, que es mencionado en la pgina anterior, y que establece la existencia de la paralela, postulaqueunarectasepuedeprolongarindefinidamente,locualbienpuederechazarse.

/6 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. en suspenso. Que en nuestra escala la experiencia verifique una y slo una de las tres proposiciones concierne slo al uso prctico de la ciencia, pero no a la ciencia puraydesinteresada. La idea as aparecida con motivo de la teora de las paralelas, necesaria y naturalmente necesita extenderse a todo el conjunto de los postulados. Vemos de este modo cmo se disocian los dos aspectos de la verdad geomtrica hasta enton cesmezcladosdesusadamente.Unteoremageomtricoeraconsideradoalavezco mouninformeacercadelascosasyunaelaboracindelespritu,unaleydelafsi ca y parte de un sistema lgico; una verdad acabada y una verdad de la razn. De estasparejasparadjicaslageometratericahaceaunlado,decididamente,elpri mer elemento que asigna a la geometra aplicada. Para los teoremas no existe ya una verdad aparte y, por decirlo as, una verdad atmica. Su verdad reside nica mente en su integracin al sistema. Es por eso que algunos de los teoremas que se consideran incompatibles entre s pueden ser verdaderos siempre que queden referidosasistemasdistintos. Y,enloquerespectaalossistemas,nosetratayadequestosseanverdade ros o falsos, sino exclusivamente en el sentido lgico: coherencia o contradiccin interna. Los principios que los rigen no constituyen sino meras hiptesis en la acepcinmatemticadeestetrmino.Slohansidosentadosmasnodemostrados, no son dudosos, como es el casode las conjeturas de un fsico, sino que se encuen tran ms all de lo verdadero y de lo falso, como una decisin o una convencin. La verdad matemtica toma de este modo un carcter global, el de un contenido vasto en elque la unificacin de todos los principios constituye el antecedente y, el detodoslosteoremas,elconsecuente. Dentro de la interpretacin comn y corriente, una demostracin matemti ca era categrica y apodctica.Afirmaba: estos principios son verdaderos absoluta menteylaproposicinquedeellosdeduzcoes,enconsecuencia,tambinverdade ra.Aristteles la denomin el silogismo de lo necesario. En la actualidad afirma que slo si se da arbitrariamente por sentado tal conjunto de principios, stas son lasconsecuenciasque,formalmente,resultan.Lanecesidadnoradicamsqueenel lazo lgico que une las proposiciones y se ha retirado de ellas. Las matemticas se hanconvertido,enpalabrasdePieri,enunsistemahipotticodeductivo. 3.LASFIGURAS Segn Euclides, el postulado de las paralelas invocaba, claramente, a la intuicin espacial, si bien aparentemente excepcional. De hecho se le invoca a lo largo de to daslasdemostraciones,porloquePoincarpodadecircontodajusticiaqueenesa construccin enorme, en la que los antiguos no encontraban falla alguna de carc

/7 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. ter lgico, todas sus partes se deben a la intuicin. Y, en cierto sentido, nada era ms manifiesto, como lo atestiguan las mismas figuras. Pero en el texto no queda estoexpresadotanclaramente,sinoquehacecreerquelasfigurasnoseencuentran all como meros auxiliares del razonamiento, y que, de cierto modo, duplican la demostracin lgica recurriendo a una ilustracin apreciable sin que le sean indis pensables. No hay nada de eso. Elimnese la figura, trazada o imaginada, y la de mostracincaeportierra.NovayamosmsalldelaprimerademostracindeEu clides que constituye un problema: construir un tringulo equiltero sobre el seg mentodelarectaAB.TracedoscrculoscuyoradioesAB.Elcentrodeunodeellos es A y el del otro B. El punto de interseccin M, cuya distancia de AB es el radio AB, constituir el tercer vrtice que se busca. Pero para quien no ve o no se repre senta mentalmente tal figura la demostracin no es completa: cmo puede uno saber si los dos crculos se cortan? La existencia del punto M ha sido mostrada, no demostrada. Mucho se ha discutido acerca de si tomar en cuenta las figuras resultaba esencial a la especulacin geomtrica. Si se toman como modelo las demostracio nesgeomtricasclsicasresultaentoncesciertoquelaintuicinlacontemplacin y la propia construccin debe intervenir. Esta era, como es sabido, una de las tesis sobre la que Kant construy la base de su Crtica, en la que deca, dse a un filsofo la idea del tringulo, considerar las ideas ms elementales acerca de la lnea recta, del ngulo, del nmero 3, y jams descubrir con lo anterior que la su ma de sus ngulos sea igual a dos ngulos rectos. Formlese ahora el problema a ungemetra:formaruntringulo,prolongarunodesuslados,etc.,yobtendrel resultado mediante un encadenamiento de razonamientos guiado continuamente por la intuicin. Tesis semejantes han sido retomadas por Cournot, Goblot y, ms refinadamente, por los matemticos intuicionistas modernos. No obstante, es posi ble llegar a otra conclusin: si se considera que el llamado a la intuicin constituye una falla dentro de una construccin que ha sido presentada como lgica, uno se propondrcorregirlosmtodosclsicosdedemostracindemodoquesesustituya laintuicinporsuequivalenteintelectual,locualporlo demsleresultanecesario dentro de las nuevas geometras en las que los espacios no se dejan ya representar porlaintuicin. Cuandosehacenecesariorecurriralasfiguras,estosehaceclaroporquere sultaevidentequeelojodicecosasqueeltexto,quesedirigesloalainteligencia, sobreentiende.Estallafuerzadelaintuicinquenosehacesentirsuausencia.Por ejemplo, no hace ni un siglo que se hizo notar que en parte alguna Euclides enun ci la proposicin siguiente y que, sin embargo, no deja de utilizar: si una recta tienedospuntosdentrodeunplano,stelacontieneensutotalidad.Enlasexposi cionesdelageometraclsica,unanlisisatentologradescubrirunagrancantidad deproposicionesimplcitas.Enprimerlugarlasdeexistencia,laposibilidaddeela

/8 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. borarladentrodelaintuicindemuestra,seguramente,quelaideadelaquesetra ta no incluye una contradiccin. Pero se trata de una prueba de hecho y no de una justificacin racional.A continuacin, las proposiciones referidas a la congruencia, y que se encuentran implicadas en operaciones diversas a las que el gemetra se entrega mentalmente, como hacer retroceder una figura para hacerla coincidir con sutrazo.EnlosElementosnoseenunciaenformaexpresamsqueunasolapropo sicin de esta naturaleza y que, por otra parte, se encuentra clasificada entre los axiomas. Mencionemos tambin las proposiciones en las que se enuncian propie dadestopolgicas,estoes,lasqueserefierenalordenylacontinuidad,dejandode ladotodaconsideracinalosngulosyalamtrica.4 Euclides y sus continuadores hasta el siglo XIX silenciaron por lo general ta les propiedades emplendolas, no obstante, a cada paso, pues la figura las sugera suficientemente.Quedaclaroqueunmtodorigurosonopuedepermitirquelain tuicin se emplee continuamente como un recurso, sino que demanda que todas las propiedades supuestas se enuncien claramente como proposiciones, aquellas que queden demostradas sern consideradas como teoremas y las restantes au mentarnelnmerodelospostulados. 4.LOSAXIOMAS Alladodelospostuladossecolocan,porlogeneral,losaxiomasparacompletarlos principiosdelageometra.Sonelotronombrequesedaalasnocionescomunes y a las definiciones de Euclides. Desde el punto de vista de la lgica tal ordena mientoquedajustificado? La diferencia entre axioma y postulado ha sido, con frecuencia, poco clara. Comnmente ambas expresiones fueron, y siguen siendo, tomadas indiferente mente una por otra. Prueba de esto es el mismo nombre de la axiomtica que, sin duda, podra llamarse, con mayor precisin, postultica. Los editores de los libros de Euclides encabezan los Elementos con aquellas propiedades que el griego postul a lo largo de sus demostraciones, y las han colocado tanto a continuacin delaspeticionescomodespusdelasnocionescomunes.Enlamedidaenque se diferencia del postulado, el axioma comprende en primer lugar la idea de una prueba intelectual. En tanto, el postulado constituye siempre una proposicin sin ttica cuya contradictoria, difcil o imposible de imaginar, queda, de todas formas, como algo concebible; el axioma sera una proposicin analtica que resultara ab
Consideremosunafiguradibujadasobreunalminadehule,lacualsepuedadoblaryestirar.Las propiedadesdelafiguraquesemantienensinvariacinsonlastopolgicas.Porejemplo,decuatro puntos situados sobre una curva continua y abierta, si C se encuentra entre A y D, y si B entre A y C,entoncesBseencuentraentreAyD.
4

/9 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. surdonegar.Adems,sufuncinseraexclusivamenteladeunprincipiopuramen te formal que regulara el paso del razonamiento aunque sin ofrecerle, al contrario de los dems principios, sustento alguno. Estas dos ideas se conjuntan en la tesis, propalada por mucho tiempo aunque nunca justificada mediante un anlisis exacto,queconvertaalosaxiomasenmerasespecificacionesdelasleyeslgicas queseaplicanalacantidad. Ahora bien, la idea de evidencia despierta cada vez ms la desconfianza del matemtico. El sentimiento de evidencia resulta engaoso y su dominio vara de acuerdo con el temperamento intelectual de cada quien. Si uno intentara buscar apoyoenl,losespritusinclinadoshacialointuitivosolicitaran,indudablemente, que ms de una demostracin fuera suprimida; que, para ellos, resultara menos evidente el teorema que justifica tal demostracin. Aquellos que fueran ms exi gentessenegaranareconocercomoincondicionalmentenecesariotalteorema.Re sulta cierto que algunos axiomas euclidianos han experimentado una cierta degra dacin: uno de ellos el que enuncia que el todo es mayor que la parte y, que en cierto sentido, no es vlido5 sino para los conjuntos que son considerados finitos, y que podra servir, como ha sido sugerido, para definir tales conjuntos. De este mo do, no se trata ya de una proposicin analtica sino de una convencin destinada a delimitar un campo determinado y a la que no est sujeta el espritu. Por otra par te, el papel quese hahecho desempear a la evidencia por un tiempo bastante lar go se encuentra ligado al ideal de las matemticas categricas, dentro de las cuales aquello que no est demostrado debe, de algn modo, demostrar sus ttulos para ser considerado verdadero. Esto queda afinado dentro de una idea hipottico deductiva cuyo centro es la coherencia lgica ms que la verdad absoluta.Al colo cardeestemodoenprimerplanolaideadesistema,sehacenecesarioreduciraun nmero menor las proposiciones independientes. Pero si uno se empea de este modoenlademostracindelossistemas,estosehaceconunespritumuydistinto al que inspir a Leibniz cuando se formul la misma exigencia, puesto que no se trata ya de reducirlos a proposiciones idnticas con el fin de hacer resplandecer su evidencia, sino meramente de reducir la base del sistema al mnimo haciendo apa recerlosprincipiosdeloscualessederivarnlossistemasenformaintuitivayme nosevidentequeaqullos. Estasltimasconsideracionestienenvalor,ciertamente,enloqueserefierea laverdadmaterialdelasproposicionesypierdenfuerzaalseraplicadasalosprin cipios formales o reguladores. La teora clsica carece an de claridad sobre este

Dentro del sentido en el cual es mayor que, se entiende: tiene una potencia superior a (vase lanotadelinciso26).As,elaxiomadejaenefectodevalerparalosconjuntosinfinitosdentrodelos cuales,noobstante,eltodocontieneenexcesoalaparte.

/10 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. punto.Colocalosaxiomasensituacinintermediaentrelasproposicioneslgicasy lasgeomtricas. Las primeras tienen carcter regulador y se refieren a la cantidad al igual que las segundas. Pero, o bien pueden ser obtenidas mediante la aplicacin de los principiosdelalgicaalasideasinicialesdelasmatemticasy,enesecasohacerlo eliminndolas del nmero de las proposiciones primeras de la geometra y contar las como meras proposiciones de lgica aplicada; o bien se rebelan contra esta reduccin y su resistencia se hace manifiesta en su carcter de postulados. Convie ne,entonces,disociarlossistemasdemodoquepartedeellospasealospostulados y la otra quede fuera de la geometra. No les quedar ya lugar entre los principios delageometra,almismonivelyjuntoalospostulados. 5.LASDEFINICIONES Conmenorraznesnecesarioincluirlasdefinicionesentrelosprimerosprincipios. Puede encontrarse aqu un error lgico considerable que un momento de reflexin basta para disipar. Queda justificado el recurso de las proposiciones primeras de invocarlaimposibilidaddequetodopuedaserdemostrado.Olasmismasrazones que pueden hacerse valer para una demostracin tienen el mismo valor para la definicin.Untrminosedefinemedianteotrostrminosystos,asuvez,median teotrostrminos,demodoqueparaimpedirqueseproduzcaunaregresinalinfi nito se hace necesario detenerse en algunos trminos an no definidos, del mismo modo que las demostraciones necesitan apoyarse en algunos trminos an no de mostrados. Estos trminos irreductibles constituyen, por retomar una proposicin de Russell, una especie de alfabeto geomtrico. Sirven para deletrear, esto es, en tran como elementos para componer las definiciones, mas son indefinibles, y stos son losqueesnecesarioenunciaralfrentedelateoradeductivaydeningunama nera las definiciones que intervendrn, ms tarde, para sustituir con un trmino nuevo y ms simple, una expresin elaborada, en forma directa o por medio de definicionesintermedias,mediantelaayudadelostrminosprimeros,delamisma forma en que intervienen las demostraciones para justificar proposiciones nuevas conayudadelasproposicionesprimeras.6 Del mismo modo, las definiciones iniciales de Euclides slo tienen de defi niciones la apariencia. Pueden reducirse a meras descripciones empricas semejan tes a las de un diccionario cuyo objeto fuera dirigir el espritu a la idea de que se trata.Propiamentesetratadedesignaciones.Esporestoquecasinologransatisfacer
6

Tal analoga funcional entre definicin y demostracin fue bien apuntada por Pascal en su De lespritgomtrique.

/11 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. la funcin que al parecer se les asigna, la de enunciar propiedades fundamentales que se utilizarn con el fin de obtener a partir de ellas todas las dems dentro de lasquefigurareltrminodefinido. Euclides hace la definicin siguiente de la lnea recta: la que descansa igual mente sobre sus dos puntos. Hern la sustituye con la siguiente definicin al pare cer ms clara: el camino ms cercano o ms corto entre dos puntos. Leibniz hace notar con toda razn que en la mayora de los teoremas que se apoyan sobre la lnea recta no se hace uso de ninguna de esas dos propiedades.As, por una parte, tales definiciones resultan superfluas y, por la otra, ocultan la ausencia de las pro posiciones que enuncian las propiedades tiles, como la siguiente, que explicarn posteriormenteloseditoresdeEuclides:dosrectasnoencierranunespacio.Talfal ta de acuerdo entre las propiedades enunciadas en la pseudodefinicin y las pos teriormenteutilizadasconefectividad,integranunafaltadelgicaqueresultamuy gravepueshacenacerlasospechaacercadelaidentidaddelanocin.Qupuede asegurarnos que la lnea recta de la que hablan los teoremas sea la misma que se demandabapresentaraladefinicin? Las exposiciones clsicas de la geometra, ya se trate de definiciones falsas iniciales o de definiciones verdaderas ulteriores, y dicho esto en forma general, co meten con frecuencia el error de presentar como frmulas en apariencia simples y en las que se mezclan dos enunciados de naturaleza totalmente distinta, una pro posicinyunadenominacin.Nocabedudadequeenestaconfusinseencuentra elorigendelatesispropagadadurantemuchotiempoysegnlacuallasdefinicio nessonlosprincipios fecundosdeloscualeslosteoremasobtienentodasu sustan cia. Vase la definicin nmero 15 de Euclides: un crculo es la figura plana termi nada por una lnea tal que todas las lneas rectas que la unen en un determinado punto interior a la figura son iguales entre s. Esto quiere decir dos cosas: 1) es posible terminar una figura plana por una lnea recta tal que, etc., y 2) se denomi nar crculo a una figura tal. Este ltimo enunciado, para el que sera ms propio guardar el nombre de definicin, dado que el primero es, de hecho, una asercin, perteneceexclusivamenteallenguajey,enrigor,noaportauncontenidonuevoala cienciadelageometra.Setrata deunadecisinode unaconvencinque acortael discurso y que por lo tanto puede justificarse por su comodidad aunque no tenga nada que ver con la verdad. No se sigue de aqu que, arbitrariamente, pueda uno afirmarlaproposicincorrespondiente:aquellaesverdaderaofalsay,enestecaso, origendeverdadesocontradiccionesposteriores.As,sisedescartaelllamadoala intuicin, bastante claro, considerndolo inadecuado, se hace necesario demostrar lacomoteoremaoestablecerlacomounpostulado. La utilidad de esta exigencia lgica se ver mucho mejor si la definicin renebajoelmismotrminounnmeromayordepropiedadesheterogneas,pues deestemodonobastaquecadaunadeellasseaposible,sinoqueresultanecesario

/12 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. que, dentro del conjunto, sean integrables. Si uno no confirma su compatibilidad queda expuesto a cometer lo que fue denunciado como error de definicin com plejadeacuerdoconSaccheri,comosiseintentaradefinirunpoliedroregularcu yascarasfueranhexgonos. 6.DEMOSTRACINYDEFINICIN De este modo, parece ser que en el punto de partida de una teora deductiva que haya sido pensada de modo que satisfaga las exigencias lgicas, figurarn no slo lostresprincipiostradicionales:definiciones,axiomasopostulados,sinodepropo sicionesnodemostradasqueenformaindiferentepodrnserdenominadasaxio masopostuladosylostrminosnodefinidos.Todoeltrabajoposteriorconsistir en elaborar a partir de ah nuevas proposiciones que debern ser justificadas recu rriendo a demostraciones y trminos recin acuados fijados mediante definicio nes. Demostracin y definicin son, en consecuencia, las dos operaciones funda mentales por medio de las cuales puede desarrollarse una teora deductiva. Pero, qu condiciones debe llenar una buena demostracin o una buena definicin? Tal cosa depender del fin asignado a estas operaciones. Y, ahondando en este punto, lasexposicionesclsicasdelageometraconfrecuenciacarecendeclaridad.Parece que se proponen, al mismo tiempo, dos cosas distintas que no necesariamente se concilian. En este caso, sin duda, la confusin no puede imputarse a Euclides sino al ya muy prolongado uso pedaggico que se ha hecho de sus trabajos. Pero se tiendetambinamantenereserasgodelageometraclsicadeintentarunirlaver dad material de las proposiciones con la verdad formal de su concatenacin, la exactitudempricayelrigorlgico. Si se coloca en primer plano la verdad del contenido, la demostracin y la definicin se convierten en simples medios para establecerla. El papel que desem pear la demostracin ser el de hacer concebir con toda precisin el sentido de los trminos que integran las proposiciones; y el de la demostracin hacer que se admita la verdad de stas. De este modo puede decirse que la definicin y la de mostracindependen,hablandoconpropiedad,delaretrica,ysufuncinresulta, esencialmente, psicolgica, ya sea pedaggica o didctica. Por lo contrario, en la otra hiptesis slo tienen una funcin lgica, la de reunir todos los trminos y to das las proposiciones de modo que integren un conjunto sistemtico. Queda claro, desdeelprincipio,quelasdosexigencias,eficienciapsicolgicayrigorlgico,tiran en ocasiones en direcciones opuestas, pues tan pronto se vincula uno a la primera, el valor de una demostracin o de una definicin se hace relativo e incluso doble mente relativo. Una demostracin o una definicin no pueden ser ms buenas o msmalassinoslomejoromenosbuenaqueotra,ytalcualidadvaradeacuerdo

/13 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. con el lector o el oyente. En trminos pedaggicos, la definicin o la demostracin buena es la que el alumno entiende. Y esto nos puede llevar muy lejos: para un ni o la definicin verdadera de una elipse no es la que aprende de memoria, sino quesepareceramsaloqueexpresaracomouncrculoalargado.Lademostra cinbuenanoeslaqueapuntaensucuadernosinolafiguraquevaacompando la. Si el argumento ms eficaz es slo el de la demostracin buena, dnde tendr uno que detenerse? Es conocida la ancdota del preceptor de un prncipe que, al ver terminados sus recursos, hizo que su teorema fuera admitido al exclamar con irritacin:Seormo,osdoymipalabradehonor! Todopareceindicarque,entrelosmismosmatemticos,ambasfuncionesno siempre han estado disociadas en forma clara. De otro modo no se entendera que ms de uno haya compartido el asombro que provoca en el lego una demostracin de Euclides: por qu ese afn de convencernos mediante un razonamiento difcil de asuntos de los que estamos perfectamente seguros o, tambin, de demostrar lo ms evidente recurriendo a lo menos evidente? La Lgica de Port Royal cuenta en tre los defectos que de ordinario pueden encontrarse en el mtodo de los geme tras, probar cosas que no requieren de prueba. Algunos buscan explicaciones y excusas, entre ellos Clairaut:7 Que Euclides se tom el trabajo de demostrar que dos crculos que se cortan no tienen el mismo centro, y que en un tringulo que se encuentra encerrado en otro la suma de sus lados es ms pequea que la del trin gulo que lo encierra. Uno no debe sorprenderse de esto, pues este gemetra tena que convencer a sofistas muy tercos que gustaban lucirse rechazando las verdades ms evidentes. En consecuencia, resultaba necesario que la geometra tuviera, al igualquelalgica,laayudaderazonamientosdemalafeYaadeClairaut:Pero actualmentelascosashancambiadoytodorazonamientoquecaedentrodeloque el buen el buen sentido ha decidido de antemano resulta hoy en una pura prdida ysloresultaadecuadoparaoscurecerlaverdadymolestaraloslectores.Lamis maideafundamentaldelpapelquedesempealademostracinpuedeencontrarse en el filsofo Schopenhauer quien, con menos indulgencia, considera francamente absurdoelmtododeEuclidesysumanadesustituirlaintuicinporel discur so. Afirma que esto es como si un hombre se cortara las piernas para poder cami narconmuletas. Noobstante,elabsurdoqueallseencuentra,nodeberahacernossospe char acerca de si probablemente uno se equivoca con respecto a las intenciones de Euclides? Que sea posible, como lo hace Pascal, observar el razonamiento geom tricocomo unmodelo delartede convencer.lmismopartedelhechodequeper suadirnoquieredecirqueesoseasufuncinprimerayesencial.Sabemosenefecto que muchas de las proposiciones de Euclides eran ya conocidas antes de que l las
7

lmentsdegomtrie,1741,apud,F.Gonseth,Lagomtrieetleproblmedelespace,t.II,p.141.

/14 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. expusieraycasinoexistedudaalgunadequetodoslosexpertoslashayanconside rado verdaderas. Slo requeran ser organizadas en forma lgica, unirlas mediante unamallabiencerrada.Euclides,alparecer,esloqueintenthacery,entodocaso, lo que hizo. Tal es el propsito cada vez ms afirmado por el matemtico. Desde los tiempos de Clairaut las cosas han cambiado de aspecto nuevamente. Dentro del sistema de todos los juicios verdaderos, escriba Bolzano, impera una cone xin objetiva que es independiente respecto a la contingencia de que la conozca mos de manera objetiva; y por tal conexin ciertos juicios constituyen la base de otros.8 En adelante, ir desprendiendo tales conexiones objetivas pareca ser el fin verdaderodelateoradeductiva.Altiempomismoquelacertidumbresubjetivase dejaaunladolaverdadmaterialdelasproposiciones;deestemodolasmatemti casseconviertenenhipotticodeductivas.DesdelosiniciosdelsigloXIXlasepara cin entre ambas concepciones, la ciencia y la demostracin matemtica, fue sea lada en forma perfectamente clara por Dugald Stewart9 filsofo olvidado por el descrdito en que cay la escuela escocesa: En las matemticas nuestros razona mientos no tienen ya como fin comprobar verdades acerca de existencias reales, sino determinar la filiacin lgica de las consecuencias que se derivan de una hip tesis determinada. Si a partir de esta hiptesis razonamos con toda exactitud, queda manifiesto que no le podra faltar nada a la evidencia del resultado, pues ste se limita a afirmar un enlace necesario entre suposicin y conclusin De tales pro posiciones no puede decirse que sean verdaderas y falsas por lo menos en el sentido enquesedenominaproposicionesrelativasaloshechosCuandosedicedeestas proposicionesqueunassonverdaderasylasotrasfalsas,talesadjetivoscalificanslo su conexin con los data, no su relacin con las cosas que existen en la realidad o conacontecimientosfuturos. Delmismomodoqueladefinicinsemueveentreserunafuncinpsicolgi ca (la forma de determinar el asentimiento) y una funcin lgica (organizar en un sistema las proposiciones), tambin la definicin se coloca en ocasiones dentro del plano de pensamiento, en otras en el del discurso y, con mucha frecuencia, intenta hacer ambas cosas. Se dirige, tal como lo sugiere su nombre, a delimitar la com prensin de una idea, pero tambin a sentar una equivalencia lgica entre un tr mino recin acuado y el conjunto de trminos ya aceptados, de este modo el me dio se transforma en un nuevo fin que se aade frecuentemente al primero, pero sineliminarlo.Vienedeaqulaconfusinquepuedeobservarseenlasmatemticas casi contemporneas. Recordemos la burla que hizo Poincar acerca de la defini

8 9

PhilosophiederMathmatik,1810,apud,Cavaills,Mthodeaxiomatiqueetformalisme,pp.4647. lments de la philosophie de lesprit humain, vol 1I, 1813, traduccin del alemn al francs de L. Peisse.Lossubrayadossondelautor.

/15 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. cin del nmero 1 en la aritmtica que se encuentra simbolizada en la Escuela de Peano: Se trata de una definicin que es eminentemente muy propia, afirma irnicamente,10paraquienesjamshayanodohablardeestenmero! Uno de los primeros beneficios que se obtendrn a partir del mtodo axiomtico ser el de eliminar tales confusiones al separar las matemticas puras, quesonunacienciaformal,delasmatemticasaplicadas,quesonunacienciadelo real. O, por decirlo en trminos ms claros, obligando a que se tome partido y se escojaentredoslecturasdeunamismateoramatemtica,yaseaqueunoseintere seenellaporcoherencialgicaocomoverdademprica.

10

Scienceetmthode,p.168.

/16 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. II.LASAXIOMTICASINICIALES 7.ELNACIMIENTODELAAXIOMTICA En tanto que la geometra intentaba, recurriendo a sus proposiciones ensear ver dades,laformaracionalquesehadadoalapresentacindelacienciapodratener la apariencia de una especie de refinamiento intelectual, considerndose entonces el encadenamiento lgico slo como el medio para lograr proposiciones verdade ras,obienquefueranaceptadasajustndoseaunasuertedeargumentacinretri ca ex praecognitis et praeconcessis que haca aceptable algunos defectos de rigor, puesto que stos eran suplidos por la intuicin. As se alcanzaba el resultado y no se comprometa la certidumbre de la ciencia. La pluralidad de geometras existen tesenlaactualidadhacequenoocurraahoralomismo,dadoquesepierdeinters en la verdad material del contenido, y la validez de una geometra se hace descan sarsobrelaarmaznlgicaycualquierfaltahacequestasederrumbe,puestoque sonvioladaslasreglasdeljuegosiunoseapoyaenlaintuicin. Otra razn impulsaba en el mismo sentido incuso a aquellos que continua bandandoimportanciaesencialalaverdadextrnsecadelasproposiciones:lades confianza creciente que provocaba la intuicin espacial. Toda la historia de la geo metra es testigo de la tendencia continua a limitar ms y ms sus alcances y a ha cer crecer, en proporcin, sus exigencias lgicas. En el siglo XIX, la aritmetizacin del anlisis imprimi a este movimiento una aceleracin considerable a la que contribuy el surgimiento de las geometras opuestas a la intuicin. De este modo se produjeron apartamientos notables entre las sugerencias mentirosas de la intui cinyloquelademostracinnosenseabasinquecupieraduda.Unaproposicin que todos tomaban por verdadera apareca equivocada, y otra que hubiramos aceptado sin vacilar debera ser probada. Por citar slo dos ejemplos famosos, resulta falso que a una lnea curva continua siempre se le pudiera trazar una tan gente(Weiertrass);tambinpuedeserciertoqueunalneacurva,quenotenganin gunaanchura,puedacubrirlasuperficietotaldeuncuadrado(Peano). Pasch, en 1882, intent lograr la axiomatizacin inicial de la geometra. Si bien la solucin que ofreci presenta una cantidad considerable de fallas, debidas en buena parte a que el autor mantuvo la misma actitud del empirismo clsico, al menos plantea claramente cul es el problema: Resulta necesario para que la geo metra logre transformarse en una ciencia deductiva, que el modo de extraer una consecuencia sea, en todas sus partes, independiente de la idea del concepto geo

/17 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. mtrico. Al hacer una deduccin, bien puede resultar conveniente y til razonar acerca del significado de los conceptos de la geometra ms usuales, pero esto de ninguna manera es necesario cuando en la deduccin se presenta una laguna y (si no es posible suprimir tal laguna alterando el razonamiento) si las proposiciones que hansidotomadascomomediosdepruebaresultaninsuficientes.11 Ponemos a continuacin las condiciones fundamentales que, para que se le considereverdaderamenterigurosa,debellenarunaexposicindeductiva: 1) Quelostrminosprimeros,conloscualesseproponeunodefiniratodoslos otros,seanenunciadosclaramente. 2) Que las proposiciones primeras, con las cuales se propone uno demostrar todaslasotras,seanenunciadasclaramente. 3) Que las relaciones que se enuncien entre los trminos primeros sean slo relaciones lgicas y que se mantengan independientes del sentido concreto quepuedadarsealostrminos. 4) Queseansloestasrelacioneslasquepuedanintervenirenlasdemostracio nesenformaindependientedelsentidoquetenganlostrminos(estoproh be, particularmente, tomar en prstamo cualquier cosa concerniente a la consideracindelasfiguras). 8.LAANTERIORIDADDEUNSISTEMA LasreglasestablecidasporPaschconllevanladistincinclaraentretrminosypro posicionespropiasalsistemaaxiomatizadoyaquellosque,lgicamente,lesonante riores. Si, por ejemplo, estamos tratando con la geometra, los trminos propiamen tegeomtricosquefigurenenlasproposicionesprimerasnopueden,porsupuesto, formar proposiciones salvo en el caso de que se encuentren unidos entre ellos por palabras que desempeen una funcin lgica, por ejemplo, el, todo, no, es un, si, en tonces, etc. Del mismo modo, las demostraciones no invocan slo a las proposicio nes del sistema puesto que, para integrarlas en demostraciones, resulta necesario recurriralasreglaslgicasdelencadenamiento,comoaplicarlaregladelatransiti vidad de la implicacin (si a implica b y si b implica a c, entonces a implica a c). El conocimientosibiennotericosinoalmenosoperatoriodelalgicaquedaen tonces presupuesto en este caso. En relacin con la ciencia axiomatizada de tal for ma,alalgicaseledaelnombredeanterior. Un sistema geomtrico, aparte de la lgica, da por supuesto a la aritmtica, pues para definir un tringulo es necesario utilizar el tres; asimismo, para demos trar que la suma de sus ngulos es igual a dos rectos, se hace necesario admitir la
11

M.Pasch,VorlesungenberneuereGeometrie,1882,p.98.

/18 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. validez de los teoremas aritmticos relativos a la adicin. En forma general, se de nominar anteriores a un sistema axiomtico a todos los conocimientos del sistema asllamado.Severentoncesquesiunaaxiomticaaparececomounsistemapura menteformal,losconocimientosquenecesitaparaconstituirsesonnocionesenten didasenlatotalidaddesusentido,ascomotesistomadasensuverdadmaterial. Recurrir a los conocimientos anteriores, especialmente si no se expresa de claradamente, choca con el espritu de la axiomtica, que se impone como deber tratardeexplicarlotodo,sinquenadaquedepresupuesto.Quedaclaroqueestose puedematizarmedianteelrecursodeenumerar,aliniciarunaaxiomtica,lascien cias que se presuponen. Tal formalidad no basta en forma alguna para resolver la infinidad de problemas que emergen aqu y cuya determinacin resultar funda mental para los posteriores desarrollos de la axiomtica. En especial, ser posible, como sugiere de inmediato el afn de conseguir una lgica pura, remontar la axio matizacindelacienciahastaunpuntoltimo,delageometraalaaritmticayde staalalgicaconelfindeabsorberlosconocimientosquesehanutilizadoshasta entoncescomoanterioresyqueenconsecuenciasemantienencomoexteriores alaaxiomticayeliminarasporcompletotodapresuposicinintuitiva?Odeotro modo, los conocimientos elementales de lgica e incluso de aritmtica, no se les utilizara en forma necesaria a ttulo operatorio en la construccin de las axiomti cas? O, dicho de otro modo, los conocimientos elementales de lgica e incluso de aritmtica no se les utilizara necesariamente en la elaboracin de las axiomticas lgicas y aritmticas? Poincar apuntaba que resulta difcil hacer el enunciado de una frase sin colocar un nmero o, por lo menos, la palabra varios o, en ltima instancia,unapalabraenplural.12Elaritmticoyellgiconumeransusproposicio nesyteoremas,cuentanelnmerodesusnocionesprimeras.Yloqueesciertoenel casodelasnocionesaritmticasconmayorraznloesparalasnocioneslgicas. Porotrolado,nosiempreresultafcildelimitarcon precisinlafronteraen tre lo que son las nociones propias de una ciencia y las que le resultan anteriores.13 Podemosleerporejemploenuntratadodegeometra:Larectaapasaporelpunto A. La frase pasa por pertenece aparentemente al vocabulario de la geometra; pero como es posible evitarla al decir: El punto A pertenece a la recta a, y que la perte nencia de un individuo a una clase (si se considera a la lnea como una clase de puntos) es una nocin lgica, el trmino pasa por debe en este caso ser incluido en tre los trminos lgicos. Un pocoms all podemos leer las dos frases: Si unpun toestdadofueradeunplano,etc.,ytambin:Siunpuntoestdadofueradeuna superficie esfrica, etc., cmo se puede clasificar ese fuera de? En el primer caso

HPoincar,Scienceetmthode,p.166. Los ejemplos puestos a continuacin son de Padoa, La logique dductive, Rev. de Mtaph. Et de Morde,nov.de1911,pp.830831.
12 13

/19 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. citado simplemente se dice que el punto no pertenece al plano, tratndose entonces de un trmino lgico. Pero en el segundo caso lo que se quiere decir es algo ms. No slo que no pertenece a la superficie de la esfera sino tambin que no se en cuentrasituadoenelinteriordesta.Portanto,elmismotrminodebeserconside radocomopropiodelageometra. Podra creerse que la enumeracin hecha por separado de los trminos de un sistema resultara totalmente superflua, puesto que tales trminos no son los quesepuedenencontrarenlasproposicionesprimeras.Ciertoesqueenlasprime ras axiomticas no siempre sola tomarse tal precaucin.14 En algunas ocasiones resulta difcil reconocer en las proposiciones cules son los trminos propios de la teora,porloque,secomprende,esnecesariodarunalistaexactadeellos. 9.INDEFINIBLESEINDEMOSTRABLES.LOSSISTEMASEQUIVALENTES Una de las caractersticas que definen en forma ms visible que una teora deduc tiva ha sido puesta en forma axiomtica es, como se ha visto, que se comienza a despejaryenunciarenformaexpresayexhaustivaloquesonlosindefiniblesylos indemostrablesdelateora.Talformulacindemandaempero,sibiennocorreccio nes,almenosalgunainterpretacin. En primer lugar, no resulta lgicamente necesario que todos los trminos fundamentales y los postulados se presenten en conjunto desde el principio de la teora y que queden agotados antes de que se inicien las definiciones y demostra ciones.Envistadequeunateoraaxiomatizadaalcanzaunbuengradodecomple jidad,unprocedimientosemejantepondraenriesgolaexposicinsinlograrventa ja lgica alguna. En tal caso se considerar con frecuencia preferible avanzar en grados sucesivos y no ir presentando las nuevas nociones fundamentales con los postulados correspondientes a medida que vaya siendo necesario, ya sea en forma aislada o en grupo, con la condicin bien entendida de que todo se haga en forma muyclara.Faltadecirquelamencindetrminosannodefinidosydelaspropo siciones no demostradas, debe preceder siempre la de los trminos y las proposi

Se daba tambin, indudablemente, dentro de esta diferencia de tratamiento entre trminos y pro posiciones, el efecto del curioso retardo de la teora de los trminos, del cual encontramos ya una manifestacinenlacostumbreseculardeenumerarlasdefinicionesdentrodelosprincipios.Alres pecto, Padoa hace la observacin de que, si se dispone desde hace mucho tiempo de la voz postu lado,conquesedesignanlasproposicionesnodemostradas,nosehainventadounavozquedesig ne los trminos nodefinidos, dado que esta expresin se usaba tan poco que no se consideraba ne cesario abreviarla. La palabra teorema, que carece de una voz para designar los trminos definidos, seencontraraenelmismocaso.
14

/20 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. ciones de stos derivadas, mediante demostracin o definicin, y es slo en este sentidorelativoquemerecenserdefinidoscomoprimeros. Delmismomodoquelaspalabrasprimeroycomienzo,indefinibleeindemostra ble slo deben ser entendidas en sentido relativo. Existe la tendencia creciente a evitarlasdemodoqueseevitenlasequivocaciones.Untrminonopuedeserinde finible del mismo modo que una proposicin no puede ser indemostrable, salvo al interior de un sistema que ha sido estructurado en una forma determinada, y de manera continua pueden constituir el trmino de una demostracin o una defini cin, siempre que se modifiquen adecuadamente las bases del sistema. Tengamos siempre en cuenta el ejemplo de la geometra euclidiana: no resulta imposible de ninguna forma demostrar en ella el postulado de las paralelas. De este modo, en lugar de demostrar por medio de aquella que la suma de los ngulos de un trin gulo es igual a dos rectos o que a toda figura se le puede hacer corresponder una figura semejante de cualquiera magnitud o que por todo punto interior de un n gulo es posible trazar una recta que corte ambos lados, resulta imposible invertir este orden y podr demostrarse la unicidad de la paralela tomando como postula do cualquiera de estas ltimas proposiciones. Del mismo modo, la eleccin de los trminos de la teora que se instituirn como fundamentales queda al libre albe dro. Un cambio en la lista de los trminos primeros basta para determinar el cam bio correspondiente en los postulados, pues stos enuncian relaciones entre esos trminos.15 Resultanecesarioentoncesvigilar,alhablardeunsistemadeductivo,queno se confundan dos acepciones de la voz sistema, esto es, el conjunto de las nociones yproposicionesquelointegran,yaseanprimitivasoderivadas,ascomocualquier organizacinlgicaqueseled. Unsistema,entendidocomoelconjuntodelasnocionesyproposicionesque lo integran, se presta a una multitud de representaciones axiomticas. Por emplear una definicin de Nicod, se trata de algo parecido a un poliedro, que puede des cansarsobregranvariedaddebases.Talessistemasdistintos,enelsentidodeorga nizacin lgica, reciben el nombre de equivalentes. De este modo, todas las recons truccionesaxiomticasdelageometraeuclidianaresultanequivalentes,puesenel fondo contienen el mismo conjunto de trminos y proposiciones y slo difieren en questospuedendividirseenprimitivosyderivados.Demodomsgeneralytam bin ms preciso, dos sistemas de proposiciones son equivalentes si cualquier pro
La escuela italiana mediante la analoga, aclar perfectamente, recurriendo a lo que ya se conoca respecto a las proposiciones, el carcter,relativo, deuna nocin deser primera.Se ver no obstante quesibienlgicamentelarelacindeanterioridaddeunaproposicinountrminoenrelacincon otroesdeltodoarbitraria,estonosignificaqueseanvlidostodoslosrdenes.Laconcepcindeun orden natural de nociones y aserciones (Pascal y Leibniz) no ha perdido valor si se dirige a un or denracional,biendistinguido,deunordenquesloeslgico.
15

/21 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. posicindeunodeellospuededemostrarsesloconlaayudadelasproposiciones del otro, y recprocamente, dos sistemas de trminos son equivalentes si cualquier trminodeunopuededefinirseconlasolaayudadelostrminosdelotro. 10.LASDEFINICIONESPORPOSTULADOS El estatuto lgico de los postulados queda bastante claro, no quedan afirmados a ttulodeverdadesgeneradorasdeotrasverdades,sinoquesloselescolocaattu lo de hiptesis que permiten deducir un conjunto dado de proposiciones o de las que uno se propone investigar las consecuencias que implican. Se sabe que en for ma alguna resulta necesario que las proposiciones sean verdaderas y que sean co nocidas como tales para que sea posible razonar sobre ellas correctamente; la vali dez de un razonamiento es independiente de la verdad de su contenido. La condi cin de los trminos primeros es un tanto ms difcil porque, si es posible hacer abstraccin total de la verdad de las proposiciones sobre las que se trabaja, es po sible tambin hacer abstraccin total del sentido de los trminos? Cmo afirmar de ellos algo as aun a ttulo hipottico si para nosotros estn totalmente despoja dosdesentido?Y,cmollegaraunsentidosi,porunlado,nopodemosdefinirlos y si, por el otro, nos negamos a tomar en cuenta su sentido intuitivo previo? Esto porquesinoseobligaunoaolvidarsusentidoemprico,preaxiomtico,secorreel granriesgodereferirseluegoal,sinsaberlo,dentrodelrazonamientoy,as,intro ducirsubrepticiamenteelementosimplcitosmsomenosvagosy,sinduda,varia bles con cada uno. Slo nos queda una respuesta: el sentido que tengan lo fijar su usoenlospostuladosqueenuncianquclasederelacinlgicatienenentrestales nociones. Este modo de determinar el valor de un trmino no puede considerarse propiamente una definicin pues no establece una equivalencia lgica entre el tr minonuevoyunaexpresinconocida.Masenvistadequescumplelafuncinde una definicin, esto es, fijar su significado, puede considerrsele como una defini cinimplcita. Esta nocin se debe a Gergonne. Si una frase, observa, contiene una sola palabracuyosignificadonoesdesconocido,elenunciadodeesafrasebastarapara revelarnos su valor. As, si se dice a una persona que conoce las voces tringulo y cuadriltero, pero que nunca ha escuchado la voz diagonal, que cada una de las dos diagonales de un cuadriltero lo divide en dos tringulos, imaginar de inmediato lo que es una diagonal, pues aqu se trata de la nica lnea que es capaz de dividir un cuadriltero en un tringulo. Esta suerte de frases que dan la comprensin de unadelaspalabrasdequesecomponenrecurriendoalsignificadoconocidodelas otraspodranserdenominadasdefinicionesimplcitasenoposicinalasdefiniciones

/22 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. ordinarias que recibiran el nombre de definiciones explcitas.16 Este procedimiento no tiene nada de extrao. Es del mismo modo como el nio aprende el sentido de la mayora de las palabras de su idioma. En el campo de las ciencias fsicas resulta comn que una ley que ha sido establecida recurriendo a la ayuda de nociones provisionales permita, a cambio, precisar su sentido. El nominalismo cientfico se basaba en esto para establecer que las leyes son con frecuencia slo definiciones disfrazadas. La ley de la cada de los cuerpos define la cada libre; la ley de las pro porcionesdefinidascaracterizalacombinacinenoposicinalamezcla,etc.Lasde finiciones indirectas pueden compararse a una ecuacin con una sola incgnita y cuyovalorlofijaelconjuntodelaecuacin. Tal definicin resulta unvoca si, en el ejemplo de Gergonne, un solo valor puede satisfacer la ecuacin, pero no siempre es as. En especial, si tomamos en cuenta todo un sistema de ecuaciones con varias incgnitas, ocurrir entonces que variossistemasderacessatisfaganlasecuaciones,einclusounainfinidad,comosi seestableciera: Y=2x Z=y+x En un sentido el sistema queda determinado, pues si se da a una de las in cgnitas algn valor arbitrario, los de las otras dos quedan fijados tambin de in mediato. En vez de individual la determinacin es, de alguna forma, global, y asu me un carcter ms abstracto. En nuestro ejemplo, y siempre ser el doble de x y z el triple. Ms que los propios trminos, son, como puede verse aqu, las relaciones entrelostrminoslasquequedanexactamentedeterminadas.Lacaracterizacinde los trminos primeros por las relaciones que enuncian entre ellos los postulados nos pone en una situacin anloga. Un sistema de postulados puede compararse a un sistema de ecuaciones que tenga varias incgnitas; estas incgnitas se corres pondenalostrminosdelaaxiomticaqueseconsidera.Suvalornoescualquiera, pero no se encuentra determinado implcita, solidaria, equvocamente. Esta forma de establecerelsentidodelostrminosseconsiderauncasodedefinicinimplcita,la definicin por postulados. Se entiende as por qu Poincar poda afirmar, refirindo se a los postulados de la geometra euclidiana, que se trata de definiciones disfra zadas. El conjunto de postulados euclidianos constituye, de hecho, una definicin implcitadelconjuntodelasnocioneseuclidianas.17
Gergonne, Essais sur la thorie des dfinitions, 1818, pp. 2223, apud F. Enriques, Lvolution de la lo gique,p.94delatraduccinalfrancs. 17 La ambigedad de tomar las definiciones por postulados y que como se ver despus es para lossistemasaxiomticoslocontrariodeundefectoexplicaloscasosdedualidadreconocidosante riormente en varias teoras cientficas. De este modo Gergonne expuso sistemticamente (1826) los
16

/23 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. Puede verse mejor ahora que los postulados de una teora no son proposi ciones, esto es, que pueden ser verdaderas o falsas, puesto que contienen variables que, relativamente, se encuentran indeterminadas. nicamente en el momento en que se d determinado valor a esas variables, o dicho de otro modo, si se les susti tuye por constantes, entonces los postulados se convertirn en proposiciones ver daderasofalsas,deacuerdoconlaeleccinquesehayatomadoparaestasconstan tes,aunqueentoncessesaledelaaxiomticaysepasaasusaplicaciones.Conttu lo semejante al de las ecuaciones de un mismo sistema, y no podra haber mejor comparacin, los postulados son meras funciones proposicionales, expresin de la quenoesnecesariodarunadefinicinexplcitapues,ensuma,seencuentradefini daenlasfrasesprecedentes. Las matemticas son una ciencia en la que no se sabe nunca de qu se ha bla, ni si es verdadero lo que se dice Este chiste muy conocido que sugiri a Rus sell la nocin de la matemtica axiomatizada tiene valor para toda axiomtica en general.Ytambinesalaaxiomticaalaquepuedeaplicarseelsiguientechistede Poincar:Lasmatemticassonelartededarelmismonombreacosasdistintas. 11.DOSEJEMPLOSDEAXIOMTICAS Aunque no tiene que ver con la geometra y con que su autor se haya preocupado especialmente por el problema de la expresin simblica, como primer ejemplo de la axiomtica daremos el que elabor Peano para la teora de los nmeros natura les. Primero, porque su brevedad nos permitir exponerla en su totalidad, luego porque puede encontrarse en ella la ilustracin simple y notable del carcter de ambigedad,dadoquenoconllevasinotrestrminosprimeros:cero,elnmero,el sucesor de y cinco proposiciones primeras que transcribiremos de la notacin simblicaallenguajecomn: 1) Ceroesunnmero. 2) Elsucesordeunnmeroesunnmero.

iniciosdelageometraproyectiva(sinparalelismo)escribiendoendoscolumnas:lostrminospunto y plano eran cambiados de derecha a izquierda sin que la verdad de las proposiciones se alterara. Por ejemplo, dos puntos determinan una recta; dos planos determinan una recta; tres puntos, no en lnea recta,determinanunplano;tresplanosquenotienenunarectacomndeterminanunpunto,etc.Estadua lidad depende de que los trminos primeros de la teora, que son los de punto yrecta (serie de pun tos),satisfaganlospostuladosenquefiguransiselesda,respectivamente,elsentidodeplanosyhaz de planos (pasando por una recta). Es por eso que todo teorema que es vlido para puntos y rectas (que los unen), es tambin vlido para los planos y las rectas (que configuran su interseccin) y viceversa.

/24 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. 3) Variosnmeros,cualesquieraquesean,nopuedentenerelmismosucesor. 4) Ceronoeselsucesordeningnnmero. 5) Si una propiedad pertenece a cero y si cuando pertenece a un nmero cual quierapertenecetambinasusucesor,entoncesperteneceatodoslosnme ros(principiodeinduccin) Se ve entonces cmo, con la ayuda de las dos primeras proposiciones es po sibledefinir,primero,elnmerouno,despuseldosyassucesivamente.Conestas basesesposibledefinirodemostrartodaslasnocionesyproposicioneselementales delaaritmtica. Slo que la interpretacin habitual de los trminos primeros no es la nica quepuedesatisfacerestejuegodeaxiomasyasnopuededeterminarunvocamen teunsistemaconcretodeproposiciones.Russellhacelasiguienteobservacin:sile conservamos a sucesor su significado comn, pero entendemos a cero como un n merocualquiera,digamos100,yanmerocomocadaunodelosquesecontinana partir de 100, los cinco axiomas quedan verificados y, naturalmente, todos los teo remas quede ellos pueden deducirse. Delmismo modo, si conservndole su senti do ordinario a cero se designara nmero slo a los nmeros pares, y por sucesor el segundosucesor;oinclusosicerorepresentaraelnmero1yelsucesorrepresentara la mitad, el nmero designara cada uno de los trminos de la serie 1, 1/2, 1/4, etc. Todas estas interpretaciones y las parecidas que ser fcil imaginar, presuponen una estructura formal comn que esta axiomtica pone en claro. Lo que ella carac teriza no es propia y limitadamente la aritmtica, sino en forma general una cierta estructura,ladelasprogresiones.Laseriedelosnmerosnaturalesesslounailus tracin entre otras.Adems, stas no permanecen encerradas, como lo podran su gerir los ejemplos anteriores, en los subdominios interiores de la aritmtica. Es po sible instituir una progresin entre entidades que sean distintas de los nmeros, puntosoinstantes. AguisadesegundoejemploharemoselbosquejoquenosdonHilbertdela geometra euclidiana.18 Su inters lo concentr en las proposiciones sin preocupar se gran cosa por reducir al mnimo el nmero de los trminos primeros que, por

Grndlagen der Geometrie, 1899. En las ediciones siguientes el autor hizo algunas modificaciones pequeas.Nosotrosconsultamosla3edicin,1909.LosquenoencuentrenaccesiblelaobradeHil bert podrn encontrar sus 21 axiomas en el excelente libro de Godeaux, Les gomtries (coleccin de A.Colin).Recordemosdeunavezportodasqueeltrminoaxiomanoimplicayalaideadeeviden cia y de regla y retiene nicamente la de principio establecido hipotticamente, esto es, de postula do.Talsustitucinsehahechoinevitabletambinconlapalabraaxiomtica.
18

/25 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. otra parte, incorpor a los axiomas, sin enunciarlos en forma sistemtica y separa da.19Perodostrazossuyosmerecenatencin. En primer lugar no qued contento con slo despejar los axiomas, algunos de los cuales permanecieron, hasta entonces, implcitos, y enumerarlos, sino que tambin los reparti, de acuerdo con las nociones fundamentales que emplean, en cincogrupos.Esforzndoseconcadaunodeestosgrupososuscombinacionespor precisar y delimitar el dominio de los teoremas que determinan. Los del primer grupo fincan un enlace entre las ideas de punto, de recta y de plano. Son los axio mas caractersticos de la geometra proyectiva (ocho axiomas, por ejemplo, dos puntos determinan una recta; sobre una recta hay siempre por lo menos dos pun tos y sobre un plano al menos tres puntos que no estn en lnea recta). Los del segundo grupo, los axiomas del orden, fijan el sentido de la palabra entre y son los axiomas topolgicos (cuatro axiomas, por ejemplo, si A, B, C, son puntos de una recta y si B se encuentra entre A y C, se encuentra tambin entre C y A). El tercer grupo incluye los seis axiomas de la congruencia o igualdad geomtrica. (Por ejem plo, si A y B son dos puntos de una recta a, y A un punto de una recta cualquiera a, existe sobre a y de un lado cualquiera de A uno y un solo punto B de modo que el segmento AB sea congruente con el segmento AB). El cuarto grupo conlle va slo un axioma, el de las paralelas. Finalmente, un ltimo grupo se refiere a la continuidad y lo integran dos axiomas, entre ellos el llamado de Arqumedes cuyo enunciado es que, aadiendo sucesivamente un segmento a s mismo sobre una recta y a partir del punto A, siempre se podr superar un punto cualquiera B de estarecta. Por otra parte, Hilbert dio principio a un gnero de investigaciones, cuya importanciaibaarevelarsecomocapitalentodaelaboracinaxiomtica,cuandose preguntenformasistemticaacercadelanocontradiccindesusistemadeaxio masylaindependenciamutuadesuselementos.Conelfindeestablecerlanocon tradiccin elabora una interpretacin matemtica del sistema, de modo que toda contradiccin que apareciera en las consecuencias de sus axiomas debera repercu tirsobreella.Sesuponeadmitidalacoherenciadelaaritmtica,porloquegaranti za la de su sistema de axiomas. Adems, la independencia de un axioma queda establecida por la posibilidad de construir un sistema coherente que lo haga a un lado. Las geometras no euclidianas iniciales eran ya testigos de la independencia del axioma de las paralelas. En forma semejante, al construir una geometra no ar quimediana,Hilbertdemuestralaindependenciadelosaxiomasdelacontinuidad.
Desde 1882, Pasch logr definir todos los trminos partiendo de cuatro trminos primitivos (pun to,segmento,plano,puedesuperponersea).Iniciandoaqu,Peano(18891894)yPadoa(1900)losreduci rnados(quesonrespectivamente:puntoymovimiento,puntoydistancia).EnHilbertlareduccinse encuentramuchomenosdesarrollada.PocodespusVeblen,en1904,nosofrecerdelamismageo metraunaaxiomticareducida.
19

/26 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. 12.LOSMODELOS.ELISOMORFISMO A una teora en el estadio preaxiomtico se le puede dar el nombre de concreta, material o intuitiva.20 Esto significa que an mantiene contacto con los conocimien tosqueorganizayquesucontenidoconservasusentidoysuverdadempricos.Es tal el caso de la geometra ordinaria, como se ensea comnmente en las escuelas. Essiempreposible,comosehavisto,reconstruirunadeterminadateoradeductiva concreta sobre distintas bases. De este modo, los diversos autores de tratados de geometra elemental, al mismo tiempo que ofrecen desde hace siglos el mismo cuerpodedoctrina,hanidomsomenosmodificandoelordenamientoeuclidiano. Sonsecundariashastadondeelcontenidodelateoraesconsideradoesencial,pero estas diferencias formales toman una importancia creciente a medida que se des cuida su contenido. Por eso es posible decir que su inters slo se manifiesta en pleno con las axiomticas, teoras abstractas y formales. En tal sentido se opondr, a una teora concreta determinada, la pluralidad de las axiomticas que le corres ponden. Por ejemplo, la axiomtica de Hilbert es slo una entre todas a las que se prestalageometraeuclidiana. Consideremosporahoraslounadelasaxiomticasmltiplesdeunateora concreta. Como el sentido de sus trminos, y en consecuencia, de todas sus propo sicionesnoestfijadosinoequvocamenteporlospostulados,sepodrentodoca so, si se descubren varios sistemas de valores que satisfagan por igual el conjunto de las relaciones que enuncian los postulados, dar interpretaciones concretas dis tintas,obien,escogerentrevariasrealizaciones.Lasrealizacionesconcretasdeuna axiomtica se denominan sus modelos.21 Se da como entendida de por s que la teo ra concreta original que proporcion los puntos de referencia del esquema lgico trazadoporlaaxiomticaserunodelosmodelos,peronoelnico.Unaaxiomti ca se presta, como ya se comprob en ocasin de la axiomtica peaniana, a realiza ciones diferentes y stas pueden ser tomadas de dominios de pensamiento muy alejados del dominio inicial. Se da entonces una pluralidad de interpretaciones y modelosconcretosqueoponemosaunasolaymismaaxiomtica.

Porsupuestoqueestostrminostienenaquslosentidorelativo,opuestoalcarctermsabstrac to,msformalymslgicodelacorrespondienteteoraaxiomtica. 21 Modelo no debe sugerir la idea de que existe una anterioridad arquetpica. La palabra se explica porlaasimilacindeestasinterpretacionesdiversasalateoraconcretaprimitiva,quemuypropia mente puede ser llamada modelo de la axiomtica construida acorde con ella. Sin duda el recuerdo de los modelos mecnicos de los fsicos britnicos intervino en la introduccin concreta de esta nocin.
20

/27 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. Enelcasoenquelosmodelosnosedistinguendeestaformaentreellossino por la diversidad de las interpretaciones concretas que pueda darse a sus trminos y coinciden de manera precisa si se hace abstraccin de stas, de modo que se ins talen en el plano de la axiomtica formal, se dice entonces que son isomorfos, pues tienenlamismaestructuralgica. El mtodo axiomtico tiene precisamente el inters de revelar los isomorfis mos entre teoras concretas que son aparentemente heterogneas, para reestable cerlas en la unidad de un sistema abstracto. De este modo, cualquiera de estas teo ras podr servir de modelo a las otras, si ampliamos un poco el uso de esta pala bra,ascomoalateoraabstractacorrespondiente.22 Existen entonces tres niveles que deben distinguirse y sobre los que es posi ble diversificar una teora deductiva. Regresemos, como siempre, al ejemplo de la geometra euclidiana. En primer lugar, si se modifica en forma diversa por lo me nos uno de sus postulados, se obtendrn otras teoras (geometra lobatchevskiana, noarquimediana, etc.), que sern sus vecinas o parientes (emparentadas). Es en este sentido que se habla de la pluralidad de las geometras. Escojamos cualquiera de estasgeometras.Comohayformasmuydiversasdeefectuarsureconstruccinl gica, se diversificar entonces en varias axiomticas que sern equivalentes entre ellas. Si finalmente escogemos una de estas axiomticas, por lo general se le podr encontrar distintas interpretaciones. Surge de aqu una diversificacin nueva de acuerdo con modelos que sern isomorfos. Se superpone as a la diversidad de geo metras la de axiomticas de una misma geometra y, a sta, la de modelos de una misma axiomtica. Y la palabra teora se ajusta por igual a la presentacin axiom tica o a sus interpretaciones concretas. Habr entonces que evitar equivocarse y confundir entre el caso de las teoras emparentadas, las equivalentes y las isomor fas. 13.CONSISTENCIAEINTEGRIDAD.DECIDIBILIDAD La eleccin de los postulados que constituyen la base de una axiomtica, por arbi trarios que sean en ocasiones, no se deja al azar, sino que queda sujeta a diferentes exigenciasinternasqueson,msomenos,imperiosas.
Cuando todos sus modelos son isomorfos entre s, el sistema axiomtico recibe el nombre de monomorfo. Hay tambin sistemas polimorfos. En particular, se nota de inmediato que los diversos modelosdeunsistemanosaturado(vaseelinciso15)nosonisomorfosensutotalidad,pueslaau sencia de saturacin significa precisamente la posibilidad de una o varias bifurcaciones. Ms ade lante se advertir que algunos sistemas saturados, paradjicamente, pueden igualmente conllevar modelos que no son isomorfos (vase el inciso 26). En el caso de otros trminos, la saturacin es condicinnecesaria,aunquenosuficiente,demonomorfismo.
22

/28 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. Lacoherenciaes,indudablemente,lamsapremiante.Silosdistintospostu ladosdeunsistemanofuerancompatiblesentreellos,elsistemapodraconvertirse en contradictorio. De seguro que es permitido, por necesidades tericas, eliminar un tanto al azar esta obligacin o incluso intentar construir expresamente un siste ma contradictorio, del mismo modo que en ocasiones uno se propone razonar por elabsurdo.Mastalcasoresultaexcepcionaly,deordinario,seimponecomocondi cin absoluta a una axiomtica ser nocontradictoria o, como tambin se dice, con sistente.23 En efecto, una de las propiedades de un sistema contradictorio es que permita deducir no importa qu. En l es posible demostrar una proposicin cual quieradelsistemaytambinsunegacin.Estaindeterminacinprivaalsistemade todointers. Cmopuedesabersequeunsistemadepostuladosesverdaderamentecon sistente?Laintuicin esinsuficienteparaasegurarnosdeesto.Porotraparte,tener desarrollada una larga cadena de consecuencias sin encontrar en ella jams una contradiccin puede, sin duda, aportarnos una presuncin; e incluso, en el caso de quelaaxiomticacubraporcompletounateoraconcreta,quehasidodesarrollada en todos sus sentidos desde hace siglos, una certeza moral. Por ejemplo, nadie po ne en duda la consistencia de la aritmtica elemental o de la geometra euclidiana. Noobstante,yespecialmenteenelcasoenquefalteunapruebatal,semejantepre suncinnonosaportaunacertezaabsoluta.Nadanosgarantizaquenopuedapre sentarseunasorpresa,ninosaseguraque,alllegaraunciertopunto,notropezare mos con un absurdo. Eso fue lo que ocurri, por ejemplo, con las antinomias de la teoradelosconjuntos(vaseelinciso27).Peseaquetuvosuorigenenlacreciente exigenciaderigorlgico,laprcticadelaaxiomticaaumentaasuvezaquellaexi gencia e induce a sustituir esta especie de prueba emprica por una demostracin verdadera, la cual, es cierto, slo podr ser practicable al nivel de las axiomticas simbolizadas y formalizadas (captulo III). Se ver igualmente que slo tiene xito dentrodelmitesmuyestrechos. A falta de una demostracin propiamente dicha, nos quedan dos procedi mientos para establecer la nocontradiccin de una teora. Primero, la reduccin a una teora anterior. Se postula la nocontradiccin de un sistema bien establecido en la prctica, como la aritmtica clsica o la geometra euclidiana; a continuacin se elabora, a partir del sistema que se estudia, una interpretacin tal que venga a aplicarse sobre el primero o parte de ste. La nocontradiccin postulada del pri mero se transmite de esta forma al segundo. Una prueba hecha as, evidentemente slopuedesercondicional,perosilateoratestigofuepropiamenteescogida,enla prctica es suficiente. Una vez que Poincar ofreci una interpretacin euclidiana
23

Unanlisismsrefinadohaceladistincinentrenocontradiccinyconsistencia,tambindiferen cianocionesdiversasdelaconsistencia,etctera.

/29 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. de la geometra lobatchevskiana terminaron las dudas acerca de la consistencia de esta ltima. La propia geometra euclidiana recibi de Hilbert su interpretacin aritmtica, que se aade a la ya considerable probabilidad de su consistencia. Con muchafrecuenciaseescogecomotestigoalaaritmticaclsica. Un segundo procedimiento consiste en dar a la teora de la que se trata una realizacin en el mundo de las cosas. En vez de hacer volver la teora a una teora anterior cuya consistencia est ms asegurada, se desciende a lo contrario, hacia lo concreto y se construye un modelo fsico. Dado que todo lo que es real es a fortiori posible, la existencia de ese modelo garantiza la consistencia de la axiomtica que le corresponde. Y, no es, en el fondo, el xito de las interpretaciones empricas de la geometra clsica aquello que nos hace aceptar, antes que cualquier otra prueba, la coherencia de esa geometra y, en consecuencia, de la axiomtica que obtiene de ellasuesqueletolgico? Dedosproposicionescontradictorias,pynop,elprincipiodecontradiccin nos ensea que no pueden ser simultneamente verdaderas, al menos una de ellas esfalsa.Aesteprincipioseasocia,desdehacemuchotiempo,elprincipiodelterce roexcluido,cuyoenunciadoesquetalesproposicionesnopuedenserfalsassimul tneamente, sino que por lo menos una de ellas es verdadera. La conjuncin de ambos principios nos da lo que puede ser llamado el principio de alternativa: de dosproposicionessemejantes,unaesverdaderaylaotrafalsa.Alaconsistenciade un sistema fundada en el principio de contradiccin responde de este modo su in tegridad, asentada sobre el principio del tercero excluido. Un sistema de postula dos es completo cuando entre dos proposiciones contradictorias formuladas correc tamentedentrodelostrminosdelsistema,unadeellassiemprepuedeserdemos trada. Si adems el sistema es consistente, puede verse entonces que de todo par que se forma en el interior del sistema por una proposicin cualquiera y su nega cin, siempre es posible demostrar una y slo una. En otras palabras, en presencia de una proposicin cualquiera del sistema se puede siempre demostrarla o negar la, decidir en consecuencia su verdad o su falsedad en relacin con el sistema de postulados.Entoncespuededecirsedetalsistemaqueescategrico. Por debajo de esta forma fuerte de la categoricidad, que slo un nmero muy reducido de sistemas puede alcanzar, existe una forma msdbil de categori cidad, aquella en la que es posible en todo caso, para una cualquiera de las expre sionesdelsistema,sinodemostrarla(onegarla),decidiralmenossiesonodemos trable(orefutable).Estesistemarecibeentonceselnombrededecidible.24Estacuali dadpertenecesloaunnmeromuylimitadodesistemasrelativamentesimples.

24

Las diferenciaciones hechas posteriormente han hecho aparecer que determinados sistemas pue danseralmismotiempocompletosy,sinembargo,indecidibles.

/30 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. La nocategoricidad y, con mayor razn, la nodecidibilidad, constituyen in dudablemente imperfecciones, mas no faltas a la lgica, como en el caso de la no consistencia.Poresolaexigenciadeintegridad,ordinariamente,sevecomomenos apremiantequelafaltadeconsistencia. 14.INDEPENDENCIA.ECONOMA. Con frecuencia tambin se exige que los diversos postulados de un mismo sistema seanindependientesunosdeotros.Estoes,quelamodificacinquesehagaaunode ellosnoconviertaelsistemaencontradictorio.Paraestarsegurodelaindependen cia de un axioma se le prueba modificndolo sin tocar a los otros y extrayendo las consecuencias del nuevo sistema. Si permanece consistente, la independencia del postulado queda establecida y, si ocurre al contrario, que se produzca una contra diccin,ysiadems,comoeslomscomn,lamodificacinaportadaalpostulado fuesustituirloporsunegacin,entonceselresultadoobtenidonoespuramentene gativo porque la cadena de proposiciones que se ha establecido da de este modo, del postulado primitivo, una demostracin por el absurdo. Puede verse el lazo de uninentreunapruebadeindependencia ylademostracinporelabsurdo:elfra casodeunaseconvierteenelxitodelaotra.Deestemodo,ensayandovanamente demostrar por el absurdo el postulado de las paralelas fue que se lleg, sin querer, a elaborar las primeras geometras noeuclidianas y demostrar as, mediante la consistencia de estas ltimas, la independencia del postulado. Del mismo modo, pero deliberadamente, procedi Hilbert para establecer la independencia del pos tuladodeArqumedes. Laindependenciadelospostuladosdeunmismosistemanoeslgicamente indispensableparaquetenganvalidez.Slosiestacondicinnosesatisfacesepro duce una superabundancia de proposiciones primeras y se considera preferible, por economa, reducir su nmero al mnimo. Afirmar que dos postulados no son independientes,estoes,queunodeellospuedeserdemostradodirectamenteopor el absurdo a partir del otro, ser, en este caso conforme al espritu del mtodo de ductivo,producirtaldemostracinyhacerpasarlaproposicinentrelosteoremas. Estasconsideracionesdeeconomaquetienencarcterestticodesempean, no obstante, un papel considerable en la construccin de las axiomticas. El ideal destas,comoeldetodateoradeductivaengeneral,noesreducirlomsposible el nmero de los trminos primeros y de las proposiciones primeras? Se han reali zado numerosos esfuerzos en este sentido, pero la simplicidad lograda en un pun to debe pagarse, frecuentemente, con una complicacin acrecentada sobre otros, y la eleccin la dictarn entonces razones estticas o didcticas. Resulta difcil dismi nuir simultneamente el nmero de los trminos primeros, el de los axiomas y su

/31 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. longitud. La pobreza de la lengua bsica tiene, por lo general, el efecto de hacer ms largo el discurso.Adems, la mayor simplicidad intrnseca de un sistema po dra hacer ms incmoda su utilizacin concreta si, dentro del dominio considera do, no corresponde ya, de manera directa a los trminos del sistema, ninguna enti dad.Amenosque,alainversa,elusodelaaxiomticaaclimateall,pocoapoco,la nocin.Independientementedetodainterpretacinextrnseca,razonesdefacilidad deexposicinpuedeninvitaraquesehagandeterminadossacrificiosalidealdela simplicidadmxima. 15.LOSSISTEMASDEBILITADOSOSATURADOS En lugar de modificar, dentro de un sistema de postulados compatibles e indepen dientes, puede intentarse eliminar uno de ellos sin tocar a los dems. Entonces el sistema se debilita, dado que se le han eliminado ciertas determinaciones. Es por eso que all se le ensancha abriendo la puerta a determinadas posibilidades que el postulado recin extrado tena, por efecto, excluir. Dicho de otro modo, el sistema seencuentraempobrecidoencomprehensinyenriquecidoenextensin.Porejem plo, si al mantener intactos los dems postulados euclidianos se niega la unicidad delaparalela,selogralageometralobachetvskianaque,aunquediferentedelade Euclides, tiene, sin embargo, el mismo grado de particularidad. Pero si, al contra rio,sedejatotalmenteindeterminadoelnmerodelasparalelasposibles,estoes,si envezdereemplazarelpostuladodelas paralelasunosecontentaconsuprimirlo, cavando en cierta forma un vaco en el sistema, se obtienen entonces los principios deunageometramsgeneralenlaquelasdeEuclidesyLobachetvskiapareceran comoespecificaciones. Puedeintentarsehacerlaoperacinalainversa,probandoreforzarylimitar un sistema determinado aadindole uno o varios postulados independientes de los primeros. Por lo general se tropieza con un obstculo, pues llega un momento enquelaadicindetodopostuladoindependiente,elquesea,conviertealsistema encontradictorio.Sediceentoncesqueelsistemaestsaturado.Essteelcasodela geometraeuclidiana,conlacondicindequenoseincluyanenellacomopostula dos adicionales aquellos que, sin estar expresamente formulados, no estaban me nosadmitidosimplcitamenteenlasdemostraciones.

/32 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. III.LASAXIOMTICASSIMBOLIZADAS 16.SIMBOLIZACIN Elfinquesepersiguecuandoseponeenformaaxiomticaunateoradeductivaes apartarladelassignificacionesconcretaseintuitivassobrelasque,enprimerlugar, fue elaborada, y esto con el fin de hacer aparecer en forma clara el esquema lgico abstracto. De acuerdo con esta consideracin, las primeras axiomticas padecen de unbuennmerodeimperfecciones,comopuedeverseenla de Hilbert.Se deman da olvidar el sentido concreto de los trminos que son propios de la teora; consi derarlospuntos,lasrectasylosplanosslocomocosasquesatisfacenalosaxio mas. Pero como estos trminos se conservan, se favorece, en lugar de contrariarla, nuestra inclinacin espontnea a tener una cierta interpretacin concreta determi nada.Inclusoselahacecasiimposibledederrotarsiunonotienemiedodeilustrar el texto con figuras geomtricas. Quedamos entonces expuestos a cometer una de las faltas que queramos evitar: sostener, en torno a significaciones determinadas en formaexpresa porlos postulados, una zona ms omenos fluida de significacio nes previas implcitas a las que arriesgamosreferirnos,sin darnos cuenta, en la su cesindelasdemostraciones.Entodocaso,unoesdetenidoenelcaminoenlaten tativadedespojardetodocontenidointuitivolaarmaduralgicadelateora. Prontosehacesentirdeestemodolanecesidaddesustituirlaspalabrasque designaban las nociones primeras de la teora, cargadas todava con el peso de su significacin intuitiva, por smbolos que estn desprovistos de sentido previo y en consecuencia susceptibles de recibir precisa y exclusivamente el que le confieren losaxiomas.Enlugar deescribirqueunpuntoseencuentrasituadosobreunarec ta, se designar la relacin de incidencia por la letra F, los puntos con las primeras letras maysculas y las rectas por las minsculas y seescribir slo: F (A,a).Puede verse ya en este ejemplo que la simbolizacin no se detiene slo en las nociones propias de la teora en nuestro ejemplo, slo en las nociones geomtricas sino que emplea tambin el simbolismo de la lgica de las relaciones. Sin duda, en lo terico tal cosa no es indispensable pues las teoras anteriores a otra teora, en este caso la aritmtica y la lgica, intervienen slo a ttulo operatorio, esto es, con su verdadmaterialysusentidohabitual.Noobstante,resultaraparadjicoque,enel momentomismoenqueseestcreandounsimbolismodestinadoaunateoraque an no lo tiene, no se empleara al mismo tiempo el de las teoras que ya lo poseen como, desde mucho tiempo atrs, la aritmtica y, tiempo despus, la lgica. En

/33 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. efecto,sesabequedespusdelamitaddelsigloXIX,lalgicaseharenovadoyam pliadobajoelimpulsodelosmatemticosquelahanunidoasucienciaempleando la ruta del simbolismo. En tanto que Boole y sus discpulos se imponan como fin construirunclculolgicoquesiguieraelmodelodelclculoalgebraico,laescuela italiana, encabezada por Peano, se entregaba a elaborar un algoritmo lgico espe cialmente adaptado a las necesidades de la expresin matemtica. Naturalmente, cuando esta segunda corriente se encuentra con lo que est dirigido a la axioma tizacin de las matemticas, todo resulta en una axiomtica presentada totalmente bajo la forma simblica, y es de este modo que desde finales del siglo XIX Peano expusosuaritmtica. Una segunda razn, imperiosa en otra forma, precipitara la total simboliza cin:laexigenciadelaformalizacin.Sibiensimbolizacinyformalizacin consti tuyendospasosdiferentesyseparablesenlateora,enrealidadseencuentranmuy estrechamente ligadas, puesto que la segunda es facilitada considerablemente por laprimera,porloquerecurreaellaenformacasiirresistible. 17.FORMALIZACIN En el momento en que uno cree haber satisfecho las demandas finales de la lgica es cuando una demanda nueva, y ms sutil, aparece exigiendo un esfuerzo suple mentario. De la geometra emprica a la racional, de la presentacin euclidiana a la axiomtica, de las axiomticas comunes a las simbolizadas, en cada caso se consi deraquesehaexpulsadofinalmentelaintuicinafavordelalgica.Hemosllega do ahora al final y esta ltima etapa es en realidad la ltima? Hemos logrado eli minartodofactorintuitivoysubjetivoenlaapreciacindelavalidezdeuna teora deductiva? La teora nos ofrece proposiciones primeras que enuncian mediante el len guajesimblicorelacioneslgicasentretrminosprimeros.Puestoquelaspropone slo a ttulo de hiptesis las aceptamos como tales, bajo reserva de su compatibili dad.Pero,acontinuacin,noadmitiremosunsolotrminonuevosinoseledefine con la ayuda de los trminos primeros, ni aceptaremos una proposicin nueva si no es demostrada con la ayuda de las proposiciones primeras. Por lo tanto, ningu na incertidumbre, ninguna impugnacin que pueda hacerse acerca de adoptar un trmino o una proposicin nuevos lo cual se har con una condicin: que las re glasdeladefinicinylademostracinpuedanseradmitidassinquehayalamenor ambigedad. Que la deontologa del trabajo deductivo, esto es, la lgica, sea a la vez perfectamente precisa y perfectamente universal; que regule todos los detalles yseimpongaatodos losespritus.Sinoesas,sienestedominiopuedenaparecer desacuerdos, si sucede que se discurre sobre el valor lgico de tal procedimiento

/34 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. de demostracin o de definicin, entonces la axiomtica, que para unos es un edificio lgico irreprochable, podr ser juzgada por otros como defectuosamente lgica. Lo anterior es lo que, sin duda, ocurre en forma muy aguda en el preciso momento en que se comienza a axiomatizar. La crisis de los fundamentos (vase elinciso27)quesepresentconmotivodelateoracantorianadelosconjuntosdi vidi profundamente a los matemticos. Y no fue por una de esas disputas acerca deuntemaenparticular,comolasquesonconocidasatodacienciaendesarrolloy que posteriormente se calman al alcanzarse un acuerdo que un sabio competente es incapaz de rehusar sin experimentar una mala conciencia, sino por una diver genciaalparecerfundamentalsobrecuestionesdeprincipioyquealparecerestes tigodediferenciasirreductiblesenlaestructuradelosespritus.Taldefinicin,que para uno es perfectamente clara, es considerada por otros como despojada total mente de sentido, aquella demostracin, constringente para ste, carece de fuerza paraaqul;elprincipiodelgicaquedeacuerdoconalgunosseimponedemanera absolutaatodopensamiento,segnotrostienevalorslosobreundominiolimita do. Cmo, en un caso as, escoger un lado para, por lo menos, limitar el desa cuerdoyencontraruncampodeacuerdo?Existeslounmedio:elaborarahorapa ra las reglas de la lgica de acuerdo con las cuales se razona, lo que se hizo anterior menteconlospostuladosacercadeloscualesserazona:enunciarlosenformaexpresa y en su totalidad y despus adoptar la misma actitud apartada que se tom ante lospostulados,exponerlosenformahipotticaynoafirmarloscategricamente.De la misma manera en que se admiten, lado a lado y al nivel de las axiomticas abs tractas, sistemas distintos de postulados que son incompatibles (euclidiano, loba tchevskiano, etc.) sin preguntarse cul es verdadero y dndolos a todos como igualmente vlidos, del mismo modo sera posible acoger, al nivel de las axiomti cas formalizadas, sistemas diferentes de reglas lgicas y, en consecuencia, formas diversas de desarrollar una axiomtica. En palabras deCarnap: en la lgica no hay moral; no se trata de decretar prescripciones o prohibiciones sino de alcanzar con venciones.Cadaunoeslibredeconstruirlalgicaasumaneraconlacondicinde quelaenuncieclaramenteyqueluegoseapegueaellarigurosamente(elprincipio de tolerancia de la sintaxis). La correccin lgica en el desarrollo de una teora axiomatizada deja, en ese caso, de tener un sentido absoluto, pero como llega a ser relativa a este o a aquel conjunto de principios regulativos puede prestarse a una apreciacin objetiva. Colocados frente a una axiomtica podemos encontrarnos en lasituacindedosamigosquenosepusierondeacuerdoalestablecerlasreglasde unjuego.Comonotuvieronlaprecaucindeenunciarlasnopodrnjugarjuntosla partidaquehayanescogido;perosiencambioslohacenyacuerdan,porejemplo, alternar dos reglamentos, podrn entonces jugar sin tener que acusarse de hacer

/35 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. trampa.Elreinodelavalidezseestablece,enciertaforma,aunnivelmselevado. As como cuando se pasaba de una teora concreta a la teora axiomatizada la ver dad de una proposicin del sistema pasaba a ser hipottica suspendida a la posi cinlibredetalsistemadepostulados;delmismomodoahoralavalidezformalde la axiomtica retrocede un grado y pasa, a su vez, a ser hipottica, convirtindose enfuncindelamaneracomoseeligieronlasnormaslgicas. La presentacin lgica de las teoras deductivas tom, hacia 1920, un nuevo giro, comprometindose con el camino de la formalizacin. Con el fin de sustraer la validez del sistema de toda apreciacin subjetiva se impuso a partir de entonces lanecesidaddeenunciarenformaprecisaydetallada,quenodlugaralacasusti ca en las reglas de definicin y demostracin que rigen su construccin. Los mis mos que no creen en la omnipotencia de la lgica y defienden los derechos de la intuicin,tuvieronquecederaestemovimientoconelfindepoderjustificarseante los ojos de sus rivales, y se ha llegado a ver, lo cual no deja de ser paradjico, que se enuncien las reglas formales de la lgica intuicionista y que se constituya un formalismointuicionista. 18.DELRAZONAMIENTOALCLCULO Se piensa que resultara prcticamente imposible satisfacer exigencias tan estrictas si se continuara expresndose en el lenguaje habitual, con su falta de precisin y sus numerosas irregularidades. Es de hecho, por esto, que la formalizacin supone la simbolizacin. Una axiomtica formalizada aparece de este modo como un con juntodesignos,unosquesonpropiosalateorayotrosquesonanteriores,provis tos del enunciado de las reglas que se aplicarn al manejo de tales signos. Con fre cuenciaestasreglassedividenendosgrupos:lasreglasdeestructura,destinadasa la formacin de las expresiones (en ellas pueden colocarse las reglas para hacer las definiciones) y las reglas de deduccin (destinadas a las demostraciones). Las pri meras siempre deben permitir reconocer sin disputa alguna si una expresin (ya seaonoproposicional)seencuentrabienformaday,deestemodo,pertenecealsis tema; las segundas, si una deduccin est bien llevada y si, en consecuencia, su conclusinconstituyeunteoremadelsistema.Estasreglas,porsupuesto,dejanpor completo a un lado las interpretaciones eventuales de trminos o de frmulas, en tre ellos los de la lgica. Slo toman en cuenta la estructura formal de las expresio nes,lasucesindedibujospequeosqueseleendeizquierdaaderechaylneatras lnea sobre la hoja. Ms propiamente constituyen prescripciones para hacer un cl culo. Pueden compararse a las reglas del juego de ajedrez que nos muestran cmo debencolocarsealprincipiolaspiezasyluegoculessonlosmovimientospermiti dos de cada una de ellas. Entonces, una demostracin no har un llamado a nues

/36 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. tro sentimiento espontneo de la evidencia de determinados encadenamientos l gicos,sinoqueseocupardetransformar,engradossucesivosysinsaltarninguna etapa, una o varias frmulas escritas con anterioridad como axiomas o teoremas, haciendo mencin, en el caso de cada una de estas transformaciones elementales, del nmero de la regla que la autoriza hasta que se llegue finalmente, lnea tras lnea,alafrmulaquesebusca.Debidoauncambiobruscodeactitud,comparable al que afecta la conciencia ante una figura ambigua, el pensamiento, en lugar de atravesar los smbolos para apuntar por su intermediario a las cosas simbolizadas, ahora se detiene en los smbolos mismos, dejando para despus su posible inter pretacin y retirndoles por el momento su funcin de smbolos con el fin de to marloscomoobjetosltimos. Lasexigenciasderigorhabanhechoquesedescartaracomosospechosaala intuicin sensible, en especial la representacin de figuras en el espacio, para con fiar slo en la evidencia de los encadenamientos lgicos. Actualmente, las incerti dumbres de la intuicin intelectual conducen a repudiarla y a sustituir el razona miento pensado, o incluso hablado, por un clculo hecho sobre signos expuestos a la mirada sobre una hoja de papel. Slo regresando de esta forma a la intuicin visualnorecaemosenelnivelprimero.Enprimerlugarsehalogradounprogreso enelsentidodeloabstractoydelogeneralalrecurriralaposibilidaddehaceruna interpretacin posterior de los smbolos, o mejor dicho, de una multitud de inter pretaciones diversas. Pero tambin se ha alcanzado un progreso considerable res pectoalaseguridadylaobjetividad.Silossignosconstituyenunnmerorestringi do, si su figura no se presta a la confusin y si, por ltimo, se instituye en forma expresaunalegislacincoherenteysinescapatoriasparasumanejo,entoncesnoes ya posible ninguna impugnacin seria, como tampoco ocurrira en un juego bien organizado: tal agrupamiento de signos est prohibido o no lo est, aquella trans formacindeunafrmulaestprohibidaonoloest.ComoescribeCavaills:Un razonamiento escrito no puede engaar, pues en su diseo apareceran las figuras excluidas.25 En este caso, el error salta a los ojos como un error de clculo en una operacin aritmtica, un movimiento equivocado en una partida de ajedrez, un barbarismo o un solecismo en un idioma en el cual el lenguaje est bien regla mentado. De este modo el clculo formal, como ya lo anhelaba Leibniz, sustituye conventajaalrazonamiento. 19.LAMETAMATEMTICA

25

J.Cavaills,Mthodeaxiomatiqueetformalisme,p.94.

/37 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. Con este cambio en el punto de vista que hace pasar, por lo menos de momento, loscaracteresdelrangodemedioaldefin,surgennuevasposibilidadesespeculati vas. El pensamiento se encuentra ahora en presencia de otro sistema de objetos regulados para combinarse y disociarse de acuerdo con leyes bien determinadas y que experimentan as transformaciones que no son, sin recordar al matemtico, las que ste tiene por costumbre estudiar sobre figuras o, mejor an, en los problemas de combinatoria. Los signos, de acuerdo con las leyes que norman su empleo, de finenunasuertedeespacioabstractoquecuentacontantasdimensionescomogra dos existen de libertad en la operacin concreta e imprevisible de la combina cin.26 Surge as la idea de una ciencia nueva cuyo objeto no seran ya los seres matemticosdelosquehablabanlasfrmulas,sinolasfrmulasmismas,haciendo abstraccindesusentido.Lasfrmulaselaboradasenrazndelosseresmatemti cos seseparan por completo de stos para figurar tambin comoseres de naturale zaoriginalydignasdeunestudioapropiado. La metamatemtica ser, en relacin con la expresin matemtica, lo que las matemticas comunes son en relacin con sus objetos. Todava es Hilbert el que, a partir de 1917, dio impulso a este nuevo orden de investigaciones que, bajo su di reccin, comenzaron a desarrollarse en Gotinga, de modo que su nombre se en cuentraasociadontimamentealasegundaylaprimerafasedelaaxiomtica. No se trata en forma alguna de un juego gratuito. La metamatemtica se encontrabaya,enciertaforma,enelpuntodeencuentrodevariaslneasdeinvesti gacin. Primero en la confluencia de dos corrientes que ya conocemos, la que tuvo su origen en la reflexin acerca del aparato lgico de la geometra y que al emple arse para perfeccionarla desemboc en la axiomtica, y la segunda, la que tenda a reformar la lgica inspirndose en los mtodos del lgebra y haba logrado consti tuirla como un clculo. Por influencia recproca la axiomtica se transformaba, en tonces, en un clculo, en tanto que por su lado la lgica se axiomatizaba.Adems, el giro que haban tomado las polmicas acerca del problema principal del funda mento de las matemticas (vase el inciso 27) sugera recurrir al formalismo, aun que abordando los problemas bajounsesgo queresultaraaceptableporlosenemi gos de los mtodos puramente formales. Ya Zermelo haba tratado de resolver las dificultades poniendo en marcha lo que podra llamarse, en retrospectiva, la axio mticaingenua.Suresultadomsvisiblefuereafirmarensuactitudalosmatem ticos empiristas o intuicionistas cuya doctrina, con Brouwer y su escuela, se desa rrollaba y afianzaba. Como se sabe, tomar en cuenta los signos trazados sobre una hoja constituye ya, en un sentido, el regreso a la evidencia intuitiva. Si fuera posi ble estudiar de acuerdo con mtodos cientficos estrictos las demostraciones im pugnadas, haciendo abstraccin de las entidades y de las operaciones matemticas
26

Ibidem,p.93.

/38 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. a las que remiten algunas de las cuales estn desprovistas de sentido a ojos del intuicionista, en especial las que hacen intervenir la idea de un infinito actual, por no tomar en cuenta sino nicamente sus combinaciones concretas sobre el pla no del simbolismo, se transformara por completo el aspecto del problema de for ma que diera satisfaccin a los partidos en pugna. Cambiando de objeto, transpor tando el estudio del dominio de los seres matemticos al de los signos que los representaban, y considerando, en lugar de las nociones que algunos piensan son confusasovacas,lossmbolosqueseofrecenalamirada,secolocauno,sinrenun ciar a ninguna de las exigencias del rigor formal, en un terreno que el intuicionista considerar como suyo. As, los problemas que concernan al infinito actual se transforman en problemas que conciernen a un nmero finito de operaciones de clculo, ya efectuadas o que son efectuables, descansando en un nmero finito de signos que ofrece la intuicin. En tanto que, por otra parte, el lgico ms altivo no puede hacer otra cosa que acoger, si bien no con favor, el propsito de constituir unateoradelademostracinquesea,asmisma,demostrativa. Adems, lejos de que la metamatemtica inventara arbitrariamente proble masnuevos,esellalaque,porelcontrario,esrequeridaporciertosproblemasque Hilbertdescubridesdequehizosusprimerasinvestigaciones,yjuntoconltodos losaxiomticos.Especialmenteestablecerlacompatibilidadeindependenciadelos axiomas de un sistema. Estos problemas, y los que los acompaan (integridad, decidibilidad, saturacin, etc.) propiamente no son problemas matemticos puesto quenodescansansobrelosobjetosmatemticosmismos,sinosobrelasproposicio nes que hablan de estos objetos. En vista de que resultan esenciales a toda investi gacin axiomtica, no poda dejar de hacerse sentir la necesidad de elevarlos al ni vel de la ciencia y tratarlos en forma rigurosa y metdica. ste es, precisamente, el findelametamatemtica.Veamos,porejemplo,elproblemadelanocontradiccin que, junto con el de la decidibilidad, ha ocupado el mayor lugar dentro de estas especulaciones. Recordemos la manera como se le resolva en las primeras axio mticas: realizacin en una teora concreta cuya verdad atestiguara la experiencia prueba que no deja de ser emprica y que no siempre es posible administrar; reduccinaunateoraabstractacuyanocontradiccinerapostulada,loqueslo lograba aplazar la dificultad. Pero el hecho de que la cuestin se trasponga y que, en vez de interrogarse acerca de la contradiccin o la compatibilidad de las ideas, unosepregunteacercadelaposibilidadoimposibilidaddeelaborar,apartirdelas frmulas simblicas que enuncian los axiomas de una teora, y sujetndose a un sistema bien definido de reglas expresiones de esta o aquella forma como por ejemplo,haceraparecerunpardeexpresionesproposicionalesquedifieransloen que una reproduzca a la otra hacindola preceder por un signo de negacin. Si se puede demostrar esta posibilidad o esta imposibilidad, se habr demostrado, por esomismo,lacontradiccinylanocontradiccindelateora.

/39 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. 20.ELLMITEDELASDEMOSTRACIONESDENOCONTRADICCIN Sin embargo, se hace necesaria una condicin: cualesquiera que sean la compleji dad e inseguridad de la teora matemtica estudiada y de las frmulas simblicas endondeseexpresa,lademostracinmetamatemticaquedescansasobreestateo ra deber, bajo pena de caer en un crculo vicioso o de peticin de principio, no hacer sino encadenamientos deductivos muy simples y no discutidos, de forma quelogrenenformairresistiblelaadhesindeunesprituatento.Delmismomodo que la consideracin de signos remite a la representacin visual, as la demostra cin sobre estos signos llama a la evidencia intelectual (aunque no sea sino para entender el sentido de las reglas, juzgar si son aplicadas correctamente, etc.). Mas ya sea racional o sensible, un retorno as a la intuicin slo es legtimo cuando no sevamsalldellmitedelasintuicioneselementalesyquenadielosospeche. Pormsreducidoqueseaentonceselmargendelaapreciacinsubjetivapa ra juzgar la validez de una teora, el formalismo intransigente no se considerar an del todo satisfecho. No sera posible arreglrselas de modo que los procedi mientos de la demostracin metamatemtica se encuentren integrados de alguna formaenlamismateoradelacualdemuestralanocontradiccin,demodoquela seguridaddelateoraasdemostradarecaigasobreestosprocedimientos?Seespe rllegarallempleandoelingeniosoprocedimientodelaaritmetizacindelasin taxis, obra de Gdel, que permite formular la sintaxis lgica de la aritmtica al interior mismo de la aritmtica, de forma que toda expresin de la lengua sintcti ca pueda traducirse unvocamente en una expresin aritmtica. Si, por otra parte, sehallegadoaestablecerestacorrespondenciadetalmaneraquetodaproposicin que traduzca as una proposicin sintctica en lenguaje aritmtico pueda ser de mostrableenlaaritmtica,entoncessehabrlogradoexpresarlasintaxisdelaarit mticaalinteriordelaaritmtica. Es posible ahora demostrar en esa lengua sintctica la nocontradiccin de la aritmtica? Uno de los primeros resultados a que fue llevado Gdel por la apli cacin de su procedimiento result precisamente el de probar la imposibilidad de taldemostracin.Y,dehecho,dejestablecidosendosteoremasdemetamatemti ca (1931), primero que una aritmtica no contradictoria no poda constituir un sis tema completo, lo cual conlleva, necesariamente, enunciados indecidibles; segun do, que la afirmacin de la nocontradiccin del sistema figura precisamente entre estosenunciadosindecidibles. Este resultado, que en apariencia es negativo, obtenido por medio de mto dosformalesestrictosyluegocorroboradosporresultadosanlogosacercadepro

/40 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. blemas anlogos sobre problemas conexos, tiene gran alcance. Es ms que un sim ple episodio de la historia de la metamatemtica que reanudaba, bajo una forma nueva, el viejo ideal de una demostracin absoluta al proponerse constituir un for malismo susceptible de terminar volvindose a cerrar, de alguna forma, sobre s mismo. En la actualidad se ha puesto fin a esta esperanza. Incluso dentro de la ciencia formal por excelencia, la matemtica axiomatizada, se hace necesario resig narse a la separacin, que ya se crea haber borrado, entre verdad y demostrabili dad. La primera nocin desborda a la segunda porque, como una de las teoras matemticas ms elementales, comporta no slo proposiciones en la actualidad indecididas sino proposiciones esencialmente indecidibles. Y como, por otro lado, elprincipiodelterceroexcluidoyelenunciadocontradictorionopsonigualmente indemostrables (es decir, para las cuales puede establecerse que son igualmente indemostrables,elenunciadop y elenunciadocontradictorio nop)porque,deotra parte, el principio del tercero excluido cuya validez mantienen precisamente los formalistascontrasusadversariosintuicionistas,aseguraquededosproposiciones contradictorias una es necesariamente verdadera, aun en el caso de que no poda mosdecircul,sehacenecesarioconcluirqueexiste,enelinteriordeunamatem ticaaxiomatizada,algoverdaderoynodemostrable.Yaparaunalenguaformaltan restringida como la aritmtica, su nocontradiccin no podr ser demostrada sino medianteunaapelacinamediosqueleseanajenos. 21.LAAXIOMATIZACINDELALGICA Problemas y dificultades anlogos a los que conoca la metamatemtica se encon traban, al mismo tiempo, en el terreno de la lgica. Por lo dems, ambos rdenes deinvestigacinseencuentranactualmenteasociadosntimamente.Cuandoanla axiomticaseencontrabaensuscomienzos,lacondicindelalgicapodaparecer, debido a su situacin inicial, como privilegiada. Una teora axiomatizada retiraba su significacin y su verdad usuales a los trminos y postulados sobre los que se edificaba,mas para esta edificacin haca un llamado a teoras anteriores cuya ver dad y sentido ya se encontraban presupuestos. Y en el punto de partida de estas teorasprevias,anterioresatodaslasotras,seencontrabalalgica.Sindudasepo da afirmar de sta que se axiomatizaba a s misma puesto que de all en adelante sepresentaba,desdeFregeyenespecialenlagransntesisdeRussellyWhitehead, como un sistema deductivo en el que estaban despejados expresamente trminos primeros y proposiciones primeras. Slo que todava no se daba aqu, si es posible decirlo,sinoslounaaxiomticaconcreta.Lostrminosconservanaqu,msome nos, su acepcin usual precisada slo por las relaciones que enunciaban los postu lados. Y stos eran verdaderos axiomas, a la vez proposiciones primeras y eviden

/41 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. cias intelectuales. El sistema tena un sentido pleno y una verdad absoluta que se propagaban,mediantelasdefinicionesylasdemostraciones,alostrminosderiva dos y a los teoremas.Al proponerse fundar la aritmtica, y por su intermedio todo el edificio de las matemticas sobre la lgica, el logicismo de Frege y de Russell tenda a algo muy distinto que proseguir simplemente el movimiento de retroceso hacia los principios; pensaba en llevarlo hasta su trmino, alcanzar la roca, el lti mo fundamento. Los trminos primeros de la axiomtica peaniana se mantenan relativamente indeterminados, comportando una pluralidad de interpretaciones; las proposiciones primeras padecan la misma indeterminacin y, al ser funciones proposicionales ms que proposiciones, no constituan ni podan hacerlo el objeto deunaafirmacincategrica. Definiendo estos trminos esencialmente variables con la ayuda de constan tes lgicas, pensadas como otras tantas esencias intemporales, demostrando estos postulados, extraos hasta ah a lo verdadero y a lo falso, recurriendo a la ayuda de los principios lgicos, concebidos como otros tantos axiomas que se imponen absolutamente al pensamiento, Russell pretenda dotar a los principios de las ma temticas, y en consecuencia a todas las deducciones subsiguientes, de un sentido absoluto y de una verdad absoluta. La matemtica dejaba de ser esta ciencia en donde no se sabe nunca de qu se habla ni si lo que se dice es verdadero y volva asercategricodeductivaalmododelalgicadelacualextraatodasusustancia. Pero el crepsculo de las evidencias no tardara en alcanzar tambin a la l gica.Yalaaparicin,conocasindelateoradelosconjuntos,deantinomiasdelas cuales se adverta que el origen deba ser buscado en su nivel, y luego el desacuer do profundo que se haba manifestado, en su discurso, acerca de la validez de ste oaquldesusprincipios,comenzaronaconmoverlaideadeunalegislacinlgica absoluta, nica y universal. La nueva orientacin que hacia 1920 algunos lgicos comienzan a dar a su trabajo iba, ahora, a desagregar la lgica desde su interior. Pasconellaloqueunosdeceniosanteshabapasadoconlageometra.Delmismo modo en que sta dej de ser nica con la aparicin de las geometras noeuclidia nas despus de haber sido intuitiva porque se la puso en forma axiomtica, en la misma forma la lgica se pluraliza y se axiomatiza. Resultaba inevitable que la l gica, transformada en deductiva, se transformara tambin en el sentido de una axiomticaabstracta.Lasrazonesqueinvitabanadejardelado,eneldesarrollode unsistema,elsentidointuitivodelostrminos,portemoraquepasarainadvertido en los razonamientos ulteriores, tenan valor para la lgica como para cualquier otradisciplinadeductiva.Enlostrminosdelateoraresultabanecesarionoversi noelsoportedelasrelacionesenunciadasenlospostulados.Deestemodolaspro posiciones de la lgica, despojadas as de su sentido propiamente lgicocomo lo estabanlasde lageometradesusentidopropiamentegeomtrico,seconvierten pues en formas puras, meras tautologas como lo entender Wittgenstein. Esto es,

/42 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. enunciadosqueestrictamentenodicennadaacercadelorealperoque,porestara zn,semantienenvlidoscualquieraqueseaelcontenidoconcretoqueseviertaen ellos. Esta interpretacin formal de la lgica favorece la aparicin de lgicas no clsicas del mismo modo que, por una accin recurrente, stas vienen a reforzarla. Porque si los principios son establecidos slo hipotticamente, no hay ya nada que prohba establecer otros, modificar ste, eliminar aqul. As se pasa de la lgica a las lgicas que uno construir a su voluntad. A su vez, tal pluralidad de lgicas retira su privilegio a la lgica clsica, que slo es un sistema entre otros y, al igual que ellos, una simple arquitectura formal cuya validez depende slo de su cohe renciainterna. Slo que la analoga, con respecto a la geometra, deja de ser, en este punto, esencial, dado que la lgica no dispone ya de ciencias anteriores de las que pueda hacerse uso para construirla como una axiomtica formal. Ya, a medida que se re montaba la escala de las ciencias iba en aumento la dificultad de no presuponer nada en el trabajo de la axiomatizacin que perteneciera a la ciencia de la cual se trataba.Porejemplo,enelcasodelaaritmticalapluralidadnumrica.Conlalgi ca, la dificultad llega a convertirse en una imposibilidad absoluta, pues necesaria mentehacefaltaunalgicaqueregulelasoperacionesdelaxiomtico.Seguramen te es posible vigilar para poder ajustar la lgica que se est axiomatizando sobre la misma que sirve para axiomatizarla para hacer, dicho en otra forma, que la lgica operatoria se aplique sobre la lgica axiomatizada como uno de sus modelos posi bles. No obstante, subsisten dudas bastante vergonzosas: primero, se est seguro de poder lograr una correspondencia completa entre las dos? Ya a los primeros artficesdelalgicasimblicanoseleshabaescapadoobservarquedeterminadas reglas de la deduccin formal no podan ser incluidas en el formalismo, como la licencia de reemplazar, dentro de una frmula del clculo, las variables por cons tantes individuales, permiso sin el cual la frmula no tendra ningn uso, puesto que sera presupuesta necesariamente dentro del uso de toda forma simblica que pretendieraexpresarla.Deestemodoresultaranecesariodistinguirenformaclara entre los axiomas y las reglas, entre los enunciados que integran el clculo y aque llos que lo regulan, dominando de alguna manera estos ltimos al clculo mismo, pero siguiendo sindole exteriores. Tal distincin naturalmente va a imponerse a todatentativadeaxiomatizarlalgica,locualindicaqueresultaimposiblellevara un trmino final la obra de la axiomatizacin, la reduccin de lo intuitivo, que se r reabsorbido por la lgica. Siempre subsiste algo anterior, lo intuitivo previo, pues si las proposiciones del clculo pueden, o deben, ser vistas como nicamente formales, por el contrario, las proposiciones sobre el clculo no pueden ser vacia dasdesignificadoynecesariamentedebenserentendidasensusentidointuitivo. Por otro lado, la multiplicacin de las lgicas no simplifica el asunto. Con una lgica que es considerada nica y absoluta, la correspondencia entre su forma

/43 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. axiomatizada y su uso operativo, aunque continuara siendo parcial, al menos quedabaestablecidacomoalgopertenecienteaellamisma.Estonopuedeyaocu rrir en el caso de las lgicas construidas ad libitum, dado que su multiplicidad y diversidad les prohben referirse por igual a nuestra lgica operatoria, de la cual seralaboriosoaceptarquefueraigualmentemaleable. 22.LAMETALGICA En tal forma, la axiomatizacin de la lgica la fuerza al desdoblamiento, no slo al que es propio de toda axiomtica que permite se hagade ella una lectura abstracta oconcreta,sinotambinalquedemandalaanterioridaddelaactividadconstructi va, tomando como referencia toda construccin formal. En su totalidad, la axiom ticaformalseencuentrarodeadaporundominiointuitivo:pordebajo,lasinterpre tacionesconcretasquedeellasepuedandar,losmodelos,queporlogenerallehan servido de base; por arriba, las ciencias que le son anteriores y que intervienen, en su proceso de edificacin, con su verdad categrica y significado intuitivo. Pues bien, la colocacin de la lgica, al extremo de la escala de las ciencias, le impide apoyarseenunacienciapreviamenteconstituida.Noobstante,sisedeseaexpresar el saber que va implcitamente empleado en el trabajo de la axiomatizacin de la lgica, ser imposible efectuarlo dentro de la lgica, sino en una nueva disciplina cuyoobjetoseranlasfrmulasdelalgicaaxiomatizada,ascomolasreglasdesu manejo. La metalgica desempea en esta forma, en relacin con la lgica, el mis mo papel que la metamatemtica en relacin con las matemticas. Sin duda resul tara exagerado afirmar que naci de la axiomatizacin de la lgica, pues en cierto sentido todos los lgicos haban hecho ya, en cierto grado, metalgica, aunque sin saberlo. La axiomatizacin los oblig a tomar conciencia y a distinguirla en forma expresadelalgica alacualestvinculadacomosuobjeto.Aunalenguaobjetiva, comoloeselclculoformal,vieneasobreponerseunametalenguaquecomprende especialmentelasreglasdesintaxisdelclculoformalylasreglassemnticasdesu interpretacinconcreta. Por supuesto, nada impide tomar ahora, a su vez, la metalengua como obje todeestudioyformularsusintaxisyorganizarlaposteriormenteenunateorade ductiva, la cual podr ser axiomatizada, simbolizada y formalizada. Slo que por esta razn se emplear una metalengua nueva o, si as se desea, se crear el objeto deunametalgicanueva.Deestemodosepuede,almenosenteora,proseguiren forma indefinida tales escalonamientos, indicando con la palabra indefinida, la imposibilidad de sealar un lmite a la regresin formalizadora y eliminar en el puntodepartidadelaelaboracinaxiomticatodorastrodeintuicin.

/44 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. IV.ELMTODOAXIOMTICOENLACIENCIA 23.LASVENTAJASDELMTODOAXIOMTICO En sus principios, la formulacin axiomtica de una teora deductiva podra pare cer que tena un inters limitado. Entre los matemticos, gran cantidad de ellos no vean en ella sino poco ms que un procedimiento elegante de hacer una exposi cin, cuyo refinamiento era muy superfluo, casi una especie de juego intelectual apto slo para satisfacer espritus en exceso escrupulosos en lo que respecta al ri gor lgico, pero que se encontraba al margen del trabajo cientfico y verdadera menteproductivo.Debidoasucarcterdeliberadamenteformal,noseprohibala axiomtica a s misma enriquecer con sustancia alguna de carcter nuevo el conte nido de nuestro conocimiento? Su utilidad como mtodo an pareca dudosa, no sloenloquetocaasusaplicacionesprcticas,sinoinclusoalinteriordelaciencia pura. No obstante, la historia de la ciencia muestra en forma excesiva que, con fre cuencia, las investigaciones inicialmente ms desinteresadas son las que al final se revelancomolasmsfecundas. Despusdetodo,unesprituescpticonohabraexpresadoobjecionesmuy parecidas en el momento en que los griegos, al poner en forma deductiva todo un cuerpo de verdades empricas, construyeron las matemticas como una ciencia ra cional,iniciandoenestaformaalahumanidadenlaeracientfica? Si se reflexiona sobre ellas, las ventajas del mtodo axiomtico resultan ma nifiestas. En primer lugar constituyen un instrumento precioso de abstraccin y anlisis. El paso de una teora concreta a la misma teora axiomatizada, formaliza daposteriormente,renueva,prolongndolo,eltrabajodeabstraccinquelleva,por ejemplo,deunnmeroconcreto(unmontndemanzanasodeguijarros)alnme ro aritmtico, y despus de la aritmtica al lgebra, reemplazando los trminos individuales por variables de las cuales slo estn determinadas las relaciones. Y, en fin, del lgebra clsica a la moderna, en la cual no slo los objetos sino tambin lasrelacionesqueseefectansobreestosobjetoslleganasuvezaserconcretamen te indeterminadas, fijadas slo por algunas propiedades fundamentales muy abs tractas. Por otro lado, ante el tratamiento axiomtico, las nociones fundamentales de una teora quedan con frecuencia confusas, tienen comprehensiones que son a la vez demasiado ricas e insuficientemente explicadas. Nada garantiza entonces que estos elementos diversos continuarn siendo siempre compatibles, y nada nos precave en contra del peligro de resbalar en forma inconsciente en nuestros razo

/45 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. namientosdeunoaotro.Elmtodoaxiomticoprosigueelanlisisdelasnociones primeras, obligando a aislar ciertas propiedades enunciadas expresamente en los axiomasyausarnicamenteaellasoloquesehayadeducidodeellas. Un progreso en la abstraccin va siempre a la par con un progreso en lo general, dejando caer algunas de las determinaciones disociadas por el anlisis. La reduccin de la comprehensin elimina las restricciones y asegura el ensancha mientodelaextensin.Russellafirmaquegeneralizarestransformarunaconstan te en una variable, y tal es precisamente el trabajo delaxiomtico cuando sustituye la recta, la congruencia, por x, y, que satisfacen a las relaciones que enuncian los postulados. De este modo, cuando descartamos las significaciones intuitivas, que siempre son especiales, no slo nos hacemos capaces de pensar en forma ms de sembarazada la teora inicial, sino que, de golpe, se forma un instrumento intelec tual plurivalente que puede utilizarse en todas las teoras isomorfas a la primera. Del mismo modo que una funcin es, como se ha dicho, un molde de proposicio nes,unateoraaxiomatizadallegaaserunaespeciedefuncinterica,unmolde deteorasconcretas.Eldefectodelaunivocidad,lejosdeperjudicaralasdefinicio nes por postulados, por lo contrario constituye su inters. La indeterminacin de una estructura formal no puede considerarse una indigencia desde el momento en que no es una cualquiera, sino que se encuentra regulada por condiciones muy precisas. La pluralidad de los posibles, en los lmites precisamente delimitados, representaporlocontrariounaverdaderariquezavirtual.Seobtienedeestemodo, porlaaxiomtica,unaeconomaimportantedepensamiento,puesserenenvarias teorasenuna,lomltiplesepiensaenuno. Perotambinseganabastanteparaelmismosaber.Primero,ensuorganiza cin de conjunto. Al igual que la anatoma comparada, guiada por el principio de la identidad de plan, discierne en su pintoresca variedad los rganos homlogos, astambinlaaxiomtica,aldescubrirlasanalogasformales,revelacorresponden cias insospechadas entre los dominios diversos de una misma ciencia e incluso pa rentescosentrecienciasquealparecereranajenasoloparecan.Alponerderelieve la estructura invariante que es comn a teoras que al parecer son heterogneas, se hace posible dominarlas mediante el pensamiento y, en una visin ms sinttica, abrazarconlamiradavastospaisajesintelectualesquesloseconocanfragmenta riamente, en lo cual encontrarn provecho los espritus que se encuentran ms atentosalacrecentamientocuantitativodelosconocimientosqueasuorganizacin armoniosa.Puestalorganizacinhacesensibleslaslagunasquelaanalogainvitaa llenar.Cadateorasacaprovechodelasque,enlaactualidad,sedenominanempa rentadas.Setransfierenaqu,dondenolosugeranadaintuitivo,losresultadosad quiridos en otras partes. El rigor del mtodo de exposicin conduce as, en ltima instancia,asufecundidadparaeldescubrimiento.

/46 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. A estas ventajas, que ya en primer grado ofrecen las primeras axiomticas, vienenenformanaturalacombinarse,enlasaxiomticasformalizadas,lasdetodo clculosimblico:seguridad,objetividad.Elcarcterciegoycuasimecnicodesus procesos no es, en forma alguna, su menor inters, pues permite que sean ejecuta dosporunamquina,reservndoseaselesprituparalasoperacionesdenivelsu perior. Mediante la simbolizacin y la formalizacin de las teoras, y por medio de losisomorfismosasrevelados,lasgrandescomputadoresdeEUAestnpasandoa ser, si no mquinas repensar verdaderas, al menos auxiliares cientficos cuyas aptitudes superan muy ampliamente la ejecucin de las operaciones o problemas que son puramente numricos. Y de entre los problemas numricos que son capa cesderesolverfiguran,precisamente,losproblemasdedecisinacercadelasaxiom ticas formalizadas. Tales usos an son nuevos y sus desarrollos an imprevisibles, pero se piensa que ya sin ayuda de las mquinas y para el espritu reducido slo a susrecursos,lasimbolizacinylaformalizacinelevan laabstraccinaxiomticaa lasegundapotencia,sisepuededeciras. 24.LAAXIOMATIZACINDELASMATEMTICAS Resultaraenextremodifcilmedirconprecisinlapartequelecorrespondealm todoaxiomticoeneldesarrollodelasmatemticasmodernas.Msquedeunaca usalidad bien orientada, indudablemente sera obligado hablar con frecuencia de acciones recurrentes o conjugadas. La teora de los grupos, por ejemplo, de la que ha sido posible decir que es la matemtica despojada de su sustancia y reducida a su forma pura, naci antes que ella y se desarroll inicialmente en forma indepen diente.Noobstante,elesprituenqueseinspiraesttandeacuerdoconlaaxiom tica, y los problemas son a menudo tan cercanos, que ambos rdenes de investiga ciones se encuentran en la actualidad relacionados muy ntimamente.27 Precisa mente porque no se trata de una invencin aislada y localizada, surgida en forma accidental, y porque tiene su apoyo en las mismas tendencias que caracterizan el espritu matemtico europeo, las cuales no han hecho otra cosa que exasperarse desde hace ms de 100 aos, es la causa por la cual el mtodo axiomtico no logra disociarse del todo. Sus rasgos caractersticos ya son reconocidos fcilmente en el pensamientomatemticoclsico:abstraccinygeneralizacincrecientes,rechazoa
27

Cf.G.Juvet,Lastructuredenouvellestlioriesphysiques,p.169.Todageometracoherenteconstitu ye la representacin de cierto grupo. Ahora bien, toda geometra descansaigualmente sobreun sis temadeaxiomas,demodoquetodaaxiomticaesigualmente,desdeciertopuntodevista,larepre sentacin de cierto grupo, el grupo de operaciones que definen los axiomas y que actan sobre los objetos de los que tratan tales axiomas. Cf., del mismo autor, Laxiomatique et la thorie des groupes, CongrsIntem.DePhil.Scientifique,1935,vol.VI.

/47 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. la intuicin que se sustituye con la lgica, subordinacin del contenido a la estruc tura,establecimientodecorrespondencias unificadoras,etc.Noresultamenoscier to por esto que Hilbert, al haber enseado a los matemticos a pensar axiomtica mente haya modificado profundamente el estilo matemtico, precisamente don deelmtodoaxiomticonoseempleaenformasistemtica.28 Perosteloescadavezms.Todateoramatemtica,desdelaaritmticayla teora de los conjuntos hasta el clculo de probabilidades, ha sido ya axiomatizada y, con frecuencia, en formas mltiples. En Francia, el gran tratado que se public bajo el pseudnimo genrico de N. Bourbaki, se propuso exponer, mediante este mtodo, todo el conjunto de las matemticas. Bien se entiende que en el caso deunateoraqueseencuentratodavamuycercanaasusorgenesconcretos,como es el caso de las probabilidades, la forma en que la axiomatizacin desembaraza a la ciencia de los problemas concernientes a la esencia de las entidades de las que trata, y que son problemas de los cuales hasta hace poco una ciencia racional no pensaba poder liberarse. La parte ms difcil de un tratado de las probabilidades era,confrecuencia,laintroduccin,enlacualelautorsesentaobligadoaprecisar lo que significaba esta nocin mediante la cual pretenda hacer ciencia. Quedaba entoncesatrapadoenestedilema,obiennosremitaalaintuicinalhablardecar tas,bolas,dados,centavos;obiendabaunadefinicinabstractaenlaquepodadi simular bien, mas no suprimir, la circularidad: la probabilidad, la relacin del n mero de casos favorables con la de los casos posibles con la condicin de que stos sean igualmente probables. Esta notoria dificultad ilustra sorprendentemente lo que tiene de incmoda y transitoria la fase de la deduccin concreta, en la cual se debe y no se puede justificar los principios. Las cosas quedaban claras en la fase empri caeinductiva.Aldejarnosguiarpornuestrosentimientointuitivodelasprobabili dadespodramosver,porejemplo,quenoexisteraznalgunaparaquecaigagui laosol.Ydespusllegamosaestablecerlasdosleyes,quelaexperienciaverificar, de las probabilidades totales y de las probabilidades compuestas. Y esto volver a resultar claro en la fase axiomtica, la de la deduccin abstracta: ambas leyes que darnestablecidasahoracomoprincipios. Tal purificacin conceptual inicitica constituye apenas el beneficio menor queesposibleobtenerdelmtodo.Comosehavisto,elanlisisaxiomticodestaca las estructuras de las teoras particulares que se encuentran ya constituidas, reve lando as las analogas formales entre teoras con frecuencia muy alejadas en su contenido y que por esta razn permanecen como si fueran independientes. Tal es el caso, por ejemplo, de la teora de la medida y el clculo de probabilidades. Del mismo modo se descubren estructuras topolgicas en conjuntos de elementos que
28

Cf. J. Dieudonn, David Hilbert en Le Lionnais, Les grands courants de la pense mathmatique, Rev. DeMetaph.,1935,pp.375384.

/48 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. no son ya puntos, sino funciones o, incluso, elementos que son esencialmente dis continuoscomolosnmerosenteros.Lateoradelosespaciosabstractos,otopolo ga general, que se debe a M. Frchet, se convierte as en uno de los frutos ms be llos del mtodo axiomtico. Las teoras matemticas son igualmente puestas en correspondencia con teoras extramatemticas, especialmente con teoras lgicas. El clculo de probabilidades con ciertas lgicas plurivalentes; la topologa con de terminadosclculosdelgicamodal;teorasantiguas,puestasenclaroconunaluz nueva procedente del isomorfismo, pueden experimentar desarrollos inesperados. La similitud de funciones lleva tambin a crear, para una teora, nociones abstrac tas que no podan sugerir nada en tanto se encontraban sujetas a su interpretacin primigenia.Deestemodonacenseresmatemticosnuevos. Nosloseaprovechandeltratamientoaxiomticolasteorasparticulares,si noquetodalafisonomadelconjuntodelasmatemticasseencuentratransforma da. Debido a parentescos insospechados que se revelan de pronto, se redistribuye eluniversomatemtico.Elordentradicional,29querepartalasdisciplinasmatem ticas de acuerdo con los objetos de estudio (aritmtica, lgebra, anlisis infinitesi mal, geometra) parece en la actualidad tan superficial como el de las antiguas clasificaciones zoolgicas que agrupaban a los animales de acuerdo con sus seme janzas exteriores (acuticos, terrestres, areos) en lugar de basarse en las similitu des de su estructura. Se coordinan ahora teoras que tratan acerca de objetos muy diferentes pero que se encuentran dotados de propiedades formales anlogas. La teoradelosnmerosprimossehallamuycercanaaladelascurvasalgebraicas,la geometra euclidiana a las ecuaciones integrales simtricas. Y la subordinacin se basasobrelajerarquadelasestructuras,quevandelasmssimplesygeneralesa lasmscomplejasymsespeciales. En primer lugar, algunas estructuras maestras que tienen un carcter ms amplio: estructuras algebraicas, estructuras de orden, estructuras topolgicas. A continuacin estructuras que son ya ms complejas y diferenciadas, en las que se combinan orgnicamente dos o ms de estas estructuras maestras, como por ejem plo el lgebra topolgica. Despus slo teoras ms especiales en las cuales los ele mentos empiezan a cobrar una individualidad mucho ms marcada. Es en este ni veldondesereencuentralamayorpartedelasteorasdelamatemticaclsica.S lo que en lugar de permanecer independientes y casi aisladas, se ven ahora deter minadas por entrecruzamientos diversos de algunas teoras ms generales. Por ejemplo, el conjunto de los nmeros reales puede ser considerado como un cuerpo o como un conjunto ordenado, o bien como un espacio topolgico, etc., de modo

LapartefinaldeesteprrafoseencuentrainspiradadirectamenteporN.Bourbaki,Laarchitecture des mathmatiques, en Le Lionnais, op. cit., pp. 4344; J. Dieudonn, Laxiomatique dans les mathmati quesmodernes,Congrsintern.DePhil.DesSciences,1949,III,p.48;Chevalley,art.cit.,pp.383384.
29

/49 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. que las propiedades de los nmeros reales son, por una parte, las que es posible leer en los teoremas que les son aplicables de cada una de las teoras correspon dientes y, por otro lado, las que resultan de la validez simultnea de estas teoras diversasodevariasdeentreellas. 25.LAAXIOMATIZACINENLASDEMSCIENCIAS El sistema axiomtico no se aplic exclusivamente a las matemticas sino que se desbordportodoslados. No constituir sorpresa alguna que un mtodo cuyo propsito es suplantar laintuicinporlalgicahayaencontradosucampodeeleccinenlamismalgica. Estacienciahaceenlaactualidad unempleosistemticoyregulardeellay,alcon trario, su uso va disminuyendo a medida que se desciende en la escala de las cien cias,cuandosepasadelamecnicaaotraspartesdelafsicay,deall,alasciencias delanaturaleza.Podradecirsequenohaexcedidoaneldominiodelafsica.Los ensayos que se han hecho en el campo de otras ciencias, como Woodger lo intent conlabiologa,continansiendoespordicosysuintersradicaexclusivamenteen lacuriosidadqueprovocan.No setratadequeningunacienciarechace,por suna turaleza misma, su empleo, pero ste, para que rinda frutos, slo debe llegar a su hora y en el momento en que la ciencia en cuestin alcance cierto grado de madu rez.Existeunaespeciedeleydeldesarrollodelascienciasquelashacepasarenun orden irreversible, y cada una de ellas, a su turno, de acuerdo con el rango que ocupan en la jerarqua, por cuatro etapas sucesivas: la descriptiva, la inductiva, la deductiva y la axiomtica. Una axiomtica queda en una especie de vaco si no es construidasobreunateoradeductivaprevia,lacualcarecedevalorcientficosino organizaunvastoconjuntodeleyesadquiridasinductivamente,trasunaprolonga da exploracin de los fenmenos. La fsica inductiva en los siglos XVII y XVIII dio paso, en el siglo XIX, a la era de las grandes teoras deductivas y, en la actualidad, ha llegado al punto en el cual el tratamiento axiomtico le es ampliamente aplica ble. No siempre han sido sus partes iniciales en el tiempo las que han obtenido msbeneficiosdeestetratamiento.Determinadascaractersticasdelasteorasnue vas que, por supuesto, se apoyan en todo conocimiento adquirido con anteriori dad,inclusocuandosteescorregidolaspredestinabanaello,ynosloelhecho de que nacieran en la misma estacin en que la axiomtica floreca. En primer lu gar, su carcter altamente abstracto y formal que inevitablemente resulta, entre otras muchas razones, de que han dejado de existir dentro de la escala de nuestra intuicin. Una fsica de lo inmenso y una fsica de lo nfimo desconciertan nuestro poder de representacin concreta: la curvatura del espaciotiempo, el spin del elec

/50 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. trn no tienen ya sino un valor muy dbilmente analgico. Incluso esta lejana alu sinalaimagensedesvanecedeltodoconelsimbolismomatemtico,elnicoque daalasteorassuexpresinexacta.Adems,ciertasparticularidadesquesonesen ciales a la nueva fsica favorecen e incluso imponen el uso del mtodo axiomtico. Como lo explica J. L. Destouches, una fsica en la que todas las medidas simult neas no son posibles no puede ser una fsica de las propiedades intrnsecas y debe limitarse a ser una fsica de relaciones.30 Una fsica as necesariamente debe ser estructural. Demanda en forma expresa la subordinacin de los trminos a las rela ciones,queestancaractersticodelordenamientoaxiomtico. Si es que no se ha extendido mucho el uso de exponer axiomticamente el contenido de la fsica clsica no se debe a que este asunto presente dificultades especiales,almenosparalaspartesyasistematizadas. La axiomtica consiste en el perfeccionamiento de la teora deductiva, lo cualtambinsignificaquetodapuestaenformadeductivaencaminayaporlaruta delaaxiomtica.Lacostumbrededuplicarellenguajemedianteelsimbolismoma temtico ha acostumbrado a los fsicos desde hace mucho tiempo a distinguir no entre teoras con imgenes y teoras abstractas, como entre dos aspectos, uno con creto y otro simblico de la misma teora. Pero de acuerdo con la comparacin de Poincar,lasimgenesnosonsinovestidurassometidasalcaprichodelamoda,en tanto que la verdadera teora, la que permanece, es el sistema de ecuaciones, esto es, de relaciones. Del mismo modo, no han dejado de observar las similitudes for malesquesedanentreecuacionesosistemasdeecuacionesquepertenecenacap tulos de la fsica que son concretamente distintos y que, por ejemplo, rigen unos a los fenmenos mecnicos y otros a los fenmenos electromagnticos: entonces, los isomorfismos les son familiares. Pero ya dentro de la organizacin conceptual que presupone el establecimiento de leyes, el trabajo de abstraccin hace un llamado a las axiomticas ulteriores. Si la fsica es una ciencia de lo concreto en el sentido de quedescansasobreloreal,porlomenoslostrminosentrelosqueseestablecenlas relacionesqueenuncianlasleyesson,porcompleto,algodistintoalosobjetoscon cretos.Lamasa,lafuerza,lapotencia,laresistencia,sonentidadesabstractassuge ridas seguramente, como su nombre lo indica, por imgenes, pero cuyo sentido propiamente cientfico queda fijado exclusivamente por las relaciones que sostie nen entre ellas y con otras de naturaleza semejante.31 Las nociones intuitivas han servido,ensuorigen,paraestablecerlasleyes,perounavezelaboradalareddele yeslaperspectivasehainvertido:eselconjuntodeleyesdelamecnicaclsica,de la termodinmica, de la ptica el que da, de las nociones fundamentales de cada una de estas teoras, una definicin disfrazada. Para descartar definitivamente
30 31

Essaisurlaformegnraledesthoriesphysiques,p.102. Cf.J.Ullmo,Physiqueetaxiomatique,Rev.DeMtaph.,1949,pp.126138.

/51 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. tales significaciones intuitivas adventicias e inoportunas, para exponer en su pure zaintelectualelsistemadelasrelaciones,ningnmtodopodrasermseficazque elmtodoaxiomtico. 26.LOSLMITESDELMTODOAXIOMTICO Las ventajas que ofrece este mtodo no deben, sin embargo, disimular sus lmites. En primer lugar no se debe olvidar que slo representa una de las fases de la cien cia y que incluso el lgico y el matemtico no se desinteresan de ninguna manera delaverdadmaterialdesusproposiciones.Elaritmticobienpuedepretenderque la descuida, pero sin embargo no deja de acoger, aparte de situarlos en un nivel inferior, muchos teoremas empricos, que en realidad son verdaderas leyes in ductivas. Pero en el lugar preciso en que se procede axiomticamente, no sera po sible llevar adelante el mtodo hacia donde apunta. Este se propone perseguir a la intuicin para sustituirla no ya por el razonamiento sino por un clculo, por un manejo regulado y privado de smbolos. En realidad el formalismo no es capaz de funcionar sin alimentarse, en ste u otro lugar, de la intuicin. Y, en primer lugar, delaintuicinconcretaquelosostiene. Slo ocurre en los libros que una axiomtica comienza con los axiomas y, en el espritu del axiomtico, ah termina, pues presupone la deduccin material a la que da forma, y sta,a suvez, ha requerido un largo trabajo inductivo previo para poder reunir los materiales a los que da organizacin. Sobre estas bases, el trabajo verdaderodel axiomtico es descubrir los axiomas y, de hecho, no deducir las con secuencias de principios dados, sino por el contrario, frente a cierto conjunto de proposiciones, descubrir un sistema mnimo de principios de los cuales se puedan deducir.Al anlisis inductivo que, de los hechos se remonta de las leyes, sucede el anlisis axiomtico que, prosiguiendo la obra de sistematizacin deductiva, se re monta de las leyes a los axiomas. Una vez que stos han sido traducidos a smbo los, con sus reglas de funcionamiento, el formalista podr olvidar las significacio nes intuitivas iniciales. stas no han requerido menos el diseo de su construccin y solas, incluso ahora, hacen comprender las lneas maestras y loscontornos y ase guransuunidad:unidadorgnicaynomerayuxtaposicinaccidentaldeaxiomas. El defecto de una presentacin axiomtica abrupta, en el momento en que afecta a espritus que no se encuentran preparados, se encuentra precisamente en esta im presin irresistible de arbitrariedad y vacuidad. La axiomtica prcticamente no presentaintersaquienpreviamentenohaasimiladoelconjuntodeconocimientos concretosqueordenacuandolosesquematiza.Noessloporjuegoqueseconstru ye una axiomtica, y los instrumentos intelectuales se encuentran hechos para ser utilizados.Inclusoeltericopuro,quedejaalosdemselusodelosinstrumentos,

/52 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. noseencuentramenosconstreidoatomarenconsideracinunmodelo:elmodelo simblicomismo. Se pone otro lmite al uso del mtodo axiomtico: el teorema paradjico de Skolem. A todo sistema que excede un nivel muy elemental y que comporta un modelo en un dominio cualquiera, es posible asignarle tambin un modelo en el dominio de los nmeros naturales.Ahora bien, el conjunto de los nmeros natura lesconstituyeuninfinitoenumerable,queeslapotenciamsdbildelosconjuntos infinitos.Deesteteoremaresultaqueeltratamientoaxiomticodesvanecedecierta forma todas las potencias superiores. Por ejemplo, el continuo no puede ser conce bido en su especificidad estructural, pues toda axiomtica que se d conllevar un modelo enumerable. Los resultados obtenidos posteriormente por Von Neumann muestran que la potencia de un conjunto es relativa a la axiomtica empleada, y vanenelmismosentido.Constituaunaventajadelmtodoaxiomticoreunir,por la identidad de su estructura, una pluralidad de sistemas isomorfos. Si ahora los sistemasquerenepuedennoserisomorfosesporquedejaescaparciertasparticu laridades de las estructuras y que32 ya no basta para diferenciarlas. Ser necesario recurriralaintuicinparadistinguirlas. Silaintuicinconcretalalimitaporlaparteinferior,laaxiomticapermane cedelmismomodoencontacto,porlapartesuperior,conunaintuicinintelectual que ella indudablemente puede repeler cada vez ms lejos, pero en modo alguno suprimir.Laintuicinserefugiadelateoraenlametateora,yluegoquestaque da reducida a un sistema formal, en la metametateora y as en forma intermina ble. Siempre el manejo del simbolismo exige un sobrevuelo del espritu. Los teore masdeGdelhanpuestodemanifiestoalospropiosformalistas,puesenestecaso desempean un papel comparable al del principio de incertidumbre formulado porHeisenbergenelcampodelafsicacuntica.Delmismomodoquelainterven cin de la actividad experimental en el contenido de la observacin no puede ago tarse en forma indefinida, esto ocurre en la misma forma con la intervencin de la actividadmentalenlasaxiomticassimbolizadasyformalizadas.Yaseaqueseale gre o se preocupe uno por esto resulta imposible eliminar el sujeto. De all provie ne la reaccin del intuicionismo: No podemos aceptar que el camino de la ciencia

Recordemos que se dice que dos conjuntos tienen la misma potencia cuando es posible establecer entre sus elementos una correspondencia biunvoca (esto es, que a todo elemento del uno corres ponde uno y un solo elemento del otro, y recprocamente); que, para conjuntos finitos tener la mis mapotenciasereduceatenerelmismonmerodeelementos;queparalosconjuntosinfinitoslapo tenciamsdbilesladelenumerable(lasucesinindefinidadelosnmerosnaturales);quelapoten ciadelcontinuo(porejemplo,ladelospuntosdeunalnea,odel,conjuntodelosnmerosreales)es superioraladelenumerable;enfin,quesiempreesposibleconstruirunconjuntocuyapotenciasu pereladeunconjuntocualquiera.
32

/53 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. conduce a la eliminacin del espritu.33 Incluso con sistemas lo suficientemente rudimentarios como para que no funcionen en ellos aun las interdicciones de G del, resulta claro que la percepcin de una correspondencia analgica entre la in terpretacin objetivay la interpretacin sintctica de las mismasfrmulas necesita, del mismo modo que la inteligencia, de un retrucano, de una iniciativa espiritual y que, por lo general, una cierta constelacin de signos, negro sobre blanco, no alcanzar a ser, por decir algo, la demostracin de una nocontradiccin, sino exclusivamenteparaunesprituquesepaleerlacomotal. Elbeneficioqueproveeelmtodoaxiomticonoeseldeexcluirlaintuicin, sinocontenerlayretrocederlahaciaelterrenoestrechodonderesultairremplazable y posee la ventaja de sustituir el rgano por el instrumento, a continuacin el ins trumentoporlamquinapara,finalmente,dotaralamquinadeaparatosdeauto rregulacin. Por ms perfeccionada que se la pueda imaginar, slo su funciona mientopornomencionarsuconstruccinosuempleodemandarsiempredel control humano ni nunca podr evitar intervenciones procedentes del exterior, aunque fuesen en grado cada vez menor, cada vez ms mnimas y espaciadas. Del mismo modo que una mquina, un mecanismo intelectual no resultara seguro del todo si se tuviera la certeza total de que no tiene ningn defecto, que no est ex puesto a sufrir una avera o a enloquecer, que en modo alguno surgir una ambi gedaddeltipoqueseaacercadelmododeaplicarlasreglas,obien,quenuncase nosarrojeaunaalternativaindefinidadeafirmacionesynegacionesquerecuerden las antinomias cantorianas. Resulta sin duda ms justo solicitar a la intuicin y al formalismo que se controlen mutuamente, garantizando as el formalismo contra los errores de una intuicin intemperante, aunque con la condicin de que l mis moquedesometidoalavigilanciadeunaintuicinaminorada. Por lo dems, nadie ha impugnado en forma seria el papel que mantiene la intuicineneldescubrimiento.Cualquieraquesealafecundidaddeunmtodo,su oficio es, sobre todo, de consolidacin y, si se quiere, de prolongacin, pero sobre un terreno previamente fijado. El mtodo pone en orden lo adquirido y, al hacerlo, llena las lagunas y explota las aperturas, mas no inicia nada que sea esencialmente nuevo. Los descubrimientos revolucionarios son obra del genio que logra trastor nar los mtodos. Descubrir, probar, nada le resulta menos indispensable a la cien cia que requiere del espritu de la aventura como del espritu del rigor. Vistos en estaforma,inclusolaintuicinyelformalismosecomplementandeacuerdoconla diversidad de los espritus y los cambios de la historia. Un autor al que no se le puede acusar de tibieza para con la axiomtica expresamente se encuentra de acuerdo con lo anterior. Durante los periodos de expansin, cuando surgen ideas nuevas, resulta con frecuencia muy difcil delimitar con precisin las condiciones
33

A.Heyting,enF.Gonsetti,Philosophiematmatique,1939,p.75.

/54 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. desuempleoy,pordecirlodeunavez,resultaimposiblehacerloenformarazona ble sino hasta que adquiere una larga prctica de tales ideas o nociones, lo que re quiere un periodo de desmalezamiento ms o menos amplio en el que dominan la incertidumbre y la controversia. Pasada ya la edad heroica de los exploradores, la siguiente generacin puede entonces dedicarse a codificar su obra, eliminar lo su perfluo y sentar sus bases. En una palabra, volver a poner en orden el edificio. En este momento reina nuevamente, sin divisin, el mtodo axiomtico, hasta la re volucinsiguientequeaportaralgunaideanueva.34

34

J.Dieudonn,Laxiomatiquedanslesmathmatiquesmodernes,recopilacincitada,pp.4748.

/55 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. V.ELALCANCEFILOSFICODELAAXIOMTICA 27.LAFILOSOFADELASMATEMTICAS La constitucin y el desarrollo del mtodo axiomtico no interesan exclusivamente altrabajocientficosinoqueseproyectantambinsobreproblemasfilosficoscuyo alcance va ensanchndose: la filosofa de las matemticas, la filosofa de las cien cias,lafilosofadelconocimiento. En primer lugar, la axiomtica abre una de las vas posibles para resolver el problema que ha dominado, desde principios del siglo XX, toda la filosofa mate mtica,estoes,lasbasesmismasdeestaciencia.Esteproblema,quehastaentonces prcticamente no haba preocupado a los matemticos, les fue impuesto en forma brusca debido a la crisis que produjo la formulacin de la teora de los conjuntos. Esta fue elaborada por G. Cantor en el ltimo cuarto del siglo XIX. Tras afrontar numerosas resistencias la teora de los conjuntos apareci definitivamente hacia 1900 como la base de todo el edificio matemtico. La aritmtica de los nmeros fi nitos, mediante la cual se reconstruyeron las dems partes de las matemticas, po daconstituirsealavezcomouncasoespecialyparticularmentesimpleeintuitivo delateoradelosconjuntos:eldelosconjuntosenumerables.Y,esprecisamenteen estemomento,cuandoaparecenalinteriordelateoraantinomiasoparadojas, estoes,paresdeteoremascontradictorios.Elconjuntodetodosaquellosconjuntos quenosecontienenellosmismoscomoelementos, puede contenerse l mismo como elemento? Uno puede autoconvencerse con facilidad de que una respuesta afirmativayunarespuestanegativaaestemismoproblemapuedenjustificarsedel mismo modo. Tales dificultades ofrecen en este caso una gravedad considerable. Para una teora que ha dejado de soportarse en nociones y verdades intuitivas y queenconsecuenciacareceyadeotragarantadesuvalidezquelacoherenciafor mal, la menor fisura basta para comprometerla, su lgica tiene la obligacin abso lutadeserinfalible. Desde un principio las investigaciones para encontrar una solucin se han comprometido en tres direcciones. El empirismo de Borel y Lebesgue, posterior mente prolongado y reforzado por el intuicionismo de Brouwer, atribuye las dificultadesalmanejociegodelinstrumentolgico.Perosteno ofreceyagaranta desdeelmomentoenquesesaledelosdominiosdondehasidolargamenteproba do, y es por eso que extenderlo al dominio de lo transfinito resulta engaoso. En ltima instancia, es la intuicin la que juzga la validez misma de las reglas lgicas,

/56 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. de modo que si se le da siempre prioridad sobre el discurso no se quedar uno ex puesto ya a antinomias. En efecto, se las evita, pero cul es el precio? Si se siguen estos principios puede llevarse, en forma progresiva, a condenar partes considera bles ya no slo de la teora de los conjuntos, sino tambin de buenas partes de teo ras matemticas antiguas y consagradas. Son muchos los que juzgan tal sacrificio excesivo, y la medicina como de caballo. Si se desea conservar la totalidad de las matemticasclsicasconloesencialdelateoracantorianay,almismotiempo,per manecer fiel a la inspiracin de esta ltima, se intentar entonces, como lo hizo Russell, seguir la va del logicismo. Por un lado se conservar el propsito de construirlasmatemticasapartirexclusivamentedelasnocionesyleyesdelalgi ca.Peroenvistadequestashanconducidoaantinomiasalasquesetratadepro hibir,setendrnquereforzarporotroladolasnormasdelalgicaenformatalque ya no permitan que se termine all. Infortunadamente, resulta muy difcil conciliar ambas cosas pues, para que se d a las normas de la lgica el grado exacto de nor matividad conveniente para poder excluir las antinomias exclusivamente, se ve uno obligado a establecer determinados axiomas cuyo carcter extralgico apenas resultadiscutible. Queda una tercera va por la cual Zermelo35 intentar salir de este hoyo: la de la reconstruccin axiomtica, solucin que difiere de la precedente en que, si bien demanda siempre de axiomas que no permitan la produccin de antinomias, nolesimponequeselestomeslodelmateriallgico.Noobstante,lascondiciones que exige el establecimiento de una axiomtica tal difieren mucho de las condicio nes de las axiomticas de Peano y Hilbert, en las que se iba slo de las consecuen cias a los principios. Se parta de teoras ya bien probadas, como la aritmtica y la geometraclsicas,cuyaconsistencianadiepodaponerseriamenteenduday,enel momentoenquelosprincipiosqueselesasignabalesestabanadaptadosconexac titud,nohabaquepedirlesyanadams,noresultabayaindispensablequefueran evidentesyciertosporellosmismos,puesdeantemanoseestabayasegurodeque no caan en contradicciones. Por el contrario, en este caso la existencia de antino mias demuestra que se trabaja en una zona de inseguridad, incluso cuando los axiomas sean escogidos de tal manera que eviten las antinomias conocidas. Pero, qu garantiza que en otra parte no surgirn otras anlogas? No resulta suficiente, pues, producir un sistema de axiomas quepermita demostrar precisamente la par te aceptable de la teora de los conjuntos; resulta necesario que los axiomas inspi ren por s mismos absoluta confianza. A la prioridad lgica deben adjuntarse la evidenciapsicolgicayseralavezfundamentosyprincipios.Veremosqueunode los axiomas de Zermelo se encontraba bien lejos de satisfacer esta condicin o, por
35

Laaxiomatizacindelosconjuntosserretomadaydesarrolladaposteriormenteporautoresmuy diversos,enespecialFraenkel,VonNeumannyBemays.

/57 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. decirlo en forma ms precisa, el problema de saber si la satisfaca o no dividi en dos campos a los matemticos: si para unos el axioma denominado de la selec cin resultaba del todo evidente, para otros no era sino una frmula vaca, un ar mado de palabras que gramaticalmente guardaba correccin pero que estaba des provisto de sentido. Y las proposiciones equivalentes en que se hubiera podido pensar para sustituirlo, como la relativa a la posibilidad del buen orden, sufran el mismo defecto. La axiomtica ingenua, confiada en el sentimiento de evidencia intelectual para justificar la seleccin de los axiomas se encontraba en un callejn sinsalida. UnodelosobjetivosprincipalesdelametamatemticadeHilbertesevitarel callejn sin salida, y salir de l sustituyendo mediante el razonamiento la intuicin desfalleciente. La formalizacin de la axiomtica requiere que pueda ser estableci do,mediantelavademostrativaysinnecesidaddeapelaralsentimientosubjetivo de la evidencia, si un sistema de axiomas es congruente o no. Si esta demostracin puededrnoslafavorablementeunaaxiomticadelateoradelosconjuntos,queda resuelto el problema del fundamento. Y debera estarlo, aun a los ojos de un intui cionista para quien la nocontradiccin es condicin necesaria, aunque no sufi ciente, de la existencia matemtica siempre que la demostracin satisfaga la exi gencia de construccin en un nmero finito de etapas, lo cual segn Hilbert es el criterio verdadero; por eso l, preocupado por no renovar controversias estriles, impusocondicionesmuyseverasalosprocedimientosdecomprobacin.Lasespe ranzas que los formalistas pusieron en este mtodo han sido, como se recuerda, frustradas en forma parcial. Especialmente, los teoremas de Gdel mostraron que la nocontradiccin de los sistemas de los que se trataba no poda ser probada me diante una formalizacin que se mantuviera dentro de estos sistemas. Por su lado, la paradoja de Skolem contrapone a la axiomatizacin de la teora de los conjuntos unadificultadesencial,puesresultadeellaqueeltratamientoaxiomticohacedes vanecerahladistincindelaspotenciasdiversas.Sinembargo,estaltimarestric cin slo concierne en forma directa a la teora de los conjuntos y, por otro lado, el marco dentro del cual se encerr Hilbert, voluntariamente, permita que fuera en sanchado un poco, sin por eso traspasar los lmites que se asigna al intuicionismo, desuertequelasprohibicionesdeGdelseatenan.EntalescondicionesGentzen, en1937,llegademostrarlanocontradiccindelateoradelosnmerosapelando exclusivamente a un nico principio exterior a la teora, y mostrando que ste no sobrepasabalosmediosqueseconcedenalintuicionismo.Talresultadoesmuyim portanteyaquelanocontradiccindenumerosasteorastenasuapoyoenlaarit mtica,quehastaallhabasidosimplementepostulada. Pesealhechodequeelformalismoaxiomticonoharesueltodefinitivamen teelproblemadelfundamentodelasmatemticas,resultaquetantoparalmismo comoparalasreaccionesquesuscit,lohahechoavanzarconsiderablementey,por

/58 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. otrolado,hadisminuidoenformanotablelaspresionessobrelasdoctrinasqueini cialmente se le oponan. En la actualidad prcticamente se han desvanecido las diferencias que existan entre logicismo y axiomatismo, al punto que ambas ten dencias se integran, como puede verse en algunos autores, Quine por ejemplo. La multiplicidad de las lgicas, que son tratadas en delante de acuerdo con los mto dosdelaaxiomticaformalizada,prcticamentenopermitenyadarasusnociones de base un sentido absoluto, y el problema de saber dnde termina la lgica y co mienzan las matemticas ha perdido buena parte de su sentido. Las diversidades existentes a principios del siglo XX pueden hoy resumirse en una gran alternativa, yaseaqueseconcedaprioridadalalgicaoalaintuicin.Inclusoambaspartesse hanaproximadolosuficientecomoparapodercomprenderseytrabajarmancomu nadamente. Al llevar los problemas al plano de las construcciones simblicas, el formalismohilbertianoseexpresaenunlenguajeaccesiblealintuicionista,entanto que ste entr decididamente, siguiendo a Heyting (1930), en la va de la axiom tica formal. Bien puede rechazarse el formalismo axiomtico, pero la axiomatiza cinylaformalizacinhanllegadoaseractualmente,comodecaCavaills,unifor mesobligatorios.36 28.LAFILOSOFADELACIENCIA Incluso antes de queel problemadel fundamento se impusiera a la atencin de los matemticos la axiomtica, nacida de una reflexin acerca del mtodo de los ge metras, arroj de inmediato una viva luz sobre la paradoja de esta ciencia, cuya situacin la coloca en el eje de lointeligible y lo sensible. Si bien los teoremas de la aritmtica y la lgica se aplican a lo real, no pareca imposible observar estas cien ciascomopuramenteracionales,pordbilquesealaadvocacinquehacenalain tuicin sensible.Aunque las leyes de la fsica se expresan en lenguaje matemtico, al parecer sigue siendo plausible derivar toda sustancia de la experiencia, conside rndose el simbolismo matemtico slo una vestimenta cmoda. Viene de all la distincin clsica entre dos grupos de ciencias, racionales y experimentales. Unas, que de acuerdo con la expresin de Goblot, no necesitan para ser verdaderas que sus objetos sean reales; y otras, podra decirse, cuyos objetos, para existir, no nece sitan ser inteligibles. Pero, entonces, en qu lugar puede situarse la geometra? La intervencin manifiesta de la intuicin espacial prohiba reducir su contenido a un sistema de proposiciones analticas; por otro lado, sus verdades se imponan tan
Op. cit., p. 182. Digamos de paso que el formalismo es rechazado en igual forma por los partida rios del materialismo dialctico que ven en l una manifestacin del idealismo burgus. No obs tante, hasta ahora no parece que esta oposicin de orden filosfico haya determinado una orienta cinoriginaldeltrabajomatemticocomoocurriconelintuicionismo.
36

/59 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. bien al espritu que resultaba imposible referirlas slo a meras contingencias de la experiencia. La idea kantiana de la sntesis a priori, que es el ncleo de toda la filosofa crtica fue, como hoy se sabe, inspirada por esta dificultad.Ahora bien, la axiomtica invita a que se resuelva en forma muy distinta. Si la geometra clsica daba a la vez la idea de ser pura e intuitiva era porque constitua una forma mixta al reunir en una ciencia que al parecer era nica, dos disciplinas distintas que, como se ve ahora, estn disociadas claramente: una geometra pura, representada porlateoraaxiomtica,enlaqueelsentidointuitivodelostrminosyproposicio nes deliberadamente se descarta y cuya verdad se mide slo mediante la coheren cia lgica, sin recurrir a la experiencia; y una geometra aplicada, intuitiva, en la cual la forma demostrativa slo constituye un accesorio y cuyos teoremas son, en realidad, leyes fsicas. La segunda sirvi para constituir la primera, pero sta ha llegado a ser independiente, se yergue gracias a su propia fuerza, y si, en ocasio nes, se refiere a la otra lo hace nicamente como a uno de sus modelos posibles. Cierto es que las dos pueden ser expuestas en un mismo discurso, de donde pro viene la confusin, pero este lenguaje nico puede prestarse a dos lecturas distin tas.A la pregunta: cmo puede la razn, sin el auxilio de la experiencia, hacernos conocerlaspropiedadesdeloreal?,sedarenlosucesivounarespuestasemejante a la que da Einstein al principio de su opsculo La geometra y la experiencia: La perfectaclaridadsobreestepuntomeparecefuepuestaalalcancedecadaunogra ciasalacorrientequelosmatemticosdenominanaxiomtica.Elprogresorealizado por sta consiste en haber hecho la separacin clara ydefinitiva de lo intuitivo y lo lgico.Deacuerdoconlaaxiomticasloloshechoslgicosyformalesconstituyen el objeto de la ciencia matemtica, pero no el elemento intuitivo que puede referir seaellos. Hay que aclarar que resulta necesario cuidarse al interpretar correctamente este desdoblamiento de la geometra en el momento en que, en lugar de conside rarla sola, vuelve a colocrsela en el sistema de las ciencias. Debe entenderse en tonces que el carcter ambiguo de la geometra clsica es resultado de su situacin intermediayquelasdospartesenqueelaparatoaxiomticolaescindedebensim plemente unirse, uno al grupo de las ciencias racionales o deductivas, y el otro al de las ciencias experimentales o inductivas para, de este modo, reforzar la antigua dicotomaquecolocaba,porunlado,alascienciaslgicomatemticasyporelotro a las ciencias fsicas, naturales y morales, quedando ahora bien precisado el lugar donde debe hacerse el corte? Tal interpretacin va de acuerdo con la concepcin dualista de la ciencia que actualmente profesa el empirismo lgico, el cual estable ce, entre dos tipos de ciencias, una separacin ms radical an, que hasta ahora no se haba hecho. Sita por un lado las ciencias formales lgica y matemtica, a lasqueconsiderabajolaformadepuradaquelesdalapresentacinaxiomtica:es to es, vacas de toda significacin exterior y que, en sentido estricto, no nos ense

/60 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. an nada acerca de lo real. Sus enunciados, que son puramente analticos, concier nenexclusivamentealastransformacionesdeldiscurso.Porelotrolado,sitaato das las ciencias de lo real para cuya expresin utilizamos, ciertamente, el lenguaje lgicomatemticoperoque,enprincipio,podranprescindirdelsinperdernada desucontenido,queproporcionaraporenterolaexperiencia. No obstante, si se invocan las enseanzas de la axiomtica para apoyar esta tesis, se olvidara un hecho esencial. Muy lejos de encerrarse dentro del dominio geomtricoinicial,laaxiomticasehaextendidorpidamenteporlosdoslados:en direccin a la aritmtica y la lgica y hacia la mecnica y la fsica. En la actualidad le interesa el conjunto de las ciencias, por lo que no es slo en el interior de la geo metra donde se produce el corte entre lo racional y lo experimental, lo lgico y lo intuitivo. El desdoblamiento axiomtico funciona en todas las ciencias o, en todo caso, en todas las que estn lo suficientemente avanzadas como para prestarse a la organizacindeductiva.Colquesealamecnicaoalapticabajolaformadeuna axiomticasimbolizadaysedejadeestarenpresenciadeunacienciadelorealpa raencontrarsefrenteaunsistemaformal,vacodetodocontenidoemprico,donde no se sabe ya de qu se habla, ni si lo que se dice es verdadero. Y a la inversa, si frente a una axiomtica abstracta se sabe asignar a los axiomas una interpretacin vlida en un cierto dominio de lo real, sbitamente se ilumina todo. Los smbolos adquieren un sentido concreto, las frmulas una verdad emprica. Ni siquiera re sulta necesario, para ello, que la aplicacin recaiga en lo que habitualmente se de nomina el mundo fsico, pues del mismo modo una traduccin aritmtica o lgica desempea a la perfeccin este trabajo.As, por ejemplo, la idea que se tiene habi tualmente del nmero, que es abstracta cuando se la compara con un montn de bolas de billar, se convierte en una interpretacin concreta en relacin con la x que apareceenlosaxiomas,ydelmismomodorespectoalasnocioneslgicasdenega cin,implicacin,pertenenciaaunaclase,etctera. Bajo estas condiciones, el desdoblamiento axiomtico no funciona en forma transversal, al nivel de la geometra, sino que divide longitudinalmente toda la es caladelasciencias,delalgicaalascienciasmorales.Lanicadiferencia,yesslo degrado,esquelasprimerasadoptanconmayorfacilidadlaformaaxiomtica,de modo que as se reconoce mejor la posibilidad de una lectura abstracta. Pero que ellas mismas se presten, como lo ha revelado la axiomtica, a una lectura doble, nosdemuestramuybienquenosedistinguenenloesencialdelascienciasempri cas y que, a su manera, son ya ciencias de lo real. No existen ciencias abstractas y ciencias concretas, ciencias racionales y ciencias empricas. En primer lugar, hay entre las ciencias grados diversos de abstraccin y racionalidad que permiten pue danserordenadasenserie.Ensegundolugar,existeparacadaunadeellaslaposi bilidad de una lectura doble: abstracta, racional y formal, o concreta, emprica y material. Gracias a una convencin de lenguaje es posible utilizar la palabra lgica

/61 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. o la palabra matemtica para nombrar la lectura abstracta de cualquier teora axio matizada. Pero, en este caso, el sentido de estas palabras sufre igualmente un des doblamiento axiomtico, por lo que ser necesario cuidarse del equvoco que ame naza.Cualquieraqueseaeldominioquesetratearitmtica,ptica,etc.ysobre elquesehayaedificadounaaxiomtica,staserexclusivamenteunaconstruccin lgica en el sentido de que resultar vaca y puramente formal; pero, en otro senti do, tambin puede representar una teora lgica del mismo modo que una teora aritmtica u ptica, de acuerdo con la interpretacin que se d a sus smbolos, y si elconjuntodesusaxiomaspuedetraducirseenproposicionesdelalgica.Delmis mo modo, el trmino matemtica tomar, en adelante, un sentido ambiguo, como aparece en el texto de Einstein arriba citado. Bien puede, en razn de que la mate mticaeslaquepusoelejemplo,designarunateoraquehasidoreducidaasufor ma abstracta. Deviene entonces un sinnimo de lgica entendida en su primera acepcin.Resultanecesarioentenderloas,porejemplo,enlasbromasdeRusselly Poincar (vase el inciso 10). Pero este sentido relativamente nuevo se aade, sin borrarlo, al sentido ms tradicional, de acuerdo con el cual de este modo se deno mina a un grupo particular de ciencias, aquellas cuyo objeto son los nmeros, las figuras, etc. Lejos de oponerse mediante caracteres antitticos a todas las dems ciencias consideradas en conjunto, las matemticas, entendidas en esta forma, son por un lado vecinas de la lgica y, por el otro, de las ciencias fsicas, aunque las fronterassemantienenuntantoindecisaspueslosconjuntosdelmatemticotienen gran parecido con las clases del lgico; la cinemtica une la geometra con la din mica y se da cierto titubeo para decidir si la probabilidad debe atribuirse al mate mtico,allgicooalfsico.Apesardelaambigedadsubsistenteenellenguaje,la disociacin se realiza en el pensamiento, entre los dos elementos que permanecan enredados en la nocin clsica de la matemtica, que a su vez se caracteriza por su objetoysumtodo:cienciadelacantidadycienciademostrativa. La antigua distincin entre ciencia racional y ciencia emprica, que constitu yeunlugarcomndelaepistemologadesdelostiemposdeBacon,sindudamere ce ser conservada, pero con la condicin de que no se confundan ya en ella dos acepcionesqueslocoincidenparcialmenteyquelaaxiomticapermitesepararen formaprecisaunadelaotra.Bienpuedeentendrselacomounaclaradicotoma, y entoncesnodivideyalascienciasendosclases,sinoquemsbiensealaunadua lidad interior a cada ciencia; o bien se desea distribuir de esta forma las diversas ciencias,peroenestecasolaseparacinresultaindecisayrelativa,comodividirun conjunto de hombres slo en altos y pequeos. La oposicin entre las ciencias for malesylascienciasdelorealnoesjustificablesalvoenelcasodequesesobrepon gan estas dos distinciones. Se denomina ciencias formales a las que, habiendo al canzadoenprimerlugarunaltogradodeabstraccinseprestan,porexcelencia,al tratamiento axiomtico; y ciencias de lo real a las que, siendo menos avanzadas,

/62 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. difcilmente pueden desligarse de las interpretaciones concretas. Cuando se hace esto,unonocaracterizaadosespeciesdecienciasinoadostiposidealesquesereali zan en forma desigual en las diversas ciencias o, por mejor decirlo, a dos polos del pensamientocientfico. 29.LAFILOSOFADELCONOCIMIENTO La oposicin entre la razn y la experiencia constituye slo una de las mltiples formas que, sin concordar en todos los puntos, expresan en forma diversa aunque con parentesco evidente lo que Whewell llamaba la anttesis fundamental de la filosofa; las ideas y los hechos, el pensamiento y las cosas, el conocimiento y el ser, lo inteligible y lo sensible, lo abstracto y lo concreto, lo construido y lo que es dado,loconcebidoylopercibido,loaprioriyloaposteriori,etctera.Lasinvestiga ciones axiomticas, cuando invitan a preguntarse acerca de las relaciones entre lo lgico y lo intuitivo, aportan en esta forma su contribucin a un problema que a travsdelageometraydelsistemaenterodelasciencias,conjuntauntemamayor de la reflexin filosfica. El mtodo axiomtico no es slo uno de los procedimien tos tcnicos de los matemticos. Es posible encontrar en l una ilustracin, que es particularmente sugestiva, de la forma como procede el pensamiento en el conoci miento. Y al aplicarle las nociones de las que l mismo hace uso se dira que nos ofrece, de las operaciones cognoscitivas, un modelo concreto sobre el que puede ensayarse una lectura abstracta.37 Puede verse aqu, en primer lugar, que no debe darseningnsentidoabsolutoalosdostrminosdelaanttesis,cuyolmitesedes plaza incesantemente. Esto, ciertamente, no es nuevo y, en todo el frente de las ciencias no ha dejado de advertirse este movimiento del espritu que lo lleva a tra tar de inmediato a sus creaciones como si fueran un dato que debe superarse en unaabstraccinposterior.Loconcreto,afirmabaLangevin,esloabstractohechofa miliar, mediante el uso. Y en la actualidad los matemticos jvenes objetan el em pirismo de un Borel que lo perfeccion.Ahora que estn acostumbrados a mane jarlosehaconvertido,paraellos,enunanocinintuitivaytannaturalquellegana llamarlainnata.38Perolaaxiomticacolocalaideabajounaluzdirecta.Mediante ellaelcasodelageometraclsicaresultaparticularmenteinstructivo.Paraelaxio mticoseinclinahaciaelladodelointuitivo,entantoque,porrelacinaloscono cimientos empricos que la hacan posible, de seguro parecera a los griegos como lespareceennuestrosdasalosniosalosqueeslaensea:unacreacindifcilde
Cf.F.Gonseth,Lesmathmatiquesetlaralit,essaisurlamthodeaxiomatique.Enloquevieneacon tinuacinnosinspiramosenformalibre,peroamplia,enestaexcelenteobra. 38 P. Langevin, Les notions de corpuscule et datome, p. 45; J. Dieudonn, Laxiomatique, artculo cita do,p.50;A.Denjoy,Linneitdutransfini,apudLeLionnais,op.cit.,p.188.
37

/63 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. la razn. De ella, la historia nos da a conocer dos mutaciones, cuya analoga fue subrayada por F. Gonseth. En dos ocasiones el espritu ha franqueado el umbral de abstraccin, superando el dato mediante un acto irremplazable de iniciativa intelectual. Es necesario aprender a leer la recta geomtrica en un hilo tendido, co mo posteriormente a leer la recta axiomtica en la recta geomtrica. Es por eso que noresultaparadjicoenformaalgunaveraEuclides,comosehaceenalgunasoca siones, como un verdadero axiomtico. Del mismo modo, todas las nociones de la fsicaclsica,comolamasa,elpotencial,laentropa,seapoyansobreundatosensi ble que esquematizan, pero a su vez sirven de soporte intuitivo a una axiomtica abstracta. Enconsecuencia,sloesposiblepensarambostrminosdelaanttesisensu relacin. El par adquiere sentido nicamente mediante la tensin que caracteriza a dospolosopuestos.Loconcretoslosepuededefinircomounaveccin.Delageo metradeHilbertpuedeunoremontarsealadeEuclides,destaalageometrade los orientales, de estaltima a otras formasms primitivas. Se avanza as en direc cin a lo concreto, pero jams alcanzando lo concreto puro, libre de toda concep tualizacin, como el que el empirismo pretende desplegar frente al espritu. No existe otro fenmeno primero que el de la sensacin pasiva. Las enseanzas de la crtica de las ciencias concuerdan aqu con las de la psicologa.Abierto en esta for ma por suparte inferior, el conocimiento se encuentra tambin abierto por la parte superior. Lo abstracto es slo lo ltimo en forma provisional, y jams se le piensa solo,nuncaselepresentaalespritucomosifuerauncuadro. Sloaparececomosihubierasidorealizado enun modelo,aunqueseasola mente el modelo simblico. No conocemos ninguna forma pura ni tampoco conte nidoinforme.Puedehaberallunvacodepensamiento;peronopodrahaberpen samiento vaco. Parapoder pensar realmente en la nada resulta necesario represen tarla recurriendo a algo: una cruz, la cifra que representa el cero, la idea de la nada. Para poder pensar en una estructura abstracta resulta necesario darle, sobre el pa pel, una forma concreta. El pensamiento trasciende el sistema de signos, necesita sobrevolarloparapodercaptarlocomotal.Perosinl,alfaltarleelcontactodirecto conlascosas,sepierdeenloindeterminado. Esta tensin bipolar, condicin necesaria de todo conocimiento, aparece con particular claridad en el pensamiento axiomtico. Las nociones un tanto vagas de la teora del conocimiento concepto e intuicin, forma y contenido quedan en tonces bien claras dentro de la correlacin que se establece entre la estructura abs tracta y la realizacin concreta; entre el esquema y el modelo. Se capta aqu, en vi vo, el movimiento de ida y vuelta que conduce al espritu del uno al otro, ilumi nndolos al situarlos en correspondencia. Los fsicos, como recordbamos arriba, con frecuencia muestran tendencias divergentes respecto al valor respectivo de las teorasabstractasylasteorasquerecurrenalasimgenes.Esmuyciertoqueelge

/64 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. niosemanifiestabajoformasdiversas:unosobresaleenleerloabstractodentrode lo concreto y otro en interpretar lo abstracto por lo concreto. Pero de este modo, igual que la diferencia de temperatura es necesaria para que una mquina trmica funcione,delmismomodoconvienealesprituque,paracomprender,dispongade undesnivelquelepermitacirculardeunplanoalotro,elevarsedelhechoalaidea y ejecutar el mismo movimiento en descenso. Formular la norma e ilustrarla con un ejemplo. Mediante este movimiento doble, en el que se resume toda forma de conocimiento, la axiomtica nos ofrece, precisamente, uno de los ejemplos sobre losquepuedepercibirsemejorlanorma. Puede verse en esta forma a qu actitudes filosficas se opone la axiomtica y a cules favorece. Desprecia y evita el dogmatismo de la sntesis, el sueo de un puntodepartidaabsolutoquele aseguraraaladeduccinlaseguridaddefinitiva. Y ella extiende ahora a la totalidad de las ciencias la forma hipotticodeductiva. En vista de que el mtodo experimental logr desacreditar la esperanza cartesiana de alcanzar una fsica demostrativa, el logicismo de nuestros das, esto es, la idea de lograr una ciencia racional que no presuponiera ya nada, se ve desmentido por la regresin axiomtica, la cual, por lejos que nos lleve, siempre encuentra frente a salgoqueesanteriorqueannoseencuentraasimilado.Perodelmismomodo enquelosaxiomasnoseimponenmediantelaevidenciaintrnseca,tampocosonel resultado de decretos arbitrarios. El convencionalismo parece slo defendible para aquelque,artificialmente,desprendelaaxiomticadesusbasesydesusprolonga ciones intuitivas, sin las cuales se convierte slo en un juego trivial, sin relacin algunaconlaciencia. La filosofa del conocimiento que la axiomtica sugiere no es otra cosa que unracionalismoqueunonoseatreveadenominaremprico,dadoquedeestemo do se encuentran, por lo comn, opuestas ambas palabras. Por lo menos se le pue de calificar de inductivo o experimental. El rechazo de todo a priori apodctico o decisorio se duplica mediante una repulsa parecida de las dos ramas de la alterna tiva, entre las cuales el empirismo, en su versin actual, pretende encerrar el cono cimiento: fenomenismo y nominalismo. Ni el espritu contempla un dato en cuya elaboracin no hubiera participado en ninguna forma, ni tampoco se agota en el plano de los signos y el clculo formal. Y nada puede manifestar mejor su activi dadqueelestablecimientoolapercepcindeunacorrespondenciaanalgicaentre elesquemasimblicoyelmodeloconcreto.

/65 /