TEMA VII: LA LGICA COMO SISTEMA FORMAL AXIOMTICO: LOS
LMITES DE LOS SISTEMAS FORMALES AXIOMTICOS
El mtodo axiomtico consiste en aceptar sin prueba ciertas proposiciones como axiomas o postulados, y en derivar luego de esos axiomas todas las dems proposiciones del sistema, en calidad ya de teoremas. Los axiomas constituyen los "cimientos" del sistema; los teoremas son las "superestructuras", y se obtienen a partir de los axiomas sirvindose, exclusivamente, de los principios de la lgica. La principal caracterstica de un sistema axiomtico es que si puede demostrarse de alguna manera la verdad de los axiomas, quedan automticamente garantiadas tanto la verdad como la consistencia mutua de todos los teoremas. !urante los dos "ltimos siglos el mtodo axiomtico #a ido adquiriendo $uera y vigor crecientes. %uevas y vie&as ramas de las matemticas $ueron provistas de los que parecan ser unos adecuados con&untos de axiomas. %aci as un estado de opinin en el que se admita tcitamente que todos los sectores del pensamiento matemtico podan ser dotados de unos con&untos de axiomas susceptibles de desarrollar sistemticamente la in$inita totalidad de proposiciones verdaderas suscitadas en el campo su&eto a investigacin. 'eg"n (oincar, Los axiomas geomtricos no son, pues, ni &uicios sintticos a priori ni #ec#os experimentales. 'on convenciones) nuestra eleccin entre todas las convenciones posibles est guiada por los #ec#os experimentales, pero permanece libre, y slo est guiada por la necesidad de evitar toda contradiccin *...+. En otros trminos, los axiomas de la geometra no son sino de$iniciones dis$raadas ,La ciencia y la #iptesis, -adrid, Espasa./alpe, 01 ed., 2340, p. 567 Lo caracterstico del sistema axiomtico como realiacin de la idea de clculo consiste en disponer de un con&unto de enunciados o $rmulas que se admiten sin demostracin y a partir de los cuales se obtienen todas as dems a$irmaciones de la teora, las cuales se llaman teoremas. 8 las $rmulas aceptadas sin discusin son axiomas o postulados. El con&unto de axiomas, ms la de$inicin de enunciado o $rmula del sistema ,de$inicin que precede al enunciado de los axiomas7 y el con&unto de las reglas para la obtencin de teoremas a partir de los axiomas ,reglas de trans$ormacin7 constituyen la base primitiva del sistema. El axiomatismo moderno no slo no acepta la evidencia de los axiomas de las teoras, sino tampoco la intuitividad de los trminos bsicos de las mismas) 9punto9, 9recta9, 9plano9, etc., no tienen signi$icado por s mismos. 'on conceptos inde$inidos, que slo cuando se combinan por medio de unos u otros axiomas comienan a quedar implcitamente de$inidos. Establecidas unas reglas de in$erencia lgica, a partir de los axiomas puede deducirse una serie de teoremas, pero durante esta $ase deductiva nada tiene signi$icado) el clculo es pura sintaxis. :nicamente cuando, una ve derivadas las expresiones bien $ormadas que pueden in$erirse de los axiomas y de los trminos primitivos ,no de$inidos7, comenamos a buscar interpretaciones de dic#o clculo $ormal, los trminos comienan a adquirir signi$icado y los axiomas pasan a ser verdaderos o $alsos. /ada sistema axiomtico puede poseer varios modelos o interpretaciones di$erentes. 'in embargo, el conocido como teorema de ;<del puso $rente a los matemticos la asombrosa conclusin de que el mtodo axiomtico posee ciertas intrnsecas que excluyen la posibilidad de que ni siquiera la aritmtica ordinaria de los n"meros enteros pueda llegar a ser plenamente axiomatiada. !emostr que es imposible establecer la consistencia lgica interna de una amplia clase de sistemas deductivos, a menos que se adopten principios tan comple&os de raonamiento que su consistencia interna quede tan su&eta a la duda como la de los propios sistemas. = la lu de estas conclusiones, resulta inalcanable una comple&a sistematiacin $inal de muc#as y muy importantes onas de las matemticas, y no puede darse ninguna garanta absolutamente impecable de que muc#as de las ms signi$icativas ramas del pensamiento matemtico se #allen enteramente libres de toda contradiccin interna. 2. El problema de la consistencia El mtodo axiomtico tiene su antepasado ms antiguo, y tambin ms ilustre, en Euclides. /omo todos sabemos, Euclides $ormul las bases para la axiomatiacin de la geometra a partir de cinco axiomas bsicos. >nos de los axiomas que Euclides utili para axiomatiar la geometra se re$iere a las paralelas. El axioma que adopt es lgicamente equivalente a la #iptesis de que por un punto exterior a una lnea dada solamente puede traarse una paralela a esa lnea. Este axioma es el "nico problemtico de todo el sistema euclidiano, pues es el "nico axioma que no es "evidente por s mismo". 'e trat, a lo largo de la #istoria de las matemticas, por tanto, de deducirlo de otros axiomas euclidianos que se consideraban claramente autoevidentes. ?(uede #allarse una demostracin del axioma de las paralelas@ ;eneraciones enteras de matemticos traba&aron sin resultado en esta cuestin. (ero el reiterado $racaso en el intento de construccin de un prueba no signi$ica que sta no puede ser encontrada. Aue en el siglo BCB cuando se demostr la imposibilidad de deducir el axioma de las paralelas a partir de otros axiomas. La importancia de este resultado radicaba en que llam la atencin #acia el #ec#o de que puede demostrarse la imposibilidad de demostrar ciertas proposiciones dentro de un determinado sistema. En segundo lugar, la resolucin de la cuestin planteada por el axioma de las paralelas oblig a admitir que Euclides no #aba dic#o la "ltima palabra acerca de la geometra, ya que pueden construirse nuevos sistemas de geometra utiliando cierto n"mero de axiomas distintos de los adoptados por Euclides e incompatibles con ellos. La creencia tradicional de que los axiomas de la geometra pueden ser establecidos como tales por su aparente autoevidencia $ue as destruida en su misma base. =dems, $ue #acindose cada ve ms claro que la tarea propia del matemtico puro es deducir teoremas a partir de #iptesis postuladas, y que, en cuanto tal matemtico, no le ataDe la cuestin de decidir si los axiomas que acepta son realmente verdaderos. Etro modo de expresar este "ltimo punto es la $amosa a$irmacin Fittgensteiniana de que la lgica es independiente del mundo. En e$ecto, al lgico no le interesa para nada el saber si las proposiciones con las que #ace clculos son verdaderas o son $alsas, lo "nico que le interesa es saber que "si las proposiciones que toma como base en sus clculos son verdaderas, las conclusiones a las que llegue en su clculo tambin sern verdaderas"; es decir, de la verdad, en un sistema axiomtico, siempre se sigue la verdad; la verdad es, por tanto, una propiedad #ereditaria. La lgica . y las matemticas en tanto que parte de la lgica . puede contemplarse por tanto como la disciplina por excelencia que extrae las conclusiones lgicamente implicadas en cualquier con&unto dado de axiomas o postulados. La valide de una deduccin lgica . o matemtica no depende en absoluto de ning"n signi$icado especial que pueda estar asociado con los trminos o expresiones contenidos en sus postulados. La lgica . y la matemtica . es algo totalmente abstracto y $ormal; abstracto, porque las a$irmaciones lgicas pueden ser #ec#as en principio sobre cualquier ob&eto, sin estar esencialmente circunscritas a un determinado con&unto de ob&etos o propiedades de ob&eto; y $ormal, porque la valide de las demostraciones lgicas se asienta en la estructura de las a$irmaciones ms que en la naturalea especial de su contenido. Los postulados de la lgica, o de la matemtica, nunca versan intrnsecamente sobre mananas, propiedades o presupuestos $inancieros; y ning"n signi$icado especial que pueda asociarse con los trminos contenidos en los postulados desempeDa papel esencial alguno en el proceso de deducir teoremas. La "nica cuestin a la que se en$renta el lgico no es si los postulados de que parte o las conclusiones que de ellos deduce son verdaderos, sino si las conclusiones obtenidas son realmente las consecuencias lgicas necesarias de las #iptesis iniciales. =s, Gilbert #a podido decir que mientras estemos interesados en la $undamental labor matemtica de explorar las relaciones estrictamente lgicas de dependencia entre a$irmaciones debemos prescindir de las connotaciones $amiliares de los trminos primitivos, y los "nicos "signi$icados" que se deben asociar con ellos son los que se #allan determinados por los axiomas en que estn contenidos. Hussell dice lo mismo de una $orma muc#o ms concisa) "la matemtica pura es la ciencia en la que no sabemos de qu estamos #ablando ni si lo que estamos diciendo es verdadero". La venta&a que o$rece una $ormaliacin tan radical, un tan radical estar apartado de la experiencia, es que la mente se libera de las restricciones que la #abitual interpretacin de las expresiones establece para la construccin de nuevos sistemas de postulados. (uede as surgir nuevas lgicas, nuevas lgebras y nuevas geometras. =l #acerse ms generales los signi$icados de ciertos trminos, se #ace ms amplia su utiliacin y menos limitadas las deducciones que pueden extraerse de ellos. =#ora bien, esta creciente abstraccin plantea un problema) el de saber si un determinado con&unto de postulados erigidos como bases de un sistema es internamente consistente, de tal modo que no puedan deducirse teoremas mutuamente contradictorios a partir de esos postulados. Es el conocido como problema de la consistencia. El mtodo general para resolver el problema de la consistencia ,la idea subyacente a cualquier prueba de consistencia7 consiste en encontrar un "modelo" ,o "interpretacin"7 para los postulados abstractos de un sistema, de tal modo que cada postulado se convierta en una a$irmacin verdadera respecto del modelo. (or tanto, una $rmula es consistente si tiene un modelo, esto es, si puede ser interpretada como el valor de verdad I. >na $rmula no consistente se dice inconsistente o insatis$acible. = partir de aqu podemos decir que un con&unto ' de $rmulas es ,semnticamente7 consistente si todos los elementos admiten un modelo com"n; en caso contrario es inconsistente. >n con&unto de $rmulas es considerado, desde un punto de vista semntico, como la con&uncin de sus elementos. 'i C es una interpretacin y si ' es un con&unto de $rmulas, C,s7 es verdadero si C,s7 es verdadero para cada sJ'. La $rmula / es una consecuencia lgica del con&unto $inito ' sii ' unin KL es inconsistente ,principio de reduccin7. >n con&unto es inconsistente si A es una consecuencia lgica de l o, equivalentemente, si toda $rmula es una consecuencia suya. Aormalmente, el principio de reduccin se expresa as) KG2,...,GnL MN/ O KG2,...,Gn,/LMNA En los diversos intentos realiados para resolver el problema de la consistencia late siempre una permanente $uente de di$icultad, la cual radica en el #ec#o de que los axiomas son interpretados por modelos compuestos de un n"mero in$inito de elementos. Esto #ace imposible encerrar los modelos en un n"mero $inito de observaciones; de a# que la verdad de los axiomas sea ob&eto de duda. El problema es a"n mayor si tenemos en cuenta que la mayora de los sistemas de postulados que constituyen los $undamentos de las numerosas ramas de las matemticas y la lgica no pueden ser re$le&ados en modelos $initos. El dilema al que nos vemos abocados es el siguiente) los modelos $initos bastan, en principio, para demostrar la consistencia de ciertos con&untos de postulados, pero stos tienen muy escasa importancia lgica o matemtica. Los modelos no $initos, necesarios para la interpretacin de la mayora de los sistemas de postulados lgica o matemticamente importantes, slo pueden ser descritos en trminos generales; y no podemos dar por sentado que las descripciones se #allen exentas de contradicciones. (odramos sentirnos tentados a sugerir que podemos estar seguros de la consistencia de las $ormulaciones en que se describen los modelos no $initos si las nociones bsicas empleadas son transparentemente "claras" y "distintas". 'in embargo, ste no es el caso. =s, en ciertas onas de la investigacin matemtica en que las #iptesis acerca de los con&untos in$initos desempeDan un importante papel #an surgido contradicciones, pese a la intuitiva claridad de las nociones implicadas en las #iptesis y pese al carcter aparentemente consistente de las construcciones realiadas. Pertrand Hussell, por e&emplo, $ue capa de construir una contradiccin dentro del sistema mismo de la lgica elemental. La antinomia . as se llama a estas contradicciones . puede enunciarse del modo siguiente) las clases pueden ser de dos tipos, las que no se contienen a s mismas como miembros y las que s se contienen. >na clase ser llamada "normal" si, y solamente si, no se contiene a s misma como miembro; en otro caso se la llamar "no normal". >n e&emplo de clase normal es la de los lgicos, ya que, evidentemente, la clase misma no es un lgico y, por tanto, no es un miembro de si misma. >n e&emplo de clase no normal es la clase de todas las cosas pensables, ya que la clase de todas las cosas pensables es, a su ve, pensable y, por consiguiente, un miembro de s misma. 'ea "%", por de$inicin, la clase de todas las clases normales. (reguntamos si % mismo es una clase normal. 'i % es normal, es un miembro de s misma ,pues, por de$inicin, % contiene a todas las clases normales7; pero, en este caso, % es no normal, porque, por de$inicin, una clase que se contiene a s misma es no normal. (or otra parte, si % es no normal, es un miembro de s misma ,por la de$inicin de no normal7; pero, en este caso, % es normal, porque, por de$inicin, los miembros de % son las clases normales. En resumen, % es normal, si y solamente si, % es no normal. !e lo que se desprende que la a$irmacin "% es normal" es verdadera y $alsa a la ve. 2.2 Gilbert) crtica de la evidencia. El criterio de verdad de un axioma como ausencia de contradiccin lgica La idea $undamental de Gilbert estriba en que la geometra euclidiana no es la prescripcin del espacio $sico, ni de la intuicin espacial #umana ,como sostena Qant7, ni de ninguna realidad concreta. En de$initiva, la geometra eucldea no es una #istoria, sino una teora, la descripcin de una estructura que puede realiarse o no realiarse en el espacio $sico, en la intuicin #umana, etc. (or eso puede #aber tantas geometras distintas e incompatibles entre s, tantas como estructuras abstractas seamos capaces de de$inir, con independencia de cualquier realidad. 8 esta situacin no implica contradiccin ninguna, pues los teoremas de que se compone la teora no son verdaderos ni $alsos, a di$erencia de las ideas de que se compone la #istoria, que s son verdaderas en o $alsas. Gilbert llego en sus Aundamentos de la geometra #asta el punto de renunciar a la evidencia como criterio de verdad. = los conceptos bsicos de la geometra euclidiana, como pueden ser los de punto, recta, plano, corresponden meras variables "x", "y", "", cuyos contenidos no se precisan, sino que en principio pueden interpretarse a discrecin. Gilbert separa lo lgico.$ormal de lo mani$iesto y evidente y declara como criterio de verdad y existencia ,lgica7 la ausencia de contradiccin lgica. !e modo que cuando los axiomas arbitrariamente establecidos no se contradicen entre s con el con&unto de las consecuencias, quiere decirse que son verdaderos y por tanto existen las cosas de$inidas por los axiomas. Ese es para Gilbert el criterio de verdad y existencia. 'lo en un segundo paso aDade tambin una semntica a los trminos bsicos y a los axiomas como, por e&emplo, el signi$icado de "punto", "recta" y "plano" o el de los axiomas euclidianos, aunque ciertamente sin el axioma de las paralelas. =#ora bien, la renuncia a la evidencia como criterio de verdad tiene una consecuencia importante. -ientras que con la evidencia a"n se crea poder a$irmar que un axioma era evidente en el sentido de verdadero "en s", a#ora ya no se puede a$irmar que un axioma es verdadero "en s", sino que slo es verdadero dentro de la comunidad lingRstica que acepta dic#o axioma. =simismo un teorema slo es verdadero dentro del lengua&e del correspondiente sistema axiomtico. La valide universal de la verdad de unos axiomas se limita as a la comunidad lingRstica de los matemticos que comparten esas a$irmaciones y su semntica. (ero es posible ir un poco ms all. Los axiomas no tienen que ser unas a$irmaciones #ec#as arbitrariamente. En e$ecto, tan pronto como a esos signos sintcticos les asignamos una semntica y sta es aceptada por una comunidad lingRstica, tales asignaciones constituyen ya las reglas semnticas de una comunidad lingRstica, y tan pronto como tales reglas se #an estabiliado, se convierten en las instituciones semnticas de una comunidad lingRstica. Eso signi$ica que el criterio de la verdad de unos axiomas no debe ser su mera evidencia ni su $i&acin libre de contradicciones, sino que tambin puede serlo el #ec#o social de su aceptacin semntica estabiliada. Gilbert propuso que se considerasen las matemticas como una ciencia en la que #abra que distinguir tres niveles. El primer nivel es el prctico cotidiano, cuyo valor es esencialmente pragmtico ms que verdaderamente matemtico. En este nivel se expresan las teoras in$ormales que los matemticos, $sicos u otros cient$icos usan en su traba&o diario. En un segundo nivel estn los sistemas $ormales que representan simblicamente estas teoras. Las teoras axiomatiadas son "traducidas" a un sistema $ormal de smbolos, es decir, a un con&unto de ob&etos $sicos con reglas combinatorias rigurosas y ex#austivas de $ormacin y derivacin. Las tesis in$ormales tienen a#ora sus correlatos ,si el sistema es completo7 en los axiomas y teoremas expresados $ormalmente. Los sistemas $ormales se constituyen as en un dominio de ob&etos abstractos independientes de su signi$icado intuitivo de los que se ocupa propiamente la matemtica. La $iloso$a #ilbertiana se resume en las tesis de que las matemticas son una ciencia independiente acerca de estos sistemas $ormales y en la prescripcin de que solamente son aceptables las pruebas metamatemticas constructivas, es decir, las que se reducen a operaciones recursivas que no empleen in$initos actuales. S. (ruebas absolutas de consistencia Las limitaciones in#erentes a la utiliacin de modelos para demostrar la consistencia y la creciente aprensin de que las $ormulaciones clsicas de muc#os sistemas pudiesen albergar contradicciones internas condu&eron a nuevas $ormas de abordar el problema. Gilbert propuso una alternativa a las pruebas relativas de consistencia. Trat de construir pruebas "absolutas" con las que pudiera demostrarse la consistencia de los sistemas sin necesidad de dar por supuesta la consistencia de alg"n otro sistema. El primer paso en la construccin de una prueba absoluta es la completa $ormaliacin de un sistema deductivo. Esto signi$ica la extraccin de todo signi$icado de las expresiones existentes dentro del sistema. 'e las debe considerar, simplemente, como signos vacos. La $orma en que se deben manipular y combinar estos signos #a de ser plasmada en un con&unto de reglas enunciadas con toda precisin. La $inalidad de este procedimiento estriba en construir un sistema de signos ,llamado un "clculo"7 que no oculte nada y que solamente contenga lo que expresamente se #aya puesto en l. Los postulados y los teoremas de un sistema completamente $ormaliado son "#ileras" ,o sucesiones de longitud $inita7 de signos carentes de signi$icado construidas con$orme a las reglas establecidas para combinar los signos elementales del sistema #asta $ormar ms amplios con&untos. /uando un sistema #a sido completamente $ormaliado, la derivacin de teoremas a partir de los postulados se limita, simplemente, a la trans$ormacin ,siguiendo la regla7 de un con&unto de estas "#ileras" en otro con&unto de "#ileras". !e esta manera se elimina el peligro de utiliar cualesquiera reglas no declaradas de raonamiento. /uando un sistema #a sido $ormaliado quedan a la vista las relaciones lgicas existentes entre las proposiciones; pueden verse los mdulos estructurales de las diversas "#ileras" de signos "carentes de signi$icado", cmo permanecen unidas, cmo se combinan, cmo se alo&an una en otra, etc. >na pgina entera cubierta con signos "carentes de signi$icado" no a$irma nada; es, simplemente, el diseDo abstracto de un mosaico que posee una determinada estructura. 'in embargo, es per$ectamente posible describir las con$iguraciones de un sistema as y $ormular declaraciones acerca de las con$iguraciones y de sus diversas relaciones mutuas. Estas declaraciones poseen signi$icado y pueden suministrar in$ormacin importante acerca del sistema $ormal. %o obstante, tales declaraciones signi$icativas acerca de un sistema carente de signi$icado ,o $ormaliado7 no pertenecen plenamente a dic#o sistema. (ertenecen a la "metamatemtica", o a la "metalgica" ,depende de qu estemos #ablando7. Las declaraciones metamatemticas, o metalgicas, son declaraciones acerca de los signos existentes dentro de un sistema lgico $ormaliado ,es decir, un clculo7, acerca de las especies y disposicin de tales signos cuando se combinan para $ormar #ileras ms largas de signos llamadas "$rmulas", o acerca de las relaciones entre $rmulas que pueden obtenerse como consecuencia de las reglas de manipulacin establecidas para ellas. El valor de la distincin entre lgica y metalgica, o entre matemtica y metamatemtica, radica en que da origen a una minuciosa codi$icacin de los diversos signos que entran en la composicin de un clculo $ormal, libre de engaDosas suposiciones y de irrelevantes asociaciones de ideas. Exige, adems, disponer de de$iniciones exactas de las operaciones y de las reglas lgicas de la construccin y la deduccin matemtica. Gilbert capt el n"cleo de la cuestin y bas su intento de construir pruebas "absolutas" de consistencia en la distincin entre un clculo $ormal y su descripcin. Trat de desarrollar un mtodo que produ&era demostraciones de consistencia tan a&enas a una autntica duda lgica como el uso de modelos $initos para demostrar la consistencia de ciertos con&untos de postulados, y ello mediante el anlisis de un n"mero $inito de caractersticas estructurales de las expresiones contenidas en clculos completamente $ormaliados. El anlisis consiste en anotar los diversos tipos de signos que se dan en un clculo, indicar cmo combinarlos en $rmulas, prescribir cmo pueden obtenerse nuevas $rmulas a partir de otras y determinar si $rmulas de una determinada clase pueden derivarse de otras mediante reglas operativas explcitamente enunciadas. Gilbert crea posible presentar cualquier clculo matemtico como una especie de esquema "geomtrico" de $rmulas, en el que las $rmulas se relacionaran mutuamente en n"mero $inito de relaciones estructurales. Esperaba demostrar, examinando ex#austivamente estas propiedades estructurales de las expresiones encerradas en un sistema, que no pueden obtenerse $rmulas $ormalmente contradictorias a partir de los axiomas de clculos dados. Hequisito esencial del programa de Gilbert era que las demostraciones de consistencia implicaran "nicamente procedimientos que no #icieran re$erencia ni a un n"mero in$inito de propiedades estructurales de $rmulas ni a un n"mero in$inito de operaciones con $rmulas. Tales procedimientos son denominados "$initistas", y una prueba de consistencia que se #alle en adecuacin a dic#o procedimiento recibe el nombre de "absoluta". >na prueba absoluta logra sus ob&etivos utiliando un mnimo de principios de deduccin y no presupone la consistencia de ning"n otro con&unto de axiomas. >na prueba absoluta de consistencia de la lgica de primer orden, si pudiera construirse alguna, demostrara, pues, mediante un procedimiento metalgico, que dos $rmulas contradictorias, tales como = U P y su negacin V,= U P7, no pueden derivarse de los axiomas mediante reglas explcitamente enunciadas. 0. /onstruccin de un sistema $ormal La construccin de un sistema $ormal de lgica se lleva a cabo en cuatro $ases que, convenientemente numeradas, son) 'e prepara un catlogo completo de los signos que se #an de usar en el clculo. Estos signos son nuestro vocabulario 'e establecen las reglas de $ormacin de $rmulas. Estas reglas declaran qu combinaciones de signos del vocabulario pueden ser aceptadas como "$rmulas". Las reglas pueden ser consideradas como constitutivas de la gramtica del sistema 'e expresan las reglas de trans$ormacin que describen la estructura precisa de las $rmulas de las cuales pueden derivarse otras $rmulas de estructura determinada. Estas reglas son las reglas de deduccin. 'e seleccionas ciertas $rmulas como axiomas ,o "$rmulas primitivas"7. Estas $rmulas sirven de $undamento a todo el sistema. >n "teorema del sistema" es cualquier $rmula que pueda ser derivada de los axiomas aplicando sucesivamente las reglas de trans$ormacin. >na "prueba" es una serie $inita de $rmulas, cada una de las cuales o es un axioma o puede ser derivada de otras $rmulas anteriores de la serie mediante las reglas de trans$ormacin. (ara la lgica de proposiciones, el vocabulario es muy sencillo. 'e compone de variables y de signos constantes. Las variables pueden ser sustituidas por sentencias o proposiciones y reciben por ello el nombre de "variables sentenciales" o "variables proposicionales". 'on las letras 9p9, 9q9, 9r9, ... Los signos constantes son "enlaces proposicionales" o signos de puntuacin. En la lgica de proposiciones estos signos son) 9V9 que quiere decir 9no9 y cuya interpretacin semntica podra de$inirse como sigue) el signo V representa la negacin de la proposicin que le sigue. =s, si la proposicin es verdadera, la proposicin negada ser $alsa, y viceversa. 9U9 que quiere decir 9y9 y cuya interpretacin es) una con&uncin a$irma la verdad de sus componentes. Es verdadera, pues, cuando sus dos componentes son verdaderos; cuando uno de ellos es $also, y por tanto, tambin cuando los dos son $alsos, la con&uncin es $alsa. 9:9 que quiere decir 9o9, y cuya interpretacin es la siguiente) la disyuncin de dos proposiciones es verdadera cuando una al menos de esas dos proposiciones es verdadera . y, por supuesto, cuando ambas lo son .; es $alsa, en cambio, slo cuando ambas son $alsas. Las condiciones de verdad de la disyuncin son la imagen invertida de las condiciones de verdad de la con&uncin. (ara probar la verdad de una con&uncin #ace $alta probar la de todos y cada uno de sus miembros; para probar la verdad de la disyuncin, basta probar la de uno. Lo mismo ocurre con la $alsedad) la $alsedad de una con&uncin se establece con slo probar la de uno de sus miembros; mientras que la $alsedad de una disyuncin requiere probar la de todos y cada uno de sus elementos. 9W9 que quiere decir "si... entonces...9. 'u interpretacin es) una implicacin es verdadera siempre que no se d el caso de que el antecedente sea verdadero y el consecuente $also; y $alsa cuando ese sea el caso. La interpretacin de estos signos de la lgica proposicional se suele dar ms abreviadamente mediante lo que se conoce como tablas de verdad. La tabla de verdad de los cuatro smbolos de nuestro clculos es la siguiente)
Los signos de puntuacin son los parntesis de apertura y cierre. Las reglas de $ormacin de $rmulas son las siguientes) /ualquier variable proposicional es una $rmula 'i ' es una $rmula, V ' tambin es una $rmula 'i ' y ( son $rmulas, tambin lo son ' U (, ' : ( y ' W (. = continuacin, adoptamos dos reglas de trans$ormacin) Hegla de sustitucin) de una $rmula que contenga variables sentenciales puede siempre derivarse otra $rmula sustituyendo uni$ormemente con $rmulas las variables. Hegla de separacin) !e dos $rmulas que tengan la $orma ' y ' W ( se puede derivar la $rmula (. = esta regla tambin se la conoce como -odus (onens. Ainalmente, adoptaremos como axiomas de clculo los siguientes) 2. ,p:p7 W p 'i ,los Peatles eran ingleses, o los Peatles eran ingleses7, entonces los Peatles eran ingleses S p W ,p:q7 'i yo soy listo, entonces ,o yo soy listo o el Heal -adrid gana la liga7 0 ,p:q7 W ,q:p7 'i ,o Qant era puntual o la Cglesia es est"pida7, entonces ,o la Cglesia es est"pida o Qant era puntual7 X ,pWq7W ,,r:p7W,r:q77 'i ,si me gusta el F#isYy entonces pierdo al m"s7, entonces ,si ,o escuc#o a los Holling 'tones o me gusta el F#isYy7 entonces ,o escuc#o a los Holling 'tones o pierdo al m"s77 =tendiendo a los e&emplos, es importante seDalar que aunque los consecuentes no guarden relacin con los antecedentes, esto no a$ecta en modo alguno a la valide de las conexiones lgicas establecidas en los mencionados e&emplos. /on ayuda de las reglas de trans$ormacin mencionadas anteriormente es posible derivar, a partir de estos axiomas aparentemente triviales, una clase in$initamente grande de teoremas que no tienen nada de triviales como, por e&emplo, la $rmula) ,,pWq7W,,rWs7Wt77W,,uW,,rWs7Wt77W,,pWu7W,sWt777 !emostrar la consistencia de este sistema axiomtico es demostrar que es imposible derivar, a partir de los axiomas, una $rmula y su negacin, pues si tanto una $rmula como su negacin $uesen deducibles de los axiomas, sera tambin deducible cualquier $rmula. Es decir, si el clculo no es consistente, toda $rmula es un teorema, lo que equivale a decir que de un con&unto contradictorio de axiomas puede ser derivada cualquier $rmula. Esto tiene una contrapartida) si no toda $rmula es un teorema, entonces el clculo es consistente. Lo que #ace $alta, por consiguiente, es demostrar que existe por lo menos una $rmula que no puede ser derivada de los axiomas. La $orma de #acerlo es emplear un raonamiento metalgico sobre el sistema. El procedimiento consiste en encontrar una caracterstica o propiedad estructural de las $rmulas que satis$aga las tres condiciones siguientes) 27 la propiedad debe ser com"n a todos los axiomas; S7 la propiedad debe ser "#ereditaria", seg"n las reglas de trans$ormacin, esto es, si todos los axiomas poseen la propiedad, cualquier $rmula adecuadamente derivada de ellos mediante las reglas de trans$ormacin debe poseerla tambin. (uesto que cualquier $rmula derivada es por de$inicin un teorema, esta condicin estipula en esencia que todo teorema debe poseer esa propiedad; 07 la propiedad no debe pertenecer a toda $rmula que pueda construirse de acuerdo con las reglas de $ormacin del sistema; esto es, debemos tratar de encontrar al menos una $rmula que no posea esa propiedad. 'i tenemos xito en esta triple tarea #abremos conseguido una prueba absoluta de consistencia. El raonamiento es el siguiente) la propiedad #ereditaria se transmite desde los axiomas a todos los teoremas; pero si puede encontrarse un con&unto de signos que sea adecuado a las exigencias de ser una $rmula del sistema y que, sin embargo, no posea esa determinada propiedad #ereditaria, tal $rmula no puede ser un teorema. (ero si descubrimos una $rmula que no es un teorema #emos demostrado la consistencia del sistema, ya que si el sistema no $uese consistente, todas las $rmulas podran ser derivadas de los axiomas. (or tanto, lo que se necesita es encontrar una sola $rmula que careca de la propiedad #ereditaria. >na propiedad del tipo requerido es la de ser una "tautologa". En el lengua&e corriente se dice que una expresin es tautolgica si contiene una redundancia y mani$iesta dos veces la misma cosa con di$erentes palabras. En la lgica se de$ine la tautologa como una proposicin que no excluye ninguna posibilidad lgica; es decir, una tautologa es "verdadera en todos los mundos posibles". >na $rmula es una tautologa si es invariablemente verdadera, independientemente de que sus componentes elementales sean verdaderos o $alsos. >na $orma de mostrar que nuestros cuatro axiomas son tautologas es utiliando las tablas de verdad. En una tabla de verdad una $rmula es una tautologa si en la columna que contiene la $rmula completa slo #ay signos I X. /ompletud del clculo de predicados (uesto que todo teorema del clculo de predicados es una tautologa, una verdad de la lgica, podemos preguntar si, inversamente, toda verdad lgica susceptible de ser expresada en el vocabulario de nuestro sistema ,es decir, toda tautologa7 es tambin un teorema ,esto es, derivable de los axiomas7. 'i la respuesta es a$irmativa, ello querr decir que los axiomas son su$icientes para engendrar todas las $rmulas tautolgicas, todas las verdades lgicas susceptibles de ser expresadas en el sistema; es decir, que nuestro sistema es "completo". La completud es una propiedad interesante en un sistema axiomtico porque ella nos asegura que no #ay ninguna verdad en nuestro sistema que nosotros no seamos capaces de encontrar. !ic#o de otro modo, un sistema "incompleto" no sera muy "til porque, lo mismo que los &ueces, el lgico quiere conseguir la verdad, toda la verdad y nada ms que la verdad. (ero solo podremos estar seguros de poder alcanar toda la verdad si nuestro sistema es completo. 'e llama "completo" a un clculo, /, si dada una $rmula bien $ormada, $, de /, o esta $rmula o su negacin ,V$7 es un teorema de /. 'e llama tambin "completo" a un clculo / cuando #ay otro clculo /9 tal, que / es inconsistente cuando /9 es igual a / excepto por contener una $rmula que no es susceptible de prueba en /. 5. Las limitaciones de los sistemas $ormales El clculo proposicional constituye un e&emplo de un sistema matemtico en el que se alcanan plenamente los ob&etivos de la teora de la demostracin de Gilbert. Este clculo codi$ica solamente un $ragmento de la lgica $ormal, y su vocabulario y su aparato $ormal no son su$icientes para desarrollar ni siquiera la aritmtica elemental, pero el programa de Gilbert no es tan limitado. (uede ser aplicado con xito a sistemas ms amplios, cuyo carcter, a la ve consistente y completo, puede ser demostrado mediante un raonamiento metamatemtico. (ero ?es el mtodo $initista de Gilbert lo su$icientemente potente como para demostrar la consistencia de un sistema como (rincipia, cuyo vocabulario y cuyo aparato lgico son adecuados para expresar toda la aritmtica y no simplemente un $ragmento de ella@. La publicacin en 2302 del artculo de Qurt ;<del 'obre proposiciones $ormalmente indecidibles de (rincipia -at#ematica y sistemas a$ines demostr que no podan por menos de $racasar todos los es$ueros que se desenvolvieran dentro de los estrictos lmites del primitivo programa de Gilbert. ?Zu es lo que estableci ;<del@. 'us principales conclusiones son dos) en primer lugar, demostr que es imposible presentar una prueba metamatemtica de la consistencia de un sistema lo bastante comprensivo como para contener toda la aritmtica, a menos que se empleen en la prueba reglas de deduccin que di$ieran en ciertos aspectos esenciales de las reglas de trans$ormacin utiliadas para derivar teoremas dentro del sistema. Lo que ;<del demostr es que es imposible que pueda darse una prueba $initista de la consistencia de la aritmtica; a#ora bien, si la prueba no es $initista, no cubre los ob&etivos del programa de Gilbert. La segunda conclusin de ;<del demuestra la existencia de una $undamental limitacin en la potencia del mtodo axiomtico. ;<del demostr que los (rincipia, o cualquier otro sistema dentro del cual pueda desarrollarse la aritmtica, es esencialmente incompleto, es decir, dado cualquier con&unto consistente de axiomas aritmticos, existen proposiciones aritmticas verdaderas que no pueden ser derivadas de dic#o con&unto. Iemoslo con un e&emplo. Las matemticas abundan en proposiciones generales a las que no se #a encontrado ninguna excepcin que #asta a#ora #aya $rustrado todo intento de prueba; una de ellas es el "teorema de ;oldbac#", seg"n el cual todo n"mero par es la suma de dos n"meros primos. [ams se #a encontrado ning"n n"mero par que no sea la suma de dos n"meros primos; sin embargo, nadie #a logrado encontrar una prueba de que la con&etura de ;oldbac# se aplique sin excepcin a todos los n"meros pares. Es esta, pues, una proposicin aritmtica que puede ser verdadera, pero que no puede ser derivada de los axiomas de la aritmtica. 'upongamos que sea universalmente verdadera. ?Zu decir ante la sugerencia de que los axiomas podran ser modi$icados o aumentados #asta #acer que las proposiciones #asta el momento indemostrables $uesen derivables en el sistema ampliado@. Los resultados de ;<del muestran que, aun cuando los axiomas de la aritmtica $uesen ampliados con un n"mero inde$inido de otros axiomas verdaderos, siempre quedarn verdades aritmticas que no son $ormalmente derivables del con&unto ampliado. ?/mo demostr ;<del esto@. La estructura de su argumentacin est moldeada sobre el raonamiento implicado en la "parado&a ric#ardiana", propuesta por el matemtico $rancs [ules Hic#ard en 23\5. /onsidrese un lengua&e en el que se puedan $ormular y de$inir las propiedades puramente aritmticas de los n"meros cardinales. Hesulta claro que, so pena de caer en un crculo vicioso, no pueden de$inirse explcitamente algunos trminos que #acen re$erencia a propiedades aritmticas . ya que no podemos de$inirlo todo y debemos empear en alguna parte .. La propiedad de ser un n"mero primo puede ser de$inida como "no divisible por ning"n otro n"mero ms que por s mismo y la unidad"; la propiedad de ser un cuadrado per$ecto puede ser de$inida como "ser el producto de alg"n n"mero entero por s mismo", etc. /ada una de tales de$iniciones contendr solamente un n"mero $inito de palabras y slo un n"mero $inito de letras del al$abeto. =s, las de$iniciones pueden ser ordenadas en una serie) una de$inicin preceder a otra si el n"mero de letras de la primera es menor que el n"mero de letras de la segunda; y si dos de$iniciones tienen el mismo n"mero de letras, una de ellas preceder a la otra atendiendo al orden al$abtico de las letras contenidas en cada una. !e este modo, a cada de$inicin corresponder un "nico n"mero entero, que representar el lugar que ocupa la de$inicin en la serie. !ado que cada de$inicin est asociada a un "nico n"mero entero, puede ocurrir en algunos casos que un n"mero entero posea la misma propiedad expresada por la de$inicin con la cual est asociado. 'upongamos que la expresin de$inidora "no ser divisible por ning"n n"mero entero ms que por s mismo y la unidad" se #alla en correlacin con el n"mero 26; evidentemente, el 26 tiene la propiedad designada por esa expresin. (or otra parte, supongamos que la expresin de$inidora "ser el producto de alg"n n"mero entero por s mismo" se #alla en correlacin con el n"mero 25; est claro que 25 no posee la propiedad designada por la expresin. !escribimos la situacin del segundo e&emplo diciendo que el n"mero 25 tiene la propiedad de ser ric#ardiano, y la del primer e&emplo, diciendo que el n"mero 26 no tiene la propiedad de ser ric#ardiano. Es decir, "x es ric#ardiano, sii x no tiene la propiedad designada por la expresin de$inidora con la que se #alla relacionado en la serie ordenada de de$iniciones". =#ora bien, la expresin de$inidora de ser ric#ardiano describe una propiedad numrica de los enteros. La expresin misma pertenece, por tanto, a la serie de de$iniciones ya enunciadas antes. !e aqu se desprende que la expresin est relacionada con un cierto n"mero entero. 'upongamos que este n"mero es n. ?Es n ric#ardiano@. La conclusin es contradictoria, pues n es ric#ardiano sii, n carece de la propiedad designada por la expresin ,de$inidora7 con la que est relacionado. Es decir, n es ric#ardiano sii n no es ric#ardiano. (odemos dar de lado a esta parado&a distinguiendo entre las proposiciones que se producen dentro de la aritmtica y las proposiciones acerca de alg"n sistema de notacin en el que se codi$ica esa aritmtica. La construccin de esta parado&a sugiere la posibilidad de que se pueden "representar" declaraciones metamatemticas acerca de un sistema $ormal su$icientemente amplio dentro del sistema mismo. La caracterstica $undamental de la representacin es que puede demostrarse que una estructura abstracta de relaciones existente en un campo de "ob&etos" existe tambin entre "ob&etos" pertenecientes a otro campo di$erente. Esta caracterstica es lo que impuls a ;<del a construir sus pruebas. 'i, como l esperaba, unas complicadas proposiciones metamatemticas acerca de un sistema $ormaliado pudiesen ser traducidas a ,o re$le&adas por7 proposiciones aritmticas contenidas dentro del propio sistema, se #abra dado un gran paso en el camino de $acilitar las demostraciones metamatemticas. La explotacin de la idea de la representacin es la clave de la argumentacin de ;<del. ;<del demostr que las proposiciones metamatemticas acerca de un clculo aritmtico $ormaliado pueden e$ectivamente ser representadas por $rmulas aritmticas dentro del clculo. Cde un mtodo de representacin tal, que ni la $rmula aritmtica correspondiente a una determinada proposicin metamatemtica verdadera acerca de la $rmula ni la $rmula aritmtica correspondiente a la negacin de la proposicin son demostrables dentro del clculo. /omoquiera que una de estas $rmulas aritmticas debe codi$icar una verdad aritmtica, ninguna de las cuales es, sin embargo, derivable de los axiomas, los axiomas son incompletos. Este mtodo de representacin le permiti construir una $rmula aritmtica correspondiente a la proposicin metamatemtica "el clculo es consistente" y demostrar que esta $rmula no es demostrable dentro del clculo. !e a# se desprende que la proposicin metamatemtica no puede ser demostrada a no ser que se utilicen reglas de deduccin que no puedan ser representadas dentro del clculo, de tal modo que, al demostrar la proposicin, se deben emplear reglas cuya propia consistencia pueda ser tan discutible como la consistencia misma de la aritmtica 4. Las pruebas de ;<del 4.2 La numeracin de ;<del ;<del describi un clculo $ormaliado dentro del cual pueden expresarse todas las acostumbradas notaciones aritmticas ya conocidas. Las $rmulas del clculo estn constituidas con una clase de signos elementales que constituyen el vocabulario $undamental. Los cimientos estn $ormados por un con&unto de $rmulas primitivas, y los teoremas del clculo son $rmulas. ;<del demostr que es posible asignar un "nico n"mero a cada signo elemental o a cada $rmula ,o sucesin de signos7 y a cada prueba ,o sucesin $inita de $rmulas7. Este n"mero recibe el nombre de "n"mero de ;<del" del signo, $rmula o prueba. Los signos elementales son de dos clases) constantes y variables. 'upondremos que #ay die signos constantes, a los que se asocian, como n"mero de ;<del, los n"meros enteros del 2 al 2\. Tabla de signos constantes =dems de los signos elementales constantes, aparecen tres clases de variables en el vocabulario $undamental del clculo) 27 las variables numricas, 9x9, 9y9, 99; S7 las variables sentenciales, 9p9, 9q9, 9r9, y 07 las variables predicativas 9(9, 9Z9, 9H9. = estas variables se asignan n"meros de ;<del de acuerdo a las siguientes reglas) a7 a cada variable numrica, un n"mero primo mayor que 2\; b7 a cada variable sentencial el cuadrado de un n"mero primo mayor que 2\; y c7 a cada variable predicativa el cubo de un n"mero primo mayor que 2\. Tabla de signos variables /onsideremos a#ora una $rmula del sistema, por e&emplo, ,]x7,xNsy7. Los n"meros asociados a sus die signos elementales son Es deseable, sin embargo, asimilar a la $rmula un solo n"mero en ve de un con&unto de n"meros. /onvenimos en asociar a la $rmula el "nico n"mero que es el producto de los die primeros n"meros primos en orden de magnitud, estando cada uno de ellos elevado a una potencia igual al n"mero ;<del del correspondiente signo elemental. =s, la $rmula anterior queda asociada al n"mero S^_0X_522_63_2022_265_236_S020_S33 llamemos m a este n"mero. !e manera similar, se puede asignar a toda sucesin $inita de signos elementales y, en particular, a toda $rmula, un "nico n"mero, el producto de tantos n"meros primos como signos #aya. /onsideremos a#ora la $rmula ,]x7,xNs\7, y supongamos que su n"mero de ;<del es n. Tenemos as la sucesin de $rmulas ,]x7,xNsy7 ,]x7,xNs\7 cuyos n"meros de ;<del son, respectivamente, m y n. Cgual que antes, es conveniente disponer de un solo n"mero que sirva de rtulo a la sucesin. /onvenimos en asociarla con el n"mero que es el producto de los dos primeros n"meros primos en orden de magnitud, estando elevado cada uno de los n"meros primos a una potencia igual al n"mero de ;<del de la $rmula correspondiente. 'i llamamos Y a ese n"mero podemos escribir Q N Sm _ 0n. (or este procedimiento de condensacin podemos obtener un n"mero para cada serie de $rmulas. En resumen, toda expresin contenida en el sistema, sea un signo elemental, una sucesin de signos, o una sucesin de sucesiones, puede llevar asignado un "nico n"mero de ;<del. /on ello, #emos aritmetiado completamente el clculo $ormal, dando un con&unto de reglas para establecer una correspondencia biunvoca entre las expresiones del clculo y una cierta subclase de los n"meros enteros. 4.S La aritmetiacin de la metamatemtica El paso siguiente de ;<del es demostrar que todas las proposiciones metamatemticas acerca de las propiedades estructurales de las expresiones contenidas en el clculo pueden ser adecuadamente re$le&adas dentro del clculo mismo. La idea bsica es) puesto que toda expresin del clculo est asociada a un n"mero, puede construirse una proposicin metamatemtica acerca de las expresiones y de sus recprocas relaciones como una proposicin acerca de los correspondientes n"meros y de sus recprocas relaciones aritmticas. !e esta manera queda completamente aritmetiada la metamatemtica. /ada proposicin metamatemtica se #alla representada por una "nica $rmula dentro de la aritmtica; y las relaciones de dependencia lgica entre las proposiciones metamatemticas se re$le&an plenamente en las relaciones numricas de dependencia entre sus correspondientes $rmulas aritmticas. La exploracin de las cuestiones metamatemticas puede ser desarrollada investigando las propiedades aritmticas y las relaciones de ciertos n"meros enteros. /omo e&emplo, consideremos un axioma del sistema $ormal su&eto a examen) 9,p:p7Wp9. 'upongamos que su n"mero de ;<del es 9a9. /onsideremos tambin la $rmula 9,p:p79, y supongamos que su n"mero de ;<del es 9b9. Enunciamos a#ora la proposicin metamatemtica de que la $rmula 9,p:p79 es una parte inicial del axioma. ?= qu $rmula aritmtica del sistema $ormal corresponde esta proposicin@. Es evidente que la $rmula ms pequeDa 9,p:p79 puede ser una parte inicial de la $rmula mayor, que es el axioma, sii el n"mero de ;<del, b, que representa a la primera es un $actor del n"mero de ;<del, a, que representa a la segunda. 'upuesto que la expresin 9$actor de9 est convencionalmente de$inida en el sistema aritmtico $ormaliado, la "nica $rmula aritmtica que corresponde a la declaracin metamatemtica antes enunciada es 9b es un $actor de a9. 'i esta $rmula es verdadera, es cierto que 9,p:p79 es una parte inicial de 9,p:p7Wp9. Ai&emos a#ora nuestra atencin en la $rmula metamatemtica) `La sucesin de $rmulas con n"mero de ;<del x es una prueba de la $rmula con n"mero de ;<del a. Esta declaracin est representada por una $rmula de$inida del clculo aritmtico que expresa una relacin entre x y . Escribimos esta relacin entre x y con la $rmula 9!em,x,79, para tener presente la proposicin metamatemtica a la que corresponde ,la sucesin de $rmulas con n"mero de ;<del x es una prueba de la $rmula con n"mero de ;<del 7. >na proposicin metamatemtica que dice que una cierta sucesin de $rmulas constituye una prueba de que una $rmula dada es verdadera sii el n"mero de ;<del de la pretendida prueba estn con el n"mero de ;<del de la conclusin en la relacin aritmtica designada como 9!em9. (or consiguiente, para establecer la verdad o la $alsedad de la proposicin metamatemtica su&eta a examen slo nos interesa la cuestin de si la relacin !em se mantiene entre dos n"meros. =nlogamente, la proposicin metamatemtica 9La sucesin de $rmulas con el n"mero de ;<del x no es una prueba para la $rmula con n"mero de ;<del 9 se representa en el sistema aritmtico $ormaliado con una $rmula de$inida. Tal $rmula es la contradictoria de 9!em,x,79, o sea, 9V!em,x,79. La $rmula 9,]x7,xNsy7 tiene como n"mero de ;<del m, mientras que el n"mero de ;<del de la variable 9y9 es 20. 'i en dic#a $rmula sustituimos el n"mero de ;<del 20 por el numeral m, el resultado es la $rmula 9,]x7,xNsm79, que dice que existe un n"mero x tal que x es el sucesor inmediato de m. Esta $rmula tambin tiene un n"mero de ;<del que se puede calcular; pero en ve de #acer el clculo podemos identi$icar el n"mero mediante una caracteriacin metamatemtica) es el n"mero de ;<del de la $rmula que se obtiene a partir de la $rmula de n"mero de ;<del m, sustituyendo la variable de n"mero de ;<del 20 por el numeral de m. Esta caracteriacin metamatemtica determina unvocamente un n"mero de$inido, que es una cierta $uncin aritmtica de los n"meros m y 20, en la que puede ser expresada la $uncin misma dentro del sistema $ormaliado. El n"mero puede ser designado dentro del clculo. Esta designacin ser escrita como 9sust,m,20,m79 siendo la $inalidad de esta $orma recordar la caracteriacin metamatemtica que representa, es decir, 9el n"mero de ;<del de la $rmula obtenida a partir de la $rmula de n"mero de ;<del m, sustituyendo la variable de n"mero de ;<del 20 por el numeral de m9. La expresin 9sust,y,20,y7 es la imagen re$le&ada dentro del clculo aritmtico $ormaliado de la caracteriacin metamatemtica 9el n"mero de ;<del de la $rmula que se obtiene a partir de la $rmula de n"mero de ;<del y, sustituyendo la variable de n"mero de ;<del 20 por el numeral de y9. /uando se sustituye 9y9 por un numeral de$inido en 9sust,y,20,y7 la expresin resultante designa un n"mero entero de$inido, que es el n"mero de ;<del de una determinada $rmula. 4.0 La argumentacin de ;<del ;<del mostr) cmo construir una $rmula aritmtica ; que represente la declaracin metamatemtica 9La $rmula ; no es demostrable9. La $rmula 9V!em,x,79 representa, dentro de la aritmtica $ormaliada, la proposicin metamatemtica 9la sucesin de $rmulas con n"mero de ;<del x no es una prueba de la $rmula con n"mero de ;<del 9. =#ora introducimos el pre$i&o ,x7 en la $rmula !em. Este pre$i&o equivale a la $rase 9para todo x9. =nteponiendo este pre$i&o obtenemos la $rmula 9,x7V!em,x,79, que equivale a 9para todo x, la sucesin de $rmulas con n"mero de ;<del x no es una prueba de la $rmula con n"mero de ;<del 9. Esta $rmula es la par$rasis de 9la $rmula con n"mero de ;<del no es demostrable9. Lo que ;<del demostr es que un determinado caso especial de esta $rmula no es $ormalmente demostrable ;<del mostr tambin que ; es demostrable sii es demostrable su negacin $ormal V;. 'i una $rmula y su negacin son ambas $ormalmente demostrables, el clculo aritmtico no es consistente. (or consiguiente, si el clculo es consistente, ni ; ni V; son $ormalmente derivables de los axiomas de la aritmtica. (or tanto, si la aritmtica es consistente, ; es una $rmula $ormalmente indecidible. ;<del tambin mostr qZue aunque ; no sea $ormalmente demostrable es, sin embargo, una $rmula aritmtica verdadera. Es verdadera en el sentido de que a$irma que todo n"mero entero posee una cierta propiedad aritmtica que puede ser exactamente de$inida y presentada en cualquier n"mero entero que se examine. (uesto que ; es al mismo tiempo verdadera y $ormalmente indecidible, los axiomas de la aritmtica son incompletos) no podemos deducir todas las verdades aritmticas de los axiomas. ;<del demostr adems que la aritmtica es esencialmente incompleta) aun cuando se admitiesen nuevos axiomas, de tal modo que la $rmula verdadera ; pudiera ser $ormalmente derivada de la incrementada serie de los mismos, todava podra construirse otra $rmula verdadera pero $ormalmente indecidible. ;<del describi cmo construir una $rmula aritmtica = que represente a la proposicin metamatemtica 9la aritmtica es consistente9, y demostr que la $rmula 9=W;9 es demostrable. !e aqu se desprende que la consistencia de la aritmtica no puede ser establecida por un argumento que pueda #allarse representado en el clculo aritmtico $ormal. 6. Etros resultados re$erentes a los $undamentos de la lgica y las matemticas /omo acabamos de ver, en 2302 ;<del demostr que en un sistema $ormal ,lgico o matemtico7 que sea consistente y en cuyo interior se pretenda desarrollar acabadamente la lgica o la matemtica, existen proposiciones de dic#o sistema que son indecidibles, esto es, que ni su a$irmacin ni su negacin son demostrables, siendo una de ellas, precisamente, la que a$irma que el sistema es consistente. 'in embargo, no es este el "nico resultado importante que se #a logrado en este siglo en lo que #ace re$erencia al $undamento de la lgica y las matemticas. Etros resultados $undamentales #an sido los siguientes) 6.2 El teorema de satis$accin de GenYin El teorema de satis$accin de GenYin establece que "para cualquier con&unto de $rmulas ,=7 de lgica elemental, si = es consistente, entonces = es simultneamente satis$acible en un modelo enumerable". La demostracin del teorema comiena extendiendo al mximo el con&unto de $rmulas "=" por adicin sucesiva de toda $rmula posible que sea compatible con l, es decir, que no atente contra su consistencia. El resultado ser un con&unto consistente mximo que incluye al anterior. Este con&unto no slo es consistente, sino que adems abarca toda $rmula consistente. 6.S El teorema de completud de la lgica cuanti$icacional de primer orden de ;<del En 230\ ;<del demostr la completud de la lgica cuanti$icacional de primer orden. Literalmente el Teorema de completud de ;<del establece) "(ara toda $rmula = de la lgica cuanti$icacional de primer orden, si = es lgicamente verdadera, entonces = es deducible". !ic#o $ormalmente) "'i MN =, entonces M. =". Esto quiere decir que el sistema $ormal de la lgica cuanti$icacional ser completo si todas las $rmulas que representan verdades lgicas son $ormalmente deducibles en el sistema. La prueba del teorema de completud se reduce a consignar las siguientes premisas) = es lgicamente verdadera) MNN =. 'i = es lgicamente verdadera, entonces V= es insatis$acible. 'i V= es insatis$acible, entonces V= es inconsistente. 'i V= es inconsistente, entonces da lugar a contradiccin) V= M. P y V= M. VP. 'i V= M. P y V= M. VP, entonces M. =. La &usti$icacin de estas premisas es la siguiente) 27 es la #iptesis del teorema de completud; S7 se sigue de la de$inicin del concepto de $rmula lgicamente verdadera) su negacin #a de ser satis$acible; 07 es la contraposicin del teorema de GenYin; X7 es un mero anlisis de la de$inicin de inconsistencia, y $inalmente 57 se basa en el teorema de deduccin, que permite pasar de V= M. P y V= M. VP a M. V= W P y M. V= W VP, respectivamente, y en -odus (onens, que permite, con ayuda de estas dos "ltimas $rmulas, eliminar los antecendentes en la ley de reduccin al absurdo ,M. ,V= W P7 W ,,V= W VP7 W VV=7; de M. VV= se pasa a M. a mediante una aplicacin de -( a la ley de doble negacin M. VV= W =. =ceptadas estas premiss, se les aplica reiteradamente la regla -(, empeando por S7 y 27, siguiendo con 07 y el consecuente de S7, y as sucesivamente, #asta liberar el consecuente de 57) M. =, que es &ustamente la tesis del teorema de ;<del, el cual queda, por tanto, demostrado. 5.2 Teorema de L<Fen#eim.'Yolem !el teorema de satis$accin de GenYin se deriva como corolario el teorema de L<Fen#eim.'Yolem) 'i un con&unto de $rmulas cualquiera = es simultneamente satis$acible en cualquier dominio no vaco, entonces es simultneamente satis$acible en un dominio enumerable. 5.S Teorema de compacidad Tambin es una consecuencia del teorema de satis$accin de GenYin. !ice as) si todo subcon&unto $inito de un con&unto in$inito de enunciados es satis$acible, entonces ese con&unto es, todo l, satis$acible. 5.0 Cndecidibilidad de la lgica cuanti$icacional polidica ,teorema de /#urc#7 En 2304 =lono /#urc# demostr la imposibilidad de encontrar un procedimiento mecnico decisorio adecuado para la lgica elemental, incluyendo la lgica cuanti$icacional polidica. Este teorema de /#urc# es, &unto al teorema de incompletud de ;<del, uno de los denominados teoremas de limitacin, que pusieron en crisis la ilimitada $e que #asta entonces se depositaba en los mtodos axiomticos y dieron lugar a una de las corrientes ms $ecundas de la investigacin lgico.matemtica) la teora de la computabilidad. (artiendo del teorema de ;<del, /#urc# prob que no es posible #allar una solucin general para el problema de la decisin en teora elemental de n"meros, es decir, que el sistema $ormal de la aritmtica es indecidible. /#urc# demostr que el caso general del problema de la decisin para un sistema $ormal de lgica elemental es insoluble, es decir) la lgica elemental de la cuanti$acin es indecidible ,teorema de /#urc#7. El inters $undamental de este teorema consiste en que por l se establece, o se quiere establecer, la no mecanicidad de la lgica $ormal. (ues si bien es cierto que existen algoritmos ,procedimientos de decisin7 que permiten resolver de modo mecnico grandes grupos de problemas de lgica elemental, seg"n este teorema, no existe ni puede existir un algoritmo que los resuelva mecnicamente todos. !e aqu se deduce que la operacin deductiva de la ran no es totalmente mecaniable. En opinin de /#urc# slo existe un algoritmo que solucione un problema lgico o matemtico si existe una "mquina de Turing" que pueda computeriarlo. !e este modo, para /#urc#, la mente #umana es como una mquina de TRring, pero ms imper$ecta. 5.X La tesis de /#uc#.Turing La tesis /#urc#.Turing #ace re$erencia a la nocin de una mtodo e$ectivo o mecnico en lgica y matemticas. "E$ectivo" y su sinnimo "mecnico" son trminos cambiantes en estas disciplinas) no mantienen su signi$icado siempre. >n mtodo, o procedimiento, -, para alcanar alg"n resultado deseado se denomina "e$ectivo" o "mecnico" cuando) - es expresado en trminos de un n"mero $inito de instrucciones exactas ,cada instruccin es expresada por medio de un n"mero $inito de smbolos7; - debe, si no se produce ning"n error, producir siempre el resultado deseado en un n"mero $inito de pasos; - puede ,en la prctica, o en principio7 llevarse a cabo por un ser #umano sin la ayuda de ninguna mquina, simplemente con papel y lpi; - no requiere ning"n tipo de comprensin ni de ingenio por parte del #umano que intenta resolverlo. >n e&emplo bien conocido de un mtodo e$ectivo es la tabla de verdad para la tautologicidad. En la prctica, por supuesto, este test no puede realiarse en $rmulas que contienen un n"mero muy grande de variables proposicionales, pero en principio uno podra aplicarlo exitosamente a cualquier $rmula del clculo proposicional, con el su$iciente tiempo, tenacidad, papel y lpi. La a$irmacin de que #ay un mtodo e$ectivo para alcanar tal resultado se expresa com"nmente diciendo que #ay un mtodo e$ectivo para obtener los valores de tal $uncin matemtica. (or e&emplo, la a$irmacin de que #ay un mtodo e$ectivo para determinar si cualquier $rmula del clculo proposicional es o no una tautologa .v.g., el mtodo de las tablas de verdad. es expresada diciendo que #ay un mtodo e$ectivo para obtener los valores de una $uncin, llammosla T, cuyo dominio es el con&unto de $rmulas del clculo proposicional y cuyo valor para cualquier $rmula x, escrito T,x7, es 2 o \ en $uncin de si x es, o no, una tautologa. La nocin de un mtodo e$ectivo es una nocin in$ormal, y se caracteria, tal y como se #a dic#o, por la $alta de rigor para el requisito clave de que el mtodo no exi&a comprensin o ingenio, pues tal requisito permanece inexplicado. >no de los logros de Turing $ue presentar un predicado $ormalmente exacto que permita reemplaar al predicado in$ormal "puede ser calculado por medio de un mtodo e$ectivo". /#urc# #io lo mismo. Los predicados que Turing y /#urc# proponan reemplaar eran, a simple vista, muy di$erentes uno de otro, pero eran equivalentes en el sentido de que cada uno seleccionaba el mismo con&unto de $unciones matemticas. La tesis /#urc#. Turing consiste en la asercin de que este con&unto contiene toda $uncin cuyos valores pueden obtenerse por un mtodo que satis$aga las anteriores condiciones de e$icacia. ,/iertamente, si las $unciones del predicado in$ormal, pero no del predicado $ormal, $ueran verdaderas, entonces el ms reciente sera menos general que el anterior y por tanto no sera raonable reemplaarlo7. /uando la tesis se expresa en los trminos $ormales propuestos por Turing es apropiado re$erirse a ella como la "tesis de Turing"; y mutatis mutandis en el caso de /#urc#. El concepto $ormal propuesto por Turing es el de computable por una mquina de Turing. Ge a$irmado que si #ay ,Tesis de Turing7 un mtodo e$ectivo para obtener los valores de una $uncin matemtica, la $uncin puede computarse en una mquina de Turing. La a$irmacin inversa puede establecerse $cilmente. >n programa de una mquina de Turing es una especi$icacin de un mtodo e$ectivo) un ser #umano puede traba&ar con las instrucciones del programa y realiar las operaciones requeridas por este sin necesidad de acudir a la comprensin o al ingenio. 'i la tesis de Turing es correcta, #ablar sobre la existencia o no de mtodos e$ectivos puede reemplaarse en matemticas y lgica por la existencia o no de programas de mquinas de Turing. La tesis de Turing $ue $ormulada por Turing as) Tesis de Turing) Las -/Ls *mquinas de computacin lgica) la expresin de Turing para las mquinas de Turing+ pueden #acer cualquier cosa que podamos describir como *un procedimiento+ "puramente mecnico". ,Turing 23X^)6.7 8 aDadi) Esto est tan bien establecido que es aceptado por muc#os lgicos que "calculable por medio de una -/L" es el modo correcto de aludir a tales expresiones. ,Cbid.7 Turing introdu&o esta tesis al argumentar que el Entsc#eidungsproblem, o problema de la decisin, para el clculo de predicados .planteado por Gilbert. es insoluble. Ge aqu la $ormulacin de /#urc# al Entsc#eidungsproblem) (or el Entsc#eidungsproblem de un sistema de lgica simblica #ay que entender el problema de encontrar un mtodo e$ectivo mediante el cual, dada cualquier expresin en la notacin del sistema, pueda determinarse si bien Z o no Z es demostrable dentro del sistema. El test de las tablas de verdad es un mtodo de este tipo para el clculo proposicional. Turing mostr que, dada su tesis, no puede #aber tal mtodo para el clculo de predicados. !emostr $ormalmente que no #ay ninguna mquina de Turing que pueda determinar, en un n"mero $inito de pasos, si una $rmula dada del clculo de predicados es o no un teorema del clculo. =s, dada la tesis de que si tal mtodo e$ectivo existe, puede realiarse por una de estas mquinas, se sigue que tal mtodo no puede encontrarse. /#urc# #aba llegado al mismo resultado negativo unos meses antes, empleando el concepto de de$inibilidad.lambda en lugar de computabilidad por una mquina de Turing. /#urc# y Turing llegaron a este descubrimiento de un modo independiente uno de otro /#urc# usa la expresin ,in$ormal7 "e$ectivamente calculable" para indicar que #ay un mtodo e$ectivo para calcular los valores de la $uncin. (ropone !e$inir la nocin... de una $uncin e$ectivamente calculable de enteros positivos identi$icndola con la nocin de una $uncin recursiva de enteros positivos ,o con una $uncin lambda.de$inible de enteros positivos7 El concepto de $uncin lambda.de$inible se debe a /#urc# y Qleene y el concepto de $uncin recursiva se debe a ;<del y Gerbrand. La clase de las $unciones lambda. de$inibles y la clase de las $unciones recursivas son idnticas. Esto $ue establecido en el caso de las $unciones de enteros positivos por /#urc# y Qleene. >na ve admitida la propuesta de /#urc#, Turing estableci que el aparato de la lambda.de$inibilidad y su propio aparato de computabilidad son equivalentes. =s, en la propuesta de /#urc#, las palabras "$uncin recursiva de los enteros positivos" puede reemplaarse por las palabras "$uncin de los enteros positivos computable por una mquina de Turing". El trmino "tesis /#urc#.Turing" parece que $ue introducido por Qleene, como una $orma de eliminar pre&uicios a $avor de /#urc#) (or tanto, las tesis de Turing y /#urc# son equivalentes. %ormalmente nos re$erimos a ambas tesis como tesis de /#urc#, o en conexin con una de sus versiones que #abla de "mquinas de Turing" como tesis /#urc#.Turing. 'e acumul muc#a evidencia a $avor de la "#iptesis de traba&o" propuesta por /#urc# y Turing en 2304. La mayor cantidad de estas evidencias $ueron expuestas por /. '. Qleene) ,27 Toda $uncin e$ectivamente calculable que se #a investigado #asta a#ora #a resultado ser computable por una mquina de Turing. ,S7 Todos los mtodos u operaciones conocidos para obtener nuevas $unciones e$ectivamente calculables son mtodos paralelos para construir nuevas mquinas de Turing a partir de una mquina de Turing dada. ,07 Todos los intentos de #acer un anlisis exacto de la nocin intuitiva de $uncin e$ectivamente calculable #an resultado ser equivalentes, en el sentido de que cada anlisis o$recido se #a realiado seleccionando la misma clase de $unciones, verbigracia, las que son computables por una mquina de Turing. !ebido a la diversidad de los anlisis realiados, esto "ltimo se considera como una evidencia $uerte 5. El sueDo roto) ?verdad en las matemticas@ Entre los matemticos circula este c#iste) "!ios existe porque la matemtica est exenta de contradiccin, y el diablo existe porque la no contradiccin no se puede probar". En e$ecto, doscientos aDos despus de !escartes la matemtica entr en una crisis tan radical que muc#os matemticos, pese a los pequeDos xitos, perdieron la con$iana en conseguir la verdad con la matemtica. Gasta entonces su progreso pareca rectilneo, constante e irresistible. 'u aplicacin a la mecnica celeste, a la electricidad, a todos los sectores de las ciencias naturales y tcnicas #a trado enormes progresos en la #umanidad. ?(odra #acerse realidad el sueDo de !escartes de una ciencia matemtica universal@ 8a Leibni trat de elaborar un lengua&e matemtico unitario, postulando una c#aracterstica de la ran en virtud de la cual las verdades de ran seran alcanables mediante el clculo, al igual que en la aritmtica y en el lgebra, aplicando un mtodo deductivo. La lgica matemtica de los siglos BCB y BB intent veri$icar la idea de !escartes y Leibni. (ero en la segunda mitad del siglo BCB la teora de con&untos, base de la actual matemtica, inicial por /antor, #io temblar la no contradiccin y la incontestabilidad de la matemtica. El posterior desarrollo de la teora de con&untos tra&o consigo antinomias y contradicciones) algunos asertos, relacionados con el concepto de "in$initud" podan ser al mismo tiempo probados y re$utados matemticamente. 'irva como e&emplo la antinomia lgico.matemtica de Hussell ,y tambin de Purali y Aorti7 denominada el "con&unto de todos los n"meros ordinales") 'obre cada con&unto de n"meros ordinales #ay un n"mero ordinal que es mayor que todos los n"meros ordinales que aparecen en el con&unto. =#ora bien, todo n"mero ordinal que es mayor que el "con&unto de todos los n"meros ordinales" no puede aparecer en este con&unto ,pues es mayor que l7, pero ,tambin as se puede probar7 debe aparecer en dic#o con&unto, ya que de lo contrario no se tratara del con&unto de todos los n"meros ordinales. 'i estos resultados, por s solos, ya #aban provocado inquietud, los resultados de ;<del y /#urc# vienieron a agravar la situacin. (areca que el programa de Gilbert, el ms bello programa de la #istoria de la #umanidad, quedaba de$initivamente arruinado. ?=nulaban los resultados de ;<del el programa de Gilbert@ En parte s y en parte no. =nulaban el programa de Gilbert en el sentido de que no se puede establecer .simultneamente. la completud y consistencia de un sistema axiomtico por mtodos puramente sintcticos. =#ora bien, s que #ay un modo de salvar la consistencia de la aritmtica) este modo consiste en recurrir a la semntica. Es decir, la garanta de la co#erencia de los sistemas $ormales #abr de buscarse en las interpretaciones que sean modelos de dic#os clculos; esto dar lugar al surgimiento de la teora de modelos. !ado que es posible demostrar que si un clculo admite un modelo, ese clculo es consistente, la tarea se centra a#ora en la b"squeda de modelos para nuestros clculos; pero con ellos #emos abandonado el terreno de la sintaxis y nos #emos adentrado en el terreno de la semntica. En consecuencia, la situacin no parece tan grave, basta con cambiar el terreno de la sintaxis por el de la semntica para que todo siga $uncionando. 'in embargo, algunos $ilso$os #an llegado a a$irmar que el resultado de ;<del demuestra "el $racaso de la lgica" o #asta "el $racaso de la ran". /ontra estas a$irmaciones bastan las siguientes palabras de -anuel 'acristn) *...+ estas a$irmaciones carecen de $undamento, como puede verse por las siguientes consideraciones. En primer lugar, lo "nico que demuestra el teorema de ;<del es que resulta imposible conseguir un con&unto de axiomas y un &uego de reglas de trans$ormacin que suministren todas las verdades $ormales expresables en el lengua&e de la lgica de predicados *...+ En segundo lugar, el #ec#o de que la lgica misma #aya descubierto y demostrado los lmites o la inviabilidad de una realiacin universal del programa algortmico, en su $orma clsica, es ms bien un xito que un $racaso de la actividad capa de tal resultado. El resultado mismo signi$ica que el pensamiento racional puede saber cuales de sus actividades son algoritmiables, e&ecutables ,en principio7 mecnicamente, y cules no; cules son, como suele decirse, traba&o racional mecnico, y cules traba&o racional productivo. Aracaso del pensamiento es ms bien la situacin en la cual el pensamiento no sabe cul es el alcance de su actividad, como suele ocurrir, dic#o sea de paso, a muc#os $ilso$os ,Cntroduccin a la lgica y al anlisis $ormal, Parcelona, /rculo de Lectores, 233\, pp. S5X ss.7 4. Pibliogra$a Planc#, H., La axiomtica, -xico, >%=-, 2345 Poc#ensYi, C. -., Los mtodos actuales del pensamiento, -adrid, Hialp, 2360 Poole, ;., El anlisis de la lgica, -adrid, /tedra, 2363 /o#en, -., %agel, E., Cntroduccin a la lgicay al mtodo cient$ico, Puenos =ires, =morrortu, 234^, S. vols. !eaDo, =.) Cntroduccin a la lgica $ormal, -adrid, =liana, 236X ;arrido, -.) Lgica simblica, -adrid, Tecnos, 23^0 ;<del, Q.) "'obre proposiciones $ormalmente indecidibles de (rincipia -at#ematica y sistemas a$ines" en ;<del, Q.) Ebras completas, -adrid, =liana Gilbert, !.) El pensamiento axiomtico, Hevista matemtica #ispanoamericana, 2, ,23237 Go$stadter, !.H.) ;<del, Esc#er, Pac#) un eterno y grcil bucle, Parcelona, Tusquets -ates, P., Lgica matemtica elemental, -adrid, Tecnos, 236\ -ostern, [.) Lgica de primer orden, Parcelona, =riel, 236\ %agel, E. y %eFman, [.H.) El teorema de ;<del, -adrid, Tecnos (oincar, G., La ciencia y la #iptesis, -adrid, Espasa./alpe, 02340 Hussell, P. y b#ite#ead, =.%.) (rincipia mat#ematica, -adrid, (aranin$o, 23^2 'acristn, -., Cntroduccin a la lgica y al anlisis $ormal, Parcelona, /rculo de Lectores, 23^3 'uppes, (., Teora axiomtica de con&untos, /ali ,/olombia7, %orma, 234^ TarsYi, =.) Cntroduccin a la lgica, -adrid, Espasa./alpe, 2352