Axioma

A veces se compara a los axiomas con semillas, porque de ellos surge toda la teora de la cual son axiomas. Un axioma es una proposicin que se considera evidente y se acepta sin requerir demostracin previa. En un sistema hipottico deductivo es toda proposicin no deducida !de otras", sino que constituye una regla general de pensamiento lgico, por oposicin a los postulados.# En lgica y matem$ticas, un axioma es una premisa que, por considerarse evidente, se acepta sin demostracin, como punto de partida para demostrar otras %rmulas. &radicionalmente los axiomas se eligen de las consideradas a%irmaciones evidentes, porque permiten deducir las dem$s %rmulas. En lgica un postulado es una proposicin no necesariamente evidente' una %rmula (ien %ormada !planteada" de un lengua)e %ormal utili*ada en una deduccin para llegar a una conclusin. En matem$tica se distinguen dos tipos de proposiciones' axiomas lgicos y postulados.

Etimologa
+a pala(ra axioma proviene del sustantivo griego ,-./0,, que signi%ica lo que parece )usto o que se le considera evidente, sin necesidad de demostracin. El trmino viene del ver(o griego ,-.12.3 !axioein", que signi%ica valorar, que a su ve* procede de ,-.14 !axios"' valioso o digno. Entre los %ilso%os griegos antiguos, un axioma era lo que pareca verdadero sin necesidad de prue(a alguna.

Lgica
+a lgica del axioma es partir de una premisa cali%icada de verdadera por s misma !el axioma", y de sta in%erir otras proposiciones por medio del mtodo deductivo, de lo cual se o(tienen conclusiones coherentes con el axioma. +os axiomas han de cumplir slo un requisito' de ellos, y de reglas de in%erencia, han de deducirse todas las dem$s proposiciones de una teora dada.

Axioma lgico
+os axiomas son ciertas %rmulas en un lengua)e %ormal que son universalmente v$lidas, esto es %rmulas satis%echas por cualquier estructura y por cualquier %uncin varia(le. En trminos coloquiales son enunciados verdaderos en cualquier mundo posi(le, (a)o

cualquier interpretacin posi(le, con cualquier asignacin de valores. 5om6nmente se toma como axioma un con)unto mnimo de tautologas su%icientes para pro(ar una teora.
Ejemplo 1

En c$lculo proposicional es com6n tomar como axiomas lgicos todas las %rmulas siguientes' #. 7. 8. donde , ,y , pueden ser cualquier %rmula en el lengua)e.

5ada uno de estos patrones es un esquema de axiomas, una regla para generar un n6mero in%inito de axiomas. 9or e)emplo si p, q, y r son varia(les proposicionales, entonces y esquema # y por lo tanto son axiomas. son instancias del

9uede pro(arse que, con solamente estos tres esquemas de axiomas y la regla de in%erencia modus ponens, todas las tautologas del c$lculo proposicional son demostra(les. &am(in se puede pro(ar que ning6n par de estos esquemas es su%iciente para demostrar todas las tautologas utili*ando modus ponens. Este con)unto de esquemas axiom$ticos tam(in se utili*a en el c$lculo de predicados, pero son necesarios m$s axiomas lgicos.
Ejemplo 2

:ea un lengua)e de primer orden. 9ara cada varia(le la %rmula universalmente v$lida.

es

Esto signi%ica que, para cualquier sm(olo varia(le , la %rmula puede considerarse axioma. 9ara no incurrir en vaguedad o en una serie in%inita de nociones primitivas, primero se necesita una idea de lo que se desea expresar mediante , o de%inir un uso puramente %ormal y sint$ctico del sm(olo . ;e hecho sucede esto en +gica matem$tica. <tro e)emplo interesante es el de instanciacin universal , mediante el cuanti%icador universal. 9ara una %rmula en un lengua)e de primer orden , una varia(le y un trmino sustitui(le por en , la %rmula es v$lida universalmente.

En trminos in%ormales este e)emplo permite a%irmar que si se sa(e que cierta propiedad se cumple para toda y que si es un o()eto particular en la estructura, se estara en capacidad de a%irmar .

;e nuevo se a%irma que la %rmula es v$lida. Esto es, se de(e ser capa* de aportar una prue(a de este hecho, o me)or expresado una metaprue(a. En e%ecto, estos e)emplos son metateoremas de la teora de lgica matem$tica, ya que la re%erencia es meramente al concepto demostrativo en s. Adem$s se puede extender a una generali*acin existencial utili*ando el cuanti%icador existencial. Esquema axiomtico. 9ara una %rmula en un lengua)e de primer orden , una varia(le y un trmino sustitui(le por en , la es universalmente v$lida.

Matemticas
9ara que todos los procedimientos matem$ticos usados sean v$lidos se de(e partir de una (ase que respalde cada procedimiento, cada paso lgico usado, y de(e, en consecuencia, demostrarse cada a%irmacin no trivial. :on estas demostraciones los pilares %undamentales de toda rama de las matem$ticas, ya que sin ellos puede ponerse en duda la veracidad de cualquier a%irmacin. +as a%irmaciones a las que se hace re%erencia se llaman axiomas. :er$n, por lo tanto, a%irmaciones que se aceptan como verdaderas de(ido a su trivialidad, pudiendo en ocasiones ser demostradas cuando no lo son. El otro tipo de a%irmaciones a las que se hace re%erencia diciendo' afirmacin no trivial, son los teoremas, que son ya, a%irmaciones no tan triviales y muchas veces poco intuitivas. Estas a%irmaciones de(en ser demostradas usando los axiomas u otros teoremas ya demostrados. Una consecuencia inmediata de un teorema se llamar$ corolario. =uchas partes de la matem$tica est$n axiomati*adas, lo que signi%ica que existe un con)unto de axiomas de los cuales es posi(le deducir todas las verdades de esa parte de la matem$tica. 9or e)emplo, de los axiomas de 9eano es posi(le deducir todas las verdades de la aritmtica !y por extensin, de otras partes de la matem$tica". El %ormalismo surgido como consecuencia de la crisis %undacional de principios del siglo >> dio lugar al llamado programa de ?il(ert. ;icho programa a(oga(a por la %ormali*acin de di%erentes ramas de las matem$ticas mediante un con)unto de axiomas explcitos, en general %ormulados en lengua)es %ormales de primer orden. Eso signi%ica que )unto con los axiomas lgicos ordinarios de una teora de primer orden se introducan sm(olos extralgicos !para constantes, %unciones y predicados" y ciertos axiomas matem$ticos que usa(an dichos signos que restringan su comportamiento. 5ada teora matem$tica necesita un con)unto di%erente de signos extralgicos, por e)emplo la aritmtica de primer orden requiere la %uncin siguiente y una constante que designe al primer de los n6meros naturales !a partir de esos dos signos nuevos una constante y una %uncin, son de%ini(les la suma, la multiplicacin, la relacin de orden menor o igual y todas las nociones necesarias para la aritmtica". El programa de ?il(ert hi*o conce(ir la posi(ilidad de unas matem$ticas en que la propia consistencia de axiomas escogidos %uera veri%ica(le de manera relativamente simple. :in em(argo, el teorema de incompletitud de @Adel y otros resultados mostraron la invia(ilidad del programa de ?il(ert para los %ines con los que %ue propuesto.

Limitaciones de los sistemas axiomticos

A mediados del siglo >>, Burt @Adel demostr sus %amosos teoremas de incompletitud. Estos teoremas mostra(an que aunque un sistema de axiomas recursivos estuvieran (ien

de%inidos y %ueran consistentes, los sistemas axiom$ticos con esos sistemas de axiomas adolecen de limitaciones graves. Es importante, notar aqu la restriccin de que el sistema de axiomas sea recursivamente enumera(le, es decir, que el con)unto de axiomas %orme un con)unto recursivamente enumera(le dada una codi%icacin o gAdeli*acin de los mismos. Esa condicin tcnica se requiere ya que si el con)unto de axiomas no es recursivo entonces la teora ni siquiera ser$ decidi(le. 5on esa restriccin @Adel demostr, que si la teora admite un modelo de cierta comple)idad siempre hay una proposicin P verdadera pero no demostra(le. @Adel prue(a que en cualquier sistema %ormal que incluya aritmtica puede generarse una proposicin P mediante la cual se a%irme que este enunciado no es demostrable.

Referencias
1.

C ;e%inicin de axioma en :ymploDe.

Bibliografa

:agan, 5arl !#EEF". El mundo y sus demonios. Garcelona' 9laneta. H:GI JK LJ L7LK8 E.

ost!lado

En los Elementos, Euclides expuso los postulados de la @eometra cl$sica. Un post!lado es una proposicin no evidente por s misma, ni demostrada, pero que se acepta ya que no existe otro principio del que pueda ser deducida.# +gicamente un postulado es similar a un axioma pero di%ere de ellos en que, en un sistema hipottico deductivo, es toda proposicin no deducida de otra, sino que constituye una regla general de pensamiento lgico !en oposicin a los postulados".7 &am(in se denomina post!lado a los principios sustentados por una determinada persona, un grupo o una organi*acin.8 9or e)emplo, en %iloso%a y en psicologa los diversos en%oques o escuelas suelen di%erenciarse en una serie de proposiciones %ilos%icas. A stas se les nom(ra post!lados, como de%iniciones opcionales que delimitan una concepcin de cada disciplina !tipo de mtodo que utili*a, o()etivo de estudio, etctera". As, los puntos de partida de la cognicin, la modi%icacin de conducta y Gestalt acerca de qu son la mente, la personalidad y la conducta son distintos. A partir de estos postulados se desarroll toda la teora. En toda ciencia incluso la Msica, al considerar que existen reglas constantes de%ini(les se suele disponer de puntos de partida %ilos%icos.

ost!lados filosficos
:eg6n Bant los postulados de la ra*n pr$ctica son las proposiciones no demostra(les desde la ra*n terica pero que, si se quiere entender el factum moral, se les ha de admitir. ;ichos postulados seran la li(ertad, la inmortalidad del alma y la existencia de ;ios. El existencialismo es un movimiento %ilos%ico del siglo >>. :u postulado %undamental es que cada ser humano crea el signi%icado y la esencia de su vida. Uno de sus pensadores %undamentales %ue :artre.

ost!lados matemticos
+os postulados son %rmulas espec%icas de una teora que se aceptan solamente por acuerdo. Na*onando acerca de dos estructuras di%erentes, por e)emplo los n6meros naturales y los n6meros enteros, pueden comprender los mismos axiomas. :in em(argo los postulados expresan lo que es esencial de una estructura, o un con)unto de stas. A di%erencia de los axiomas lgicos, los postulados no son tautologas. 5ualquier teora matem$tica moderna se %undamenta en un con)unto de postulados. Aunque se pensa(a que, en principio, toda teora se poda axiomati*ar y %ormuli*ar, posteriormente esto se demostr imposi(le. En matem$tica son cle(res los postulados de Euclides, expuestos en los Elementos, el tratado %undamental de la geometra cl$sica. :iglos despus, cuando se cuestion el quinto postulado de Euclides, surgi la llamada @eometra no euclidiana. Existen otros, como el postulado de Gertrand, re%erente a los n6meros primos, y los postulados de 5auchy, enunciados por el matem$tico Augustin +ouis 5auchy, relativos a vectores.

ost!lados fsicos
En %sica se %ormularon los postulados de 5auchy para la mec$nica de slidos de%orma(les, los dos postulados de la Nelatividad Especial, re%erentes a la teora de la relatividad de Al(ert Einstein, y los seis postulados de la mec$nica cu$ntica !de la axiomati*acin de Oon Ieumann". +os postulados en la ciencia resumen la experiencia disponi(le so(re el concepto en cuestin. Es decir se %undamentan en la realidad y nunca son o han sido %alsos a la lu* de la experiencia existente, la resumen. Al resumir la experiencia, son la (ase del ra*onamiento y deduccin cient%ica con la cual se reali*a su o()eto, es decir la prediccin de lo que pasar$. +a cual nunca %alla, porque si %allara indicara que la experiencia preexistente es %alsa. +o que si sucede con nueva experiencia es que aporta m$s precisin, y que se puedan %ormular predicciones con menor margen de error. Esa es la historia de la ciencia, nuevos mtodos de medida, llevan a m$s precisin y me)ores teoras que corren el error introduciendo m$s decimales en las predicciones.

ost!lados biolgicos
En in%ectologa, epidemiologa y micro(iologa los postulados de Boch, aplicados por el %undador de la (acteriologa, No(ert Boch, sirvieron para esta(lecer la etiologa de la tu(erculosis. 9osteriormente se generali*aron para el resto de las en%ermedades in%ecciosas.

Referencias
1. 2. 3.

C ;e%inicin de postulado en :ymploDe. C ;e%inicin de axioma en :ymploDe. C 9ostulado en el ;NAE.

"eorema

Esta imagen muestra la relacin entre las cadenas de caracteres, las %rmulas (ien %ormadas y los teoremas. En algunos sistemas %ormales, sin em(argo, el con)unto de los teoremas coincide con el de las %rmulas (ien %ormadas. Un teorema es una %rmula (ien %ormada que puede ser demostrada dentro de un sistema %ormal. ;emostrar teoremas es un asunto central en la lgica matem$tica y la matem$tica. +os teoremas tam(in pueden ser expresados en lengua)e natural %ormali*ado. Un teorema generalmente posee un n6mero de premisas que de(en ser enumeradas o aclaradas de antemano. +uego existe una conclusin, una a%irmacin lgica o matem$tica, la cual es verdadera (a)o las condiciones dadas. El contenido in%ormativo del teorema es la relacin que existe entre las hiptesis y la tesis o conclusin. :e llama corolario a una a%irmacin lgica que sea consecuencia inmediata de un teorema, pudiendo ser demostrada usando las propiedades del teorema previamente demostrado.

"eoremas

Un teorema requiere de un marco lgicoP este marco consistir$ en un con)unto de axiomas !sistema axiom$tico" y un proceso de in%erencia, el cual permite derivar teoremas a partir de los axiomas y teoremas que han sido derivados previamente. En lgica proposicional y de primer orden, cualquier a%irmacin demostrada se denomina teorema. =$s concretamente en lgica se llama demostracin a una secuencia %inita de %rmulas (ien %ormadas !%rmulas lgicas (ien %ormadas" F#, ...,Fn, tales que cada Fi es o (ien un axioma o (ien un teorema que se sigue de dos %rmulas anteriores Fj y Fk !tales que j<i y k<i" mediante una regla de deduccin. ;ada una demostracin como la anterior si el elemento %inal Fn no es un axioma entonces es un teorema. Nesumiendo lo anterior puede decirse %ormalmente, un teorema es una %rmula (ien %ormada, que no es un axioma, y que puede ser el elemento %inal de alguna demostracin, es decir, un teorema es una %rmula (ien %ormada para la cual existe una demostracin.

"erminologa en Matemticas
En matem$tica una a%irmacin de(e ser interesante o importante dentro de la comunidad matem$tica para ser considerada un teorema. +as a%irmaciones menos importantes se denominan'

Lema' una a%irmacin que %orma parte de un teorema m$s amplio. El lema de @auss y el lema de Qorn, por e)emplo, son considerados demasiado importantes per se para algunos autores, por lo cual consideran que la denominacin lema no es adecuada. Corolario' una a%irmacin que sigue inmediatamente a un teorema. Una proposicin A es un corolario de una proposicin o teorema si A puede ser deducida sencillamente de . Proposicin' una a%irmacin o resultado no asociado a ning6n teorema en particular.

Una a%irmacin matem$tica que se cree verdadera pero no ha sido demostrada se denomina con)etura o hiptesis. 9or e)emplo' la con)etura de @old(ach o la hiptesis de Niemann.

"eoremas dentro de otras ciencias

5on %recuencia en %sica o economa algunas a%irmaciones importantes que pueden ser deducidas o )usti%icadas a partir de otras a%irmaciones o hiptesis ($sicas se llaman com6nmente teoremas. :in em(argo, %recuentemente las $reas de conocimiento donde aparecen esas a%irmaciones con %recuencia no han sido %ormali*adas adecuadamente en %orma de sistema lgico por lo que estrictamente de(era usarse con cautela el trmino teorema para re%erirse a esas a%irmaciones demostra(les o deduci(les de supuestos m$s ($sicos.

"eoremas c#lebres

Algunos de los teoremas m$s conocidos son'

&eorema de 9it$goras &eorema de Gayes &eorema del (inomio &eorema de muestreo de Iyquist :hannon &eorema de incompletitud de @Adel &eorema del lmite central &eorema de los n6meros primos &eorema de la divergencia &eorema de Gell &eorema de :toDes &eorema de &ales &eorema de los ceros de ?il(ert &eorema de Mro(enius &eorema de 9ierre de Mermat &eorema de =orley

Lgica matemtica
+a lgica matemtica es una parte de la lgica y las matem$ticas, que consiste en el estudio matem$tico de la lgica y en la aplicacin de este estudio a otras $reas de las matem$ticas. +a lgica matem$tica tiene estrechas conexiones con las ciencias de la computacin y la lgica %ilos%ica. +a lgica matem$tica estudia los sistemas %ormales en relacin con el modo en el que codi%ican o de%inen nociones intuitivas de o()etos matem$ticos como con)untos, n6meros, demostraciones y algoritmos, utili*ando un lengua)e %ormal. +a lgica matem$tica suele dividirse en cuatro su(campos' teora de modelos, teora de la demostracin, teora de con)untos y teora de la recursin. +a investigacin en lgica matem$tica ha )ugado un papel %undamental en el estudio de los %undamentos de las matem$ticas. Actualmente se usan indi%erentemente como sinnimos las expresiones' lgica sim(lica !o logstica", lgica matem$tica, lgica teortica y lgica %ormal.# +a lgica matem$tica no es la lgica de las matem$ticas sino la matem$tica de la lgica. Hncluye aquellas partes de la lgica que pueden ser modeladas y estudiadas matem$ticamente.

$istoria
%iglo &'&
9reviamente ya se hicieron algunos intentos de tratar las operaciones lgicas %ormales de una manera sim(lica por parte de algunos %ilso%os matem$ticos como +ei(ni* y +am(ert, pero su la(or permaneci desconocida y aislada. A partir de la segunda mitad del siglo >H>, la lgica sera revolucionada pro%undamente. En #JKF, @eorge Goole pu(lic un (reve tratado titulado El anlisis matemtico de la l!"ica, y en #JRK otro m$s importante titulado #as leyes del pensamiento. +a idea de Goole %ue construir a la lgica como un c$lculo en el que los valores de verdad se representan mediante el L !%alsedad" y el # !verdad", y a los que se les aplican operaciones matem$ticas como la suma y la multiplicacin. Al mismo tiempo, Augustus ;e =organ pu(lica en #JKF su o(ra #!"ica formal, donde introduce las leyes de ;e =organ e intenta generali*ar la nocin de silogismo. <tro importante contri(uyente ingls %ue Sohn Oenn, quien en #JJ# pu(lic su li(ro #!"ica $imb!lica, donde introdu)o los %amosos diagramas de Oenn. 5harles :anders 9eirce y Ernst :chrAder tam(in hicieron importantes contri(uciones. :in em(argo, la verdadera revolucin de la lgica vino de la mano de @ottlo( Mrege, quien %recuentemente es considerado como el lgico m$s importante de la historia, )unto con Aristteles. En su tra(a)o de #JFE, la %oncepto"raf&a, Mrege o%rece por primera ve* un sistema completo de lgica de predicados y c$lculo proposicional. &am(in desarrolla la idea de un lengua)e %ormal y de%ine la nocin de prue(a. Estas ideas constituyeron una (ase terica %undamental para el desarrollo de las computadoras y las ciencias de la computacin, entre otras cosas. 9ese a esto, los contempor$neos de Mrege pasaron por alto sus contri(uciones, pro(a(lemente a causa de la complicada notacin que desarroll el autor. En #JE8 y #EL8, Mrege pu(lica en dos vol6menes #as leyes de la aritm'tica, donde intenta deducir toda la matem$tica a partir de la lgica, en lo que se conoce como el proyecto logicista. :u sistema y su aplicacin a la teora de con)untos, sin em(argo, contena una contradiccin !la parado)a de Nussell". #!"ica matemtica %ue el nom(re dado por @iuseppe 9eano para esta disciplina. En esencia, es la lgica de Aristteles, pero desde el punto de vista de una nueva notacin, m$s a(stracta, tomada del $lge(ra.

%iglo &&
El siglo >> sera uno de enormes desarrollos en lgica. A partir del siglo >>, la lgica pas a estudiarse por su inters intrnseco, y no slo por sus virtudes como propedutica, por lo que estudi a niveles mucho m$s a(stractos. En #E#L, Gertrand Nussell y Al%red Iorth Thitehead pu(lican Principia mat(ematica, un tra(a)o monumental en el que logran gran parte de la matem$tica a partir de la lgica, evitando caer en las parado)as en las que cay Mrege. +os autores reconocen el mrito de Mrege en el pre%acio. En contraste con el tra(a)o de Mrege, Principia

mat(ematica tuvo un xito rotundo, y lleg a considerarse uno de los tra(a)os de no %iccin m$s importantes e in%luyentes de todo el siglo >>. 9rincipia mathematica utili*a una notacin inspirada en la de @iuseppe 9eano, parte de la cual todava es muy utili*ada hoy en da. En #E#7 5. H. +eUis pu(lica %onditionals and t(e Al"ebra of #o"ic, )usto despus de los Principia )at(ematica de Nussell y Thitehead. En #E#J pu(lica A $urvey of $ymbolic #o"ic en donde propone un nuevo condicional m$s adecuado para recoger el signi%icado de la expresin Vsi... entoncesV del lengua)e natural. +eUis lo llama implicacin estricta. El nuevo condicional requiere, para ser verdadero, una relacin m$s %uerte entre el antecedente y el consecuente que el condicional cl$sico. En #E7L ;avid ?il(ert propuso de %orma explcita un proyecto de investigacin !en metamatemtica, como se llam entonces" que aca( siendo conocido como programa de ?il(ert. Wuera que la matem$tica %uese %ormulada so(re unas (ases slidas y completamente lgicas. El origen de los modelos a(stractos de computacin se encuadra en los aXos Y8L !antes de que existieran los ordenadores modernos", en el tra(a)o de los lgicos Alon*o 5hurch, Burt @Adel, :tephen Bleene, Emil +eon 9ost, ?asDell 5urry y Alan &uring. Estos tra(a)os iniciales han tenido una pro%unda in%luencia, tanto en el desarrollo terico como en a(undantes aspectos de la pr$ctica de la computacinP previendo incluso la existencia de ordenadores de propsito general, la posi(ilidad de interpretar programas, la dualidad entre soft*are y (ard*are, y la representacin de lengua)es por estructuras %ormales (asados en reglas de produccin. +a deduccin natural %ue introducida por @erhard @ent*en en su tra(a)o +nvesti"aciones sobre la inferencia l!"ica ,-ntersuc(un"en .ber das lo"isc(e $c(liessen/, pu(licado en #E8K #E8R. En los aXos KL Al%red &arsDi comen* a desarrollar )unto a sus discpulos el $lge(ra relacional, en la que pueden expresarse tanto la teora axiom$tica de con)untos como la aritmtica de 9eano. &am(in desarroll )unto a sus discpulos las $lge(ras cilndricas, que son a la lgica de primer orden lo que el $lge(ra (ooleana a la lgica proposicional. En #EK# pu(lic en ingls uno de los manuales de lgica m$s acreditados, +ntroduction to #o"ic and to t(e )et(odolo"y of 0eductive $ciences. Ioam 5homsDy en #ERZ propone una clasi%icacin )er$rquica de distintos tipos de gram$ticas %ormales que generan lengua)es %ormales llamada )erarqua de 5homsDy. :i (ien a la lu* de los sistemas contempor$neos la lgica aristotlica puede parecer equivocada e incompleta, San [uDasieUic* mostr que, a pesar de sus grandes di%icultades, la lgica aristotlica era consistente, si (ien ha(a que interpretarse como lgica de clases, lo cual no es pequeXa modi%icacin. 9or ello la silogstica pr$cticamente no tiene uso actualmente. Adem$s de la lgica proposicional y la lgica de predicados, el siglo >> vio el desarrollo de muchos otros sistemas lgicosP entre los que destacan las muchas lgicas modales.

(oncepto de lgica matemtica

+a lgica matem$tica estudia los sistemas %ormales en relacin con el modo en el que codi%ican conceptos intuitivos de o()etos matem$ticos como con)untos, n6meros, demostraciones y computacin. +a lgica estudia las reglas de deduccin %ormales, las capacidades expresivas de los di%erentes lengua)es %ormales y las propiedades metalgicas de los mismos. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no v$lido un argumento dado dentro de un determinado sistema %ormal. En un nivel avan*ado, la lgica matem$tica se ocupa de la posi(ilidad de axiomati*ar las teoras matem$ticas, de clasi%icar su capacidad expresiva, y desarrollar mtodos computacionales 6tiles en sistemas %ormales. +a teora de la demostracin y la matem$tica inversa son dos de los ra*onamientos m$s recientes de la lgica matem$tica a(stracta. ;e(e seXalarse que la lgica matem$tica se ocupa de sistemas %ormales que pueden no ser equivalentes en todos sus aspectos, por lo que la lgica matem$tica no es mtodo de descu(rir verdades del mundo %sico real, sino slo una %uente posi(le de modelos lgicos aplica(les a teoras cient%icas, muy especialmente a la matem$tica convencional. +a lgica matem$tica no se encarga por otra parte del concepto de ra*onamiento humano general o del proceso creativo de construccin de demostraciones matem$ticas mediante argumentos rigurosos pero hechas usando lengua)e in%ormal con algunos signos o diagramas, sino slo de demostraciones y ra*onamientos que pueden ser completamente %ormali*ados en todos sus aspectos.

%istemas lgicos
+a lgica matem$tica se interesa por tres tipos de aspectos de los sistemas lgicos'

+a sintaxis de las lengua)es %ormales, es decir, las reglas de %ormacin de sm(olos interpreta(les construidos a partir de un determinado al%a(eto, y las reglas de in%erencia. En concreto el con)unto de teoremas deduci(les de un con)unto de axiomas. +a semntica de las lengua)es %ormales, es decir, los signi%icados atri(ui(les a un con)unto de signos, as como el valor de verdad atri(ui(le a algunas de las proposiciones. En general las expresiones de un sistema %ormal interpretadas en un modelo son ciertas o %alsas, por lo que un con)unto de proposiciones que admite un modelo es siempre consistente. +os aspectos metalgicos de las lenguas %ormales, como por e)emplo la completitud sem$ntica, la consistencia, la compacidad o la existencia de modelos de cierto tipo, etc.

+os di%erentes tipos de sistemas lgicos pueden ser clasi%icados en'

Lgica proposicional )Lgica de orden cero*' En ella existe sm(olos para varia(les proposicionales !que pueden ser interpretados in%ormalmente como enunciados que puden ser ciertos o %alsos" adem$s de sm(olos para diversas conectivas. Estas conectivas permiten %ormar expresiones comple)as a partir de

varia(les proposicionales simples. Un sistema lgico puede incluir diversos tipos de conectivas, entre ellos, la lgica cl$sica suele hacer uso de los siguientes' \ se lee ]no^ se lee ]y^ se lee ]o^ _ se lee ]`implica`^ o ]si,`entonces`,^ a se lee ]`equivalente con`^ o V`si, slo s`V ;entro de la lgica proposicional pueden distinguirse varios tipos, por e)emplo restringiendo las posi(ilidades de interpretacin sem$ntica se o(tiene la lgica intuicionista y ampliando la comple)idad de las interpretaciones sem$nticas se o(tienen las lgicas modales. Lgica de predicados' Esta no incluye sm(olos para varia(les proposicionales sino que las proposciones m$s elementales son predicados atmicos !%ormados a partir de varia(les interpreta(les como o()etos singulares, relaciones !entre estas %recuentemente se usan b , c, d, etc", %unciones matem$ticas. Adem$s sm(olos para representar varia(les, relaciones y %unciones este tipo de lgicas incluyen cuanti%icadores. ;entro de la lgica de precidados se pueden distinguir ciertos tipos' o Lgica de primer orden que usualmente es %initaria !slo se admiten proposiciones %ormadas mediante un n6mero %inito de pasos" aunque tam(in existen lgicas in%initarias.
o

Lgica de seg!ndo orden que a su ve* pueden ser de di%erentes su(tipos.

"eoras axiomticas
Una teora axiom$tica est$ %ormada por un con)unto de proposiciones expresa(les en un determinado lengua)e %ormal y todas las proposiciones deduci(les de dichas expresiones mediante las relgas de in%erencia posi(les en dicho sistema lgico. El o()etivo de las teoras axiom$ticas es construir sistemas lgicos que representen las caractersticas esenciales de ramas enteras de las matem$ticas. :i se selecciona un con)unto m$s amplio o menos amplio de axiomas el con)unto de teoremas deduci(les cam(ian. El inters de la teora de modelos es que en un modelo que satis%agan los axiomas de determinada teora tam(in se satis%acen los teoremas deduci(les de dicha teora. Es decir, si un teorema es deduci(le en una cierta teora, entonces ese teorema es universalmente v$lido en todos los modelos que satis%acen los axiomas. Esto es interesante porque en principio la clase de modelos que satis%ace una cierta teora es di%cil de conocer, ya que las teoras matem$ticas interesantes en general admiten toda clase in%inita de modelos no isomor%os, por lo que su clasi%icacin en general resulta di%cilmente a(orda(le sin no existe un sistema lgico y un con)unto de axiomas que caracterice los di%erentes tipos de modelos.

+reas
+a )at(ematics $ubject %lassification divide la lgica matem$tica en las siguientes $reas'

Milos%ica y crtica +gica general !que incluye campos como la lgica modal y la lgica (orrosa" &eora de modelos &eora de la computa(ilidad &eora de con)untos &eora de la demostracin y matem$tica constructiva alge(raicaee =odelos no est$ndar

En algunos casos hay con)uncin de intereses con la Hn%orm$tica terica, pues muchos pioneros de la in%orm$tica, como Alan &uring, %ueron matem$ticos y lgicos. As, el estudio de la sem$ntica de los lengua)es de programacin procede de la teora de modelos, as como tam(in la veri%icacin de programas, y el caso particular de la tcnica del model checDing. &am(in el isomor%ismo de 5hurry ?oUard entre prue(as y programas se corresponde con la teora de prue(as, donde la lgica intuicionista y la lgica lineal son especialmente signi%icativas. Algunos sistemas lgicos como el c$lculo lam(da, y la lgica com(inatoria entre otras han devenido, incluso, autnticos lengua)es de programacin, creando nuevos paradigmas como son la programacin %uncional y la programacin lgica.

"ipos de sistemas lgicos

Lgica proposicional
+a lgica proposicional !o lgica de orden cero" es un lengua)e %ormal en el que no existen varia(les ni cuanti%icacin, eso implica que cualquier secuencia de signos que constituya una %rmula (ien %ormada de la lgica proposicional admite una valoracin en la proposicin es cierta o %alsa dependiendo del valor de verdad asignado a las proposiciones que la compongan. En otras pala(ras en la lgica proposicional cualquier %rmula (ien %ormada de%ine una %uncin proposicional. 9or tanto, cualquier sistema lgico (asado en la lgica proposicional es decidi(le y en un n6mero %inito de pasos puede determinarse la verdad o %alsedad sem$ntica de una proposicin. Esto hace que la lgica proposicional sea completa y muy sencilla de caracteri*ar sem$nticamente.

Lgica de predicados
+a lgica de predicados !o lgica de primer orden" es un lengua)e %ormal en el que las sentencias (ien %ormadas son producidas por las reglas enunciadas a continuacin. Ooca(ulario Un vocabulario es una tupla' consta de' que

smbolos relacionales , cada uno de ellos con un n6mero entero el cual se conoce como la aridad de smbolos f!ncionales , cada uno de aridad smbolos constantes

asociado,

Una frm!la de primer orden en el voca(ulario , es una %rmula de primer orden donde los 6nicos predicados, %unciones y constantes empleados son los especi%icados por .

Leng!ajes , estr!ct!ras de primer orden

Un lengua)e de primer orden sigue' El smbolo de ig!aldad par#ntesis , .

es una coleccin de distintos sm(olos clasi%icados como , P el c!antificador !niversal y el

P las conectivas

Un con)unto conta(le de smbolos de variable Un con)unto de smbolos de constante Un con)unto de smbolos de f!ncin Un con)unto de smbolos de relacin . .

. .

As, para especi%icar un orden, generalmente slo hace %alta especi%icar la coleccin de sm(olos constantes, sm(olos de %uncin y sm(olos relacionales, dado que el primer con)unto de sm(olos es est$ndar. +os parntesis tienen como 6nico propsito de agrupar sm(olos y no %orman parte de la estructura de las %unciones y relaciones. +os sm(olos carecen de signi%icado por s solos. :in em(argo, a este lengua)e podemos dotarlo de una sem$ntica apropiada. Una estr!ct!ra so(re el lengua)e , el universo del discurso, )unto a' , es una tupla consistente en un con)unto no vaco

#. 9ara cada sm(olo constante de , tenemos un elemento 7. 9ara cada sm(olo de %unction aria de , una %unction . 8. 9ara cada sm(olo de relacin es, un su(con)unto . aria de , una relacin

. aria

aria so(re

, esto

A menudo, usaremos la pala(ra modelo para denotar esta estructura.

Aspectos metalgicos , algortimicos

Metalgica
+eopold +AUenheim !#E#R" y &horal% :Dolem !#E7L" %ormularon el llamado teorema de +AUenheim :Dolem, que a%irma que cualquier sistema axiom$tico (asado en la lgica de primer orden no puede controlar la cardinalidad de la estructuras no %initas que satis%acen los axiomas de dicho sistema. :Dolem comprendi que este teorema podra aplicarse para las %ormali*aciones de primer orden de la teora de con)untos, siendo dicha %ormali*acin numera(le, existira un modelo numera(le para dicha teora aun cuando la teora a%irma que existen con)untos no conta(les. Este resultado contraintuitivo es la conocida parado)a de :Dolem. En su tesis doctoral, Burt @Adel !#E7E" demostr el teorema de completitud de @Adel, que esta(lece una correspondencia entre la sintaxis y la sem$ntica de la lgica de primer orden. @Adel us dicho teorema de completitud para pro(ar el llamado teorema de compacidad, demonstrando la naturale*a %intiaria del operador de consecuencia lgica. Estos resultados ayudaron a esta(lecer a la lgica de primer orden como el tipo de lgica dominante en las matem$ticas actual. En #E8#, @Adel pu(lic 1n Formally -ndecidable Propositions of Principia )at(ematica and 2elated $ystems, que demostra(a la incompletitud !en un sentido di%erente del trmino" de cualquier sistema axiom$tico su%icientemente expresivo, cuyo sistema de axiomas %uera recursivamente enumera(le. Este tipo de resultados, conocidos como teorema de incompletitud de @Adel, implica que los sistemas axiom$ticos de primer orden tienen severas limitaciones para %undamentar las matem$ticas, y supusieron un duro golpe para el llamado programa de ?il(ert para la %undamentacin de las matem$ticas. Uno de los resultados de @Adel esta(leci que es imposi(le que pueda %ormali*arse la consistencia de la aritmtica en una teora %ormal en la que se pueda %ormali*ar la propia aritmtica. 9or otra parte, durante alg6n tiempo ni ?il(ert ni otros de sus cola(oradores %ueron conscientes de la importancia del tra(a)o de @Adel para su pretensin de %undamentar las matem$ticas mediante el citado Vprograma de ?il(ertV.

"eora de modelos
+a teora de modelos introducida anteriormente permite atri(uir una interpretacin sem$ntica a las expresiones purmente %ormales de los lengua)es %ormales. 9ero adem$s, permiten estudiar en s mismos los con)untos de axiomas, su completitud, su consistencia, la independencia de unos de otros y permiten introducir un importante n6mero de cuestiones metalgicas.

"eora de la comp!tabilidad
Artculos principales' 3eor&a de la computabilidad y 2ecursividad.

+a &eora de la computa(ilidad es la parte de la &eora de la computacin que estudia los pro(lemas de decisin que pueden ser resueltos con un algoritmo o equivalentemente con una m$quina de &uring.

"eora de la demostracin

+a teora de la demostracin es la rama de la lgica matem$tica que trata a las demostraciones como o()etos matem$ticos, %acilitando su an$lisis mediante tcnicas matem$ticas. +as demostraciones suelen presentarse como estructuras de datos inductivamente de%inidas que se construyen de acuerdo con los axiomas y reglas de in%erencia de los sistemas lgicos. En este sentido, la teora de la demostracin se ocupa de la sintaxis, en contraste con la teora de modelos, que trata con la sem$ntica. Sunto con la teora de modelos, la teora de con)untos axiom$tica y la teora de la recursin, la teora de la demostracin es uno de los Vcuatro pilaresV de los %undamentos de las matem$ticas.

Referencias
1.

C Evandro Aga**i, #EJZ.

Bibliografa adicional

Aga**i, Evandro !#EJZ". #!"ica simb!lica. ?erder. H:GI EFJJK7RKL#8LR.

-ilosofa analtica
-ilosofa analtica es un trmino genrico para un estilo de %iloso%a que comen* a dominar a los pases de lengua inglesa en el siglo >>. En los Estados Unidos, el Neino Unido, 5anad$, Escandinavia, Australia y Iueva Qelanda, la gran mayora de los departamentos de %iloso%a de las universidades se identi%ican a s mismos como departamentos ]analticos^.# El trmino ]%iloso%a analtica^ puede re%erirse a' !a" Una tradicin de hacer %iloso%a7 8 caracteri*ada por un n%asis en la claridad y la argumentacin, com6nmente alcan*adas a travs de la lgica %ormal y el an$lisis del lengua)e, y por un gran respeto por las ciencias naturales.K R !(" Algunos desarrollos en la %iloso%a de inicios del siglo >>, tales como el tra(a)o de Gertrand Nussell y @ottlo( Mrege, y el positivismo lgico. En este sentido, la %iloso%a analtica tiene compromisos %ilos%icos espec%icos !algunos recha*ados por %ilso%os analticos contempor$neos", en concreto'Z

La visin del positivista que considera que no hay verdades especficamente filosficas y que el o !eto de la filosofa es la clarificacin l"ica de los pensamientos. #$sto se puede contrastar con el fundacionismo tradicional% derivado de Aristteles% que mira a la filosofa como un tipo especial de ciencia% la m&s alta% que investi"a las ra'ones fundamentales y los principios de todo. ( )omo resultado% muchos filsofos analticos han considerado a sus investi"aciones como continuas con% o su ordinadas a% las de las ciencias naturales.* La visin de que la aclaracin l"ica de los pensamientos slo puede ser alcan'ada a trav+s del an&lisis de la forma l"ica de proposiciones

filosficas., La forma l"ica de una proposicin es una forma de representarla #normalmente usando la "ram&tica formal y el sim olismo de un sistema l"ico- para mostrar su similaridad con todas las otras proposiciones del mismo tipo. .in em ar"o% los filsofos analticos disienten ampliamente so re cu&l es la forma l"ica correcta del len"ua!e ordinario. 1/

$l recha'o de sistemas filosficos omnia arcantes en favor de la atencin a los detalles%11 el sentido com0n y el len"ua!e ordinario. 12

El movimiento analtico. 1/00 1 1/20

El =ovimiento analtico lo inicia en Hnglaterra @. E. =<<NE #JF8 #ERJ" con su o(ra Ne%utacin del idealismo, de #EL8, que contP con el apoyo de G. NU::E++, compaXero y amigo en la universidad de 5am(ridge. Am(os recuperan la tradicin empirista propia de la %ilo so%a inglesa, en particular la de ;. ?U=E con su atomismo de los ele\mentos del conocimiento. En contra del Hdealismo, los %ilso%os analticos comparten el Hdealismo derivado del sentido com6n que, mediante una actitud empirista y el recurso al mtodo analtico, tendra el lengua)e como o()eto propio de la %iloso%a. Esta concepcin de la %iloso%a da lugar a varias corrientes de pensamiento'

$n primer lu"ar se1alaremos al Atomismo l"ico. As% 2. $. 3445$ anali'a el len"ua!e com0n u ordinario y 6. 57..$LL anali'a el len"ua!e ideal o formal. 6. 57..$LL entendi que el len"ua!e l"ico8 formal es capa' de enfrentarse de forma m&s adecuada y efica' que el len"ua!e ordinario% a la comprensin de los hechos que acaecen en el mundo y% por tanto% puede sa8tisfacer me!or las aspiraciones co"noscitivas de la filosofa. 9or otra parte% L. :l;;2$<.;$=< #1**,81,>1- estudi en )am rid"e con los dos maestros anteriores y% como resultado de sus ense1an'as% escri i el ;ractatus Lo"ico89hilosophicus% en el que afirma que el o !eto de la filosofa se reduce a la aclaracin l"ica del pensamiento. ?e re"reso a @iena entr en conAtacto con 3. .)BL=)C% promotor del )rculo de @iena e impulsor del <eopositivismo% que aplica el an&lisis al len"ua!e cientfico. A partir de 1,2,% el mismo httpDEEes.FiGipedia.or"EFiGiELudFi"H:itt"enstein inici una nueva etapaD revis sus teoras y escri i =nvesti"aciones filosficas% con nuevas perspectivas para el an&lisis del len"ua!e y para la concepcin de la filosofa. $stas nuevas ideas tuvieron conti8nuidad en sus discpulos de las universidades de 4xford y )am rid"e% iniciadores de la Iilosofa analtica% corriente que desarrolla el an&lisis del len"ua!e ordinario. #Andrea Jimene'-

Los orgenes: Frege

Al inicio de su carrera, Nussell y su cola(orador Al%red Iorth Thitehead, estuvo %uertemente in%luenciado por @ottlo( Mrege, quien desarroll el c$lculo de predicados. Esto permiti que se pudiera anali*ar la %orma lgica de un gran rango de oraciones, muchas m$s de las que permita la lgica aristotlica. Mrege %ue una %igura clave tam(in para la %iloso%a de las matem$ticas. En contraste con la ]Miloso%a de la

Aritmtica^ de ?usserl, que intenta(a mostrar que el concepto de n6mero cardinal se deriva de actos mentales de agrupar o()etos y contarlos,#8 Mrege (usc mostrar que las matem$ticas y la lgica tenan una valide* propia, independiente de los )uicios o estados mentales de matem$ticos y lgicos individuales !)usto lo que propona el psicologismo de ?usserl". En su o(ra cum(re, la f5onceptogra%ag, Mrege construye la lgica moderna a travs de un c$lculo de proposiciones y de predicados. Mrege desarroll su %iloso%a de la lgica y de las matem$ticas, so(re todo la nocin lgica de n6mero, en fMundamentos de la aritmticag !#JJK" y f+eyes de la aritmticag !#JE8 h #ELK". Entre la pu(licacin de am(as o(ras, Mrege desarroll a pro%undidad los conceptos sem$nticos de sentido y re%erencia, as como los lgicos de %uncin, concepto y o()eto.#K Gertrand Nussell y Al%red Iorth Thitehead desarrollaron el logicismo %allido de Mrege e intentaron mostrar a su ve* que las matem$ticas son reduci(les a principios lgicos %undamentales. +os ]9rincipia =athematica^ !#E#L #E#8" alentaron a varios %ilso%os a tomar un renovado inters en el desarrollo de la lgica sim(lica. Adem$s, Nussell adopt la lgica como su herramienta %ilos%ica primaria, una herramienta que pens poda exponer la estructura su(yacente de diversos pro(lemas %ilos%icos. 9or e)emplo, las siguientes tres oraciones, aunque similares en espaXol, tiene tres di%erentes signi%icados en la lgica de predicados'#R

en Kel "ato Lest&M dormidoND el Lest&M de predicacin dice que Kx es 9KD 9#xen Kah LhayM un "atoMND el hay de existencia dice que hay una xD O#xen Ktres LesM la mitad de seisND el LesM de identidad dice que x es lo mismo que yD xPy

Nussell (usc resolver varios pro(lemas %ilos%icos aplicando distinciones claras como las anteriores. :u an$lisis m$s %amoso qui*$ sea el de las descripciones de%inidas en ]:o(re la denotacin^.#Z
Anlisis de un lenguaje ideal

=$s o menos de #E#L a #E8L, %ilso%os analticos como Nussell y +udUig Tittgenstein se en%ocaron a crear un lengua)e ideal para el an$lisis %ilos%ico que estara li(re de las am(igiedades del lengua)e ordinario que, seg6n su visin, usualmente meta en pro(lemas a los %ilso%os. En esta %ase, Nussell y Tittgenstein (uscaron comprender el lengua)e, y por tanto los pro(lemas %ilos%icos, haciendo uso de la lgica %ormal para %ormali*ar las a%irmaciones %ilos%icas. Tittgenstein desarroll un sistema comprehensivo de atomismo lgico en su ]&ractatus logico philosophicus^. Ah argument, de modo (astante crptico a lo largo de varias sentencias, que el mundo es la totalidad de los hechos, y los hechos pueden ser expresados en el lengua)e de lgica de predicados de primer orden. As, el lengua)e es una ]%igura^ del mundo que se puede construir expresando hechos atmicos en proposiciones atmicas lig$ndolas usando operadores lgicos.
Positivismo lgico

Entre las dcadas de #E7L y #EKL, el %ormalismo de Nussell en los ]9rincipia =athematica^ y Tittgenstein en el ]&ractatus logico philosophicus %ue tomado muy en serio por un grupo de pensadores en Oiena y Gerln, quienes con%ormaron el 5rculo de Oiena y el 5rculo de Gerln. :u doctrina se conoce como positivismo lgico !o

empirismo lgico". El positivismo lgico usa herramientas lgicas %ormales para sostener una explicacin empirista de nuestro conocimiento del mundo.#F Milso%os como Nudol% 5arnap y ?ans Neichen(ach, )unto con otros miem(ros del 5rculo de Oiena sostenan que las verdades de la lgica y las matem$ticas eran tautologas y las de la ciencia eran aseveracin empricamente veri%ica(les. Estas dos constituan el universo entero de )uicios con signi%icadoP cualquier otra cosa era un sinsentido. +as aseveraciones de la tica, la esttica y la teologa seran, de acuerdo con esto, pseudo a%irmaciones, ni verdaderas ni %alsas, sino puro sinsentido carente de signi%icado. +a insistencia de Barl 9opper en el rol de la %alsacin en %iloso%a de la ciencia constituy una reaccin a los positivistas lgicos.#J 5on la llegada al poder de ?itler y el Ia*ismo en Alemania y Austria, muchos miem(ros de los crculos de Oiena y Gerln se vieron o(ligados a huir, de(ido a sus simpatas de i*quierdas y el origen )udo de algunos de ellos. :e re%ugiaron so(re todo en el Neino Unido y en Estados Unidos, lo que ayud a re%or*ar el dominio del positivismo lgico y de la %iloso%a analtica en el mundo angloparlante.#E +os positivistas lgicos tpicamente consideraron que la %iloso%a tena un rol (astante estrecho. +a %iloso%a tendra que ver con la clari%icacin del pensamiento, m$s que con contenidos concretos propios. +os positivistas lgicos adoptaron el principio de veri%icacin o veri%icacionismo, seg6n el cual toda asercin con signi%icado o (ien es una proposicin analtica o (ien es suscepti(le de ser veri%icada a travs de la experiencia. Esto condu)o a los positivistas lgicos a recha*ar muchos pro(lemas %ilos%icos tradicionales, especialmente los de meta%sica u ontologa, por considerarlos carentes de signi%icado.
Anlisis del lenguaje ordinario

;espus de la :egunda @uerra =undial hacia %inales de la dcada de los cuarenta y durante la dcada de los cincuenta, la %iloso%a analtica dio un giro hacia el an$lisis del lengua)e ordinario. Este movimiento tuvo lugar en el auge de la %iloso%a tarda del en ocasiones llamado ]segundo^ Tittgenstein, misma que se distancia en algunos puntos centrales de su primera %iloso%a. En contraste con %ilso%os analticos anteriores !incluido el primer Tittgenstein", quienes pensa(an que los %ilso%os de(an evitar las engaXosas trampas del lengua)e natural construyendo lengua)es ideales, los %ilso%os del lengua)e ordinario sostuvieron que el lengua)e natural de hecho re%le)a un gran n6mero de distinciones sutiles que suelen pasar inadvertidas en la %ormulacin de teoras y pro(lemas %ilos%icos tradicionales. =ientras escuelas como el positivismo lgico se centra(an en trminos lgicos, supuestamente universales e independientes de %actores contingentes como la cultura, el lengua)e, las condiciones histricas, etc., la %iloso%a del lengua)e ordinario en%ati*a el uso del lengua)e que hacen los usuarios ordinarios. Esto, claro, acerca un poco m$s a la %iloso%a del lengua)e ordinario a disciplinas como la historia y la sociologa. +os %ilso%os del lengua)e ordinario m$s prominentes durante los aXos cincuenta %ueron Austin y Nyle, adem$s del propio Tittgenstein. Ga)o su visin, los pro(lemas %ilos%icos se disuelven, que no resuelven, mostrando que son resultado de malinterpretar el lengua)e ordinario. El e)emplo de Nyle del VMantasma en la =$quinaV y un sin%n a cargo de Tittgenstein, entre otros.
Despus de 196

A principios de la dcada de los cincuenta, el positivismo lgico ha(a sido %uertemente desa%iado por Tittgenstein en las ]Hnvestigaciones %ilos%icas^, Wuine en ];os dogmas del empirismo^ y por Til%rid :ellars en ]El empirismo y la %iloso%a de la mente^. En

los sesenta, tanto el positivismo lgico como la %iloso%a del lengua)e ordinario pasaron r$pidamente de moda y la %iloso%a en lengua inglesa comen* a incorporar un mayor rango de intereses, temas y mtodos.jcita requeridae Io o(stante, hoy da la mayora de los %ilso%os de Estados Unidos, Neino Unido y Australia se consideran a s mismos ]%ilso%os analticos^.7L En gran medida la nocin de ]%iloso%a analtica^ se extendi desde de los programas espec%icos que dominaron la %iloso%a angl%ona antes de #EZL a una nocin mucho m$s general de ]estilo analtico^, caracteri*ado por la precisin y pro%undidad con respecto a un tema limitado y en oposicin a ]discusiones imprecisas y arrogantes so(re temas muy amplios^.7# Esta interpretacin de la historia est$ muy le)os de ser universalmente aceptada, y los oponentes de la %iloso%a analtica restan mucha importancia al rol de Tittgenstein durante los sesenta y setenta. 9eter ?acDer,77 representa la visin de los seguidores de Tittgenstein cuando critica que mucha de la %iloso%a contempor$nea que se dice a s misma analtica realmente no merece el ttulo. ;e acuerdo con l, a mitad de la dcada de los setenta, en parte por ra*ones econmicas, el centro de gravedad de la %iloso%a se traslad de @ran GretaXa a los Estados Unidos, donde la in%luencia de Tittgenstein nunca %ue de%initiva. Aqu, (a)o la in%luencia del creciente prestigio de ciertos desarrollos cient%icos y tecnolgicos como las in%orm$tica, la neuro%isiologa y la lingistica chomsDyiana, los argumentos Uittgensteinianos %ueron relegados a un segundo trmino o descartados por completo. ]+o que desde la perspectiva de Tittgenstein eran en%ermedades del intelecto, muchas a las que sucum(i en su )uventud y en las que tra(a) largo tiempo para extirparlas, surgieron nuevamente en %ormas violentamente mutadas^. !?acDer, p. 7F7"

-ilosofa analtica contempornea

Aunque los %ilso%os contempor$neas que se identi%ican a s mismos como ]analticos^ tienen intereses, presunciones y mtodos divergentes ky en ocasiones han recha*ado las premisas %undamentales que de%inieron al movimiento antes de #EZL la %iloso%a analtica, en su estado actual, se de%ine por un estilo particular78 caracteri*ado por la precisin y la pro%undidad so(re temas muy espec%icos.7# Algunos de los campos m$s importantes y activos de la %iloso%a analtica contempor$nea se resumen en las siguientes secciones'

-ilosofa de la mente , ciencias cognitivas

=otivado en parte por el inters en el veri%icacionismo de los positivistas lgicos, el conductismo %ue la teora de la mente m$s prominente en la %iloso%a analtica de la primera mitad del siglo >>.7K +os conductistas sostenan o (ien que toda proposicin so(re la mente era equivalente a proposiciones so(re conducta y disposiciones para actuar de modo particular o (ien que los estados mentales eran equivalentes a conducta y disposiciones para actuar. En la dcada de los cincuenta, el conductismo cedi posiciones a %avor del %isicalismo de tipos o teora de la identidad y en los sesenta por el %uncionalismo y la teora de la identidad de casos !en oposicin a la de tipos", so(re todo en la versin de ;onald ;avidson y su monismo anmalo.7R Actualmente los temas de %iloso%a de la mente se encuentran estrechamente vinculados con di%erentes aspectos de las ciencias cognitivas como la modularidad de la mente o el innatismo. &am(in ha ha(ido unos cuantos %ilso%os analticos que han de%endido el dualismo, la importancia de la conciencia y el dualismo de propiedades, en (uena medida alentados por ;avid 5halmers. Sohn :earle sugiere que la o(sesin con la %iloso%a del lengua)e en la primera mitad del siglo >> %ue superada en la segunda mitad por un mayor n%asis en la

%iloso%a de la mente,7Z en la cual el %uncionalismo pro(a(lemente sea la teora dominante. En aXos recientes, un tema central de investigacin en %iloso%a de la mente ha sido la conciencia. +as teoras m$s conocidas so(re la conciencia son la hetero%enomenloga de ;aniel ;ennettP el representacionismo de Mred ;retsDe y =ichael &yeP las teoras de segundo orden de ;avid =. Nosenthal, ;avid Armstrong y Tilliam +ycanP el tomismo analtico de Anthony Benny, adem$s de la propia o(ra de Sohn :earle.

3tica
+a primera mitad del siglo >> estuvo marcada por una negligencia generali*ada de la tica %ilos%ica y la popularidad de actitudes escpticas con respecto al valor !v.gr. el emotivismo". ;urante este tiempo, el utilitarismo era la 6nica aproximacin no escptica a la tica que sigui siendo popular. :in em(argo, en la segunda mitad del siglo >>, varios %ilso%os analticos comen*aron a reco(rar el inters en la tica. El li(ro ]Miloso%a moral moderna^ de #ERJ de Eli*a(eth Anscom(e revivi la tica de virtudes de Aristteles y ]Una teora de la )usticia^ de #EF# de Sohn NaUls resta(leci el inters en la %iloso%a tica Dantiana. Actualmente, la %iloso%a tica se halla dominada por tres escuelas' el utilitarismo, la tica de virtudes y el Dantismo. <tro desarrollo importante en la segunda mitad del siglo >> !c. #EFL" ha sido la gran preocupacin de la %iloso%a tica contempor$nea con las aplicaciones pr$cticas de la tica, en especial en relacin con asuntos del medio am(iente, derechos de los animales y los grande retos de la ciencia mdica a travs de la (iotica.7F 7J 7E 5omo un e%ecto colateral del n%asis en la lgica y el lengua)e en los aXos iniciales de la %iloso%a analtica, los %ilso%os analticos tenan poco que decir so(re la tica.8L +a actitud estuvo (astante di%undida y se orienta(a m$s a explicar por qu la %iloso%a tena poco o nada que decir al respecto. Tittgenstein, en el ]&ractatus^, o(serva que los valores no pueden ser parte del mundo, y si en realidad son algo de(en estar de alguna manera m$s all$ o %uera del mundo y por lo tanto del lengua)e natural, que sirve para descri(ir los hechos del mundo, y no puede pronunciarse en a(soluto so(re su valor. Una interpretacin de estas o(servaciones encontr eco en la doctrina de los positivistas lgicos de que las oraciones de valor k incluyendo todos los )uicios ticos y estticos no son en realidad proposiciones, es decir, no pueden ser ni verdaderas ni %alsas. 5uando mucho podan expresar la actitud personal de un su)eto. +a %iloso%a poltica y social, la tica y la esttica, as como materias especiali*adas como la %iloso%a de la historia %ueron marginales en la %iloso%a analtica por mucho tiempo. 9ara los aXos cincuenta, los ataques de 9hillipa Moot a esta posicin contri(uyeron al colapso del positivismo lgico y comen* un renovado inters en la tica. Moot promocion mucho el estudio de la tica de virtudes, en oposicin al utilitarismo y la deontologa de corte Dantiano que so(revivan en la poca. En trminos de %iloso%a de la accin la monogra%a m$s importante qui*$ sea ]Hntencin^ de Eli*a(eth Anscom(e, a la cual ;onald ;avidson denomin como ]el tratamiento m$s importante de la accin desde Aristteles^, y es normalmente considerada como una o(ra maestra de la psicologa moral. En su artculo de #ERJ, ]Miloso%a moral moderna^ introdu)o el trmino ]consecuencialismo^ al lxico %ilos%ico y declar que el impasse de la pregunta ]ser de(er ser^ era un calle)n sin salida y condu)o a revivir la tica de virtudes.

-ilosofa de la religin

5omo con el estudio de la tica, la %iloso%a analtica temprana tendi a evitar el estudio de la %iloso%a de la religin, en gran parte recha*ando el tema como parte de la meta%sica y algo sin sentido. &am(in en la segunda mitad del siglo >> comen* a ha(er un renovado inters en la %iloso%a de la religin, con destacados %ilso%os como Tilliam Alston, S. +. =acDie, Alvin 9lantinga, &im <g5onnor, Antony MleU y Nichard :Uin(urne. 9lantinga, =acDie y MleU han de(atido so(re la valide* lgica de de%ensa del li(re al(edro como solucin del pro(lema del mal.8# Alston, en conexin con la %iloso%a del lengua)e, tra(a) en la naturale*a del lengua)e religioso.

-ilosofa poltica
+a %iloso%a poltica analtica contempor$nea le de(e mucho a Sohn NaUls, quien en dos textos de los cincuenta' el artculo ];os conceptos de reglas^ y el li(ro 4usticia como equidad, y luego en su cl$sico li(ro de #EF# -na teor&a de la justicia, produ)o una de%ensa so%isticada y re%inadamente argumentada del li(eralismo en poltica por la va contractualista. :igui de cerca de NaUls el li(ro de No(ert Io*icD Anarqu&a5 Estado y -top&a, una de%ensa del li(eralismo de li(re mercado. A la par, Hsaiah Gerlin, igualmente, ha tenido una gran in%luencia tanto en la %iloso%a poltica analtica como en el li(eralismo, principalmente a travs de su con%erencia que luego sera editada (a)o el nom(re 0os conceptos de libertad. En dcadas recientes ha ha(ido muchas crticas al li(eralismo, incluyendo el %eminismo de 5atherine =acBinnon, el comunitarismo de =ichael :andel y de Alasdair =acHntyre, y el multiculturalismo de 5harles &aylor. Aunque no se trata propiamente de un %ilso%o analtico, Sirgen ?a(ermas es otra importante %igura en la %iloso%a poltica contempor$nea y ha reci(ido (astante atencin por parte de la %iloso%a poltica analtica.
!omunitarismo

5omunitaristas como Alasdair =acHntyre, =ichael :andel y 5harles &aylor ponen en entredicho la presuncin li(eral de que el individuo puede verse como completamente autnomo de la comunidad en la que vive y crece. En cam(io, ellos pugnan por una concepcin del individuo que en%ati*a el rol que )uega la comunidad al %or)ar sus valores, pensamientos, cosmovisiones y opiniones.

4otas , referencias
1. Q 6rain Leiter% por e!emplo% en el 9hilosophical 2ourmet R1S% diceD LT;odasT las universidades de la =vy Lea"ue% LtodosM los campus de la 7niversidad de )alifornia% casi todos los me!ores cole"ios de artes li erales y casi todos los campus insi"nia de universidades estatales alardean so re sus departamentos de filosofa que se auto8 identifican La rumadoramenteM como LanalticosMD es difcil ima"inar un LmovimientoM que sea m&s acad+mica y profesionalmente esta lecido que el de la filosofa analticaM. @er tam i+n la opinin de John .earle #en 6unnin U ;sui8James #eds.-% The Blackwell Companion to Philosophy #6lacGFell% 2//3-% p. 1-D T.in excepcin al"una% los me!ores departamentos de filosofa en los $stados 7nidos est&n dominados por la filosofa analtica% y entre los filsofos lderes en $stados 7nidos% todos excepto un pu1ado seran clasificados como filsofos analticosM.

2.

Q @er% v."r.% Avrum .troll% LLa filosofa analtica del si"lo VVM .i"lo VV=% 2///-D TR$Ss difcil dar una definicin precisa de Wfilosofa analtica ya que no es una doctrina especfica sino una d+ il concatenacin de aproximaciones a pro lemasM. L9ienso que .lu"a tiene ra'n al decir que Wtal ve' no haya esperan'a en tratar de determinar la esencia de la filosofa analticaN. 9r&cticamente todas las definiciones propuestas han sido cuestionadas por al"0n acad+mico. RXS .e trata de un concepto con parecido de familiaM. Q @er Bans8Johann 2locG% What Is Analytic Philosophy #)am rid"e 7niversity 9ress% 2//*-% p. 2/>D TLa respuesta a la pre"unta del ttulo es% entonces% que la filosofa analtica es una tradicin que se mantiene unida tanto por la'os de influencia mutua como por parecidos de familiaM. Q B. 2locG% T:as :itt"enstein an Analytic 9hilosopherZT% Metaphilosophy% 3>DY #2//Y-% pp. Y1,8YYY. Q )olin 3c2inn% The Making of a Philosopher: My Journey through Twentieth-Century Philosophy #Barper)ollins% 2//2-% p. xi.D Tla filosofa analtica ResS una etiqueta demasiado estrecha% pues por lo "eneral no es una cuestin de tomar una pala ra o concepto y anali'arlo #lo que sea que esto sea-. RXS $sta tradicin enfati'a la claridad% el ri"or% la ar"umentacin% la teora% la verdad. <o es una tradicin que apunte primordialmente a la inspiracin o la consolacin o a la ideolo"a. <i tampoco est& particularmente preocupada por la Wfilosofa de vidaN% aunque al"unas partes de ella s lo est&n. $ste tipo de filosofa es m&s como una ciencia que como una reli"ion% m&s como las matem&ticas que como la poesa [ aunque no es ni ciencia ni matem&ticasM. Q Las tres caractersticas se pueden encontrar en un p&rrafo de 6ertrand 5ussellD T$l empirismo analtico moderno RXS difiere del de LocGe% 6erGeley y Bume por la incorporacin de matem&ticas y el desarrollo de una poderosa t+cnica l"ica. $sto le permite% con relacin a ciertos pro lemas% adquirir respuestas definitivas que tienen la calidad de la ciencia m&s que la de la filosofa. ;iene la venta!a% comparada con las filosofas de los constructores de sistemas% de ser capa' de enfrentar sus pro lemas uno a la ve'% en lu"ar de tener que inventar de un pluma'o una teora para todo el universo. .us m+todos% en este sentido% se parecen a los de la ciencia. <o dudo que% en la medida en que el conocimiento filosfico es posi le% es a trav+s de dichos m+todos que de e ser perse"uido. ;ampoco ten"o duda de que a trav+s de estos m+todos% muchos pro lemas anti"uos son completamente resolu lesM. LBistoria de la filosofa occidentalM #1,Y>Q @er Aristteles% 3etafsica #Li ro ==% ,,3a-% Cenny #1,(3-% p. 23/. Q $sta actitud se remonta a LocGe% quien descri i su tra a!o como de Lmano de o raM para los lo"ros de cientficos como <eFton. $n el si"lo VV% el defensor m&s influyente de la continuidad de la filosofa con la ciencia fue ]uineD ver% v."r.% sus artculos L?os do"mas del empirismoM y L$pistemolo"a <aturali'adaM.

3.

Y. >.

\.

(. *.

,.

Q A.9. 3artinich% LintroduccinM% en 3artinich U ?. .osa #eds.-% LA )ompanion to Analytic 9hilosophyM #6lacGFell% 2//1-% p. 1D L9ara usar un nom re "eneral para el tipo de filosofa analtica practicada durante la primera mitad del si"lo VV% RXS el Wan&lisis conceptualN apunta a descomponer conceptos comple!os en sus componentes m&s simplesM. Q :itt"enstein% ;ractatus% Y.111 Q .cott .oames% L9hilosophical Analysis in the ;Fentieth )enturyM :ol. 1 #9rinceton 79% 2//3-% p. xvD LBay% me parece% una presuncin extendida dentro de la tradicin de que es posi le hacer pro"reso filosfico investi"ando intensamente un peque1o y circunscrito ran"o de cuestiones filosficas al mismo tiempo que manteniendo pre"untas m&s amplias y sistem&ticas en suspenso. Lo que distin"ue la filosofa analtica del si"lo VV de por lo menos al"unas filosofas de otras tradiciones% o de otros tiempos% no es un recha'o cate"orial de los sistemas filosficos% sino la aceptacin de un montn de investi"aciones m&s peque1as% minuciosas y ri"urosas que no necesitan estar atadas a una visin filosfica omnia arcanteM. Q @er% v."r.% los tra a!os de 2.$. 3oore y J. L. Austin. Q :illard% ?allas. ^Busserl on a Lo"ic that Iailed_. Philosophical e!iew 89 #1-D pp. >2[>3. Q @er L.o re sentido y referenciaM` LIuncin y conceptoM` L)oncepto y o !etoM Q $n in"l+s la similitud es m&s patente que en espa1ol% pues lo que en espa1ol se dice con LestarM% Lha erM y LserM% se dice en todos los casos con LisM en in"l+s. Q L3ind #!ournal-a3indM 1Y #1,/>-D Y(,8Y,3. Q )arnap% 5. #1,**-. La estructura l"ica del mundo. 7<A3E=nstituto de =nvesti"aciones Iilosficas. Q 9opper% Carl 5. #1,,Y-. La l"ica de la investi"acin cientficaK" Tecnos" Q 5udolf )arnap se refu"i en $stados 7nidos% mientras que Carl 9opper% se refu"i primero en <ueva belanda y despu+s en =n"laterra. 9opper recha'a a el ttulo de filsofo analtico% pero sus m+todos filosficos pueden ser incluidos en la tradicin analtica. Q 6rain Leiter% por e!emplo% en el 9hilosophical 2ourmet R2S% diceD LM;odasM las universidades de la =vy Lea"ue% LtodosM los campus de la 7niversidad de )alifornia% casi todos los me!ores cole"ios de artes li erales y casi todos los campus insi"nia de universidades estatales alardean so re sus departamentos de filosofa que se auto8 identifican La rumadoramenteM como LanalticosMD es difcil ima"inar un LmovimientoM que sea m&s acad+mica y profesionalmente esta lecido que el de la filosofa analticaM. @er tam i+n la opinin de John .earle #en 6unnin U ;sui8James #eds.-% The Blackwell Companion to Philosophy #6lacGFell% 2//3-% p. 1-D T.in excepcin al"una% los me!ores departamentos de filosofa en los $stados 7nidos est&n

1/. 11.

12. 13. 1Y. 1>.

1\. 1(. 1*. 1,.

2/.

dominados por la filosofa analtica% y entre los filsofos lderes en $stados 7nidos% todos excepto un pu1ado seran clasificados como filsofos analticosM. 21. 22. 23. Q
a #

Analytic 9hilosophy R=nternet $ncyclopedia of 9hilosophyS

Q BacGer% 9.3... #1,,\-. Wittgenstein$s Place in Twentiethcentury Analytic Philosophy. 6lacGFell. Q @er% v."r.% 6rian Leiter R3S TKLa filosofa analtica es hoy un estilo de hacer filosofa% no un pro"rama filosfico o un con!unto de puntos de vista sustantivos. Los filsofos analticos% "rosso modo% aspiran a la claridad y precisin ar"umentativa` recurren li remente a las herramientas de la l"ica` y usualmente se identifican% profesional e intelectualmente% m&s cerca de las ciencias y las matem&ticas% que de las humanidadesM. Q Batfield% 2. #2//1-. 6ehaviorism and <aturalism. $n ;. 6aldFin #ed.-% )am rid"e Bistory of 9hilosophyD 1*(/81,Y> #pp. \Y/8 *-. )am rid"eD )am rid"e 7niversity 9ress. Q ?avidson% ?. #1,(/- 3ental $vents Q 9ostrel U Ieser% Ie rero 2///% Inter!iew with John " %earle en RYS eality Principles: An

2Y.

2>. 2\. 2(. 2*. 2,.

Q 6rennan% AndreF U ceuG8.'e Lo #2//2-. L$nvironmental $thicsT d2% en The %tanfor& 'ncyclope&ia of Philosophy. Q 2ruen% Lori #2//3-. T;he 3oral .tatus of Animals%T en The %tanfor& 'ncyclope&ia of Philosophy . Q @er Bursthouse% 5osalind #2//3-. T@irtue $thicsT d3% en The %tanfor& 'ncyclope&ia of Philosophy U ?onchin% Anne #2//Y-. TIeminist 6ioethicsT en The %tanfor& 'ncyclope&ia of Philosophy . Q Las dos excepciones m&s importantes son los 9rincipia $thica de 3oore y la reve )onferencia so re +tica de :itt"enstein% aunque en al"0n sentido am as concuerdan en que el valor moral no se encuentra en la naturale'a y :itt"enstein concluye que entonces no podemos usar el len"ua!e para referirnos a +l. Q 3acGie% John L. #1,*2-. The Miracle of Theism: Arguments (or an& Against the ')istence of *o&

3/.

31.

Regla de inferencia
En lgica, una regla de inferencia es un esquema para construir in%erencias v$lidas. Estos esquemas esta(lecen relaciones sint$cticas entre un con)unto de %rmulas llamados premisas y una asercin llamada conclusi!n. Estas relaciones sint$cticas son usadas en el proceso de in%erencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. +as reglas tam(in se aplican a la lgica in%ormal y a las discusiones, pero la %ormulacin es mucho m$s di%cil y polmica.

5omo se mencion, la aplicacin de una regla de in%erencia es un procedimiento puramente sint$ctico. :in em(argo, de(e tam(in ser v$lido, o me)or dicho, preservar la valide*. 9ara que el requisito de preservacin de la valide* tenga sentido, es necesaria una cierta %orma sem$ntica para las aserciones de las reglas de in%erencia y las reglas de in%erencia en s mismas.

Reglas de inferencia clsicas

Algunas de las reglas de in%erencia m$s conocidas son' En la lgica proposicional'

)odus ponendo ponens )odus ponendo tollens )odus tollendo ponens )odus tollendo tollens :ilogismo hipottico :ilogismo disyuntivo

En la lgica de primer orden'

Negla de @enerali*acin universal

En la lgica modal'

Negla de Iecesitacin

"eoremas de incompletit!d de 56del

Burt @Adel a los #E aXos de edad, cinco aXos antes de la demostracin de los teoremas. +os teoremas de incompletit!d de 56del son dos cle(res teoremas de lgica matem$tica demostrados por Burt @Adel en #E8#. Am(os est$n relacionados con la existencia de proposiciones indecidi(les en ciertas teoras aritmticas. El primer teorema de incompletitud a%irma que, (a)o ciertas condiciones, ninguna teora matem$tica %ormal capa* de descri(ir los n6meros naturales y la aritmtica con su%iciente expresividad, es a la ve* consistente y completa. Es decir, si los axiomas de dicha teora no se contradicen entre s, entonces existen enunciados que no pueden pro(arse ni re%utarse a partir de ellos. En particular, la conclusin del teorema se aplica siempre que la teora aritmtica en cuestin sea recursiva, esto es, una teora en la que el proceso de deduccin pueda llevarse a ca(o mediante un algoritmo. +a prue(a del teorema es totalmente explcita y en ella se construye una %rmula, denotada ha(itualmente G en honor a @Adel, para la que dada una demostracin de la misma, puede construirse una re%utacin, y viceversa. :in em(argo, la interpretacin natural de dicha sentencia en trminos de n6meros naturales es verdadera.# El segundo teorema de incompletitud es un caso particular del primero' a%irma que una de las sentencias indecidi(les de dicha teora es aquella que a%irma la consistencia de la misma. Es decir, que si el sistema de axiomas en cuestin es consistente, no es posi(le demostrarlo mediante dichos axiomas. +os teoremas de incompletitud de @Adel son uno de los grandes avances de la lgica matem$tica, y supusieron lseg6n la mayora de la comunidad matem$tical una respuesta negativa al segundo pro(lema de ?il(ert.#

(ontexto
+os teoremas de incompletitud de @Adel esta(lecen ciertas limitaciones so(re lo que es posi(le demostrar mediante un ra*onamiento matem$tico. 9ara ha(lar con precisin

so(re qu puede demostrarse o no, se estudia un modelo matem$tico denominado teora %ormal. Una teora %ormal consta de una serie de signos y un con)unto de reglas para manipularlos y com(inarlos. =ediante estas reglas se pueden distinguir ciertas colecciones de signos como %rmulas, y ciertas sucesiones de %rmulas como demostraciones. +os teoremas de una cierta teora son entonces todas las %rmulas que puedan demostrarse a partir de una cierta coleccin inicial de %rmulas que se asuman como axiomas. A una teora %ormal se le pueden ad)udicar ciertas propiedades en %uncin de lo que sea capa* de demostrar.

Una teora consistente no contiene contradicciones, es decir, no es posi(le demostrar a la ve* una %rmula y su contraria. Una teora que no sea consistente no tiene utilidad' de(ido al principio de explosin, a partir de una contradiccin pueden demostrarse todas sus %rmulas, y no sirve para modeli*ar ra*onamientos matem$ticos. Una teora completa responde cualquier pregunta, en el sentido de que para cada una de sus %rmulas o (ien es demostra(le, o (ien existe una demostracin de su contraria !es re%uta(le". Una teora completa es ptima, y se corresponde con la intuicin so(re la verdad lgica' al igual que toda sentencia de(e ser verdadera o %alsa, en una teora completa toda %rmula es demostra(le o re%uta(le.

:in em(argo, el primer teorema de incompletitud esta(lece que, (a)o ciertas hiptesis, una teora %ormal no puede tener am(as propiedades a la ve*. +a primera de ellas es que sea una teora aritmtica, es decir, que sus sm(olos sirvan para descri(ir los n6meros naturales y sus operaciones y relacionesP y que sea capa* de demostrar algunas propiedades ($sicas so(re ellos. +a segunda hiptesis es que sea una teora recursiva, lo cual signi%ica que las reglas para manipular sus signos y %rmulas en las demostraciones han de poder e)ecutarse mediante un algoritmo' una serie precisa de pasos sin am(igiedad que pueda llevarse a ca(o en un tiempo %inito, e incluso implementarse mediante un programa in%orm$tico.

rimer teorema
El enunciado del primer teorema re*a' Primer teorema de incompletitud de Gdel Cualquier teora aritmtica recursiva que sea consistente es incompleta. +a demostracin de este teorema pasa por construir una cierta %rmula, la sentencia de @Adel G, que no puede ser pro(ada ni re%utada en 3' ni G ni \G !la negacin de G" son teoremas de 3. :e dice entonces que G y \G son indecidi(les o independientes en 3. 9ara llegar a esta, @Adel desarroll un mtodo para codi%icar signos y %rmulas mediante n6meros, llamado numeracin de @Adel. Usando esta numeracin, es posi(le traducir las propiedades de una teora %ormal 3, tales como estos signos constituyen una %rmula o estas %rmulas no son una demostracin en 3, a propiedades aritmticas de dichos n6meros. En particular, la sentencia de @Adel G es una %rmula

aritmtica cuyo signi%icado es no existe una demostracin de G en la teora 3, o en otras pala(ras, no soy demostra(le en la teora 3.

(onsec!encias
+a sentencia de @Adel G no es demostra(le pero es cierta, pues a%irma precisamente su propia indemostra(ilidad.7 Esto signi%ica que ninguna teora aritmtica en las condiciones del teorema es capa* de demostrar todos los enunciados verdaderos de la aritmtica.# Adem$s, aunque \G sea %alsa !por a%irmar lo contrario que G" no es re%uta(le !puesto G es indemostra(le". Esta sentencia puede tomarse como axioma si se desea y esto no produce una contradiccin. +a teora resultante contiene muchos de los enunciados verdaderos so(re los n6meros naturales y algunos %alsos, empe*ando por \G. +os o()etos descritos por una teora as %orman un modelo no est$ndar de la aritmtica.8 &omando G !o su contraria" como axioma se o(tiene una nueva teora 36 en la que G !o su contraria" es demostra(le autom$ticamente. :in em(argo esto no invalida el teorema, puesto que G a%irma su indemostra(ilidad relativa a la teora 3. +a nueva teora 36 es tam(in incompleta' puede encontrarse una nueva sentencia independiente G6 , que a%irma no soy demostra(le en 36. En de%initiva, en una teora %ormal que sea consistente y completa de(e %allar alguna de las hiptesis' o (ien no es recursiva y no hay un algoritmo para distinguir los axiomas del resto de %rmulasP o (ien no son aritmticas, y no incluyen las propiedades ($sicas necesarias de los n6meros naturales. 9or e)emplo, en la demostracin del teorema de completitud sem$ntica se utili*an teoras consistentes y completas que no son recursivas.K 9or otro lado, la aritmtica de 9res(urger es una coleccin de axiomas so(re los n6meros naturales que omite varias de sus propiedades, hasta el punto de que una teora (asada en ellos puede ser consistente y completa.R

%eg!ndo teorema
El segundo teorema de incompletitud muestra otro e)emplo explcito de una %rmula que ninguna teora aritmtica puede demostrar, adem$s de G. ;e nuevo, usando la numeracin de @Adel, puede encontrarse una %rmula, denotada 5onsis 3, cuyo signi%icado es no puede encontrarse una contradiccin en 3, o en otras pala(ras, & es consistente. Segundo teorema de incompletitud de Gdel En toda teora aritmtica recursiva consistente T, la frmula Consis T no es un teorema. +a demostracin del segundo teorema requiere traducir el primero a una %rmula. El primer teorema a%irma, entre otras cosas, que si 3 es consistente, entonces G no es demostra(le. +a %rmula que a%irma la consistencia de 3 es 5onsis 3, mientras que la %rmula que a%irma la indemostra(ilidad de G es la propia G. +a %rmula que traduce el primer teorema !una parte de l" es 5onsis 3 e G, donde e signi%ica implicacin. @Adel demostr que esta %rmula es un teorema,Z y que por lo tanto 5onsis 3 no es un

teorema' si lo %uera, de las reglas ($sicas de 3 como teora %ormal se deducira que G es demostra(le, en contradiccin con el enunciado del primer teorema de incompletitud.

(onsec!encias
El segundo teorema de incompletitud limita las posi(ilidades de demostrar la consistencia de una teora %ormal 3, puesto que no puede hacerse utili*ando 6nicamente la propia 3. Adem$s, si se encuentra una teora m$s %uerte 36 en la que 5onsis3 pueda demostrarse, la propia consistencia de 36 no podr$ demostrarse en 36 ni tampoco en 3. 9or ello, el segundo teorema se considera una respuesta negativa al llamado programa de ?il(ert, que propona demostrar la correccin de los ra*onamientos matem$ticos (asados en o()etos in%initos usando tan solo ra*onamientos (asados en o()etos %initos, menos potentes que los primeros.

En!nciados indecidibles
El primer teorema de indeci(ilidad de @Adel demuestra la existencia de enunciados indecidi(les o independientes en la aritmtica de 9eano, y tanto el primero como el segundo muestran e)emplos concretos de enunciados indecidi(les. ;esde entonces se han encontrado otros e)emplos de enunciados independientes de los axiomas de 9eano, como por e)emplo el teorema de Namsey %uerte. Existen adem$s numerosos e)emplos de enunciados independientes en otras teoras %ormales m$s %uertes que la aritmtica, como la hiptesis del continuo o el axioma de eleccin en teora de con)untosP o incluso en teoras no directamente relacionadas con la aritmtica, como en el caso de la geometra eucldea y el postulado de las paralelas.

Malentendidos en torno a los teoremas de 56del

9uesto que el primer teorema de la incompletud de @Adel es tan %amoso, ha dado origen a multitud de malentendidos. Aqu resumimos algunos'
1. El teorema no implica que todo sistema axiom$tico interesante sea incompleto.

9or e)emplo, la geometra eucldea se puede axiomati*ar de %orma que sea un sistema completo. !;e hecho, los axiomas originales de Euclides son casi una axiomati*acin completa. +os axiomas que %altan expresan propiedades que parecen tan o(vias que %ue necesaria la aparicin de la idea de la prue(a %ormal hasta que se echaron en %alta". :in em(argo hasta en un sistema completo como el de la geometra ha(r$ construcciones imposi(les !triseccin del $ngulo, cuadratura del crculo". 7. El teorema slo se aplica a sistemas que permitan definir los n6meros naturales como un con)unto. Io (asta con que el sistema conten"a los n6meros naturales. Adem$s de(e ser capa* de expresar el concepto V es un n6mero naturalV usando los axiomas y la lgica de primer orden. ?ay multitud de sistemas que contienen a los n6meros naturales y son completos. +a clave aqu es que la teora sea recursiva, es decir, que el con)unto de axiomas sea recursivamente enumera(le, o m$s explcitamente que exista un algoritmo (asado en %unciones recursivas que permita esta(lecer si una proposicin dada es o no un axioma.

7isc!sin e implicaciones
+os resultados de incompletitud a%ectan a la %iloso%a de las matem$ticas, particularmente a los puntos de vista tales como el %ormalismo, que usa la lgica %ormal para de%inir sus principios. :e puede para%rasear el primer teorema diciendo Vnunca se podr$ encontrar un sistema axiom$tico que sea capa* de demostrar todas las verdades matem$ticas y ninguna %alsedad.V 9or otra parte, desde una perspectiva estrictamente %ormalista esta par$%rasis se considerara sin signi%icado porque presupone que la verdad y %alsedad matem$ticas est$n (ien de%inidas en un sentido a(soluto, en lugar de ser relativas a cada sistema %ormal +a siguiente re%ormulacin del segundo teorema es todava m$s inquietante para los %undamentos de las matem$ticas' $i se puede demostrar que un sistema axiomtico es consistente a partir de s& mismo5 entonces es inconsistente. 9or tanto, para esta(lecer la consistencia de un sistema se necesita utili*ar otro sistema , pero una prue(a en no es totalmente convincente a menos que la consistencia de ya se haya pro(ado sin emplear . +a consistencia de los axiomas de 9eano para los n6meros naturales por e)emplo se puede demostrar en la teora de con)untos, pero no en la teora de los n6meros naturales por s sola. Esto proporciona una respuesta negativa al pro(lema n6mero dos de la %amosa lista de cuestiones a(iertas importantes en matem$ticas de ;avid ?il(ert !llamada problemas de 7ilbert". En principio, los teoremas de @Adel todava de)an alguna esperan*a' podra ser posi(le producir un algoritmo general que para una a%irmacin dada determine si es indecidi(le o no, permitiendo a los matem$ticos evitar completamente los pro(lemas indecidi(les. :in em(argo, la respuesta negativa al Entscheidungspro(lem demuestra que no existe tal algoritmo. Es de notar que los teoremas de @Adel slo son aplica(les a sistemas axiom$ticos suficientemente fuertes. Este trmino signi%ica que la teora contiene la su%iciente aritmtica para llevar a ca(o las instrucciones de codi%icacin requeridas por la prue(a del primer teorema de incompletud. Esencialmente, todo lo que se exige son algunos hechos ($sicos so(re la adicin y la multiplicacin tal y como por e)emplo se %ormali*an en la aritmtica W de No(inson. ?ay sistemas axiom$ticos incluso m$s d(iles que son consistentes y completos, por e)emplo la aritmtica de 9res(urger que demuestra todas las a%irmaciones de primer orden ciertas aplicando slo la suma. El sistema axiom$tico puede consistir en un n6mero in%inito de axiomas !tal y como hace la aritmtica de primer orden de 9eano", pero para poder aplicarse el teorema de @Adel de(e ha(er un algoritmo e%ectivo que sea capa* a veri%icar la correccin de las prue(as. 9or e)emplo, el con)unto de todas las declaraciones de primer orden que son ciertas en el modelo est$ndar de los n6meros naturales es completo. El teorema de @Adel no se puede aplicar porque no hay ning6n procedimiento e%ectivo que decide si una cierta declaracin es un axioma. ;e hecho, que esto sea as es una consecuencia del primer teorema de incompletud de @Adel.

<tro e)emplo de una especi%icacin de una teora en la que el primer teorema de @Adel no es aplica(le se puede construir de la siguiente manera' ordenemos todas las posi(les declaraciones so(re los n6meros naturales primero por su longitud y luego en orden lexicogr$%icoP comencemos con un sistema axiom$tico inicialmente igual a los axiomas de 9eano, repasemos la lista de declaraciones una a una, y, si la declaracin actual no se puede demostrar ni re%utar a partir del actual sistema de axiomas, entonces aXad$mosla a la lista. Esto crea un sistema que es completo, consistente y su%icientemente potente, pero no recursivamente enumera(le. El propio @Adel slo demostr una versin de los teoremas arri(a expuestos que es tcnicamente un poco m$s d(ilP la primera demostracin de las versiones descritas arri(a %ue dada por S. GarDley Nosser en #E8Z. En esencia, la prue(a del primer teorema consiste en construir una declaracin dentro de un sistema %ormal axiom$tico al que se le puede dar la siguiente interpretacin meta matem$tica' Esta declaracin no se puede pro(ar. 5omo tal, puede verse como una versin moderna de la parado)a del mentiroso. Al contrario de la declaracin del mentiroso, no se re%iere directamente a s mismoP la interpretacin de arri(a slo se puede VverV desde %uera del sistema %ormal. En un tra(a)o pu(licado en #ERF en 4ournal of $ymbolic #o"ic, Naymond :mullyan mostr que los resultados de incompletitud de @Adel pueden o(tenerse para sistemas mucho m$s elementales que los considerados por @Adel. :mullyan tam(in ha reivindicado las prue(as m$s simples con el mismo alcance, (asadas en los tra(a)os de Al%red &arsDi so(re el concepto de verdad en los sistemas %ormales. =$s simples, pero no menos pertur(adoras %ilos%icamente. :mullyan no ha plasmado sus re%lexiones so(re incompletitud slo en o(ras tcnicasP tam(in han inspirado cle(res li(ros de divulgacin como 8%!mo se llama este libro9. :i el sistema axiom$tico es consistente, la prue(a de @Adel muestra que !y su negacin" no se pueden demostrar en el sistema. 9or tanto es cierto ! a%irma no ser demostra(le y no lo es" y, sin em(argo, no se puede pro(ar %ormalmente en el sistema. M)ese que aXadir a los axiomas del sistema no resolvera el pro(lema' ha(ra otra sentencia de @Adel para la teora ampliada. Noger 9enrose a%irma que esta !presunta" di%erencia entre lo que se puede probar mecnicamente y lo que los (umanos pueden ver como cierto muestra que la inteligencia humana no es mec$nica en su naturale*a. &am(in Sohn N. +ucas se ha ocupado de est$ cuestin en )entes5 )quinas y G:del.F Esta perspectiva no est$ ampliamente aceptada, porque tal y como lo plantea =arvin =insDy, la inteligencia humana es capa* de errar y de comprender declaraciones que son en realidad inconsistentes o %alsas. :in em(argo, =insDy ha in%ormado de que Burt @Adel le di)o a l en persona que l crea que los seres humanos tienen una %orma intuitiva, no solamente computacional, de llegar a la verdad y por tanto su teorema no limita lo que puede llegar a ser sa(ido como cierto por los humanos.

Oanse Ref!taciones a la interpretacin de enrose en los Enlaces en +n"l's de la seccin Enlaces externos y referencias +a posicin de que el teorema muestra que los humanos tienen una ha(ilidad que transciende la lgica %ormal tam(in se puede criticar de la siguiente manera' Io sa(emos si la sentencia es cierta o no, porque no sa(emos !ni podemos sa(er" si el sistema es consistente. ;e modo que en realidad no sa(emos ninguna verdad que est %uera del sistema. &odo lo que sa(emos es lo siguiente' < es indemostra(le dentro del sistema, o el sistema es inconsistente. Esta declaracin es %$cilmente demostra(le dentro del sistema. 8tra implicacin es que el tra(a)o de @Adel motiv a Alan &uring !#E#7 #ERK" a estudiar qu %unciones eran suscepti(les de poder ser calculadas y cu$les no. 9ara ello se sirvi de su =$quina de &uring, una m$quina de propsito general mediante la que %ormali* las %unciones y procedimientos de c$lculo. ;emostrando que existan %unciones que no son posi(les de calcular mediante la =$quina de &uring. El paradigma de este con)unto de %unciones lo representa la %uncin que esta(lece Vsi dada una =$quina de &uring, sta produce un resultado o, por el contrario, se queda calculando inde%inidamenteV. Esta %uncin, conocida con el nom(re de 9ro(lema de parada !?alting 9ro(lem", ser$ pie*a %undamental para demostrar la incomputa(ilidad de ciertas %unciones.

7emostracin de los teoremas

+a demostracin de los teoremas de incompletitud se (asa en tres conceptos'
1. +a numeracin de @Adel, que permite traducir las teoras %ormales a operaciones

de aritmtica pura. 7. +a potencia expresiva de las teoras %ormales aritmticas, cuyas expresiones recogen dichas operaciones.
3. El lema diagonal, que permite que las %rmulas sean autorre%erentes.

El enunciado original de(ido a @Adel, cuya demostracin se es(o*a en esta seccin, es m$s d(il que el presentado arri(a, ya que en lugar de la consistencia de la teora 3 se exige una propiedad m$s %uerte, la / consistencia. Una teora aritmtica es -inconsistente si, para alguno de sus teoremas formales de la forma Ox, (x), puede refutarse cualquier caso particular, esto es, puede probarse ( n!), para cada numeral n!. Una teora que no es "# inconsistente se dice -consistente. !+os n!merales jne son los sm(olos que utilice el lengua)e de la teora para especi%icar los n6meros naturales concretos. En el e)emplo de la aritmtica de 9eano en la seccin siguiente, los numerales son los sm(olos dados por' jLe m L, j#e m :L, j7e m ::L, etc." +a / consistencia implica la consistencia !pero no al revs". El enunciado %uerte, en el que slo se requiere la consistencia de la teora %ue pro(ado por S. G. Nosser mediante un mtodo muy similar.

4!meracin de 56del
+a numeracin de @Adel es una herramienta que permite relacionar las teoras %ormales con la aritmtica. El lengua)e de una teora %ormal de primer orden est$ compuesto por una cantidad la lo sumol numera(le de signos, como por e)emplo' O , e , \ , n, b, x , y , ; , ... , L , o , p , : en el caso del lengua)e de la aritmtica de 9eano, donde adem$s de los sm(olos lgicos y las varia(les, aparecen algunos sm(olos adicionales para la arimtica !donde : es el sm(olo para denotar el n6mero siguiente a". &am(in el con)unto de todas las cadenas !sucesiones %initas de signos" es numera(le, as como el con)unto de las sucesiones %initas de cadenas. Una n!meracin de 56del es una asignacin de un 6nico n6mero natural para cada elemento de cada uno de estos tres con)untos' signos, cadenas de signos y sucesiones de cadenas. j<cultare Ejemplo Una posi(le codi%icacin para los signos, cadenas y sucesiones de cadenas es la siguiente. 9ara los signos se adopta' O _ #L , e _ ## , \ _ #7 , n _ #8 , b _ #K , L _ #R , : _ #Z , o _ #F , p _ #J , x _ 7L , y _ 7LLL , ; _ 7LLLLL , ...
;ada una cadena de signos, se adopta el criterio de apilar los n6meros de @Adel de sus signos, con un FF inicial para indicar que se trata de una cadena' x o jRe b L se torna en' FF 7L #F #Z #Z #Z #Z #Z #R #K #R, es decir, en FF7L#F#Z#Z#Z#Z#Z#R#K#R 9ara una sucesin de cadenas de signos, puede adoptarse un convenio similar, con un JJ inicial, para indicar que se trata de una sucesin' +a sucesin L b #, y o # b L se convierte en' JJ FF #R #K #Z #R FF 7LLL #F #Z #R #K #R, es decir en' JJFF#R#K#Z#RFF7LLL#F#Z#R#K#R

9uesto que la manipulacin de estos signos, cadenas y sucesiones puede traducirse en manipulacin de unos ciertos n6meros, tanto la sint$xis que distingue las cadenas de signos con sentido llas %rmulasq como el c$lculo deductivo que distingue las sucesiones de cadenas que demuestran algo llas demostracionesl se ven traducidas a operaciones aritm'ticas. Es decir, existen una serie de relaciones y %unciones aritmticas que se corresponden con las reglas sint$cticas y del c$lculo deductivo, como por e)emplo' :ig x ' x es !el n6mero de @Adel de" un signo

5ad x ' x es !el n6mero de @Adel de" una cadena !de signos" !:e omite el n6mero de @Adel de en adelante" :uc x ' x es una sucesin !de cadenas" Morm x ' la cadena x es una %rmula Ax x ' la %rmula x es un axioma 5ons!x, y, ;"' x es una %rmula consecuencia inmediata de las %rmulas y y ; ;em!x, y"' la sucesin x es una demostracin de la %rmula y +a %orma precisa de estas %unciones y relaciones es la(oriosa y depende del criterio que se haya escogido para e%ectuar la numeracin de @Adel. En particular la relacin Ax x ha de construirse teniendo en cuenta un cierto con)unto de axiomas concreto, luego la relacin ;em hace re%encia a una teora concreta que no se ha especi%icado. j<cultare Ejemplo Es sencillo entender ahora cmo de(en de%inirse algunas de estas relaciones seg6n la numeracin de @Adel mostrada antes' :ig x m x est$ entre #L y #J !am(os inclusive", o es de la %orma 7Lr#LLi !con i d #" 5ad x m En (ase #L, x es de la %orma JJn!s#"...n!sD", donde cada n!si" representa las ci%ras de un n6mero tal que :ig n!si" es cierto :uc x m En (ase #L, x es de la %orma FFn!s#"...s!sD" donde cada n!si" representa las ci%ras de un n6mero tal que 5ad n!si" es cierto

Expresabilidad9 Rec!rsividad
=ediante la numeracin de @Adel, es posi(le traducir los signos y reglas de una teora %ormal 3 en n6meros y operaciones aritmticas. Es posi(le ir m$s all$, ya que 3 es una teora aritm'tica y se pueden recodi%icar las mencionadas operaciones mediante el lengua)e %ormal de 3, al igual que se puede hacer con otras %unciones y relaciones aritmticas como por e)emplo' +a %uncin multiplicar por 7 est$ representada por la %rmula' y b j7e p x +a relacin de orden x t y, puede expresarse mediante' O;, ; o x b y +a relacin x e y son primos entre s puede expresarse como' f;, \x b ; p y \y b ; p x 5ada una de estas relaciones es expresada por su %rmula correspondiente, en el sentido de que si dos n6meros est$n relacionados, puede demostrarse la expresin %ormal correspondienteP y cuando no lo est$n, puede re%utarse.J 9or e)emplo' 9ara cada entero n, se tiene que si n es par puede pro(arse la expresin %ormal Ox, jne b j7e p xP y si es impar, puede re%utarse dicha %rmula. 9ara cada par de enteros m y n, si se tiene m t n puede demostrarse la %rmula O;, ; o jme b jneP cuando m d n, puede re%utarse dicha expresin. Wue las relaciones presentadas en la seccin anterior lcomo ;eml sean expresa(les, implica que una teora %ormal aritmtica es lo su%icientemente potente como para

ha(lar de las caractersticas de una teora %ormal ar(itraria y, en particular, de s misma. 9ro(ar que todas estas relaciones y %unciones son expresa(les es sencillo si son recursivas, es decir, si pueden calcularse o veri%icarse mediante un algoritmo, ya que puede demostrarse que toda relacin recursiva es expresa(le en una teora aritmtica. +as teoras %ormales para las que esto es posi(le lasignar los n6meros de @Adel de manera que distinguir los signos, cadenas, sucesiones, %rmulas, consecuencias y axiomas, puede llevarse a ca(o con un algoritmol son las llamadas teoras rec!rsivas, y por ello esta caracterstica se asume como hiptesis en los teoremas de incompletitud.

7iagonali:acin
9ara construir la sentencia autorre%erente G ha de idearse una manera para que una %rmula ha(le de las propiedades de su n6mero de @Adel correspondiente. Esto ha de hacerse de manera indirecta, ya que dada una %rmula < con n6mero de @Adel n, otra %rmula que ha(le de < mediante el numeral jne en general tendr$ un n6mero de @Adel mayor que n, y por tanto no puede ser la propia <. Esto se consigue mediante el llamado lema diagonal. En una teora aritmtica recursiva, dada una frmula (x) e$iste una sentencia con n%mero de &'del n tal que puede demostrarse g ( n!). En de%initiva, dada una propiedad cualquiera <!x" existe una sentencia = que a%irma mi n6mero de @Adel cumple la propiedad <.

7emostracin del primer teorema

:ea una teora %ormal aritmtica y recursiva 3 / consistente. :ea la %rmula \O;, ;E=!;, x", donde ;E= es la %rmula que expresa la relacin numrica ;em lrelativa a la teora %ormal 3l. 9or el lema de diagonali*acin existe una sentencia G con n6mero de @Adel ", para la que se demuestra G g \O;, ;E=!;, j"e", es decir, que a%irma ning6n n6mero codi%ica una demostracin !en 3" de la %rmula representada por ", o de otro modo, no soy demostra(le !en 3". +a negacin de esta sentencia, \G, es equivalente a O;, ;E=!;, j"e", o mi negacin es demostra(le !en 3". :upngase entonces que G puede demostrarse. Entonces existe un n6mero n que cumple ;em!n, "", y en 3 puede pro(arse entonces ;E=!jne, j"e", lo cual implica %ormalmente \GP y esto es imposi(le si 3 es consistente. 9or tanto no existe una demostracin de G, y se cumple \;em!n, "" para todos los n6meros n, lo cual resulta en un n6mero in%inito de teoremas %ormales \;E=!jne, j"e" para cada numeral jne. 5omo 3 es / consistente, no puede ocurrir entonces que Ox, ;E=!x, j"e" sea un teorema, por lo que \G es indemostra(le, y 3 es indecidi(le.

7emostracin del seg!ndo teorema

+a demostracin del segundo teorema de incompletitud requiere de un hecho tcnico que @Adel originalmente no pro(. :ea una teora 3 en las condiciones anteriores y sea la %rmula 5onsis3 m \O;, ;E=!;, jke", donde k es el n6mero de @Adel de la sentencia L b #. 5onsis3 a%irma que la teora 3 es consistente !pues de)a algo sin demostrar". +a

versin %ormal !de la primera parte" del primer teorema de incompletitud puede expresarse como 5onsis3 e \Oy, ;E=!y, j"e" y esto es equivalente precisamente a 5onsis3 e G. ;e modo que, de poder pro(ar %ormalmente esta sentencia, 5onsis3 sera indemostra(le puesto que se tendra entonces una demostracin de G, en contradiccin con el primer teorema. El hecho tcnico que se necesita es precisamente una prue(a de que la demostracin del primer teorema de incompletitud puede traducirse en una demostracin %ormal de la sentencia 5onsis3 e \Oy, ;E=!y, j"e". Esto es posi(le en toda teora aritmtica recursiva, ya que veri%ican unas ciertas condiciones de demostrabilidad.

Referencias
#. #EJE.
2. 3. Y. >. \. (. *.

C a b c Oase la parte dedicada a @Adel en la introduccin de ?o%stadter, C Esto slo es cierto en la interpretacin nat!ral en que las varia(les de la teora se interpretan como los n6meros naturales. C Oase ?o%stadter, #EJE, u>HO para una exposicin de nivel intermedio so(re la aritmtica no est$ndar. C Oase Goolos, 7LLF, u#F.7. C Oase Goolos, 7LLF, u7K. C En realidad, la prue(a original de @Adel omite ciertos detalles tcnicos.
jcita requeridae

C +ucas, Sohn N.. =inds, =achines and @Adel !en ingls". 5onsultado el #R de :eptiem(re de 7L##. C ;e manera rigurosa, se dice que una relacin 2!n#, ..., nk" es expresable en una teora %ormal aritmtica si existe una %rmula <!x#,..., xk" de %orma que si la relacin 2!n#, ..., nk" se cumple para unos ciertos n6meros n#, ..., nk entonces puede demostrarse la %rmula <!jn#e,..., jnke"P y si la relacin no se cumple, entonces dicha %rmula puede re%utarse. Oase Hvorra,, uZ.8 o Goolos, Gurgess y Se%%rey, 7LLF, u#Z !donde se denomina definability".

Bibliografa

GarUise, Son !#EJE" !en ingls". 7andbook of mat(ematical lo"ic. Elsevier. H:GI EFJLKKKJZ8JJ#. Goolos, @eorgeP Gurgess, Sohn 9.P Se%%rey, Nichard 5. !7LLF" !en ingls". %omputability and lo"ic. 5am(ridge University 9ress. H:GI EFJLR7#FL#KZK.. ;omeisen, Ior(ert !#EEL". 9eter +ang. ed !en alem$n". Qentral(latt =A&? #o"ik der Antinomien. H:GI 8 7Z# LK7#K #. @Adel, Burt !#E8#". v(er %ormal unentscheid(are :wt*e der 9rincipia =athematica und verUandter :ysteme, H !en alem$n". )onats(efte f.r )at(ematik und P(ysik ;<' pp. #F8 #EJ. doi'#L.#LLFxGML#FLLZE7.

&raducido al castellano en' lll !#EJ#". Ses6s =ostern. ed. 1bras completas. Alian*a Editorial. H:GI JK 7LZ 77JZ E. lll !7LLZ". $obre proposiciones formalmente indecidibles de los Principia )at(ematica y sistemas afines. BNB Ediciones. H:GI EFJ JK EZKFZ ER L. ?o%stadter, ;ouglas N. !#EJE". G:del5 Esc(er5 ac(. &usquets editores. H:GI JK F778 KRE 7. ?o%stadter, ;ouglas N.P Iagel, ErnestP IeUman, Sames Noy !7LL7" !en ingls". G:del6s Proof. IyU 9ress. H:GI L J#KF RJ#Z E. Hvorra, 5arlos, #!"ica y teor&a de conjuntos, consultado el 7F LF 7L##. =artne*, @uillermo !7LLE". G:del para todos. :eix Garral. H:GI EFJ ERL F8# ZLR L. Nosser, G. !#E8Z". Extensions o% some theorems o% @Adel and 5hurch. 4ournal of $ymbolic #o"ic 1 !8"' pp. JF E#. :mullyan, Naymond !#EE7" !en ingls". G:del6s +ncompleteness 3(eorems. <x%ord University 9ress. H:GI L #E RLKZF7 7.

Enlaces externos

Ref!taciones a la interpretacin de enrose. o +s )at(ematical +nsi"(t Al"orit(mic9

o o o

7o* $ubtle is G:del6s 3(eorem >(y G:del6s 3(eorem %annot 2efute %omputationalism 7uman and )ac(ine -nderstandin" of )at(ematics

Hgnacio San, #a obra de G:del en l!"ica matemtica y teor&a de conjuntos Una introduccin sinttica e histrica que respeta los conceptos originales, evitando malentendidos. NeseXa en castellano de &orDel Mran*n, G:del6s t(eorem ? an incomplete "uide to its use and abuse. El li(ro de Mran*en, de 7LLR, est$ siendo muy citado como o(ra de inters para introducir al verdadero sentido de los teoremas de @Adel y prevenir %rente a su aplicacin in)usti%icada en campos no matem$ticos. Bzrlis 9odnieDs' Around Goedel6s 3(eorem, http'xxUUU.ltn.lvx{podnieDsxgt.html ?il(ertYs second pro(lem @ber die AollstBndi"keit des #o"ikkalk.ls. ;octoral dissertation. University <% Oienna.. #E7E. 9rimera demostracin del teorema de completitud. @Adel, B !#E8L". ;ie OollstwndigDeit der Axiome des logischen MunDtionenDalDils !en @erman". )onats(efte f.r )at(ematik ;=' pp. 8KEk 8ZL. doi'#L.#LLFxGML#ZEZFJ#. SM= RZ.LLKZ.LK.

'ndependencia )lgica matemtica*

En lgica matem$tica, la nocin de independencia o indecidibilidad se re%iere a la imposi(ilidad de demostrar o re%utar un predicado a partir de otros. Una sentencia C se dice independiente o indecidi(le en una teora lgica 3 si 3 ni demuestra ni re%uta CP esto es, si no es posi(le pro(ar C partiendo de 3, ni pro(ar que C es %alsa.

"erminologa
El ad)etivo indecidible se usa como sinnimo de independiente, por e)emplo, sentencia indecidi(le en la teora 3. :in em(argo, indecidible tam(in se usa en el $m(ito de la teora de la computa(ilidad con otro signi%icado. Un pro(lema indecidi(le es un pro(lema matem$tico de respuesta s o no que no puede resolverse mediante un algoritmo. Am(os conceptos son distintos, pero pueden aparecer relacionados entre s. 9or e)emplo, el pro(lema de decisin consistente en determinar si una cierta sentencia es independiente en una teora 3 es a menudo indecidi(le. &am(in puede ocurrir que independiente en 3 se utilice tan solo en el sentido de no demostra(le en 3, en lugar de no demostra(le ni re%uta(le en 3, y consistente se utilice entonces en el sentido de no re%uta(le en 3.

Ejemplos de independencia
=uchas sentencias interesantes en teora de con)untos axiom$tica son independientes de la teora de con)untos de Qermelo MraenDel !QM". +os siguientes enunciados son independientes de QM !siempre que sta sea consistente"'

El axioma de eleccin. +a hiptesis del continuo, y la hiptesis del continuo generali*ada.

El teorema de incompletitud de @Adel esta(lece la existencia de proposiciones independientes en cualquier teora que contenga la aritmtica de 9eano, tales como'

+a sentencia de @Adel G. +a sentencia que a%irma la consistencia de la propia teora.

Adem$s se conocen enunciados p6ramente aritmticos, que no involucran directamente conceptos lgicos, independientes de dichos axiomas'

El teorema de Namsey %uerte. El teorema de @oodstein.

<tro e)emplo muy conocido es el quinto postulado de Euclides, que no puede ser demostrado a partir de los restantes axiomas de la geometra eucldea. Esto demuestra la consistencia de las geometras no eucldeas.

Referencias

Hvorra, 5arlos, #!"ica y teor&a de conjuntos, consultado el #L LK 7L##. Hvorra, 5arlos, Pruebas de consistencia, consultado el #L LK 7L##.

%istema axiomtico
En lgica y matem$ticas, un sistema axiomtico consiste en un con)unto de axiomas que se utili*an, mediante deducciones, para demostrar teoremas. E)emplos de sistemas axiom$ticos deductivos son la geometra euclidiana compilada por Euclides en los Elementos # y el sistema axiom$tico de la lgica proposicional.

$istoria
El primer intento se remonta a la axiomati*acin de los Elementos de Euclides !siglo HO HHH a.5.", aplicado a la geometra plana. Euclides enuncia cinco postulados y cinco nociones comunes !axiomas", de los que deduce sus teoremas geomtricos. Al mismo tiempo, Aristteles aporta el primer en%oque de la lgica %ormal en el |rganon, recogiendo diversos axiomas de 9latn y otros %ilso%os. En matem$ticas, sin em(argo, el primer intento de axiomati*acin lleg en #JJJ, cuando Nichard ;edeDind propuso un con)unto de axiomas so(re los n6meros.7 Al aXo siguiente, @iuseppe 9eano retoma los tra(a)os de ;edeDind y expone sus axiomas aritmticos. @ottlo( Mrege, en #JJK, con su o(ra 0ie Grundla"en der Arit(metik y la posterior Grundset;e der Arit(metik, trata de reducir la aritmtica a la lgica. Gertrand Nussell en su intento de #EL# descu(ri la parado)a del mismo nom(re' parado)a de Nussell, y para resolverla tra(a) con Al%red Iorth Thitehead, en Principia )at(ematica. En #JEE, ;avid ?il(ert re%ormula los axiomas de la geometra, y tam(in explica los conceptos que Euclides de) implcitos, por e)emplo, Euclides no dice que hay al menos tres puntos en el plano, o que hay al menos un punto en el plano que no pertenece a la lnea, etc. En el 5ongreso cele(rado en #ELL, ;avid ?il(ert plante varios pro(lemas, entre los que inclua la demostracin de la consistencia de los axiomas de las matem$ticas y la axiomati*acin de la %sica. En #E8#, Burt @Adel demostr que cualquier sistema axiom$tico equivalente a los axiomas de 9eano es incompleto y que si este sistema es consistente, no se puede utili*ar para pro(ar su consistencia !teorema de incompletitud de @Adel".

%istemas axiomticos formales e informales

Un sistema axiom$tico puede tener expresados sus axiomas de manera %ormal o de manera in%ormal'

Una axiomati:acin formal usa un lengua)e %ormal y en l cada axioma es una cadena %inita de signos en el al%a(eto del lengua)e %ormal, siguiendo reglas com(inatorias que hacen de la secuencia una %rmula (ien %ormada. Una axiomati:acin informal usa una lengua natural %ormali*ada y de%iniciones no am(iguas, los li(ros de matem$tica y otras disciplinas %ormales normalmente redactan los axiomas de esta manera.

+os sistemas de axiomas %ormales son m$s sencillos de estudiar y son pre%eri(les para caracteri*ar las propiedades de los sistemas matem$ticos. En particular admiten una caracteri*acin sem$ntica muy clara en la teora de modelos y sus propiedades deductivas pueden ser tratadas en la teora de la demostracin. 9or el contrario, las axiomati*aciones in%ormales slo son 6tiles cuando se tiene un modelo concreto en mente y se pretenden (uscar propiedades que se cumplen en el modelo.

(omponentes de !n sistema axiomtico formal

Un sistema axiom$tico %ormal consta de los siguientes elementos'

Un al%a(eto : para construir expresiones %ormales que incluye' o Un con)unto de sm(olos para conectivas lgicas, cuanti%icadores
o o

Un con)unto de sm(olos para designar varia(les Un con)unto de sm(olos para constantes !que tendr$n en un modelo una interpretacin %i)a".

o o

Un con)unto de sm(olos que ser$n interpretados como %unciones. Un con)unto de sm(olos que ser$n interpretados como relaciones.

Una gram$tica %ormal que incluir$'

o

Neglas de (uena %ormacin, que reproducen la Vmor%ologaV del lengua)e %ormal. Neglas de in%erencia que permitir$n deducir unas proposiciones de otras, estas reglas reproducen la VsintaxisV del lengua %ormal.

Un con)unto de axiomas inicial, o expresiones (ien %ormadas son el punto de partida de cualquier deduccin.

9ara el con)unto de expresiones (ien %ormadas exresadas en el lengua)e %ormal anterior puede de%inirse una : estructura en la que a cada varia(le constante o cada ocurrencia li(re de una varia(le reci(a un valor dentro del modelo !es decir, las constantes y varia(les li(res ser$n con)untos preasignados de la : estructura". +as %unciones y relaciones ser$n de%inidas como %unciones y relaciones matem$ticas dentro de la : estructura. Una ve* de%inidas las constantes, varia(les li(res, %unciones y relaciones resulta trivial atri(uir un signi%icado concreto a las expresiones del lengua)e %ormal en la : estructura.

Modelos para !n sistema axiomtico formal

:i un con)unto de proposiciones !%rmulas (ien %ormadas" de un sistema axiom$tico %ormal admiten una : estructura donde se satis%acen, entonces se dice que dicha estructura es un modelo para el con)unto de proposiciones. Un sistema de axiomas que admite un modelo es un sistema de axiomas consistente. Un sistema %ormal (ien construido satis%ace Vteorema de valide*V que viene a a%irmar que cualquier proposicin deduci(le de los axiomas o teorema del sistema axiom$tico, se satis%ace tam(in, en todos los modelo que sean un modelo en el que se satis%acen los axiomas. +a propiedad recproca no siempre se cumple, una proposicin que se satis%ace en todos los modelos de una teora no tiene porqu ser deduci(le del sistema de aximas. Este 6ltimo punto es ilustrado por los teoremas de incompletitud de @Adel, que viene a a%irmar que una sistema %ormal de ciertos sistemas matem$ticos con un con)unto de axiomas que satis%ace determinada propiedad %ormal !ser un recursivamente enumera(les" admitir$ un modelo en el que algunas proposiciones ser$n ciertas pero no ser$n deduci(les. Es decir, la teora asociada al sistema axiom$tico %ormal ser$ esencialmente incompleta.

Ejemplos
+a teora de grupos es un sistema axiom$tico se puede (asar en el siguiente con)unto de tres axiomas @#, @7 y @8' !@#" para todo x, y y ;' !@7" para todo x' !@8" para todo x, existe un y tal que

Este con)unto de axiomas no es 6nico, ya que pueden ser su(stituidos por otros equivalentes. En teora de grupos el asunto importante es que el con)unto de teoremas sean los mismos en dos axiomati*aciones di%erentes. Eso implica que las dos clase de modelos que satis%acen los dos sistemas de axiomas coindiden. +os tres axiomas anteriores pueden escri(irse sin usar ninguna lengua natural usando slo sm(olos de una lengua)e de primer orden como' !@#" !@7" !@8" ;onde f de(e interpretarse como la %uncin de%inida so(re GxG que da un elemento de G dando operacin de grupo, xi son signos de varia(les !puede de%inirse una coleccin in%inita numeral(e de las mismas" y c# es una constante que requiere la teora que se interpretar$ como el elemento neutro !es decir, los axiomas postulan que dicho elemento existe".

Referencias
1. 2.

C :istema axiom$tico deductivo en symploDe C Nichard ;edeDind, #JEL, #etter to Deferstein. pp. EJk#L8.