Está en la página 1de 65

LAAXIOMTICA

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

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. Ohmatemticasrigurosas!nolasheol vidado desde que sus sabias lecciones, dulcesomsquelamiel,sefiltraronen micorazncomoondarefrescanteEn mi espritu haba algo vago, un no s qudeespeso,comoelhumo;pero,reli giosamente, pude franquear las gradas quellevanatualtar,ymehasdespojado deesevelooscuro,almodoqueelvien to con la niebla. Y han colocado en su lugarunafrialdadexcesiva,unamesura 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,deigualar,delateoradeductiva.Lostrminosquesonpropiosalateora jamssonpresentadossinunadefinicinprevia,lasproposicionesnosecitansin antes haber sido demostradas, con excepcin de un nmero reducido que s son enunciadas,enprimerlugar,encalidaddeprincipios.Enefecto,unademostracin nopuederemontarsealinfinitoydebebasarseenalgunasproposicionesprimeras, perostashansidoescogidasdemodotalquenosubsistadudaalgunaenespritu desusanojuicio.Noimportaquetodoloqueseafirmeseaempricamentecierto, puesnoseapelaalaexperienciaparajustificarlo.Elgemetratrabajarecurriendo sloalademostracinynicamentefundamentasuspruebassobreloqueyacon anterioridadseencuentreestablecidoentantoestdeacuerdoconlasleyesdela lgica.Deestemodocadateoremaguardaunarelacinnecesariaconlasproposi cionesdelascualesesdeducidocomounaconsecuencia,demodoque,pruebatras pruebavaconstituyndoseunaredestrechaenlaque,directaoindirectamente,to daslasproposicionesseencuentranrelacionadasentres.As,elconjuntointegra unsistemadelquenosepuedesustraerocambiarunapartesincomprometerel 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,mejordicho,deenunciadosempricos,ysetransformencienciara cional.Vienedeallesepapelprivilegiadoquenoselehadejadodereconocer.Si seobligaalosniosaestudiarlanoesconelfindeensearlesverdadessinoconel dedisciplinarsuespritu,puesseconsideraquesuprcticaofreceydesarrollala 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. Portanto,havenidopareciendocadavezmsque,sibienlageometraeu clidianahabavenidosiendopormuchotiempoelejemplomsacabadoquesepu dieradardeunateoradeductivaideal,elaparatolgicosobreelcualdescansaba no era del todo irreprochable. Varias de sus fallas fueron apuntadas desde muy temprano,peronofuesinohastaelsigloXIXquesemidiladistanciaexistenteen treunaexposicintradicionalyunateoradeductivaideal.Unadelascaractersti casquemejordistinguenalasmatemticasapartirdeestapocaes,dehecho,el acrecentamientoquesediosbitamenteporpreocuparsedelrigorlgico.Estudia dadeestemodoconunrigornuevo,ladeduccingeomtricaclsicaaparecaco modefectuosaennumerosospuntos.Sehicieronesfuerzosporcorregirlaylapre sentacinaxiomticadelateoraesresultadodetalesesfuerzos.Originadaprinci palmentecomounareflexinsobreladeduccingeomtricavadesprendindose, porlodems,precisamenteenrazndesucarcterlgicoyformal,desuconteni dogeomtricoy,deestemodopuedepracticarsesobreunateoradeductivacual quiera.Puededecirsequeunsistemaaxiomticoobien,unateoraaxiomticaes, enestecontexto,laformadefinitivaqueenlaactualidadtomaunateoradeducti 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 merashiptesisconlascualespuedeconstruirselasproposicionesdelsistemade acuerdoconreglaslgicasdeterminadasenformaperfectayexpresa. Unmtodopareceafirmativosilasrazonesqueloimpusieronsondescono cidas.Ylomejorparahacercomprensiblelafuncinquedesempealaaxiomtica es, pues, en primer lugar, exponer inicialmente las fallas que se intenta remediar (captuloI).Masrazonablementesedudaquelaaxiomticahayaalcanzadodesde un primer momento su perfeccin. En rigor, las exigencias que la hicieron nacer fueron,ensuturno,comoexasperadasporsuusoysevolcaronsobreellaparaem pujarlacadavezmslejosenlarutaconlacualsehabacomprometido.Sinseguir detalladamenteestatransformacinhistricaenformadetallada,sehacenecesario distinguiralmenosdosetapasmayoresdesudesarrollo:laprimerapuedesituarse afinalesdelsigloXIX(captuloII)ylasegundaseiniciaenlosaosveintedelsiglo XX(captuloIII).Seintentardemostrarlosalcancesdeestemtodoporsuusopro piamentecientfico(captuloIV)ascomoporsusimplicacionesfilosficas(captu loV). 2.LOSPOSTULADOS

/5 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. LoqueinicialmentemortificaloslectoresdeEuclides,amigosdelrigor,fueque intervinieranlospostulados.Nosetrataba,enprimerlugar,delostrespostulados queencabezanlosElementos,juntoalasdefinicionesylosaxiomas,ycuyocarcter operativoesmuygeneralyque,adems,tienenelnicoobjetivodesealarquese permitirnconstruccionesrecurriendoalareglayelcomps.PerounavezqueEu clides inicia su cadena deductiva, al hacer una demostracin, y por necesidad de sta,recurreaunaproposicinmuyespecialquesolicitaleseaconcedidasinotra raznqueconsiderarlaunaespeciedellamadoalaevidenciaintuitiva.Deestemo do, para justificar su proposicin 29 se hace necesario aceptar que, por un punto fueradeunarectanopuedepasarsinounasolalneaparalela.Lasimetraqueapa rentementeexisteentrelaproposicinmediantelacualseenunciaqueporunpun topasa,almenos,unaparalelaalarecta,proposicinestablecidapormediodeuna demostracin(elteoremadelaexistencia),lacualenunciaque,porlomenos,pasa una(postuladodelaunicidad),convertaenanmsinauditalaasimetradelas justificaciones.Elpostuladoreferentealasparalelasseconvertadeestemodoen 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.Losestudiososalejandrinos,rabesymodernosintentaron,alolar godeltiempo,tratardeencontrarlademostracin,perosuanlisisllevabainvaria blemente a la conclusin de que las demostraciones sucesivas tenan como base otrasuposicinconfrecuenciaimplcita.Slosecambiabadepostulado.Esconoci dalaformacomolafrustracinnacidadelintentodelograrunademostracindi rectadiolugaraqueseintentaraunademostracinmedianteelabsurdo,quepron totuvofin,recurriendoalainversindelpuntodevistaenlasprimerasgeometr asnoeuclidianas. Elalcanceepistemolgicodelasnuevasteorashasidoconsiderable.Enfor maparticular,contribuyeronengranparteacambiarelcentrodeintersdelageo metraespeculativa,llevndolodelcontenidoalaestructura,delaverdadintrnse cadelasproposicionesaisladasalacoherenciainternadeunsistematotal.Lasu madelosngulosdeuntringuloesigual,menorosuperioraladedosngulos rectos?Ungemetradelaantigedadhubieraafirmadoquelocorrectoeralopri 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 elcual el nmero de paralelas posibles se mantenga
3

Elteorema,queesmencionadoenlapginaanterior,yqueestablecelaexistenciadelaparalela, postulaqueunarectasepuedeprolongarindefinidamente,locualbienpuederechazarse.

/6 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. ensuspenso.Queennuestraescalalaexperienciaverifiqueunayslounadelas tresproposicionesconciernesloalusoprcticodelaciencia,peronoalaciencia 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 estemodocmosedisocianlosdosaspectosdelaverdadgeomtricahastaenton cesmezcladosdesusadamente.Unteoremageomtricoeraconsideradoalavezco mouninformeacercadelascosasyunaelaboracindelespritu,unaleydelafsi caypartedeunsistemalgico;unaverdadacabadayunaverdaddelarazn.De estasparejasparadjicaslageometratericahaceaunlado,decididamente,elpri mer elemento que asigna a la geometra aplicada. Para los teoremas no existe ya unaverdadapartey,pordecirloas,unaverdadatmica.Suverdadresidenica menteensuintegracinalsistema.Esporesoquealgunosdelosteoremasquese 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, nosondudosos,comoeselcasodelasconjeturasdeunfsico,sinoqueseencuen tranmsalldeloverdaderoydelofalso,comounadecisinounaconvencin. La verdad matemtica toma de este modo un carcter global, el de un contenido vastoenelquelaunificacindetodoslosprincipiosconstituyeelantecedentey,el detodoslosteoremas,elconsecuente. Dentrodelainterpretacincomnycorriente,unademostracinmatemti caeracategricayapodctica.Afirmaba:estosprincipiossonverdaderosabsoluta menteylaproposicinquedeellosdeduzcoes,enconsecuencia,tambinverdade ra.Aristtelesladenominelsilogismodelonecesario.Enlaactualidadafirma queslosisedaarbitrariamenteporsentadotalconjuntodeprincipios,stasson lasconsecuenciasque,formalmente,resultan.Lanecesidadnoradicamsqueenel lazolgicoqueunelasproposicionesyseharetiradodeellas.Lasmatemticasse hanconvertido,enpalabrasdePieri,enunsistemahipotticodeductivo. 3.LASFIGURAS Segn Euclides, el postulado de las paralelas invocaba, claramente, a la intuicin espacial,sibienaparentementeexcepcional.Dehechoseleinvocaalolargodeto daslasdemostraciones,porloquePoincarpodadecircontodajusticiaqueenesa construccinenorme,enlaquelosantiguosnoencontrabanfallaalgunadecarc

/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 msmanifiesto,comoloatestiguanlasmismasfiguras.Peroeneltextonoqueda estoexpresadotanclaramente,sinoquehacecreerquelasfigurasnoseencuentran all como meros auxiliares del razonamiento, y que, de cierto modo, duplican la demostracinlgicarecurriendoaunailustracinapreciablesinqueleseanindis pensables.Nohaynadadeeso.Elimneselafigura,trazadaoimaginada,ylade mostracincaeportierra.NovayamosmsalldelaprimerademostracindeEu clidesqueconstituyeunproblema:construiruntringuloequilterosobreelseg mentodelarectaAB.TracedoscrculoscuyoradioesAB.Elcentrodeunodeellos esAyeldelotroB. Elpuntode interseccinM,cuya distanciadeABeselradio AB,constituireltercervrticequesebusca.Peroparaquiennoveonoserepre senta mentalmente tal figura la demostracin no es completa: cmo puede uno sabersilosdoscrculossecortan?LaexistenciadelpuntoMhasidomostrada,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 tesissobrelaqueKantconstruylabasedesuCrtica,enlaquedeca,dseaun filsofo la idea del tringulo, considerar las ideas ms elementales acerca de la lnearecta,delngulo,delnmero3,yjamsdescubrirconloanteriorquelasu madesusngulosseaigualadosngulosrectos.Formleseahoraelproblemaa ungemetra:formaruntringulo,prolongarunodesuslados,etc.,yobtendrel resultado mediante un encadenamiento de razonamientos guiado continuamente porlaintuicin.TesissemejanteshansidoretomadasporCournot,Gobloty,ms refinadamente,porlosmatemticosintuicionistasmodernos.Noobstante,esposi blellegaraotraconclusin:siseconsideraqueelllamadoalaintuicinconstituye unafalladentrodeunaconstruccinquehasidopresentadacomolgica,unose propondrcorregirlosmtodosclsicosdedemostracindemodoquesesustituya laintuicinporsuequivalenteintelectual,locualporlodemsleresultanecesario dentrodelasnuevasgeometrasenlasquelosespaciosnosedejanyarepresentar porlaintuicin. Cuandosehacenecesariorecurriralasfiguras,estosehaceclaroporquere sultaevidentequeelojodicecosasqueeltexto,quesedirigesloalainteligencia, sobreentiende.Estallafuerzadelaintuicinquenosehacesentirsuausencia.Por ejemplo,nohaceniunsigloquesehizonotarqueenpartealgunaEuclidesenun 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 tanoincluyeunacontradiccin.Perosetratadeunapruebadehechoynodeuna justificacinracional.Acontinuacin,lasproposicionesreferidasalacongruencia, y que se encuentran implicadas en operaciones diversas a las que el gemetra se entregamentalmente,comohacerretrocederunafiguraparahacerlacoincidircon 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 Euclidesysuscontinuadoreshastaelsiglo XIXsilenciaronporlogeneralta lespropiedadesemplendolas,noobstante,acadapaso,pueslafiguralassugera 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 yalasdefinicionesdeEuclides. Desdeelpuntodevistadelalgicatalordena mientoquedajustificado? Ladiferenciaentreaxiomaypostuladohasido,confrecuencia,pococlara. Comnmente ambas expresiones fueron, y siguen siendo, tomadas indiferente menteunaporotra.Pruebadeestoeselmismonombredelaaxiomticaque,sin duda,podrallamarse,conmayorprecisin,postultica.Loseditoresdeloslibros de Euclides encabezan los Elementos con aquellas propiedades que el griego postulalolargodesusdemostraciones,ylashancolocadotantoacontinuacin delaspeticionescomodespusdelasnocionescomunes.Enlamedidaenque se diferencia del postulado, el axioma comprende en primer lugar la ideade una pruebaintelectual.Entanto,elpostuladoconstituyesiempreunaproposicinsin tticacuyacontradictoria,difciloimposibledeimaginar,queda,detodasformas, comoalgoconcebible;elaxiomaseraunaproposicinanalticaqueresultaraab
Consideremosunafiguradibujadasobreunalminadehule,lacualsepuedadoblaryestirar.Las propiedadesdelafiguraquesemantienensinvariacinsonlastopolgicas.Porejemplo,decuatro puntossituadossobreunacurvacontinuayabierta,siCseencuentraentreAyD,ysiBentreAy C,entoncesBseencuentraentreAyD.
4

/9 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. surdonegar.Adems,sufuncinseraexclusivamenteladeunprincipiopuramen teformalqueregularaelpasodelrazonamientoaunquesinofrecerle,alcontrario delosdemsprincipios,sustentoalguno.Estasdosideasseconjuntanenlatesis, propalada por mucho tiempo aunque nunca justificada mediante un anlisis exacto,queconvertaalosaxiomasenmerasespecificacionesdelasleyeslgicas queseaplicanalacantidad. Ahorabien,laideadeevidenciadespiertacadavezmsladesconfianzadel 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 sultaciertoquealgunosaxiomaseuclidianoshanexperimentadounaciertadegra dacin: uno de ellos el que enuncia que el todo es mayor que la parte y, que en ciertosentido,noesvlido5sinoparalosconjuntosquesonconsideradosfinitos,y quepodraservir,comohasidosugerido,paradefinirtalesconjuntos.Deestemo do,nosetratayadeunaproposicinanalticasinodeunaconvencindestinadaa delimitaruncampodeterminadoyalaquenoestsujetaelespritu.Porotrapar te,elpapelquesehahechodesempearalaevidenciaporuntiempobastantelar goseencuentraligadoalidealdelasmatemticascategricas,dentrodelascuales aquelloquenoestdemostradodebe,dealgnmodo,demostrarsusttulospara ser considerado verdadero. Esto queda afinado dentro de una idea hipottico deductivacuyocentroeslacoherencialgicamsquelaverdadabsoluta.Alcolo cardeestemodoenprimerplanolaideadesistema,sehacenecesarioreduciraun nmero menor las proposiciones independientes. Pero si uno se empea de este modoenlademostracindelossistemas,estosehaceconunespritumuydistinto al que inspir a Leibniz cuandose formul la mismaexigencia, puesto que no se tratayadereducirlosaproposicionesidnticasconelfindehacerresplandecersu evidencia,sinomeramentedereducirlabasedelsistemaalmnimohaciendoapa recerlosprincipiosdeloscualessederivarnlossistemasenformaintuitivayme nosevidentequeaqullos. Estasltimasconsideracionestienenvalor,ciertamente,enloqueserefierea laverdadmaterialdelasproposicionesypierdenfuerzaalseraplicadasalosprin cipios formales o reguladores. La teora clsica carece an de claridad sobre este

Dentrodelsentidoenelcualesmayorque,seentiende:tieneunapotenciasuperiora(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 quelassegundas.Pero,obienpuedenserobtenidasmediantelaaplicacindelos principiosdelalgicaalasideasinicialesdelasmatemticasy,enesecasohacerlo eliminndolasdelnmerodelasproposicionesprimerasdelageometraycontar las como meras proposiciones de lgica aplicada; o bien se rebelan contra esta reduccinysuresistenciasehacemanifiestaensucarcterdepostulados.Convie ne,entonces,disociarlossistemasdemodoquepartedeellospasealospostulados ylaotraquedefueradelageometra.Nolesquedaryalugarentrelosprincipios delageometra,almismonivelyjuntoalospostulados. 5.LASDEFINICIONES Conmenorraznesnecesarioincluirlasdefinicionesentrelosprimerosprincipios. Puedeencontrarseaquunerrorlgicoconsiderablequeunmomentodereflexin 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 nitosehacenecesariodetenerseenalgunostrminosannodefinidos,delmismo modoquelasdemostracionesnecesitanapoyarseenalgunostrminosannode mostrados.Estostrminosirreductiblesconstituyen,porretomarunaproposicin de Russell, una especie de alfabeto geomtrico. Sirven para deletrear, esto es, en trancomoelementosparacomponerlasdefiniciones,massonindefinibles,ystos sonlosqueesnecesarioenunciaralfrentedelateoradeductivaydeningunama 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 Delmismomodo,lasdefinicionesinicialesdeEuclidesslotienendedefi nicioneslaapariencia.Puedenreducirseamerasdescripcionesempricassemejan tesalasdeundiccionariocuyoobjetofueradirigirelespritualaideadequese 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. lafuncinquealparecerselesasigna,ladeenunciarpropiedadesfundamentales queseutilizarnconelfindeobtenerapartirdeellastodaslasdemsdentrode lasquefigurareltrminodefinido. Euclideshaceladefinicinsiguientedelalnearecta:laquedescansaigual mentesobresusdospuntos.Hernlasustituyeconlasiguientedefinicinalpare 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 lnearectanosehaceusodeningunadeesasdospropiedades.As,porunaparte, talesdefinicionesresultansuperfluasy,porlaotra,ocultanlaausenciadelaspro posicionesqueenuncianlaspropiedadestiles,comolasiguiente,queexplicarn posteriormenteloseditoresdeEuclides:dosrectasnoencierranunespacio.Talfal tadeacuerdoentrelaspropiedadesenunciadasenlapseudodefinicinylaspos teriormenteutilizadasconefectividad,integranunafaltadelgicaqueresultamuy gravepueshacenacerlasospechaacercadelaidentidaddelanocin.Qupuede asegurarnosquelalnearectadelaquehablanlosteoremassealamismaquese demandabapresentaraladefinicin? Las exposiciones clsicas de la geometra, ya se trate de definiciones falsas inicialesodedefinicionesverdaderasulteriores,ydichoestoenformageneral,co metenconfrecuenciaelerrordepresentarcomofrmulasenaparienciasimplesy enlasquesemezclandosenunciadosdenaturalezatotalmentedistinta,unapro posicinyunadenominacin.Nocabedudadequeenestaconfusinseencuentra elorigendelatesispropagadadurantemuchotiempoysegnlacuallasdefinicio nessonlosprincipiosfecundosdeloscualeslosteoremasobtienentodasusustan cia.Vaseladefinicinnmero15deEuclides:uncrculoeslafiguraplanatermi nadaporunalneatalquetodaslaslneasrectasquelaunenenundeterminado punto interior a la figura son iguales entre s. Esto quiere decir dos cosas: 1) es posibleterminarunafiguraplanaporunalnearectatalque,etc.,y2)sedenomi narcrculoaunafiguratal.Esteltimoenunciado,paraelqueseramspropio guardarelnombrededefinicin,dadoqueelprimeroes,dehecho,unaasercin, perteneceexclusivamenteallenguajey,enrigor,noaportauncontenidonuevoala cienciadelageometra.Setratadeunadecisinodeunaconvencinqueacortael discursoyqueporlotantopuedejustificarseporsucomodidadaunquenotenga nadaqueverconlaverdad.Nosesiguedeaquque,arbitrariamente,puedauno afirmarlaproposicincorrespondiente:aquellaesverdaderaofalsay,enestecaso, origendeverdadesocontradiccionesposteriores.As,sisedescartaelllamadoala intuicin,bastanteclaro,considerndoloinadecuado,sehacenecesariodemostrar 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 quedaexpuestoacometerloquefuedenunciadocomoerrordedefinicincom plejadeacuerdoconSaccheri,comosiseintentaradefinirunpoliedroregularcu yascarasfueranhexgonos. 6.DEMOSTRACINYDEFINICIN Deestemodo,pareceserqueenelpuntodepartidadeunateoradeductivaque hayasidopensadademodoquesatisfagalasexigenciaslgicas,figurarnnoslo lostresprincipiostradicionales:definiciones,axiomasopostulados,sinodepropo sicionesnodemostradasqueenformaindiferentepodrnserdenominadasaxio masopostuladosylostrminosnodefinidos.Todoeltrabajoposteriorconsistir enelaborarapartirdeahnuevasproposicionesquedebernserjustificadasrecu 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, qucondicionesdebellenarunabuenademostracinounabuenadefinicin?Tal cosadependerdelfinasignadoaestasoperaciones.Y,ahondandoenestepunto, lasexposicionesclsicasdelageometraconfrecuenciacarecendeclaridad.Parece que se proponen, al mismo tiempo, dos cosas distintas que no necesariamente se concilian.Enestecaso,sinduda,laconfusinnopuedeimputarseaEuclidessino 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 definicinseconviertenensimplesmediosparaestablecerla.Elpapelquedesem pearlademostracinsereldehacerconcebircontodaprecisinelsentidode lostrminosqueintegranlasproposiciones;yeldelademostracinhacerquese admitala verdaddestas.Deestemodopuededecirsequeladefiniciny lade mostracindependen,hablandoconpropiedad,delaretrica,ysufuncinresulta, esencialmente, psicolgica, ya sea pedaggica o didctica. Por lo contrario, en la otrahiptesisslotienenunafuncinlgica,ladereunirtodoslostrminosyto daslasproposicionesdemodoqueintegrenunconjuntosistemtico.Quedaclaro, desdeelprincipio,quelasdosexigencias,eficienciapsicolgicayrigorlgico,tiran enocasionesendireccionesopuestas,puestanprontosevinculaunoalaprimera, elvalordeunademostracinodeunadefinicinsehacerelativoeinclusodoble mente relativo. Una demostracin o una definicin no pueden ser ms buenas o msmalassinoslomejoromenosbuenaqueotra,ytalcualidadvaradeacuerdo

/13 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. conellectoroeloyente.Entrminospedaggicos,ladefinicinolademostracin buenaeslaqueelalumnoentiende.Yestonospuedellevarmuylejos:paraunni o la definicin verdadera de una elipse no es la que aprende de memoria, sino quesepareceramsaloqueexpresaracomouncrculoalargado.Lademostra cinbuenanoeslaqueapuntaensucuadernosinolafiguraquevaacompando la.Sielargumentomseficazessloeldelademostracinbuena,dndetendr uno que detenerse? Es conocida la ancdota del preceptor de un prncipe que, al verterminadossusrecursos,hizoquesuteoremafueraadmitidoalexclamarcon irritacin:Seormo,osdoymipalabradehonor! Todopareceindicarque,entrelosmismosmatemticos,ambasfuncionesno siemprehanestadodisociadasenformaclara.Deotromodonoseentenderaque msdeunohayacompartidoelasombroqueprovocaenellegounademostracin deEuclides:porqueseafndeconvencernosmedianteunrazonamientodifcil deasuntosdelosqueestamosperfectamenteseguroso,tambin,dedemostrarlo msevidenterecurriendoalomenosevidente?LaLgicadePortRoyalcuentaen trelosdefectosquedeordinariopuedenencontrarseenelmtododelosgeme 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 doscrculosquesecortannotienenelmismocentro,yqueenuntringuloquese encuentraencerradoenotrolasumadesusladosesmspequeaqueladeltrin guloqueloencierra.Unonodebesorprendersedeesto,puesestegemetratena queconvencerasofistasmuytercosquegustabanlucirserechazandolasverdades ms evidentes. En consecuencia, resultaba necesario que la geometra tuviera, al igualquelalgica,laayudaderazonamientosdemalafeYaadeClairaut:Pero actualmentelascosashancambiadoytodorazonamientoquecaedentrodeloque elbuenelbuensentidohadecididodeantemanoresultahoyenunapuraprdida ysloresultaadecuadoparaoscurecerlaverdadymolestaraloslectores.Lamis maideafundamentaldelpapelquedesempealademostracinpuedeencontrarse enelfilsofoSchopenhauerquien,conmenosindulgencia,considerafrancamente absurdoelmtododeEuclidesysumanadesustituirlaintuicinporeldiscur so.Afirmaqueestoescomosiunhombresecortaralaspiernasparapodercami narconmuletas. Noobstante,elabsurdoqueallseencuentra,nodeberahacernossospe characercadesiprobablementeunoseequivocaconrespectoalasintencionesde Euclides?Queseaposible,comolohacePascal,observarelrazonamientogeom tricocomounmodelodelartedeconvencer.lmismopartedelhechodequeper suadirnoquieredecirqueesoseasufuncinprimerayesencial.Sabemosenefecto quemuchasdelasproposicionesdeEuclideseranyaconocidasantesdequellas
7

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

/14 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. expusieraycasinoexistedudaalgunadequetodoslosexpertoslashayanconside radoverdaderas.Slorequeranserorganizadasenformalgica,unirlasmediante unamallabiencerrada.Euclides,alparecer,esloqueintenthacery,entodocaso, loquehizo.Taleselpropsitocadavezmsafirmadoporelmatemtico.Desde lostiemposdeClairautlascosashancambiadodeaspectonuevamente.Dentro del sistema de todos los juiciosverdaderos, 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 cinentreambasconcepciones,lacienciaylademostracinmatemtica,fuesea 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, sinodeterminarlafiliacinlgicadelasconsecuenciasquesederivandeunahip tesisdeterminada.Siapartirdeestahiptesisrazonamoscontodaexactitud,queda manifiesto que no le podra faltar nada a la evidencia del resultado, pues ste se limitaaafirmarunenlacenecesarioentresuposicinyconclusinDetalespro posicionesnopuededecirsequeseanverdaderasyfalsasporlomenosenelsentido enquesedenominaproposicionesrelativasaloshechosCuandosedicedeestas proposicionesqueunassonverdaderasylasotrasfalsas,talesadjetivoscalificanslo suconexinconlosdata,nosurelacinconlascosasqueexistenenlarealidado conacontecimientosfuturos. Delmismomodoqueladefinicinsemueveentreserunafuncinpsicolgi ca(laformadedeterminarelasentimiento)yunafuncinlgica(organizarenun sistemalasproposiciones),tambinladefinicinsecolocaenocasionesdentrodel planodepensamiento,enotraseneldeldiscursoy,conmuchafrecuencia,intenta hacer ambas cosas. Se dirige, tal como lo sugiere su nombre, a delimitar la com prensindeunaidea,perotambinasentarunaequivalencialgicaentreuntr minorecinacuadoyelconjuntodetrminosyaaceptados,deestemodoelme 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. cindelnmero1enlaaritmticaqueseencuentrasimbolizadaenlaEscuelade 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 axiomticosereldeeliminartalesconfusionesalsepararlasmatemticaspuras, quesonunacienciaformal,delasmatemticasaplicadas,quesonunacienciadelo real.O,pordecirloentrminosmsclaros,obligandoaquesetomepartidoyse escojaentredoslecturasdeunamismateoramatemtica,yaseaqueunoseintere seenellaporcoherencialgicaocomoverdademprica.

10

Scienceetmthode,p.168.

/16 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. II.LASAXIOMTICASINICIALES 7.ELNACIMIENTODELAAXIOMTICA Entantoquelageometraintentaba,recurriendoasusproposicionesensearver dades,laformaracionalquesehadadoalapresentacindelacienciapodratener laaparienciadeunaespeciederefinamientointelectual,considerndoseentonces 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, puestoquestoseransuplidosporlaintuicin.Assealcanzabaelresultadoyno secomprometalacertidumbredelaciencia.Lapluralidaddegeometrasexisten tesenlaactualidadhacequenoocurraahoralomismo,dadoquesepierdeinters enlaverdadmaterialdelcontenido,ylavalidezdeunageometrasehacedescan sarsobrelaarmaznlgicaycualquierfaltahacequestasederrumbe,puestoque sonvioladaslasreglasdeljuegosiunoseapoyaenlaintuicin. Otraraznimpulsabaenelmismosentidoincusoaaquellosquecontinua bandandoimportanciaesencialalaverdadextrnsecadelasproposiciones:lades confianzacrecientequeprovocabalaintuicinespacial.Todalahistoriadelageo metraestestigodelatendenciacontinuaalimitarmsymssusalcancesyaha cercrecer,enproporcin,susexigenciaslgicas.Enelsiglo XIX,laaritmetizacin del anlisis imprimi a este movimiento una aceleracin considerable a la que contribuyelsurgimientodelasgeometrasopuestasalaintuicin.Deestemodo seprodujeronapartamientosnotablesentrelassugerenciasmentirosasdelaintui 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, resultafalsoqueaunalneacurvacontinuasiempreselepudieratrazarunatan gente(Weiertrass);tambinpuedeserciertoqueunalneacurva,quenotenganin gunaanchura,puedacubrirlasuperficietotaldeuncuadrado(Peano). Pasch, en 1882, intent lograr la axiomatizacin inicial de la geometra. Si bienlasolucinqueofrecipresentaunacantidadconsiderabledefallas,debidas enbuenaparteaqueelautormantuvolamismaactituddelempirismoclsico,al menosplanteaclaramenteculeselproblema:Resultanecesarioparaquelageo 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 ningunamaneraesnecesariocuandoenladeduccinsepresentaunalagunay(sino esposiblesuprimirtallagunaalterandoelrazonamiento)silasproposicionesque hansidotomadascomomediosdepruebaresultaninsuficientes.11 Ponemosacontinuacinlascondicionesfundamentalesque,paraquesele 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 relacioneslgicasyquesemantenganindependientesdelsentidoconcreto quepuedadarsealostrminos. 4) Queseansloestasrelacioneslasquepuedanintervenirenlasdemostracio nesenformaindependientedelsentidoquetenganlostrminos(estoproh be, particularmente, tomar en prstamo cualquier cosa concerniente a la consideracindelasfiguras). 8.LAANTERIORIDADDEUNSISTEMA LasreglasestablecidasporPaschconllevanladistincinclaraentretrminosypro posicionespropiasalsistemaaxiomatizadoyaquellosque,lgicamente,lesonante riores.Si,porejemplo,estamostratandoconlageometra,lostrminospropiamen tegeomtricosquefigurenenlasproposicionesprimerasnopueden,porsupuesto, formarproposicionessalvoenelcasodequeseencuentrenunidosentreellospor palabrasquedesempeenunafuncinlgica,porejemplo,el,todo,no,esun,si,en tonces,etc.Delmismomodo,lasdemostracionesnoinvocansloalasproposicio nes del sistema puesto que, para integrarlas en demostraciones, resulta necesario recurriralasreglaslgicasdelencadenamiento,comoaplicarlaregladelatransiti vidaddelaimplicacin(siaimplicabysibimplicaac,entoncesaimplicaac).El conocimientosibiennotericosinoalmenosoperatoriodelalgicaquedaen toncespresupuestoenestecaso.Enrelacinconlacienciaaxiomatizadadetalfor ma,alalgicaseledaelnombredeanterior. Unsistemageomtrico,apartedelalgica,daporsupuestoalaaritmtica, puesparadefiniruntringuloesnecesarioutilizareltres;asimismo,parademos trarquelasumadesusngulosesigualadosrectos,sehacenecesarioadmitirla
11

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

/18 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. validezdelosteoremasaritmticosrelativosalaadicin.Enformageneral,sede nominaranterioresaunsistemaaxiomticoatodoslosconocimientosdelsistema 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 ciasquesepresuponen.Talformalidadnobastaenformaalgunapararesolverla infinidad de problemas que emergen aqu y cuya determinacin resultar funda mentalparalosposterioresdesarrollosdelaaxiomtica.Enespecial,serposible, comosugieredeinmediatoelafndeconseguirunalgicapura,remontarlaaxio matizacindelacienciahastaunpuntoltimo,delageometraalaaritmticayde staalalgicaconelfindeabsorberlosconocimientosquesehanutilizadoshasta entoncescomoanterioresyqueenconsecuenciasemantienencomoexteriores alaaxiomticayeliminarasporcompletotodapresuposicinintuitiva?Odeotro modo, los conocimientos elementales de lgica e incluso de aritmtica, no se les utilizaraenformanecesariaattulooperatorioenlaconstruccindelasaxiomti cas?O,dichodeotromodo,losconocimientoselementalesdelgicaeinclusode aritmticanoselesutilizaranecesariamenteenlaelaboracindelasaxiomticas lgicasyaritmticas?Poincarapuntabaqueresultadifcilhacerelenunciadode una frase sin colocar un nmero o, por lo menos, la palabra varios o, en ltima instancia,unapalabraenplural.12Elaritmticoyellgiconumeransusproposicio nesyteoremas,cuentanelnmerodesusnocionesprimeras.Yloqueesciertoenel casodelasnocionesaritmticasconmayorraznloesparalasnocioneslgicas. Porotrolado,nosiempreresultafcildelimitarconprecisinlafronteraen treloquesonlasnocionespropiasdeunacienciaylasqueleresultananteriores.13 Podemosleerporejemploenuntratadodegeometra:Larectaapasaporelpunto A.Lafrasepasaporperteneceaparentementealvocabulariodelageometra;pero comoesposibleevitarlaaldecir:ElpuntoApertenecealarectaa,yquelaperte nencia de un individuo a una clase (si se considera a la lnea como una clase de puntos)esunanocinlgica,eltrminopasapordebeenestecasoserincluidoen trelostrminoslgicos.Unpocomsallpodemosleerlasdosfrases:Siunpun toestdadofueradeunplano,etc.,ytambin:Siunpuntoestdadofueradeuna superficie esfrica, etc., cmo se puede clasificar ese fuera de? En el primer caso

HPoincar,Scienceetmthode,p.166. LosejemplospuestosacontinuacinsondePadoa,Lalogiquedductive,Rev.deMtaph.Etde Morde,nov.de1911,pp.830831.


12 13

/19 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. citadosimplementesedicequeelpuntonopertenecealplano,tratndoseentonces deuntrminolgico.Peroenelsegundocasoloquesequieredeciresalgoms. 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 resultadifcilreconocerenlasproposicionesculessonlostrminospropiosdela teora,porloque,secomprende,esnecesariodarunalistaexactadeellos. 9.INDEFINIBLESEINDEMOSTRABLES.LOSSISTEMASEQUIVALENTES Unadelascaractersticasquedefinenenformamsvisiblequeunateoradeduc 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 fundamentalesylospostuladossepresentenenconjuntodesdeelprincipiodela teorayquequedenagotadosantesdequeseinicienlasdefinicionesydemostra 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 postuladoscorrespondientesamedidaquevayasiendonecesario,yaseaenforma aisladaoengrupo,conlacondicinbienentendidadequetodosehagaenforma muyclara.Faltadecirquelamencindetrminosannodefinidosydelaspropo sicionesnodemostradas,debeprecedersiempreladelostrminosylasproposi

Sedabatambin,indudablemente,dentrodeestadiferenciadetratamientoentretrminosypro posiciones,elefectodelcuriosoretardodelateoradelostrminos,delcualencontramosyauna manifestacinenlacostumbreseculardeenumerarlasdefinicionesdentrodelosprincipios.Alres pecto,Padoahacelaobservacindeque,sisedisponedesdehacemuchotiempodelavozpostu lado,conquesedesignanlasproposicionesnodemostradas,nosehainventadounavozquedesig nelostrminosnodefinidos,dadoqueestaexpresinseusabatanpocoquenoseconsiderabane cesarioabreviarla.Lapalabrateorema,quecarecedeunavozparadesignarlostrminosdefinidos, 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 finibledelmismomodoqueunaproposicinnopuedeserindemostrable,salvoal interior de un sistema que ha sido estructurado en una forma determinada, y de maneracontinuapuedenconstituireltrminodeunademostracinouna defini cin,siemprequesemodifiquenadecuadamentelasbasesdelsistema.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 lugardedemostrarpormediodeaquellaquelasumadelosngulosdeuntrin guloesigualadosrectosoqueatodafiguraselepuedehacercorresponderuna figurasemejantedecualquieramagnitudoqueportodopuntointeriordeunn gulo es posible trazar una recta que corte ambos lados, resulta imposible invertir esteordenypodrdemostrarselaunicidaddelaparalelatomandocomopostula docualquieradeestasltimasproposiciones.Delmismomodo,laeleccindelos trminos de la teora que se instituirn como fundamentales queda al libre albe dro.Uncambioenlalistadelostrminosprimerosbastaparadeterminarelcam bio correspondiente en los postulados, pues stos enuncian relaciones entre esos trminos.15 Resultanecesarioentoncesvigilar,alhablardeunsistemadeductivo,queno seconfundandosacepcionesdelavozsistema,estoes,elconjuntodelasnociones yproposicionesquelointegran,yaseanprimitivasoderivadas,ascomocualquier organizacinlgicaqueseled. Unsistema,entendidocomoelconjuntodelasnocionesyproposicionesque lointegran,seprestaaunamultitudderepresentacionesaxiomticas.Poremplear una definicin de Nicod, se trata de algo parecido a un poliedro, que puede des cansarsobregranvariedaddebases.Talessistemasdistintos,enelsentidodeorga nizacinlgica,recibenelnombredeequivalentes.Deestemodo,todaslasrecons truccionesaxiomticasdelageometraeuclidianaresultanequivalentes,puesenel fondocontienenelmismoconjuntodetrminosyproposicionesyslodifierenen questospuedendividirseenprimitivosyderivados.Demodomsgeneralytam binmspreciso,dossistemasdeproposicionessonequivalentessicualquierpro
Laescuelaitalianamediantelaanaloga,aclarperfectamente,recurriendoaloqueyaseconoca respectoalasproposiciones,elcarcter,relativo,deunanocindeserprimera.Severnoobstante quesibienlgicamentelarelacindeanterioridaddeunaproposicinountrminoenrelacincon otroesdeltodoarbitraria,estonosignificaqueseanvlidostodoslosrdenes.Laconcepcindeun ordennaturaldenocionesyaserciones(PascalyLeibniz)nohaperdidovalorsisedirigeaunor denracional,biendistinguido,deunordenquesloeslgico.
15

/21 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. posicindeunodeellospuededemostrarsesloconlaayudadelasproposiciones delotro,yrecprocamente,dossistemasdetrminossonequivalentessicualquier trminodeunopuededefinirseconlasolaayudadelostrminosdelotro. 10.LASDEFINICIONESPORPOSTULADOS El estatuto lgico de los postulados quedabastante claro, no quedan afirmados a ttulodeverdadesgeneradorasdeotrasverdades,sinoquesloselescolocaattu lodehiptesisquepermitendeducirunconjuntodadodeproposicionesodelas queunoseproponeinvestigarlasconsecuenciasqueimplican.Sesabequeenfor maalgunaresultanecesarioquelasproposicionesseanverdaderasyqueseanco nocidascomotalesparaqueseaposiblerazonarsobreellascorrectamente;lavali dezdeunrazonamientoesindependientedelaverdaddesucontenido.Lacondi cin de los trminos primeros es un tanto ms difcil porque, si es posible hacer abstraccintotaldelaverdaddelasproposicionessobrelasquesetrabaja,espo sible tambin hacer abstraccin total del sentido de los trminos? Cmo afirmar deellosalgoasaunattulohipotticosiparanosotrosestntotalmentedespoja dosdesentido?Y,cmollegaraunsentidosi,porunlado,nopodemosdefinirlos ysi,porelotro,nosnegamosatomarencuentasusentidointuitivoprevio?Esto porquesinoseobligaunoaolvidarsusentidoemprico,preaxiomtico,secorreel granriesgodereferirseluegoal,sinsaberlo,dentrodelrazonamientoy,as,intro ducirsubrepticiamenteelementosimplcitosmsomenosvagosy,sinduda,varia blesconcadauno.Slonosquedaunarespuesta:elsentidoquetenganlofijarsu usoenlospostuladosqueenuncianquclasederelacinlgicatienenentrestales nociones.Estemododedeterminarelvalordeuntrminonopuedeconsiderarse propiamenteunadefinicinpuesnoestableceunaequivalencialgicaentreeltr minonuevoyunaexpresinconocida.Masenvistadequescumplelafuncinde unadefinicin,estoes,fijarsusignificado,puedeconsiderrselecomounadefini cinimplcita. EstanocinsedebeaGergonne.Siunafrase,observa,contieneunasola palabracuyosignificadonoesdesconocido,elenunciadodeesafrasebastarapara revelarnossuvalor.As,sisediceaunapersonaqueconocelasvocestringuloy cuadriltero,peroquenuncahaescuchadolavozdiagonal,quecadaunadelasdos diagonalesdeuncuadrilterolodivideendostringulos,imaginardeinmediato loqueesunadiagonal,puesaqusetratadelanicalneaqueescapazdedividir uncuadrilteroenuntringulo.Estasuertedefrasesquedanlacomprensinde unadelaspalabrasdequesecomponenrecurriendoalsignificadoconocidodelas otraspodranserdenominadasdefinicionesimplcitasenoposicinalasdefiniciones

/22 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. ordinariasquerecibiranelnombrededefinicionesexplcitas.16Esteprocedimiento notienenadadeextrao.Esdelmismomodocomoelnioaprendeelsentidode lamayoradelaspalabrasdesuidioma.Enelcampodelascienciasfsicasresulta 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.Laleydelacadadeloscuerposdefinelacadalibre;laleydelaspro 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 cuentatodounsistemadeecuacionesconvariasincgnitas,ocurrirentoncesque variossistemasderacessatisfaganlasecuaciones,einclusounainfinidad,comosi seestableciera: Y=2x Z=y+x Enunsentidoelsistemaquedadeterminado,puessisedaaunadelasin cgnitasalgnvalorarbitrario,losdelasotrasdosquedanfijadostambindein mediato.Envezdeindividualladeterminacines,dealgunaforma,global,yasu meuncarctermsabstracto.Ennuestroejemplo,ysiempresereldobledexyz eltriple.Msquelospropiostrminos,son,comopuedeverseaqu,lasrelaciones entrelostrminoslasquequedanexactamentedeterminadas.Lacaracterizacinde los trminos primeros por las relaciones que enuncian entre ellos los postulados nosponeenunasituacinanloga.Unsistemadepostuladospuedecompararsea un sistema de ecuaciones que tenga varias incgnitas; estas incgnitas se corres pondenalostrminosdelaaxiomticaqueseconsidera.Suvalornoescualquiera, peronoseencuentradeterminadoimplcita,solidaria,equvocamente.Estaformade establecerelsentidodelostrminosseconsiderauncasodedefinicinimplcita,la definicinporpostulados.SeentiendeasporquPoincarpodaafirmar,refirindo sealospostuladosdelageometraeuclidiana,quesetratadedefinicionesdisfra zadas. El conjunto de postulados euclidianos constituye, de hecho, una definicin implcitadelconjuntodelasnocioneseuclidianas.17
Gergonne,Essaissurlathoriedesdfinitions,1818,pp.2223,apudF.Enriques,Lvolutiondelalo gique,p.94delatraduccinalfrancs. 17Laambigedaddetomarlasdefinicionesporpostuladosyquecomoseverdespusespara lossistemasaxiomticoslocontrariodeundefectoexplicaloscasosdedualidadreconocidosante riormenteenvariasteorascientficas.DeestemodoGergonneexpusosistemticamente(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,estoes,quepuedenserverdaderasofalsas,puestoquecontienenvariables que,relativamente,seencuentranindeterminadas.nicamenteenelmomentoen queseddeterminadovaloraesasvariables,odichodeotromodo,siselessusti 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. Lasmatemticassonunacienciaenlaquenosesabenuncadequseha bla,nisiesverdaderoloquesediceEstechistemuyconocidoquesugiriaRus sell la nocin de la matemtica axiomatizada tiene valor para toda axiomtica en general.Ytambinesalaaxiomticaalaquepuedeaplicarseelsiguientechistede Poincar:Lasmatemticassonelartededarelmismonombreacosasdistintas. 11.DOSEJEMPLOSDEAXIOMTICAS Aunquenotienequeverconlageometrayconquesuautorsehayapreocupado especialmenteporelproblemadelaexpresinsimblica,comoprimerejemplode laaxiomticadaremoselqueelaborPeanoparalateoradelosnmerosnatura 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 yplanoerancambiadosdederechaaizquierdasinquelaverdaddelasproposicionessealterara. Por ejemplo,dospuntosdeterminan una recta;dosplanos determinanuna recta;tres puntos,no en lnea recta,determinanunplano;tresplanosquenotienenunarectacomndeterminanunpunto,etc.Estadua lidaddependedequelostrminosprimerosdelateora,quesonlosdepuntoyrecta(seriedepun tos),satisfaganlospostuladosenquefiguransiselesda,respectivamente,elsentidodeplanosyhaz deplanos(pasandoporunarecta).Esporesoquetodoteoremaqueesvlidoparapuntosyrectas (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) Siunapropiedadperteneceaceroysicuandoperteneceaunnmerocual quierapertenecetambinasusucesor,entoncesperteneceatodoslosnme ros(principiodeinduccin) Seveentoncescmo,conlaayudadelasdosprimerasproposicionesespo sibledefinir,primero,elnmerouno,despuseldosyassucesivamente.Conestas basesesposibledefinirodemostrartodaslasnocionesyproposicioneselementales delaaritmtica. Sloquelainterpretacinhabitualdelostrminosprimerosnoeslanica quepuedesatisfacerestejuegodeaxiomasyasnopuededeterminarunvocamen teunsistemaconcretodeproposiciones.Russellhacelasiguienteobservacin:sile conservamosasucesorsusignificadocomn,peroentendemosacerocomounn merocualquiera,digamos100,yanmerocomocadaunodelosquesecontinana partirde100,loscincoaxiomasquedanverificadosy,naturalmente,todoslosteo remasquedeellospuedendeducirse.Delmismomodo,siconservndolesusenti doordinarioacerosedesignaranmerosloalosnmerospares,yporsucesorel segundosucesor;oinclusosicerorepresentaraelnmero1yelsucesorrepresentara lamitad,elnmerodesignaracadaunodelostrminosdelaserie1,1/2,1/4,etc. Todas estas interpretaciones y las parecidas que ser fcil imaginar, presuponen unaestructuraformalcomnqueestaaxiomticaponeenclaro.Loqueellacarac terizanoespropiaylimitadamentelaaritmtica,sinoenformageneralunacierta estructura,ladelasprogresiones.Laseriedelosnmerosnaturalesesslounailus tracinentreotras.Adems,stasnopermanecenencerradas,comolopodransu gerirlosejemplosanteriores,enlossubdominiosinterioresdelaaritmtica.Espo sible instituir una progresin entre entidades que sean distintas de los nmeros, puntosoinstantes. AguisadesegundoejemploharemoselbosquejoquenosdonHilbertdela geometraeuclidiana.18Suintersloconcentrenlasproposicionessinpreocupar se gran cosa por reducir al mnimo el nmero de los trminos primeros que, por

Grndlagen der Geometrie,1899. En lasediciones siguientes el autor hizo algunas modificaciones pequeas.Nosotrosconsultamosla3edicin,1909.LosquenoencuentrenaccesiblelaobradeHil bertpodrnencontrarsus21axiomasenelexcelentelibrodeGodeaux,Lesgomtries(coleccinde A.Colin).Recordemosdeunavezportodasqueeltrminoaxiomanoimplicayalaideadeeviden ciaydereglayretienenicamenteladeprincipioestablecidohipotticamente,estoes,depostula do.Talsustitucinsehahechoinevitabletambinconlapalabraaxiomtica.
18

/25 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. otraparte,incorporalosaxiomas,sinenunciarlosenformasistemticaysepara da.19Perodostrazossuyosmerecenatencin. Enprimerlugarnoquedcontentoconslodespejarlosaxiomas,algunos de los cuales permanecieron, hasta entonces, implcitos, y enumerarlos, sino que tambinlosreparti,deacuerdoconlasnocionesfundamentalesqueemplean,en cincogrupos.Esforzndoseconcadaunodeestosgrupososuscombinacionespor precisar y delimitar el dominio de los teoremas que determinan. Los del primer grupofincanunenlaceentrelasideasdepunto,derectaydeplano.Sonlosaxio mas caractersticos de la geometra proyectiva (ocho axiomas, por ejemplo, dos puntosdeterminanunarecta;sobreunarectahaysiempreporlomenosdospun tos y sobre un plano al menos tres puntos que no estn en lnea recta). Los del segundogrupo,losaxiomasdelorden,fijanelsentidodelapalabraentreysonlos axiomas topolgicos (cuatro axiomas, por ejemplo, si A, B, C, son puntos de una rectaysiBseencuentraentreAyC,seencuentratambinentreCyA).Eltercer grupoincluyelosseisaxiomasdelacongruenciaoigualdadgeomtrica.(Porejem plo,siAyBsondospuntosdeunarectaa,yAunpuntodeunarectacualquiera a,existesobreaydeunladocualquieradeAunoyunsolopuntoBdemodo queelsegmentoABseacongruenteconelsegmentoAB).Elcuartogrupoconlle va slo un axioma, el de las paralelas. Finalmente, un ltimo grupo se refiere a la continuidadylointegrandosaxiomas,entreelloselllamadodeArqumedescuyo 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 contradiccinqueaparecieraenlasconsecuenciasdesusaxiomasdeberarepercu tirsobreella.Sesuponeadmitidalacoherenciadelaaritmtica,porloquegaranti za la de su sistema de axiomas. Adems, la independencia de un axioma queda establecidaporlaposibilidaddeconstruirunsistemacoherentequelohagaaun lado.Lasgeometrasnoeuclidianasinicialeseranyatestigosdelaindependencia delaxiomadelasparalelas.Enformasemejante,alconstruirunageometranoar quimediana,Hilbertdemuestralaindependenciadelosaxiomasdelacontinuidad.
Desde1882,Paschlogrdefinirtodoslostrminospartiendodecuatrotrminosprimitivos(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, materialointuitiva.20Estosignificaqueanmantienecontactoconlosconocimien tosqueorganizayquesucontenidoconservasusentidoysuverdadempricos.Es talelcasodelageometraordinaria,comoseenseacomnmenteenlasescuelas. 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 plenoconlasaxiomticas,teorasabstractasyformales.Entalsentidoseopondr, aunateoraconcretadeterminada,lapluralidaddelasaxiomticasquelecorres ponden.Porejemplo,laaxiomticadeHilbertesslounaentretodasalasquese prestalageometraeuclidiana. Consideremosporahoraslounadelasaxiomticasmltiplesdeunateora concreta.Comoelsentidodesustrminos,yenconsecuencia,detodassuspropo sicionesnoestfijadosinoequvocamenteporlospostulados,sepodrentodoca so,sisedescubrenvariossistemasdevaloresquesatisfaganporigualelconjunto de las relaciones que enuncian los postulados, dar interpretaciones concretas dis tintas,obien,escogerentrevariasrealizaciones.Lasrealizacionesconcretasdeuna axiomticasedenominansusmodelos.21Sedacomoentendidadeporsquelateo raconcretaoriginalqueproporcionlospuntosdereferenciadelesquemalgico trazadoporlaaxiomticaserunodelosmodelos,peronoelnico.Unaaxiomti casepresta,comoyasecomprobenocasindelaaxiomticapeaniana,arealiza 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. 21Modelonodebesugerirlaideadequeexisteunaanterioridadarquetpica.Lapalabraseexplica porlaasimilacindeestasinterpretacionesdiversasalateoraconcretaprimitiva,quemuypropia mentepuedeserllamadamodelodelaaxiomticaconstruidaacordeconella.Sindudaelrecuerdo de losmodelos mecnicosdelos fsicos britnicosintervino en laintroduccin concreta de esta nocin.
20

/27 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. Enelcasoenquelosmodelosnosedistinguendeestaformaentreellossino porladiversidaddelasinterpretacionesconcretasquepuedadarseasustrminos ycoincidendemaneraprecisasisehaceabstraccindestas,demodoqueseins talenenelplanodelaaxiomticaformal,sediceentoncesquesonisomorfos,pues tienenlamismaestructuralgica. Elmtodoaxiomticotieneprecisamenteelintersderevelarlosisomorfis mos entre teoras concretas que son aparentemente heterogneas, para reestable cerlasenlaunidaddeunsistemaabstracto.Deestemodo,cualquieradeestasteo raspodrservirdemodeloalasotras,siampliamosunpocoelusodeestapala bra,ascomoalateoraabstractacorrespondiente.22 Existenentoncestresnivelesquedebendistinguirseysobrelosqueesposi blediversificarunateoradeductiva.Regresemos,comosiempre,alejemplodela geometraeuclidiana.Enprimerlugar,sisemodificaenformadiversaporlome nosunodesuspostulados,seobtendrnotrasteoras(geometralobatchevskiana, 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.Sifinalmenteescogemosunadeestasaxiomticas,porlogeneralselepodr encontrar distintas interpretaciones. Surge de aqu una diversificacin nueva de acuerdoconmodelosquesernisomorfos.Sesuperponeasaladiversidaddegeo metrasladeaxiomticasdeunamismageometray,asta,lademodelosdeuna mismaaxiomtica.Ylapalabrateoraseajustaporigualalapresentacinaxiom tica o a sus interpretaciones concretas. Habr entonces que evitar equivocarse y confundirentreelcasodelasteorasemparentadas,lasequivalentesylasisomor fas. 13.CONSISTENCIAEINTEGRIDAD.DECIDIBILIDAD Laeleccindelospostuladosqueconstituyenlabasedeunaaxiomtica,porarbi trariosqueseanenocasiones,nosedejaalazar,sinoquequedasujetaadiferentes 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 senciadesaturacinsignificaprecisamentelaposibilidaddeunaovariasbifurcaciones.Msade lanteseadvertirquealgunos 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 untantoalazarestaobligacinoinclusointentarconstruirexpresamenteunsiste macontradictorio,delmismomodoqueenocasionesunoseproponerazonarpor elabsurdo.Mastalcasoresultaexcepcionaly,deordinario,seimponecomocondi cinabsolutaaunaaxiomticasernocontradictoriao,comotambinsedice,con sistente.23 En efecto, una de las propiedades de un sistema contradictorio es que permitadeducirnoimportaqu.Enlesposibledemostrarunaproposicincual quieradelsistemaytambinsunegacin.Estaindeterminacinprivaalsistemade todointers. Cmopuedesabersequeunsistemadepostuladosesverdaderamentecon sistente?Laintuicinesinsuficienteparaasegurarnosdeesto.Porotraparte,tener desarrollada una larga cadena de consecuencias sin encontrar en ella jams una contradiccinpuede,sinduda,aportarnosunapresuncin;eincluso,enelcasode quelaaxiomticacubraporcompletounateoraconcreta,quehasidodesarrollada entodossussentidosdesdehacesiglos,unacertezamoral.Porejemplo,nadiepo neendudalaconsistenciadelaaritmticaelementalodelageometraeuclidiana. Noobstante,yespecialmenteenelcasoenquefalteunapruebatal,semejantepre suncinnonosaportaunacertezaabsoluta.Nadanosgarantizaquenopuedapre sentarseunasorpresa,ninosaseguraque,alllegaraunciertopunto,notropezare mosconunabsurdo.Esofueloqueocurri,porejemplo,conlasantinomiasdela teoradelosconjuntos(vaseelinciso27).Peseaquetuvosuorigenenlacreciente exigenciaderigorlgico,laprcticadelaaxiomticaaumentaasuvezaquellaexi genciaeinduceasustituirestaespeciedepruebaempricaporunademostracin verdadera,lacual,escierto,slopodrserpracticablealniveldelasaxiomticas simbolizadasyformalizadas(captuloIII).Severigualmentequeslotienexito 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 enlaprctica,comolaaritmticaclsicaolageometraeuclidiana;acontinuacin seelabora,apartirdelsistemaqueseestudia,unainterpretacin talquevengaa aplicarse sobre el primero o parte de ste. La nocontradiccin postulada del pri merosetransmitedeestaformaalsegundo.Unapruebahechaas,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. delageometralobatchevskianaterminaronlasdudasacercadelaconsistenciade esta ltima. La propia geometra euclidiana recibi de Hilbert su interpretacin aritmtica,queseaadealayaconsiderableprobabilidaddesuconsistencia.Con muchafrecuenciaseescogecomotestigoalaaritmticaclsica. Unsegundoprocedimientoconsisteendaralateoradelaquesetratauna realizacinenelmundodelascosas.Envezdehacervolverlateoraaunateora anteriorcuyaconsistenciaestmsasegurada,sedesciendealocontrario,hacialo concretoyseconstruyeunmodelofsico.Dadoquetodoloqueesrealesafortiori posible,laexistenciadeesemodelogarantizalaconsistenciadelaaxiomticaque lecorresponde.Y,noes,enelfondo,elxitodelasinterpretacionesempricasde lageometraclsicaaquelloquenoshaceaceptar,antesquecualquierotraprueba, lacoherenciadeesageometray,enconsecuencia,delaaxiomticaqueobtienede ellasuesqueletolgico? Dedosproposicionescontradictorias,pynop,elprincipiodecontradiccin nosenseaquenopuedensersimultneamenteverdaderas,almenosunadeellas 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 unsistemafundadaenelprincipiodecontradiccinrespondedeestemodosuin tegridad,asentadasobreelprincipiodelterceroexcluido.Unsistemadepostula dosescompletocuandoentredosproposicionescontradictoriasformuladascorrec tamentedentrodelostrminosdelsistema,unadeellassiemprepuedeserdemos trada. Si adems el sistema es consistente, puede verse entonces que de todo par queseformaenelinteriordelsistemaporunaproposicincualquieraysunega cin,siempreesposibledemostrarunayslouna.Enotraspalabras,enpresencia deunaproposicincualquieradelsistemasepuedesiempredemostrarlaonegar 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 muyreducidodesistemaspuedealcanzar,existeunaformamsdbildecategori cidad,aquellaenlaqueesposibleentodocaso,paraunacualquieradelasexpre sionesdelsistema,sinodemostrarla(onegarla),decidiralmenossiesonodemos trable(orefutable).Estesistemarecibeentonceselnombrededecidible.24Estacuali dadpertenecesloaunnmeromuylimitadodesistemasrelativamentesimples.

24

Lasdiferenciacioneshechasposteriormentehanhechoaparecerquedeterminadossistemaspue danseralmismotiempocompletosy,sinembargo,indecidibles.

/30 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. Lanocategoricidady,conmayorrazn,lanodecidibilidad,constituyenin dudablementeimperfecciones,masnofaltasalalgica,comoenelcasodelano consistencia.Poresolaexigenciadeintegridad,ordinariamente,sevecomomenos apremiantequelafaltadeconsistencia. 14.INDEPENDENCIA.ECONOMA. Confrecuenciatambinseexigequelosdiversospostuladosdeunmismosistema seanindependientesunosdeotros.Estoes,quelamodificacinquesehagaaunode ellosnoconviertaelsistemaencontradictorio.Paraestarsegurodelaindependen ciadeunaxiomaselepruebamodificndolosintocaralosotrosyextrayendolas consecuencias del nuevo sistema. Si permanece consistente, la independencia del postuladoquedaestableciday,siocurrealcontrario,queseproduzcaunacontra diccin,ysiadems,comoeslomscomn,lamodificacinaportadaalpostulado fuesustituirloporsunegacin,entonceselresultadoobtenidonoespuramentene gativoporquelacadenadeproposicionesquesehaestablecidodadeestemodo, delpostuladoprimitivo,unademostracinporelabsurdo.Puedeverseellazode uninentreunapruebadeindependenciaylademostracinporelabsurdo:elfra casodeunaseconvierteenelxitodelaotra.Deestemodo,ensayandovanamente demostrarporelabsurdoelpostuladodelasparalelasfuequeselleg,sinquerer, a elaborar las primeras geometras noeuclidianas y demostrar as, mediante la consistencia de estas ltimas, la independencia del postulado. Del mismo modo, perodeliberadamente,procediHilbertparaestablecerlaindependenciadelpos tuladodeArqumedes. Laindependenciadelospostuladosdeunmismosistemanoeslgicamente indispensableparaquetenganvalidez.Slosiestacondicinnosesatisfacesepro duce una superabundancia de proposiciones primeras y se considera preferible, por economa, reducir su nmero al mnimo.Afirmarque dos postulados no son independientes,estoes,queunodeellospuedeserdemostradodirectamenteopor elabsurdoapartirdelotro,ser,enestecasoconformealespritudelmtodode ductivo,producirtaldemostracinyhacerpasarlaproposicinentrelosteoremas. Estasconsideracionesdeeconomaquetienencarcterestticodesempean, noobstante,unpapelconsiderableenlaconstruccindelasaxiomticas.Elideal destas,comoeldetodateoradeductivaengeneral,noesreducirlomsposible elnmerodelostrminosprimerosydelasproposicionesprimeras?Sehanreali zadonumerososesfuerzosenestesentido,perolasimplicidadlogradaenunpun todebepagarse,frecuentemente,conunacomplicacinacrecentadasobreotros,y laeleccinladictarnentoncesrazonesestticasodidcticas.Resultadifcildismi nuirsimultneamenteelnmerodelostrminosprimeros,eldelosaxiomasysu

/31 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. longitud. La pobreza de la lengua bsica tiene, por lo general, el efecto de hacer mslargoeldiscurso.Adems,lamayorsimplicidadintrnsecadeunsistemapo drahacermsincmodasuutilizacinconcretasi,dentrodeldominioconsidera do,nocorrespondeya,demaneradirectaalostrminosdelsistema,ningunaenti dad.Amenosque,alainversa,elusodelaaxiomticaaclimateall,pocoapoco,la nocin.Independientementedetodainterpretacinextrnseca,razonesdefacilidad deexposicinpuedeninvitaraquesehagandeterminadossacrificiosalidealdela simplicidadmxima. 15.LOSSISTEMASDEBILITADOSOSATURADOS Enlugardemodificar,dentrodeunsistemadepostuladoscompatibleseindepen dientes,puedeintentarseeliminarunodeellossintocaralosdems.Entoncesel sistema se debilita, dado que se le han eliminado ciertas determinaciones. Es por esoqueallseleensanchaabriendolapuertaadeterminadasposibilidadesqueel postuladorecinextradotena,porefecto,excluir.Dichodeotromodo,elsistema seencuentraempobrecidoencomprehensinyenriquecidoenextensin.Porejem plo,sialmantenerintactoslosdemspostuladoseuclidianosseniegalaunicidad delaparalela,selogralageometralobachetvskianaque,aunquediferentedelade Euclides,tiene,sinembargo,elmismogradodeparticularidad.Perosi,alcontra rio,sedejatotalmenteindeterminadoelnmerodelasparalelasposibles,estoes,si envezdereemplazarelpostuladodelasparalelasunosecontentaconsuprimirlo, cavandoenciertaformaunvacoenelsistema,seobtienenentonceslosprincipios deunageometramsgeneralenlaquelasdeEuclidesyLobachetvskiapareceran comoespecificaciones. Puedeintentarsehacerlaoperacinalainversa,probandoreforzarylimitar un sistema determinado aadindole uno o varios postulados independientes de losprimeros.Porlogeneralsetropiezaconunobstculo,puesllegaunmomento 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, fueelaborada,yestoconelfindehaceraparecerenformaclaraelesquemalgico abstracto.Deacuerdoconestaconsideracin,lasprimerasaxiomticaspadecende unbuennmerodeimperfecciones,comopuedeverseenladeHilbert.Sedeman daolvidarelsentidoconcretodelostrminosquesonpropiosdelateora;consi derarlospuntos,lasrectasylosplanosslocomocosasquesatisfacenalosaxio mas.Perocomoestostrminosseconservan,sefavorece,enlugardecontrariarla, nuestrainclinacinespontneaatenerunaciertainterpretacinconcretadetermi nada.Inclusoselahacecasiimposibledederrotarsiunonotienemiedodeilustrar eltextoconfigurasgeomtricas.Quedamosentoncesexpuestosacometerunade las faltas que queramos evitar: sostener, en torno a significaciones determinadas enformaexpresaporlospostulados,unazonamsomenosfluidadesignificacio nespreviasimplcitasalasquearriesgamosreferirnos,sindarnoscuenta,enlasu cesindelasdemostraciones.Entodocaso,unoesdetenidoenelcaminoenlaten tativadedespojardetodocontenidointuitivolaarmaduralgicadelateora. Prontosehacesentirdeestemodolanecesidaddesustituirlaspalabrasque designabanlasnocionesprimerasdelateora,cargadastodavaconelpesodesu significacinintuitiva,porsmbolosqueestndesprovistosdesentidoprevioyen consecuencia susceptibles de recibir precisa y exclusivamente el que le confieren losaxiomas.Enlugardeescribirqueunpuntoseencuentrasituadosobreunarec ta,sedesignarlarelacindeincidenciaporlaletraF,lospuntosconlasprimeras letrasmaysculasylasrectasporlasminsculasyseescribirslo:F(A,a).Puede verse ya en este ejemplo que la simbolizacin no se detiene slo en las nociones propiasdelateoraennuestroejemplo,sloenlasnocionesgeomtricassino que emplea tambin el simbolismo de la lgica de las relaciones. Sin duda, en lo tericotalcosanoesindispensablepueslasteorasanterioresaotrateora,eneste caso la aritmtica y la lgica, intervienen slo a ttulo operatorio, esto es, con su verdadmaterialysusentidohabitual.Noobstante,resultaraparadjicoque,enel momentomismoenqueseestcreandounsimbolismodestinadoaunateoraque annolotiene,noseemplearaalmismotiempoeldelasteorasqueyaloposeen 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 larutadelsimbolismo.EntantoqueBooleysusdiscpulosseimponancomofin construirunclculolgicoquesiguieraelmodelodelclculoalgebraico,laescuela italiana,encabezadaporPeano,seentregabaaelaborarunalgoritmolgicoespe cialmente adaptado a las necesidades de la expresin matemtica. Naturalmente, cuando esta segunda corriente se encuentra con lo que est dirigido a la axioma tizacindelasmatemticas,todoresultaenunaaxiomticapresentadatotalmente bajo la forma simblica, y es de este modo que desde finales del siglo XIX Peano expusosuaritmtica. Unasegundarazn,imperiosaenotraforma,precipitaralatotalsimboliza cin:laexigenciadelaformalizacin.Sibiensimbolizacinyformalizacinconsti tuyendospasosdiferentesyseparablesenlateora,enrealidadseencuentranmuy estrechamenteligadas,puestoquelasegundaesfacilitadaconsiderablementepor laprimera,porloquerecurreaellaenformacasiirresistible. 17.FORMALIZACIN Enelmomentoenqueunocreehabersatisfecholasdemandasfinalesdelalgica escuandounademandanueva,ymssutil,apareceexigiendounesfuerzosuple mentario.Delageometraempricaalaracional,delapresentacineuclidianaala axiomtica,delasaxiomticascomunesalassimbolizadas,encadacasoseconsi deraquesehaexpulsadofinalmentelaintuicinafavordelalgica.Hemosllega doahoraalfinalyestaltimaetapaesenrealidadlaltima?Hemoslogradoeli minartodofactorintuitivoysubjetivoenlaapreciacindelavalidezdeunateora deductiva? La teora nos ofrece proposiciones primeras que enuncian mediante el len guajesimblicorelacioneslgicasentretrminosprimeros.Puestoquelaspropone sloattulodehiptesislasaceptamoscomotales,bajoreservadesucompatibili dad.Pero,acontinuacin,noadmitiremosunsolotrminonuevosinoseledefine con la ayuda de los trminos primeros, ni aceptaremos una proposicin nueva si noesdemostradaconlaayudadelasproposicionesprimeras.Porlotanto,ningu naincertidumbre,ningunaimpugnacinquepuedahacerseacercadeadoptarun trminoounaproposicinnuevoslocualseharconunacondicin:quelasre glasdeladefinicinylademostracinpuedanseradmitidassinquehayalamenor ambigedad. Que la deontologa del trabajo deductivo, esto es, la lgica, sea a la vezperfectamenteprecisayperfectamenteuniversal;quereguletodoslosdetalles yseimpongaatodoslosespritus.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 momentoenquesecomienzaaaxiomatizar.Lacrisisdelosfundamentos(vase elinciso27)quesepresentconmotivodelateoracantorianadelosconjuntosdi vidiprofundamentealosmatemticos.Ynofueporunadeesasdisputasacerca 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 mentedesentido,aquellademostracin,constringenteparaste,carecedefuerza paraaqul;elprincipiodelgicaquedeacuerdoconalgunosseimponedemanera absolutaatodopensamiento,segnotrostienevalorslosobreundominiolimita do. Cmo,enuncasoas,escogerunladopara,porlomenos,limitareldesa cuerdoyencontraruncampodeacuerdo?Existeslounmedio:elaborarahorapa ralasreglasdelalgicadeacuerdoconlascualesserazona,loquesehizoanterior menteconlospostuladosacercadeloscualesserazona:enunciarlosenformaexpresa y en su totalidad y despus adoptar la misma actitud apartada que se tom ante lospostulados,exponerlosenformahipotticaynoafirmarloscategricamente.De lamismamaneraenqueseadmiten,ladoaladoyalniveldelasaxiomticasabs tractas, sistemas distintos de postulados que son incompatibles (euclidiano, loba tchevskiano, etc.) sin preguntarse cul es verdadero y dndolos a todos como igualmentevlidos,delmismomodoseraposibleacoger,alniveldelasaxiomti cas formalizadas, sistemas diferentes de reglas lgicas y, en consecuencia, formas diversasdedesarrollarunaaxiomtica.EnpalabrasdeCarnap:enlalgicanohay moral;nosetratadedecretarprescripcionesoprohibicionessinodealcanzarcon venciones.Cadaunoeslibredeconstruirlalgicaasumaneraconlacondicinde quelaenuncieclaramenteyqueluegoseapegueaellarigurosamente(elprincipio de tolerancia de la sintaxis). La correccin lgica en el desarrollo de una teora axiomatizadadeja,enesecaso,detenerunsentidoabsoluto,perocomollegaaser relativaaesteoaaquelconjuntodeprincipiosregulativospuedeprestarseauna apreciacinobjetiva.Colocadosfrenteaunaaxiomticapodemosencontrarnosen 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. Ascomocuandosepasabadeunateoraconcretaalateoraaxiomatizadalaver daddeunaproposicindelsistemapasabaaserhipotticasuspendidaa laposi cinlibredetalsistemadepostulados;delmismomodoahoralavalidezformalde laaxiomticaretrocedeungradoypasa,asuvez,aserhipottica,convirtindose enfuncindelamaneracomoseeligieronlasnormaslgicas. Lapresentacinlgicadelasteorasdeductivastom,hacia1920,unnuevo giro,comprometindoseconelcaminodelaformalizacin.Conelfindesustraer lavalidezdelsistemadetodaapreciacinsubjetivaseimpusoapartirdeentonces lanecesidaddeenunciarenformaprecisaydetallada,quenodlugaralacasusti caenlasreglasdedefiniciny demostracinquerigensuconstruccin.Losmis mos que no creen en la omnipotencia de la lgica y defienden los derechos de la intuicin,tuvieronquecederaestemovimientoconelfindepoderjustificarseante losojosdesusrivales,ysehallegadoaver,locualnodejadeserparadjico,que seenuncienlasreglasformalesdelalgicaintuicionistayqueseconstituyaun formalismointuicionista. 18.DELRAZONAMIENTOALCLCULO Sepiensaqueresultaraprcticamenteimposiblesatisfacerexigenciastanestrictas si se continuara expresndose en el lenguaje habitual, con su falta de precisin y susnumerosasirregularidades.Esdehecho,poresto,quelaformalizacinsupone lasimbolizacin.Unaaxiomticaformalizadaaparecedeestemodocomouncon juntodesignos,unosquesonpropiosalateorayotrosquesonanteriores,provis tosdelenunciadodelasreglasqueseaplicarnalmanejodetalessignos.Confre cuenciaestasreglassedividenendosgrupos:lasreglasdeestructura,destinadasa laformacindelasexpresiones(enellaspuedencolocarselasreglasparahacerlas definiciones)ylasreglasdededuccin(destinadasalasdemostraciones).Laspri 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 completoaunladolasinterpretacioneseventualesdetrminosodefrmulas,en treelloslosdelalgica.Slotomanencuentalaestructuraformaldelasexpresio nes,lasucesindedibujospequeosqueseleendeizquierdaaderechaylneatras lneasobrelahoja.Mspropiamenteconstituyenprescripcionesparahaceruncl culo.Puedencompararsealasreglasdeljuegodeajedrezquenosmuestrancmo debencolocarsealprincipiolaspiezasyluegoculessonlosmovimientospermiti dosdecadaunadeellas.Entonces,unademostracinnoharunllamadoanues

/36 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. trosentimientoespontneodelaevidenciadedeterminadosencadenamientosl gicos,sinoqueseocupardetransformar,engradossucesivosysinsaltarninguna etapa, una o varias frmulas escritas con anterioridad como axiomas o teoremas, haciendo mencin,enelcasodecadaunadeestastransformacioneselementales, 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 atravesarlossmbolosparaapuntarporsuintermediarioalascosassimbolizadas, 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 intuicinsensible,enespeciallarepresentacindefigurasenelespacio,paracon fiarsloenlaevidenciadelosencadenamientoslgicos.Actualmente,lasincerti dumbresdelaintuicinintelectualconducenarepudiarlayasustituirelrazona mientopensado,oinclusohablado,porunclculohechosobresignosexpuestosa la mirada sobre una hoja de papel. Slo regresando de esta forma a la intuicin visualnorecaemosenelnivelprimero.Enprimerlugarsehalogradounprogreso enelsentidodeloabstractoydelogeneralalrecurriralaposibilidaddehaceruna interpretacinposteriordelossmbolos,omejordicho,deunamultituddeinter pretacionesdiversas.Perotambinsehaalcanzadounprogresoconsiderableres pectoalaseguridadylaobjetividad.Silossignosconstituyenunnmerorestringi do,sisufiguranoseprestaalaconfusinysi,porltimo,seinstituyeenforma expresaunalegislacincoherenteysinescapatoriasparasumanejo,entoncesnoes ya posible ninguna impugnacin seria, como tampoco ocurrira en un juego bien organizado:talagrupamientodesignosestprohibidoonoloest,aquellatrans formacindeunafrmulaestprohibidaonoloest.ComoescribeCavaills:Un razonamientoescritonopuedeengaar,puesensudiseoapareceranlasfiguras 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, unbarbarismoounsolecismoenunidiomaenelcualellenguajeestbienregla 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 reguladosparacombinarseydisociarsedeacuerdoconleyesbiendeterminadasy queexperimentanastransformacionesquenoson,sinrecordaralmatemtico,las questetieneporcostumbreestudiarsobrefiguraso,mejoran,enlosproblemas decombinatoria.Lossignos,deacuerdoconlasleyesquenormansuempleo,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 cosseseparanporcompletodestosparafigurartambincomoseresdenaturale zaoriginalydignasdeunestudioapropiado. Lametamatemticaser,enrelacinconlaexpresinmatemtica,loquelas matemticascomunessonenrelacinconsusobjetos.TodavaesHilbertelque,a partirde1917,dioimpulsoaestenuevoordendeinvestigacionesque,bajosudi 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.Primeroenlaconfluenciadedoscorrientesqueyaconocemos,laquetuvo suorigenenlareflexinacercadelaparatolgicodelageometrayquealemple arseparaperfeccionarladesembocenlaaxiomtica,ylasegunda,laquetendaa reformarlalgicainspirndoseenlosmtodosdellgebrayhabalogradoconsti tuirlacomounclculo.Porinfluenciarecprocalaaxiomticasetransformaba,en tonces,enunclculo,entantoqueporsuladolalgicaseaxiomatizaba.Adems, elgiroquehabantomadolaspolmicasacercadelproblemaprincipaldelfunda mentodelasmatemticas(vaseelinciso27)sugerarecurriralformalismo,aun queabordandolosproblemasbajounsesgoqueresultaraaceptableporlosenemi gosdelosmtodospuramenteformales.YaZermelohabatratadoderesolverlas dificultadesponiendoenmarchaloquepodrallamarse,enretrospectiva,laaxio mticaingenua.Suresultadomsvisiblefuereafirmarensuactitudalosmatem ticosempiristasointuicionistascuyadoctrina,conBrouwerysuescuela,sedesa rrollabayafianzaba.Comosesabe,tomarencuentalossignostrazadossobreuna hojaconstituyeya,enunsentido,elregresoalaevidenciaintuitiva.Sifueraposi ble estudiar de acuerdo con mtodos cientficos estrictos las demostraciones im pugnadas,haciendoabstraccindelasentidadesydelasoperacionesmatemticas
26

Ibidem,p.93.

/38 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. alasqueremitenalgunasdelascualesestndesprovistasdesentidoaojosdel intuicionista, en especial las que hacen intervenir la idea de un infinito actual, pornotomarencuentasinonicamentesuscombinacionesconcretassobreelpla nodelsimbolismo,setransformaraporcompletoelaspectodelproblemadefor maquedierasatisfaccinalospartidosenpugna.Cambiandodeobjeto,transpor tando el estudio del dominio de los seres matemticos al de los signos que los representaban,yconsiderando,enlugardelasnocionesquealgunospiensanson confusasovacas,lossmbolosqueseofrecenalamirada,secolocauno,sinrenun ciaraningunadelasexigenciasdelrigorformal,enunterrenoqueelintuicionista 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,yaefectuadasoquesonefectuables,descansandoenunnmerofinitode signosqueofrecelaintuicin.Entantoque,porotraparte,ellgicomsaltivono 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.)propiamentenosonproblemasmatemticospuesto quenodescansansobrelosobjetosmatemticosmismos,sinosobrelasproposicio nesquehablandeestosobjetos.Envistadequeresultanesencialesatodainvesti gacinaxiomtica,nopodadejardehacersesentirlanecesidaddeelevarlosalni veldelacienciaytratarlosenformarigurosaymetdica.stees,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:realizacinenunateoraconcretacuyaverdadatestiguaralaexperiencia prueba que no deja de ser emprica y que no siempre es posible administrar; reduccinaunateoraabstractacuyanocontradiccinerapostulada,loqueslo lograbaaplazarladificultad.Peroelhechodequelacuestinsetraspongayque, envezdeinterrogarseacercadelacontradiccinolacompatibilidaddelasideas, 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 queunareproduzcaalaotrahacindolaprecederporunsignodenegacin.Sise 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 dadeinseguridaddelateoramatemticaestudiadaydelasfrmulassimblicas 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 entenderelsentidodelasreglas,juzgarsisonaplicadascorrectamente,etc.).Mas yasearacionalosensible,unretornoasalaintuicinsloeslegtimocuandono sevamsalldellmitedelasintuicioneselementalesyquenadielosospeche. Pormsreducidoqueseaentonceselmargendelaapreciacinsubjetivapa ra juzgar la validez de una teora, el formalismo intransigente no se considerar andeltodosatisfecho.Noseraposiblearreglrselasdemodoquelosprocedi 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 interiormismodelaaritmtica,deformaquetodaexpresindelalenguasintcti capuedatraducirseunvocamenteenunaexpresinaritmtica.Si,porotraparte, sehallegadoaestablecerestacorrespondenciadetalmaneraquetodaproposicin que traduzca as una proposicin sintctica en lenguaje aritmtico pueda ser de mostrableenlaaritmtica,entoncessehabrlogradoexpresarlasintaxisdelaarit mticaalinteriordelaaritmtica. Esposibleahorademostrarenesalenguasintcticalanocontradiccinde laaritmtica?UnodelosprimerosresultadosaquefuellevadoGdelporlaapli cacindesuprocedimientoresultprecisamenteeldeprobarlaimposibilidadde taldemostracin.Y,dehecho,dejestablecidosendosteoremasdemetamatemti ca(1931),primeroqueunaaritmticanocontradictorianopodaconstituirunsis tema completo, lo cual conlleva, necesariamente, enunciados indecidibles; segun do,quelaafirmacindelanocontradiccindelsistemafiguraprecisamenteentre estosenunciadosindecidibles. Esteresultado,queenaparienciaesnegativo,obtenidopormediodemto dosformalesestrictosyluegocorroboradosporresultadosanlogosacercadepro

/40 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. blemasanlogossobreproblemasconexos,tienegranalcance.Esmsqueunsim ple episodio de la historia de la metamatemtica que reanudaba, bajo una forma nueva,elviejoidealdeunademostracinabsolutaalproponerseconstituirunfor 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 cienciaformalporexcelencia,lamatemticaaxiomatizada,sehacenecesarioresig narsealaseparacin,queyasecreahaberborrado,entreverdadydemostrabili dad. La primera nocin desborda a la segunda porque, como una de las teoras matemticas ms elementales, comporta no slo proposiciones en la actualidad indecididassinoproposicionesesencialmenteindecidibles.Ycomo,porotrolado, elprincipiodelterceroexcluidoyelenunciadocontradictorionopsonigualmente indemostrables (es decir, para las cuales puede establecerse que son igualmente indemostrables,elenunciadopyelenunciadocontradictorionop)porque,deotra parte, el principio del tercero excluido cuya validez mantienen precisamente los formalistascontrasusadversariosintuicionistas,aseguraquededosproposiciones contradictoriasunaesnecesariamenteverdadera,aunenelcasodequenopoda mosdecircul,sehacenecesarioconcluirqueexiste,enelinteriordeunamatem ticaaxiomatizada,algoverdaderoynodemostrable.Yaparaunalenguaformaltan restringidacomolaaritmtica,sunocontradiccinnopodrserdemostradasino medianteunaapelacinamediosqueleseanajenos. 21.LAAXIOMATIZACINDELALGICA Problemasydificultadesanlogosalosqueconocalametamatemticaseencon traban,almismotiempo,enelterrenodelalgica.Porlodems,ambosrdenes deinvestigacinseencuentranactualmenteasociadosntimamente.Cuandoanla axiomticaseencontrabaensuscomienzos,lacondicindelalgicapodaparecer, debidoasusituacininicial,comoprivilegiada.Unateoraaxiomatizadaretiraba susignificacinysuverdadusualesalos trminosy postuladossobrelosquese edificaba,masparaestaedificacinhacaunllamadoateorasanteriorescuyaver dad y sentido ya se encontraban presupuestos. Y en el punto de partida de estas teorasprevias,anterioresatodaslasotras,seencontrabalalgica.Sindudasepo daafirmardestaqueseaxiomatizabaasmismapuestoquedeallenadelante sepresentaba,desdeFregeyenespecialenlagransntesisdeRussellyWhitehead, como un sistema deductivo en el que estaban despejados expresamente trminos primerosyproposicionesprimeras.Sloquetodavanosedabaaqu,siesposible decirlo,sinoslounaaxiomticaconcreta.Lostrminosconservanaqu,msome nos,suacepcinusualprecisadasloporlasrelacionesqueenunciabanlospostu lados.Ystoseranverdaderosaxiomas,alavezproposicionesprimerasyeviden

/41 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. ciasintelectuales.Elsistematenaunsentidoplenoyunaverdadabsolutaquese propagaban,mediantelasdefinicionesylasdemostraciones,alostrminosderiva dosyalosteoremas.Alproponersefundarlaaritmtica,yporsuintermediotodo eledificiodelasmatemticassobrelalgica,ellogicismodeFregeydeRussell tendaaalgomuydistintoqueproseguirsimplementeelmovimientoderetroceso hacialosprincipios;pensabaenllevarlohastasutrmino,alcanzarlaroca,ellti mo fundamento. Los trminos primeros de la axiomtica peaniana se mantenan relativamente indeterminados, comportando una pluralidad de interpretaciones; lasproposicionesprimeraspadecanlamismaindeterminaciny,alserfunciones proposicionalesmsqueproposiciones,noconstituannipodanhacerloelobjeto deunaafirmacincategrica. Definiendoestostrminosesencialmentevariablesconlaayudadeconstan tes lgicas, pensadas como otras tantas esencias intemporales, demostrando estos postulados,extraoshastaahaloverdaderoyalofalso,recurriendoala ayuda de los principios lgicos, concebidos como otros tantos axiomas que se imponen absolutamentealpensamiento,Russellpretendadotaralosprincipiosdelasma temticas,yenconsecuenciaatodaslasdeduccionessubsiguientes,deunsentido absoluto y de una verdad absoluta. La matemtica dejaba de ser esta ciencia en dondenosesabenuncadequsehablanisiloquesediceesverdaderoyvolva asercategricodeductivaalmododelalgicadelacualextraatodasusustancia. Peroelcrepsculodelasevidenciasnotardaraenalcanzartambinalal gica.Yalaaparicin,conocasindelateoradelosconjuntos,deantinomiasdelas cualesseadvertaqueelorigendebaserbuscadoensunivel,yluegoeldesacuer doprofundoquesehabamanifestado,ensudiscurso,acercadelavalidezdeste 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 modoenquestadejdesernicaconlaaparicindelasgeometrasnoeuclidia nasdespusdehabersidointuitivaporqueselapusoenformaaxiomtica,enla mismaformalalgicasepluralizayseaxiomatiza.Resultabainevitablequelal 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 posicionesdelalgica,despojadasasdesusentidopropiamentelgicocomolo estabanlasdelageometradesusentidopropiamentegeomtrico,seconvierten puesenformaspuras,merastautologascomoloentenderWittgenstein.Estoes,

/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 clsicasdelmismomodoque,porunaaccinrecurrente,stasvienenareforzarla. Porquesilosprincipiossonestablecidosslohipotticamente,nohayyanadaque prohbaestablecerotros,modificarste,eliminaraqul.Assepasadelalgica a las lgicas que uno construir a su voluntad. A su vez, tal pluralidad de lgicas retirasuprivilegioalalgicaclsica,quesloesunsistemaentreotrosy,aligual que ellos, una simple arquitectura formal cuya validez depende slo de su cohe renciainterna. Sloquelaanaloga,conrespectoalageometra,dejadeser,enestepunto, esencial,dadoquelalgicanodisponeyadecienciasanterioresdelasquepueda hacerseusoparaconstruirlacomounaaxiomticaformal.Ya,amedidaquesere montaba la escala de las ciencias iba en aumento la dificultad de no presuponer nadaeneltrabajodelaaxiomatizacinquepertenecieraalacienciadelacualse trataba.Porejemplo,enelcasodelaaritmticalapluralidadnumrica.Conlalgi ca,ladificultadllegaaconvertirseenunaimposibilidadabsoluta,puesnecesaria mentehacefaltaunalgicaqueregulelasoperacionesdelaxiomtico.Seguramen teesposiblevigilarparapoderajustarlalgicaqueseestaxiomatizandosobrela mismaquesirveparaaxiomatizarlaparahacer,dichoenotraforma,quelalgica operatoriaseapliquesobrelalgicaaxiomatizadacomounodesusmodelosposi bles.Noobstante,subsistendudasbastantevergonzosas:primero,seestseguro 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 licenciadereemplazar,dentrodeunafrmuladelclculo,lasvariablesporcons tantes individuales, permiso sin el cual la frmula no tendra ningn uso, puesto queserapresupuestanecesariamentedentrodelusodetodaformasimblicaque pretendieraexpresarla.Deestemodoresultaranecesariodistinguirenformaclara entrelosaxiomasylasreglas,entrelosenunciadosqueintegranelclculoyaque llosqueloregulan,dominandodealgunamaneraestosltimosalclculomismo, pero siguiendo sindole exteriores. Tal distincin naturalmente va a imponerse a todatentativadeaxiomatizarlalgica,locualindicaqueresultaimposiblellevara untrminofinallaobradelaaxiomatizacin,lareduccindelointuitivo,quese r reabsorbido por la lgica. Siempre subsiste algo anterior, lo intuitivo previo, puessilasproposicionesdelclculopueden,odeben,servistascomonicamente formales,porelcontrario,lasproposicionessobreelclculonopuedenservacia 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 rrirenelcasodelaslgicasconstruidasad libitum, dadoquesumultiplicidady diversidadlesprohbenreferirseporigualanuestralgicaoperatoria,delacual seralaboriosoaceptarquefueraigualmentemaleable. 22.LAMETALGICA Entalforma,laaxiomatizacindelalgicalafuerzaaldesdoblamiento,nosloal queespropiodetodaaxiomticaquepermitesehagadeellaunalecturaabstracta oconcreta,sinotambinalquedemandalaanterioridaddelaactividadconstructi va,tomandocomoreferenciatodaconstruccinformal.Ensutotalidad,laaxiom ticaformalseencuentrarodeadaporundominiointuitivo:pordebajo,lasinterpre tacionesconcretasquedeellasepuedandar,losmodelos,queporlogenerallehan servidodebase;porarriba,lascienciasquelesonanterioresyqueintervienen,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,serimposibleefectuarlodentrodelalgica,sinoenunanuevadisciplina cuyoobjetoseranlasfrmulasdelalgicaaxiomatizada,ascomolasreglasdesu manejo.Lametalgicadesempeaenestaforma,enrelacinconlalgica,elmis mopapelquelametamatemticaenrelacinconlasmatemticas.Sindudaresul taraexageradoafirmarquenacidelaaxiomatizacindelalgica,puesencierto sentidotodosloslgicoshabanhechoya,enciertogrado,metalgica,aunquesin saberlo.Laaxiomatizacinlosobligatomarconcienciayadistinguirlaenforma expresadelalgicaalacualestvinculadacomosuobjeto.Aunalenguaobjetiva, comoloeselclculoformal,vieneasobreponerseunametalenguaquecomprende especialmentelasreglasdesintaxisdelclculoformalylasreglassemnticasdesu interpretacinconcreta. Porsupuesto,nadaimpidetomarahora,asuvez,lametalenguacomoobje todeestudioyformularsusintaxisyorganizarlaposteriormenteenunateorade ductiva, lacual podr ser axiomatizada, simbolizada y formalizada. Slo que por estaraznseemplearunametalenguanuevao,siassedesea,secrearelobjeto 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 Ensusprincipios,laformulacinaxiomticadeunateoradeductivapodrapare cerquetenauninterslimitado.Entrelosmatemticos,grancantidaddeellosno 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 aptosloparasatisfacerespritusenexcesoescrupulososenloquerespectaalri gor lgico, pero que se encontraba al margen del trabajo cientfico y verdadera menteproductivo.Debidoasucarcterdeliberadamenteformal,noseprohibala axiomticaasmismaenriquecerconsustanciaalgunadecarcternuevoelconte nido de nuestro conocimiento? Su utilidad como mtodo an pareca dudosa, no sloenloquetocaasusaplicacionesprcticas,sinoinclusoalinteriordelaciencia pura.Noobstante,lahistoriadelacienciamuestraenformaexcesivaque,confre cuencia,lasinvestigacionesinicialmentemsdesinteresadassonlasquealfinalse revelancomolasmsfecundas. Despusdetodo,unesprituescpticonohabraexpresadoobjecionesmuy parecidasenelmomentoenquelosgriegos,alponerenformadeductivatodoun cuerpodeverdadesempricas,construyeronlasmatemticascomounacienciara cional,iniciandoenestaformaalahumanidadenlaeracientfica? Sisereflexionasobreellas,lasventajasdelmtodoaxiomticoresultanma nifiestas. En primer lugar constituyen un instrumento precioso de abstraccin y anlisis.Elpasodeunateoraconcretaalamismateoraaxiomatizada,formaliza daposteriormente,renueva,prolongndolo,eltrabajodeabstraccinquelleva,por ejemplo,deunnmeroconcreto(unmontndemanzanasodeguijarros)alnme ro aritmtico, y despus de la aritmtica al lgebra, reemplazando los trminos individualesporvariablesdelascualessloestndeterminadaslasrelaciones.Y, enfin,dellgebraclsicaalamoderna,enlacualnoslolosobjetossinotambin lasrelacionesqueseefectansobreestosobjetoslleganasuvezaserconcretamen te indeterminadas, fijadas slo por algunas propiedades fundamentales muy abs tractas. Por otro lado, ante el tratamiento axiomtico, las nociones fundamentales deunateoraquedanconfrecuenciaconfusas,tienencomprehensionesquesona la vez demasiado ricas e insuficientemente explicadas. Nada garantiza entonces queestoselementosdiversoscontinuarnsiendosiemprecompatibles,ynadanos precaveencontradelpeligroderesbalarenformainconscienteennuestrosrazo

/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,dejandocaeralgunasdelasdeterminacionesdisociadasporelanlisis.La reduccin de la comprehensin elimina las restricciones y asegura el ensancha mientodelaextensin.Russellafirmaquegeneralizarestransformarunaconstan teenunavariable,ytalesprecisamenteeltrabajodelaxiomticocuandosustituye larecta,lacongruencia,porx,y,quesatisfacenalasrelacionesqueenuncianlos postulados. De este modo, cuando descartamos las significaciones intuitivas, que siempresonespeciales,noslonoshacemoscapacesdepensarenformamsde sembarazadalateorainicial,sinoque,degolpe,seformauninstrumentointelec tualplurivalentequepuedeutilizarseentodaslasteorasisomorfasalaprimera. Delmismomodoqueunafuncines,comosehadicho,unmoldedeproposicio nes,unateoraaxiomatizadallegaaserunaespeciedefuncinterica,unmolde deteorasconcretas.Eldefectodelaunivocidad,lejosdeperjudicaralasdefinicio nes por postulados, por lo contrario constituye su inters. La indeterminacin de unaestructuraformalnopuedeconsiderarseunaindigenciadesdeelmomentoen 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 cindeconjunto.Aligualquelaanatomacomparada,guiadaporelprincipiode la identidad de plan, discierne en su pintoresca variedad los rganos homlogos, astambinlaaxiomtica,aldescubrirlasanalogasformales,revelacorresponden ciasinsospechadasentrelosdominiosdiversosdeunamismacienciaeinclusopa rentescosentrecienciasquealparecereranajenasoloparecan.Alponerderelieve laestructurainvariantequeescomnateorasquealparecersonheterogneas,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 quiridosenotraspartes.Elrigordelmtododeexposicinconduceas,enltima 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 procesosnoes,enformaalguna,sumenorinters,puespermitequeseanejecuta dosporunamquina,reservndoseaselesprituparalasoperacionesdenivelsu perior.Mediantelasimbolizacinylaformalizacindelasteoras,ypormediode losisomorfismosasrevelados,lasgrandescomputadoresdeEUAestnpasandoa ser, si no mquinas repensar verdaderas, al menos auxiliares cientficos cuyas aptitudes superan muy ampliamente la ejecucin de las operaciones o problemas quesonpuramentenumricos.Ydeentrelosproblemasnumricosquesoncapa cesderesolverfiguran,precisamente,losproblemasdedecisinacercadelasaxiom ticasformalizadas.Talesusosansonnuevosysusdesarrollosanimprevisibles, perosepiensaqueyasinayudadelasmquinasyparaelespritureducidosloa susrecursos,lasimbolizacinylaformalizacinelevanlaabstraccinaxiomticaa lasegundapotencia,sisepuededeciras. 24.LAAXIOMATIZACINDELASMATEMTICAS Resultaraenextremodifcilmedirconprecisinlapartequelecorrespondealm todoaxiomticoeneldesarrollodelasmatemticasmodernas.Msquedeunaca usalidad bien orientada, indudablemente sera obligado hablar con frecuencia de accionesrecurrentesoconjugadas.Lateoradelosgrupos,porejemplo,delaque hasidoposibledecirqueeslamatemticadespojadadesusustanciayreducidaa suformapura,naciantesqueellaysedesarrollinicialmenteenformaindepen diente.Noobstante,elesprituenqueseinspiraesttandeacuerdoconlaaxiom tica,ylosproblemassonamenudotancercanos,queambosrdenesdeinvestiga ciones se encuentran en la actualidad relacionados muy ntimamente.27 Precisa menteporquenosetratadeunainvencinaisladaylocalizada,surgidaenforma 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 desdehacemsde100aos,eslacausaporlacualelmtodoaxiomticonologra disociarsedeltodo.Susrasgoscaractersticosyasonreconocidosfcilmenteenel pensamientomatemticoclsico:abstraccinygeneralizacincrecientes,rechazoa
27

Cf.G.Juvet,Lastructuredenouvellestlioriesphysiques,p.169.Todageometracoherenteconstitu yelarepresentacindeciertogrupo.Ahorabien,todageometradescansaigualmentesobreunsis temadeaxiomas,demodoquetodaaxiomticaesigualmente,desdeciertopuntodevista,larepre sentacindeciertogrupo,elgrupodeoperacionesquedefinenlosaxiomasyqueactansobrelos objetosdelosquetratantalesaxiomas.Cf.,delmismoautor,Laxiomatiqueetlathoriedesgroupes, CongrsIntem.DePhil.Scientifique,1935,vol.VI.

/47 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. laintuicinquesesustituyeconlalgica,subordinacindelcontenidoalaestruc tura,establecimientodecorrespondenciasunificadoras,etc.Noresultamenoscier toporestoqueHilbert,alhaberenseadoalosmatemticosapensaraxiomtica mentehayamodificadoprofundamenteelestilomatemtico,precisamentedon deelmtodoaxiomticonoseempleaenformasistemtica.28 Perosteloescadavezms.Todateoramatemtica,desdelaaritmticayla teoradelosconjuntoshastaelclculodeprobabilidades,hasidoyaaxiomatizada 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 estemtodo,todoelconjuntodelasmatemticas.Bienseentiendequeenelcaso deunateoraqueseencuentratodavamuycercanaasusorgenesconcretos,como eselcasodelasprobabilidades,laformaenquelaaxiomatizacindesembarazaa la ciencia de losproblemas 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 simularbien,masnosuprimir,lacircularidad:laprobabilidad,larelacindeln 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 tienedeincmodaytransitorialafasedeladeduccinconcreta,enlacualsedebe ynosepuedejustificarlosprincipios.Lascosasquedabanclarasenlafaseempri caeinductiva.Aldejarnosguiarpornuestrosentimientointuitivodelasprobabili dadespodramosver,porejemplo,quenoexisteraznalgunaparaquecaigagui laosol.Ydespusllegamosaestablecerlasdosleyes,quelaexperienciaverificar, delasprobabilidadestotalesydelasprobabilidadescompuestas.Yestovolvera resultarclaroenlafaseaxiomtica,ladeladeduccinabstracta:ambasleyesque darnestablecidasahoracomoprincipios. Tal purificacin conceptual inicitica constituye apenas el beneficio menor queesposibleobtenerdelmtodo.Comosehavisto,elanlisisaxiomticodestaca lasestructurasdelasteorasparticularesqueseencuentranyaconstituidas,reve lando as las analogas formales entre teoras con frecuencia muy alejadas en su contenidoyqueporestaraznpermanecencomosifueranindependientes.Tales elcaso,porejemplo,delateoradelamedidayelclculodeprobabilidades.Del mismomodosedescubrenestructurastopolgicasenconjuntosdeelementosque
28

Cf.J.Dieudonn,DavidHilbertenLeLionnais,Lesgrandscourantsdelapensemathmatique,Rev. DeMetaph.,1935,pp.375384.

/48 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. nosonyapuntos,sinofuncioneso,incluso,elementosquesonesencialmentedis continuoscomolosnmerosenteros.Lateoradelosespaciosabstractos,otopolo gageneral,quesedebeaM.Frchet,seconvierteasenunodelosfrutosmsbe llos del mtodo axiomtico. Las teoras matemticas son igualmente puestas en correspondencia con teoras extramatemticas, especialmente con teoras lgicas. Elclculodeprobabilidadesconciertaslgicasplurivalentes;latopologaconde terminadosclculosdelgicamodal;teorasantiguas,puestasenclaroconunaluz nuevaprocedentedelisomorfismo,puedenexperimentardesarrollosinesperados. Lasimilituddefuncionesllevatambinacrear,paraunateora,nocionesabstrac tasquenopodansugerirnadaentantoseencontrabansujetasasuinterpretacin primigenia.Deestemodonacenseresmatemticosnuevos. Nosloseaprovechandeltratamientoaxiomticolasteorasparticulares,si noquetodalafisonomadelconjuntodelasmatemticasseencuentratransforma da.Debidoaparentescosinsospechadosqueserevelandepronto,seredistribuye eluniversomatemtico.Elordentradicional,29querepartalasdisciplinasmatem ticasdeacuerdoconlosobjetosdeestudio(aritmtica,lgebra,anlisisinfinitesi mal, geometra) parece en la actualidad tan superficial como el de las antiguas clasificacioneszoolgicasqueagrupabanalosanimalesdeacuerdoconsusseme janzasexteriores(acuticos,terrestres,areos)enlugardebasarseenlassimilitu desdesuestructura.Secoordinanahorateorasquetratanacercadeobjetosmuy 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 mscomplejas y diferenciadas, en lasque se combinanorgnicamentedosomsdeestasestructurasmaestras,comoporejem ploellgebratopolgica.Despussloteorasmsespecialesenlascualeslosele mentosempiezanacobrarunaindividualidadmuchomsmarcada.Esenesteni veldondesereencuentralamayorpartedelasteorasdelamatemticaclsica.S loqueenlugardepermanecerindependientesycasiaisladas,sevenahoradeter minadas por entrecruzamientos diversos de algunas teoras ms generales. Por ejemplo,elconjuntodelosnmerosrealespuedeserconsideradocomouncuerpo o como un conjunto ordenado, o bien como un espacio topolgico, etc., de modo

LapartefinaldeesteprrafoseencuentrainspiradadirectamenteporN.Bourbaki,Laarchitecture desmathmatiques,enLeLionnais,op.cit.,pp.4344;J.Dieudonn,Laxiomatiquedanslesmathmati 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 dientesy,porotrolado,lasqueresultandelavalidezsimultneadeestasteoras diversasodevariasdeentreellas. 25.LAAXIOMATIZACINENLASDEMSCIENCIAS El sistema axiomtico no se aplic exclusivamente a las matemticas sino que se desbordportodoslados. Noconstituirsorpresaalgunaqueunmtodocuyopropsitoessuplantar laintuicinporlalgicahayaencontradosucampodeeleccinenlamismalgica. Estacienciahaceenlaactualidadunempleosistemticoyregulardeellay,alcon trario,suusovadisminuyendoamedidaquesedesciendeenlaescaladelascien cias,cuandosepasadelamecnicaaotraspartesdelafsicay,deall,alasciencias delanaturaleza.Podradecirsequenohaexcedidoaneldominiodelafsica.Los ensayosquesehanhechoenelcampodeotrasciencias,comoWoodgerlointent conlabiologa,continansiendoespordicosysuintersradicaexclusivamenteen lacuriosidadqueprovocan.Nosetratadequeningunacienciarechace,porsuna turalezamisma,suempleo,peroste,paraquerindafrutos,slodebellegarasu horayenelmomentoenquelacienciaencuestinalcanceciertogradodemadu rez.Existeunaespeciedeleydeldesarrollodelascienciasquelashacepasarenun orden irreversible, y cada una de ellas, a su turno, de acuerdo con el rango que ocupanenlajerarqua,porcuatroetapassucesivas:ladescriptiva,lainductiva,la deductivaylaaxiomtica.Unaaxiomticaquedaenunaespeciedevacosinoes construidasobreunateoradeductivaprevia,lacualcarecedevalorcientficosino organizaunvastoconjuntodeleyesadquiridasinductivamente,trasunaprolonga da exploracin de los fenmenos. La fsica inductiva en los siglos XVII y XVIII dio paso,enelsiglo XIX,alaeradelasgrandesteorasdeductivasy,enlaactualidad, hallegadoalpuntoenelcualeltratamientoaxiomticoleesampliamenteaplica ble. Nosiemprehansidosuspartesinicialeseneltiempolasquehanobtenido msbeneficiosdeestetratamiento.Determinadascaractersticasdelasteorasnue vasque,porsupuesto,seapoyanentodoconocimientoadquiridoconanteriori dad,inclusocuandosteescorregidolaspredestinabanaello,ynosloelhecho dequenacieranenlamismaestacinenquelaaxiomticafloreca.Enprimerlu gar, su carcter altamente abstracto y formal que inevitablemente resulta, entre otrasmuchasrazones,dequehandejadodeexistirdentrodelaescaladenuestra intuicin.Unafsicadeloinmensoyunafsicadelonfimodesconciertannuestro poderderepresentacinconcreta:lacurvaturadelespaciotiempo,elspindelelec

/50 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. trnnotienenyasinounvalormuydbilmenteanalgico.Inclusoestalejanaalu sinalaimagensedesvanecedeltodoconelsimbolismomatemtico,elnicoque daalasteorassuexpresinexacta.Adems,ciertasparticularidadesquesonesen cialesalanuevafsicafavoreceneinclusoimponenelusodelmtodoaxiomtico. ComoloexplicaJ.L.Destouches,unafsicaenlaquetodaslasmedidassimult neasnosonposiblesnopuedeserunafsicadelaspropiedadesintrnsecasydebe limitarse a ser una fsica de relaciones.30 Una fsica as necesariamente debe ser estructural.Demandaenformaexpresalasubordinacindelostrminosalasrela 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 entreteorasconimgenesyteorasabstractas,comoentredosaspectos,unocon cretoyotrosimblicodelamismateora.Perodeacuerdoconlacomparacinde Poincar,lasimgenesnosonsinovestidurassometidasalcaprichodelamoda,en tantoquelaverdaderateora,laquepermanece,eselsistemadeecuaciones,esto es,derelaciones.Delmismomodo,nohandejadodeobservarlassimilitudesfor malesquesedanentreecuacionesosistemasdeecuacionesquepertenecenacap tulosdelafsicaquesonconcretamentedistintosyque,porejemplo,rigenunosa losfenmenosmecnicosyotrosalosfenmenoselectromagnticos:entonces,los isomorfismoslessonfamiliares.Peroyadentrodelaorganizacinconceptualque presuponeelestablecimientodeleyes,eltrabajodeabstraccinhaceunllamadoa lasaxiomticasulteriores.Silafsicaesunacienciadeloconcretoenelsentidode 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. talessignificacionesintuitivasadventiciaseinoportunas,paraexponerensupure zaintelectualelsistemadelasrelaciones,ningnmtodopodrasermseficazque elmtodoaxiomtico. 26.LOSLMITESDELMTODOAXIOMTICO Lasventajasqueofreceestemtodonodeben,sinembargo,disimularsuslmites. Enprimerlugarnosedebeolvidarqueslorepresentaunadelasfasesdelacien ciayqueinclusoellgicoyelmatemticonosedesinteresandeningunamanera 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.Peroenellugarprecisoenqueseprocedeaxiomticamente,noserapo siblellevaradelanteelmtodohaciadondeapunta.Esteseproponeperseguirala intuicin para sustituirla no ya por el razonamiento sino por un clculo, por un manejoreguladoyprivadodesmbolos.Enrealidadelformalismonoescapazde funcionarsinalimentarse,ensteuotrolugar,delaintuicin.Y,enprimerlugar, delaintuicinconcretaquelosostiene. Sloocurreenloslibrosqueunaaxiomticacomienzaconlosaxiomasy,en elespritudelaxiomtico,ahtermina,puespresuponeladeduccinmaterialala quedaforma,ysta,asuvez,harequeridounlargotrabajoinductivopreviopara poderreunirlosmaterialesalosquedaorganizacin.Sobreestasbases,eltrabajo verdaderodelaxiomticoesdescubrirlosaxiomasy,dehecho,nodeducirlascon secuencias de principios dados, sino por el contrario, frente a cierto conjunto de proposiciones,descubrirunsistemamnimodeprincipiosdeloscualessepuedan deducir.Alanlisisinductivoque,deloshechosseremontadelasleyes,sucedeel anlisisaxiomticoque,prosiguiendolaobradesistematizacindeductiva,sere montadelasleyesalosaxiomas.Unavezquestoshansidotraducidosasmbo los,consusreglasdefuncionamiento,elformalistapodrolvidarlassignificacio nesintuitivasiniciales.stasnohanrequeridomenoseldiseodesuconstruccin ysolas,inclusoahora,hacencomprenderlaslneasmaestrasyloscontornosyase guransuunidad:unidadorgnicaynomerayuxtaposicinaccidentaldeaxiomas. Eldefectodeunapresentacinaxiomticaabrupta,enelmomentoenqueafectaa espritusquenoseencuentranpreparados,seencuentraprecisamenteenestaim presin irresistible de arbitrariedad y vacuidad. La axiomtica prcticamente no presentaintersaquienpreviamentenohaasimiladoelconjuntodeconocimientos concretosqueordenacuandolosesquematiza.Noessloporjuegoqueseconstru yeunaaxiomtica,ylosinstrumentosintelectualesseencuentranhechosparaser utilizados.Inclusoeltericopuro,quedejaalosdemselusodelosinstrumentos,

/52 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. noseencuentramenosconstreidoatomarenconsideracinunmodelo:elmodelo simblicomismo. Seponeotrolmitealusodelmtodoaxiomtico:elteoremaparadjicode 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 dominiodelosnmerosnaturales.Ahorabien,elconjuntodelosnmerosnatura lesconstituyeuninfinitoenumerable,queeslapotenciamsdbildelosconjuntos infinitos.Deesteteoremaresultaqueeltratamientoaxiomticodesvanecedecierta formatodaslaspotenciassuperiores.Porejemplo,elcontinuonopuedeserconce bidoensuespecificidadestructural,puestodaaxiomticaquesedconllevarun 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 laridadesdelasestructurasyque32yanobastaparadiferenciarlas.Sernecesario recurriralaintuicinparadistinguirlas. Silaintuicinconcretalalimitaporlaparteinferior,laaxiomticapermane cedelmismomodoencontacto,porlapartesuperior,conunaintuicinintelectual queellaindudablementepuederepelercadavezmslejos,peroenmodoalguno suprimir.Laintuicinserefugiadelateoraenlametateora,yluegoquestaque dareducidaaunsistemaformal,enlametametateorayasenformaintermina ble.Siempreelmanejodelsimbolismoexigeunsobrevuelodelespritu.Losteore masdeGdelhanpuestodemanifiestoalospropiosformalistas,puesenestecaso desempean un papel comparable al del principio de incertidumbre formulado porHeisenbergenelcampodelafsicacuntica.Delmismomodoquelainterven cindelaactividadexperimentalenelcontenidodelaobservacinnopuedeago tarseenformaindefinida,estoocurreenlamismaformaconlaintervencindela actividadmentalenlasaxiomticassimbolizadasyformalizadas.Yaseaqueseale greosepreocupeunoporestoresultaimposibleeliminarelsujeto.Deallprovie nelareaccindelintuicionismo:Nopodemosaceptarqueelcaminodelaciencia

Recordemosquesedicequedosconjuntostienenlamismapotenciacuandoesposibleestablecer entre sus elementos una correspondencia biunvoca (esto es, que a todo elemento del uno corres pondeunoyunsoloelementodelotro,yrecprocamente);que,paraconjuntosfinitostenerlamis 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 rudimentarioscomoparaquenofuncionenenellosaunlasinterdiccionesdeG del,resultaclaroquelapercepcindeuna correspondenciaanalgicaentrelain terpretacinobjetivaylainterpretacinsintcticadelasmismasfrmulasnecesita, delmismomodoquelainteligencia,deunretrucano,deunainiciativaespiritual 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 yposeelaventajadesustituirelrganoporelinstrumento,acontinuacinelins 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, aunquefuesenengradocadavezmenor,cadavezmsmnimasyespaciadas.Del mismomodoqueunamquina,unmecanismointelectualnoresultarasegurodel todo si se tuviera la certeza total de que no tiene ningn defecto, que no est ex puestoasufrirunaaveraoaenloquecer,queenmodoalgunosurgirunaambi gedaddeltipoqueseaacercadelmododeaplicarlasreglas,obien,quenuncase nosarrojeaunaalternativaindefinidadeafirmacionesynegacionesquerecuerden lasantinomiascantorianas.Resultasindudamsjustosolicitaralaintuicinyal formalismo que se controlen mutuamente, garantizando as el formalismo contra loserroresdeunaintuicinintemperante,aunqueconlacondicindequelmis moquedesometidoalavigilanciadeunaintuicinaminorada. Porlodems,nadiehaimpugnadoenformaseriaelpapelquemantienela intuicineneldescubrimiento.Cualquieraquesealafecundidaddeunmtodo,su oficioes,sobretodo,deconsolidaciny,sisequiere,deprolongacin,perosobre unterrenopreviamentefijado.Elmtodoponeenordenloadquiridoy,alhacerlo, llenalaslagunasyexplotalasaperturas,masnoinicianadaqueseaesencialmente nuevo. Los descubrimientos revolucionarios son obradel genio que logra trastor narlosmtodos.Descubrir,probar,nadaleresultamenosindispensablealacien 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 blesinohastaqueadquiereunalargaprcticadetalesideasonociones,loquere quiereunperiododedesmalezamientomsomenosamplioenelquedominanla incertidumbreylacontroversia.Pasadayalaedadheroicadelosexploradores,la siguientegeneracinpuedeentoncesdedicarseacodificarsuobra,eliminarlosu perfluoysentarsusbases.Enunapalabra,volveraponerenordeneledificio.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 Laconstitucinyeldesarrollodelmtodoaxiomticonointeresanexclusivamente altrabajocientficosinoqueseproyectantambinsobreproblemasfilosficoscuyo alcance va ensanchndose: la filosofa de las matemticas, la filosofa de las cien cias,lafilosofadelconocimiento. Enprimerlugar,laaxiomticaabreunadelasvasposiblespararesolverel problema que ha dominado, desde principios del siglo XX, toda la filosofa mate mtica,estoes,lasbasesmismasdeestaciencia.Esteproblema,quehastaentonces prcticamentenohabapreocupadoalosmatemticos,lesfueimpuestoenforma bruscadebidoalacrisisqueprodujolaformulacindelateoradelosconjuntos. 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 1900comolabasedetodoeledificiomatemtico.Laaritmticadelosnmerosfi nitos,mediantelacualsereconstruyeronlasdemspartesdelasmatemticas,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,lamenorfisurabastaparacomprometerla,sulgicatienelaobligacinabso lutadeserinfalible. Desde un principio las investigaciones para encontrar una solucin se han comprometidoentresdirecciones.ElempirismodeBorelyLebesgue,posterior mente prolongado y reforzado por el intuicionismo de Brouwer, atribuye las dificultadesalmanejociegodelinstrumentolgico.Perostenoofreceyagaranta desdeelmomentoenquesesaledelosdominiosdondehasidolargamenteproba do, y es por eso que extenderlo al dominio de lo transfinito resulta engaoso. En ltimainstancia,eslaintuicinlaquejuzgalavalidezmismadelasreglaslgicas,

/56 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. demodoquesiseledasiempreprioridadsobreeldiscursonosequedarunoex puestoyaaantinomias.Enefecto,selasevita,peroculeselprecio?Sisesiguen estosprincipiospuedellevarse,enformaprogresiva,acondenarpartesconsidera blesyanoslodelateoradelosconjuntos,sinotambindebuenaspartesdeteo rasmatemticasantiguasyconsagradas.Sonmuchoslosquejuzgantalsacrificio 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 yanopermitanquesetermineall.Infortunadamente,resultamuydifcilconciliar ambascosaspues,paraquesedalasnormasdelalgicaelgradoexactodenor matividad conveniente para poder excluir las antinomias exclusivamente, se ve unoobligadoaestablecerdeterminadosaxiomascuyocarcterextralgicoapenas resultadiscutible. QuedaunaterceravaporlacualZermelo35intentarsalirdeestehoyo:la de la reconstruccin axiomtica, solucin que difiere de la precedente en que, si biendemandasiempredeaxiomasquenopermitanlaproduccindeantinomias, nolesimponequeselestomeslodelmateriallgico.Noobstante,lascondiciones queexigeelestablecimientodeunaaxiomticataldifierenmuchodelascondicio nesdelasaxiomticasdePeanoyHilbert,enlasqueseibaslodelasconsecuen ciasalosprincipios.Separtadeteorasyabienprobadas,comolaaritmticayla geometraclsicas,cuyaconsistencianadiepodaponerseriamenteenduday,enel momentoenquelosprincipiosqueselesasignabalesestabanadaptadosconexac titud,nohabaquepedirlesyanadams,noresultabayaindispensablequefueran evidentesyciertosporellosmismos,puesdeantemanoseestabayasegurodeque no caan encontradicciones. 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, qugarantizaqueenotrapartenosurgirnotrasanlogas?Noresultasuficiente, pues,producirunsistemadeaxiomasquepermitademostrarprecisamentelapar teaceptabledelateoradelosconjuntos;resultanecesarioquelosaxiomasinspi ren por s mismos absoluta confianza. A la prioridad lgica deben adjuntarse la evidenciapsicolgicayseralavezfundamentosyprincipios.Veremosqueunode losaxiomasdeZermeloseencontrababienlejosdesatisfacerestacondicino,por
35

Laaxiomatizacindelosconjuntosserretomadaydesarrolladaposteriormenteporautoresmuy diversos,enespecialFraenkel,VonNeumannyBemays.

/57 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. decirloenformamsprecisa,elproblemadesabersilasatisfacaonodividien dos campos a los matemticos: si para unos el axioma denominado de la selec cinresultabadeltodoevidente,paraotrosnoerasinounafrmulavaca,unar madodepalabrasquegramaticalmenteguardabacorreccinperoqueestabades provisto de sentido. Y las proposiciones equivalentes en que se hubiera podido pensarparasustituirlo,comolarelativaalaposibilidaddelbuenorden,sufran elmismodefecto.Laaxiomticaingenua,confiadaenelsentimientodeevidencia intelectual para justificar la seleccin de los axiomas se encontraba en un callejn sinsalida. UnodelosobjetivosprincipalesdelametamatemticadeHilbertesevitarel callejnsinsalida,ysalirdelsustituyendomedianteelrazonamientolaintuicin desfalleciente.Laformalizacindelaaxiomticarequierequepuedaserestableci do,mediantelavademostrativaysinnecesidaddeapelaralsentimientosubjetivo delaevidencia,siunsistemadeaxiomasescongruenteono.Siestademostracin puededrnoslafavorablementeunaaxiomticadelateoradelosconjuntos,queda resueltoelproblemadelfundamento.Ydeberaestarlo,aunalosojosdeunintui cionista para quien la nocontradiccin es condicin necesaria, aunque no sufi ciente,delaexistenciamatemticasiemprequelademostracinsatisfagalaexi genciadeconstruccinenunnmerofinitodeetapas,locualsegnHilbertesel criterio verdadero; por eso l, preocupado por no renovar controversias estriles, impusocondicionesmuyseverasalosprocedimientosdecomprobacin.Lasespe ranzasquelosformalistaspusieronenestemtodohansido,comoserecuerda, frustradasenformaparcial.Especialmente,losteoremasdeGdelmostraronque lanocontradiccindelossistemasdelosquesetratabanopodaserprobadame dianteunaformalizacinquesemantuvieradentrodeestossistemas.Porsulado, laparadojadeSkolemcontraponealaaxiomatizacindelateoradelosconjuntos unadificultadesencial,puesresultadeellaqueeltratamientoaxiomticohacedes vanecerahladistincindelaspotenciasdiversas.Sinembargo,estaltimarestric cinsloconcierneenformadirectaalateoradelosconjuntosy,porotrolado,el marcodentrodelcualseencerrHilbert,voluntariamente,permitaquefueraen sanchadounpoco,sinporesotraspasarloslmitesqueseasignaalintuicionismo, desuertequelasprohibicionesdeGdelseatenan.EntalescondicionesGentzen, en1937,llegademostrarlanocontradiccindelateoradelosnmerosapelando exclusivamenteaunnicoprincipioexterioralateora,ymostrandoquesteno 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 denciasseintegran,comopuedeverseenalgunosautores,Quineporejemplo.La multiplicidaddelaslgicas,quesontratadasendelantedeacuerdoconlosmto dosdelaaxiomticaformalizada,prcticamentenopermitenyadarasusnociones debaseunsentidoabsoluto,yelproblemadesaberdndeterminalalgicayco mienzanlasmatemticashaperdidobuenapartedesusentido.Lasdiversidades existentesaprincipiosdelsiglo XXpuedenhoyresumirseenunagranalternativa, yaseaqueseconcedaprioridadalalgicaoalaintuicin.Inclusoambaspartesse hanaproximadolosuficientecomoparapodercomprenderseytrabajarmancomu nadamente. Al llevar los problemas al plano de las construcciones simblicas, el formalismohilbertianoseexpresaenunlenguajeaccesiblealintuicionista,entanto questeentrdecididamente,siguiendoaHeyting(1930),enlavadelaaxiom tica formal. Bien puede rechazarse el formalismo axiomtico, pero la axiomatiza cinylaformalizacinhanllegadoaseractualmente,comodecaCavaills,unifor mesobligatorios.36 28.LAFILOSOFADELACIENCIA Inclusoantesdequeelproblemadelfundamentoseimpusieraalaatencindelos matemticoslaaxiomtica,nacidadeunareflexinacercadelmtododelosge metras, arroj de inmediato una viva luz sobre la paradoja de esta ciencia, cuya situacinlacolocaenelejedelointeligibleylosensible.Sibienlosteoremasdela aritmticaylalgicaseaplicanaloreal,noparecaimposibleobservarestascien ciascomopuramenteracionales,pordbilquesealaadvocacinquehacenalain tuicinsensible.Aunquelasleyesdelafsicaseexpresanenlenguajematemtico, alparecersiguesiendoplausiblederivartodasustanciadelaexperiencia,conside rndose el simbolismo matemtico slo una vestimenta cmoda. Viene de all la distincinclsicaentredosgruposdeciencias,racionalesyexperimentales.Unas, quedeacuerdoconlaexpresindeGoblot,nonecesitanparaserverdaderasque susobjetosseanreales;yotras,podradecirse,cuyosobjetos,paraexistir,nonece sitanserinteligibles.Pero,entonces,enqulugarpuedesituarselageometra?La intervencinmanifiestadelaintuicinespacialprohibareducirsucontenidoaun sistema de proposiciones analticas; por otro lado, sus verdades se imponan tan
Op.cit.,p.182.Digamosdepasoqueelformalismoesrechazadoenigualformaporlospartida riosdelmaterialismodialcticoquevenenlunamanifestacindelidealismoburgus.Noobs tante,hastaahoranoparecequeestaoposicindeordenfilosficohayadeterminadounaorienta cinoriginaldeltrabajomatemticocomoocurriconelintuicionismo.
36

/59 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. bienalesprituqueresultabaimposiblereferirlassloamerascontingenciasdela experiencia. La idea kantiana de la sntesis a priori, que es el ncleo de toda la filosofacrticafue,comohoysesabe,inspiradaporestadificultad.Ahorabien,la axiomticainvitaaqueseresuelvaenformamuydistinta.Silageometraclsica dabaalavezlaideadeserpuraeintuitivaeraporqueconstituaunaformamixta al reunir en una ciencia que al parecer era nica, dos disciplinas distintas que, comoseveahora,estndisociadasclaramente:unageometrapura,representada porlateoraaxiomtica,enlaqueelsentidointuitivodelostrminosyproposicio nesdeliberadamentesedescartaycuyaverdadsemideslomediantelacoheren cia lgica, sin recurrir a la experiencia; y una geometra aplicada, intuitiva, en la cuallaformademostrativasloconstituyeunaccesorioycuyosteoremasson,en realidad, leyes fsicas. La segunda sirvi para constituir la primera, pero sta ha llegado a ser independiente, seyergue gracias a su propia fuerza, y si, enocasio nes,serefierealaotralohacenicamentecomoaunodesusmodelosposibles. Ciertoesquelasdospuedenserexpuestasenunmismodiscurso,dedondepro vienelaconfusin,peroestelenguajenicopuedeprestarseadoslecturasdistin tas.Alapregunta:cmopuedelarazn,sinelauxiliodelaexperiencia,hacernos conocerlaspropiedadesdeloreal?,sedarenlosucesivounarespuestasemejante a la que da Einstein al principio de su opsculo La geometra y la experiencia: La perfectaclaridadsobreestepuntomeparecefuepuestaalalcancedecadaunogra ciasalacorrientequelosmatemticosdenominanaxiomtica.Elprogresorealizado porstaconsisteenhaberhecholaseparacinclaraydefinitivadelointuitivoylo lgico.Deacuerdoconlaaxiomticasloloshechoslgicosyformalesconstituyen elobjetodelacienciamatemtica,peronoelelementointuitivoquepuedereferir seaellos. Hayqueaclararqueresultanecesariocuidarsealinterpretarcorrectamente estedesdoblamientodelageometraenelmomentoenque,enlugardeconside rarlasola,vuelveacolocrselaenelsistemadelasciencias.Debeentenderseen toncesqueelcarcterambiguodelageometraclsicaesresultadodesusituacin intermediayquelasdospartesenqueelaparatoaxiomticolaescindedebensim plementeunirse,unoalgrupodelascienciasracionalesodeductivas,yelotroal delascienciasexperimentalesoinductivaspara,deestemodo,reforzarlaantigua dicotomaquecolocaba,porunlado,alascienciaslgicomatemticasyporelotro alascienciasfsicas,naturalesymorales,quedandoahorabienprecisadoellugar donde debe hacerse el corte? Tal interpretacin va de acuerdo con la concepcin dualistadelacienciaqueactualmenteprofesaelempirismolgico,elcualestable ce,entredostiposdeciencias,unaseparacinmsradicalan,quehastaahorano sehabahecho.Sitaporunladolascienciasformaleslgicaymatemtica,a lasqueconsiderabajolaformadepuradaquelesdalapresentacinaxiomtica:es toes,vacasdetodasignificacinexterioryque,ensentidoestricto,nonosense

/60 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. annadaacercadeloreal.Susenunciados,quesonpuramenteanalticos,concier nenexclusivamentealastransformacionesdeldiscurso.Porelotrolado,sitaato daslascienciasdelorealparacuyaexpresinutilizamos,ciertamente,ellenguaje lgicomatemticoperoque,enprincipio,podranprescindirdelsinperdernada desucontenido,queproporcionaraporenterolaexperiencia. Noobstante,siseinvocanlasenseanzasdelaaxiomticaparaapoyaresta tesis, se olvidara un hecho esencial. Muy lejos de encerrarse dentro del dominio geomtricoinicial,laaxiomticasehaextendidorpidamenteporlosdoslados:en direccinalaaritmticaylalgicayhacialamecnicaylafsica.Enlaactualidad leinteresaelconjuntodelasciencias,porloquenoessloenelinteriordelageo metradondeseproduceelcorteentreloracionalyloexperimental,lolgicoylo intuitivo. El desdoblamiento axiomtico funciona en todas las ciencias o, en todo caso,entodaslasqueestnlosuficientementeavanzadascomoparaprestarseala organizacindeductiva.Colquesealamecnicaoalapticabajolaformadeuna axiomticasimbolizadaysedejadeestarenpresenciadeunacienciadelorealpa raencontrarsefrenteaunsistemaformal,vacodetodocontenidoemprico,donde nosesabeyadequsehabla,nisiloquesediceesverdadero.Yalainversa,si frenteaunaaxiomticaabstractasesabeasignaralosaxiomasunainterpretacin vlidaenunciertodominiodeloreal,sbitamenteseiluminatodo.Lossmbolos adquieren un sentido concreto, las frmulas una verdad emprica. Ni siquiera re sultanecesario,paraello,quelaaplicacinrecaigaenloquehabitualmentesede nominaelmundofsico,puesdelmismomodounatraduccinaritmticaolgica desempeaalaperfeccinestetrabajo.As,porejemplo,laideaquesetienehabi tualmente del nmero, que es abstracta cuando se la compara con un montn de bolasdebillar,seconvierteenunainterpretacinconcretaenrelacinconlaxque apareceenlosaxiomas,ydelmismomodorespectoalasnocioneslgicasdenega cin,implicacin,pertenenciaaunaclase,etctera. Bajoestascondiciones,eldesdoblamientoaxiomticonofuncionaenforma transversal,alniveldelageometra,sinoquedividelongitudinalmentetodalaes 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 casyque,asumanera,sonyacienciasdeloreal.Noexistencienciasabstractasy ciencias concretas, ciencias racionales y ciencias empricas. En primer lugar, hay entrelascienciasgradosdiversosdeabstraccinyracionalidadquepermitenpue danserordenadasenserie.Ensegundolugar,existeparacadaunadeellaslaposi bilidad de una lectura doble: abstracta, racional y formal, o concreta, emprica y material.Graciasaunaconvencindelenguajeesposibleutilizarlapalabralgica

/61 /

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS. olapalabramatemticaparanombrarlalecturaabstractadecualquierteoraaxio matizada.Pero,enestecaso,elsentidodeestaspalabrassufreigualmenteundes doblamientoaxiomtico,porloquesernecesariocuidarsedelequvocoqueame naza.Cualquieraqueseaeldominioquesetratearitmtica,ptica,etc.ysobre elquesehayaedificadounaaxiomtica,staserexclusivamenteunaconstruccin lgicaenelsentidodequeresultarvacaypuramenteformal;pero,enotrosenti do, tambin puede representar una teora lgica del mismo modo que una teora aritmticauptica,deacuerdoconlainterpretacinquesedasussmbolos,ysi elconjuntodesusaxiomaspuedetraducirseenproposicionesdelalgica.Delmis momodo,eltrminomatemticatomar,enadelante,unsentidoambiguo,como apareceeneltextodeEinsteinarribacitado.Bienpuede,enrazndequelamate 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,alsentidomstradicional,deacuerdoconelcualdeestemodosedeno minaaungrupoparticulardeciencias,aquellascuyoobjetosonlosnmeros,las figuras, etc. Lejos de oponerse mediante caracteres antitticos a todas las dems cienciasconsideradasenconjunto,lasmatemticas,entendidasenestaforma,son por un lado vecinas de la lgica y, por el otro, de las ciencias fsicas, aunque las fronterassemantienenuntantoindecisaspueslosconjuntosdelmatemticotienen granparecidoconlasclasesdellgico;lacinemticaunelageometraconladin micaysedaciertotitubeoparadecidirsilaprobabilidaddebeatribuirsealmate mtico,allgicooalfsico.Apesardelaambigedadsubsistenteenellenguaje,la disociacinserealizaenelpensamiento,entrelosdoselementosquepermanecan enredadosenlanocinclsicadelamatemtica,queasuvezsecaracterizaporsu objetoysumtodo:cienciadelacantidadycienciademostrativa. Laantiguadistincinentrecienciaracionalycienciaemprica,queconstitu 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 conjuntodehombressloenaltosypequeos.Laoposicinentrelascienciasfor 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 zanenformadesigualenlasdiversascienciaso,pormejordecirlo,adospolosdel pensamientocientfico. 29.LAFILOSOFADELCONOCIMIENTO La oposicin entre la razn y la experiencia constituye slo una de las mltiples formasque,sinconcordarentodoslospuntos,expresanenformadiversaaunque 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,lointeligibleylosensible,loabstractoyloconcreto,loconstruidoyloquees dado,loconcebidoylopercibido,loaprioriyloaposteriori,etctera.Lasinvestiga cionesaxiomticas,cuandoinvitanapreguntarseacercadelasrelacionesentrelo lgico y lo intuitivo, aportan en esta forma su contribucin a un problema que a travsdelageometraydelsistemaenterodelasciencias,conjuntauntemamayor delareflexinfilosfica.Elmtodoaxiomticonoesslounodelosprocedimien tostcnicosdelosmatemticos.Esposibleencontrarenlunailustracin,quees particularmentesugestiva,delaformacomoprocedeelpensamientoenelconoci 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 ensayarseunalecturaabstracta.37Puedeverseaqu,enprimerlugar,quenodebe darseningnsentidoabsolutoalosdostrminosdelaanttesis,cuyolmitesedes plaza incesantemente. Esto, ciertamente, no es nuevo y, en todo el frente de las cienciasnohadejadodeadvertirseestemovimientodelesprituquelollevaatra tar de inmediato a sus creaciones como si fueran un dato que debe superarse en unaabstraccinposterior.Loconcreto,afirmabaLangevin,esloabstractohechofa miliar,medianteeluso.Yenlaactualidadlosmatemticosjvenesobjetanelem pirismodeunBorelqueloperfeccion.Ahoraqueestnacostumbradosamane jarlosehaconvertido,paraellos,enunanocinintuitivaytannaturalquellegana llamarlainnata.38Perolaaxiomticacolocalaideabajounaluzdirecta.Mediante ellaelcasodelageometraclsicaresultaparticularmenteinstructivo.Paraelaxio mticoseinclinahaciaelladodelointuitivo,entantoque,porrelacinaloscono cimientosempricosquelahacanposible,deseguropareceraalosgriegoscomo lespareceennuestrosdasalosniosalosqueeslaensea:unacreacindifcilde
Cf.F.Gonseth,Lesmathmatiquesetlaralit,essaisurlamthodeaxiomatique.Enloquevieneacon tinuacinnosinspiramosenformalibre,peroamplia,enestaexcelenteobra. 38P.Langevin,Lesnotionsdecorpusculeetdatome,p.45;J.Dieudonn,Laxiomatique,artculocita 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 subrayadaporF.Gonseth.Endosocasioneselesprituhafranqueadoelumbral de abstraccin, superando el dato mediante un acto irremplazable de iniciativa intelectual.Esnecesarioaprenderaleerlarectageomtricaenunhilotendido,co moposteriormentealeerlarectaaxiomticaenlarectageomtrica.Esporesoque noresultaparadjicoenformaalgunaveraEuclides,comosehaceenalgunasoca siones,comounverdaderoaxiomtico.Delmismomodo,todaslasnocionesdela fsicaclsica,comolamasa,elpotencial,laentropa,seapoyansobreundatosensi blequeesquematizan,peroasuvezsirvendesoporteintuitivoaunaaxiomtica abstracta. Enconsecuencia,sloesposiblepensarambostrminosdelaanttesisensu relacin.Elparadquieresentidonicamentemediantelatensinquecaracterizaa dospolosopuestos.Loconcretoslosepuededefinircomounaveccin.Delageo metradeHilbertpuedeunoremontarsealadeEuclides,destaalageometrade losorientales,deestaltimaaotrasformasmsprimitivas.Seavanzaasendirec cinaloconcreto,perojamsalcanzandoloconcreto puro,libredetodaconcep tualizacin, como el que el empirismo pretende desplegar frente al espritu. No existeotrofenmenoprimeroqueeldelasensacinpasiva.Lasenseanzasdela crticadelascienciasconcuerdanaquconlasdelapsicologa.Abiertoenestafor maporsuparteinferior,elconocimientoseencuentratambinabiertoporlaparte superior.Loabstractoesslololtimoenformaprovisional,yjamsselepiensa solo,nuncaselepresentaalespritucomosifuerauncuadro. Sloaparececomosihubierasidorealizadoenunmodelo,aunqueseasola menteelmodelosimblico.Noconocemosningunaformapuranitampococonte nidoinforme.Puedehaberallunvacodepensamiento;peronopodrahaberpen samientovaco.Parapoderpensarrealmenteenlanadaresultanecesariorepresen tarlarecurriendoaalgo:unacruz,lacifraquerepresentaelcero,laideadelanada. Parapoderpensarenunaestructuraabstractaresultanecesariodarle,sobreelpa pel, una forma concreta. El pensamiento trasciende el sistema de signos, necesita sobrevolarloparapodercaptarlocomotal.Perosinl,alfaltarleelcontactodirecto conlascosas,sepierdeenloindeterminado. Estatensinbipolar,condicinnecesariadetodoconocimiento,aparececon particularclaridadenelpensamientoaxiomtico.Lasnocionesuntantovagasde lateoradelconocimientoconceptoeintuicin,formaycontenidoquedanen toncesbienclarasdentrodelacorrelacinqueseestableceentrelaestructuraabs tractaylarealizacinconcreta;entreelesquemayelmodelo.Secaptaaqu,envi 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, confrecuenciamuestrantendenciasdivergentesrespectoalvalorrespectivodelas 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, igualqueladiferenciadetemperaturaesnecesariaparaqueunamquinatrmica funcione,delmismomodoconvienealesprituque,paracomprender,dispongade undesnivelquelepermitacirculardeunplanoalotro,elevarsedelhechoalaidea y ejecutar el mismo movimiento en descenso. Formular la norma e ilustrarla con unejemplo.Medianteestemovimientodoble,enelqueseresumetodaformade conocimiento, la axiomtica nos ofrece, precisamente, uno de los ejemplos sobre losquepuedepercibirsemejorlanorma. Puedeverseenestaformaaquactitudesfilosficasseoponelaaxiomtica yaculesfavorece.Despreciayevitaeldogmatismodelasntesis,elsueodeun puntodepartidaabsolutoqueleaseguraraaladeduccinlaseguridaddefinitiva. Y ella extiende ahora a la totalidad de las ciencias la forma hipotticodeductiva. Envistadequeelmtodoexperimentallogrdesacreditarlaesperanzacartesiana dealcanzarunafsicademostrativa,ellogicismodenuestrosdas,estoes,laidea delograrunacienciaracionalquenopresuponierayanada,sevedesmentidopor laregresinaxiomtica,lacual,porlejosquenoslleve,siempreencuentrafrentea salgoqueesanteriorqueannoseencuentraasimilado.Perodelmismomodo enquelosaxiomasnoseimponenmediantelaevidenciaintrnseca,tampocosonel resultadodedecretosarbitrarios.Elconvencionalismopareceslodefendiblepara aquelque,artificialmente,desprendelaaxiomticadesusbasesydesusprolonga ciones intuitivas, sin las cuales se convierte slo en un juego trivial, sin relacin algunaconlaciencia. Lafilosofadelconocimientoquelaaxiomticasugierenoesotracosaque unracionalismoqueunonoseatreveadenominaremprico,dadoquedeestemo doseencuentran,porlocomn,opuestasambaspalabras.Porlomenosselepue de calificar de inductivo o experimental. El rechazo de todo a priori apodctico o decisorioseduplicamedianteunarepulsaparecidadelasdosramasdelaalterna tiva,entrelascualeselempirismo,ensuversinactual,pretendeencerrarelcono cimiento: fenomenismo y nominalismo. Ni el espritu contempla un datoen cuya elaboracin no hubiera participado en ninguna forma, ni tampoco se agota en el plano delossignosyelclculo formal.Y nadapuedemanifestarmejorsuactivi dadqueelestablecimientoolapercepcindeunacorrespondenciaanalgicaentre elesquemasimblicoyelmodeloconcreto.

/65 /