11

Captulo 1 - LGICA Y VERDAD

Una clase es una peripecia de fuerte dramatismo, tanto para el que la da, como para los que la reciben. J. Ortega y Gasset.

Foto clsica de David Hilbert luciendo su sombrero tpico de jipijapa. Tomada alrededor de 1900. (De la coleccin Oberwolfach).1

1.1 Introduccin En esta exposicin tratamos de acercarnos un poco a las nuevas tendencias de la lgica mirando desprevenidamente las conceptualizaciones que filsofos y matemticos como Jaakko Hintikka (1929 - ) y Keith J. Devlin (1947 - ) estn logrando en tiempos recientes en torno a cmo ellos ven la lgica desde su perspectiva filosfico-matemtica. Jaakko Hintikka, es un lgico finlands y profesor de la Boston University en Estados Unidos. Su amplia contribucin a la lgica y a la filosofa ha sido reconocida internacionalmente al otorgarle en 2005 la mxima exaltacin a la que un filsofo puede aspirar: el Rolf Schock Prize de la Royal Swedish Academy of Sciences2, premio equiparable a un Nobel y que ha llegado a filsofos tan reconocidos como Willard Van Orman Quine, John Rawls, Solomon Feferman, Dana S. Scott y Saul A. Kripke. A Hintikka se lo clasifica como un continuador de la filosofa analtica entronizada
1 2

Para ms fotos de Hilbert visitar: http://owpdb.mfo.de/ La lista de los premiados y las diferente categoras del Premio Rolf Schock se encuentra en: http://www.kva.se/KVA_Root/eng/awards/international/schock/index.asp?br=ie&ver=4up

12 por Frege y Russell y luego continuada por Carnap y Quine y ms recientemente por su coterrneo, Georg Henrik von Wright, de quien Hintikka fue alumno en los aos de la posguerra. Su biografa y produccin filosfica se pueden apreciar visitando la pgina: http://en.wikipedia.org/wiki/Jaakko_Hintikka Devlin es un matemtico ingls, especializado en lgica, que se desempea como director del Center for the Study of Language and Information de la Universidad de Stanford, California. Devlin es un personaje de moda en la comunidad matemtica de Estados Unidos, no slo por los ms de diez libros publicados sobre divulgacin de temas matemticos y cientficos, si no tambin, por su columna Devlins Angle en el Portal de la Mathematical Association of America (MAA) y por sus programas de radio, donde se le conoce con el alias de: The Math Guy (el tipo matemtico). Para apreciar la alta calidad de sus interesantes y variadas columnas, sugiero visitar: http://www.maa.org/devlin/devlin_01_07.html. Jaakko Hintikka propone en su libro The Principles of Mathematics Revisited 3 revisar a la luz de su concepcin filosfica muchas de las suposiciones comnmente aceptadas en la lgica terica y en la fundamentacin de las matemticas. Su propuesta hace relacin al uso de una nueva lgica de primer orden para explicar los fundamentos de las matemticas. Ms concretamente, usar esta lgica de primer orden para expresar en el mismo lenguaje, conceptos como equicardinalidad, infinito y verdad. La lgica que Hintikka propone, la denomina, amigablemente independiente (IFL, por su nomenclatura en ingls, Independence-Friendly Logic). Los resultados tan conocidos de Gdel y Tarski, que sacudieron las mismas estructuras de las matemticas y que han dominado el ambiente de los fundamentos de las matemticas en los ltimos setenta aos, segn la concepcin del matemtico finlands, no son tan contundentes como se haba credo hasta ahora. Los teoremas de Gdel y Tarski hacen relacin a la imposibilidad de construir sistemas axiomticos completos. Un sistema axiomtico es completo si todo enunciado p, correctamente formulado, puede probarse como verdadero o como falso. Segn Hintikka, las matemticas comunes y corrientes pueden en principio, de acuerdo a la IFL, desarrollarse en medio de un lenguaje de primer orden, lo que permitira descartar problemas inherentes a conjuntos y a entidades de orden superior. Keith Devlin en su libro Goodbye Descartes4 nos pasea por muchos rincones de los vastos territorios de la lgica, al igual que nos introduce en la historia de la lgica, y nos presenta en forma asequible, la resolucin de la paradoja de Epimnides el mentiroso, usando el recurso de la teora situacional, una creacin de los matemticos Jon Barwise y John Etchemendy en 1986. Veremos en ms detalle este tema en prximas pginas.

1. 2 El Problema de la Definicin de Verdad. Empecemos por preguntarnos Cul es el rol de la lgica en las matemticas? Nuestros cursos universitarios empiezan, casi siempre, con unas nociones de lgica y teora de conjuntos, cuyo propsito es dar al estudiante unas herramientas bsicas que faciliten, en primer lugar, la comprensin de los mtodos de demostracin, y en segundo lugar, para que estos mismos estudiantes se vayan ambientando en el conocimientos de conjuntos y entidades que se originan en
3 4

HINTIKKA, J. The Principles of Mathematics Revisited. Cambridge University Press. New York 1998. DEVLIN, K. Goodbye, Descartes. The end of logic and the search for a new cosmology of the mind. John Wiley & Sons, Inc. New York. 1998.

13 cosas tan intuitivas como son los nmeros o los puntos del plano. Lo que hacemos normalmente en lgica, es un poco de lgica simblica, ms especficamente clculo proposicional y tcnicas de demostracin muy al estilo de lo que hace Euclides en su obra Los Elementos. Sin embargo la lgica, desde el tiempo de Aristteles, quien fue el primer autor de una obra en estos temas, tiene una cobertura ms amplia que involucra la teora de la argumentacin, teora de la deduccin, sistemas axiomticos o formales, teora de jerarquas, etc. Sigamos a Hintikka en su capitulo I del libro citado. Empecemos por decir que un sistema axiomtico, o a veces llamado sistema deductivo, es un cuerpo de teora donde partiendo de unos elementos bsicos y unos axiomas, se construye todo un andamiaje de lemas, teoremas y consecuencias que determinan la teora. Un ejemplo de un sistema axiomtico que viene al caso, es el creado por David Hilbert en su obra Fundamentos de Geometra (Grundlagen der Geometrie) de 1899, en la que presenta la geometra de Euclides como un sistema formal, aunque no sea enteramente lgico, por cuanto que es una sistematizacin de verdades cientficas o matemticas (pero no necesariamente lgicas). La sistematizacin se lleva a cabo comprimiendo en un solo bloque todas las verdades de la materia a considerar en forma de un listado finito o recursivamente enumerable de axiomas. En cierto sentido este es el alfabeto con el cual se dirn todas las cosas relativas a la materia a tratar, llmese por ejemplo, aritmtica, geometra, etc. Este sistema axiomtico ser completo si, est en capacidad de dar una visin total de la materia en cuestin. Esta idea de un sistema completo podemos parangonarlo con la produccin artstica de alguien que partiendo de los colores primarios y sus reglas de combinacin puede obtener una gran variedad de paisajes. Es decir partiendo de los axiomas, se busca construir a travs de consecuencias lgicas los teoremas de su teora. Nos podemos olvidar de la realidad y crear todo un mundo ideal, el cual no est sustentado en la experimentacin o la verificacin de nuestros teoremas en la vida real. Los axiomas son las verdades ms simples e inmediatas del sistema de las cuales, por reglas elementales de inferencia o deduccin, se seguirn otras verdades menos simples y a veces bien complejas que son los teoremas. La maestra en el manejo del arte de crear teoremas a partir de los axiomas, es lo que crea la riqueza intelectual de los que se dedican al estudio de estas reas del conocimiento, indistintamente, si los teoremas, o verdades encontradas en la teora, tengan o no aplicaciones en el dominio de la realidad. El ejemplo extremo de este enfoque es el modelo de Hilbert en torno a la formalizacin de la geometra, donde trminos como: puntos, planos, crculos, se pueden cambiar, como dice Hilbert, por mesas, sillas o vasos de cerveza, o por otros sujetos, sin que la teora desarrollada se altere en lo referente a su validez terica. Y ahora, entonces, viene la pregunta: cul es el papel que juega la lgica en estos sistemas? Es interesante descubrir que la lgica, en Los Fundamentos de Geometra de Hilbert est implcita en toda la obra sin dejarse notar a travs de smbolos, o en forma retrica explcita. Segn Hintikka, esta monografa pudo haberse escrito an sin que los precursores de la lgica moderna, Boole, Frege o Cantor hubieran nacido. Esto significa que la contribucin terica aportada por estos famosos matemticos del siglo XIX no es relevante en este trabajo. Es decir, todas las asunciones bsicas estn codificadas en los axiomas, mientras que los teoremas se derivan de los axiomas por medios puramente lgicos. La idea puede aparecer como lo esencial del mtodo axiomtico en general, vista a la luz de nuestros das, pero en los tiempos de David Hilbert este logro fue un paso gigantesco, a tal punto que sus contemporneos bautizaron este mtodo, como formalstico. El ncleo central en los sistemas axiomticos est en usar la lgica para derivar de los axiomas las proposiciones que preservan la verdad, es decir lo que llamamos teoremas. Este procedimiento de obtener consecuencias por mtodos puramente lgicos estuvo presente en Aristteles, pero no, por ejemplo, en pensadores tan importantes como Kant. Este carcter puramente lgico del paso de los axiomas a los teoremas no significa que los teoremas

14 no tengan interpretacin en la realidad o que los axiomas mismos, no sean materialmente verdaderos. Hilbert en otros trabajos hizo nfasis sobre la veracidad emprica de los axiomas de la geometra, intentando mostrar que el axioma de continuidad el que no es del todo intuitivo es muy cercano a la realidad fsica. La cuestin sobre, si las inferencias lgicas pueden ser capturadas por reglas completamente formales (computables, recursivas5) es independiente de la cuestin de si el lenguaje del cual estas inferencias son sacadas, es formal (ininterpretable) o informal (interpretable). El problema de interpretacin pertenece a las constantes no lgicas del lenguaje6. Las constantes lgicas son partes de las proposiciones que se mantienen con un significado especfico en la estructura de la oracin y no depende del lenguaje que se use. Por ejemplo los cuantificadores para todo, para algn, son constantes lgicas, con significado especfico, no importa si estamos hablando de geometra, de teora de conjuntos, de teora de nmeros o de cualquier otro tema. Constantes no lgicas en el lenguaje de la teora de nmeros, son por ejemplo, los nmeros especficos o las operaciones que en ella se definan. As 7 es una constante no lgica en la aritmtica, como lo es +, para significar la adicin de nmeros naturales. Las constantes lgicas se asume que tienen el mismo significado en cualquiera de los dos casos. Sistemas axiomticos no lgicos ininterpretados pueden pensarse como perteneciendo a ciertas estructuras como tales, mientras los sistemas interpretados tienen que ver con las instancias interpretativas de estas estructuras. Cuando estudiamos algebra moderna lo hacemos con el enfoque axiomtico y estudiamos, verbigracia, los grupos, como una estructura con su propio lenguaje y con los axiomas que la define. Sin embargo la teora de grupos se puede interpretar en la aritmtica o en el estudio de cierto tipo de simetras en cristales, que son entes fsicos. Aqu, entonces, tenemos un ejemplo del rol de la lgica, el cual est supuestamente en lo ms alto de las mentes, tanto de lgicos como filsofos y matemticos. La lgica es el estudio de las relaciones de consecuencias lgicas, esto es, de relaciones de implicacin o consecuencialidad. Su manifestacin concreta es una habilidad para concebir y llevar a cabo inferencias lgicas, o sea extraer conclusiones deductivamente. Llamaremos a este proceso la funcin deductiva de la lgica. Las herramientas necesarias para este trabajo se suponen organizadas en una variedad de axiomatizaciones de la lgica. La axiomatizacin de una parte de la lgica es entendida aqu, simplemente como un mtodo de enumerar recursivamente7 todas las verdades lgicas8 expresables en algn lenguaje (formal) explcito o en otro. Esta enumeracin se hace aparecer usualmente uniforme con los sistemas axiomticos no lgicos, como es el caso de la axiomatizacin de la geometra por Hilbert. La enumeracin se obtiene al poner de presente los axiomas formales al comenzar la enumeracin, e igualmente las reglas de inferencia cuyas aplicaciones repetidas son
5

Un conjunto S se dice contable si es finito o enumerable y S es enumerable si se puede poner en correspondencia biunvoca con los nmeros naturales. 6 Jos Lus Borges en el Aleph (Editorial Alianza) da una definicin interesante de lenguaje que conlleva el ejercicio de compartir una cultura: todo lenguaje es un alfabeto de smbolos cuyo ejercicio presupone un pasado que los interlocutores comparten, dice. 7 El trmino recursivo hace relacin al uso de un proceso o procedimiento describible en forma algortmica por una funcin recurrente, donde los valores funcionales dependen de los valores previos de la funcin. Un ejemplo de una funcin recursiva es: f(n+1) = f(n -1) + f(n), con f(0)= 1, f(1)= 1, y n= 2, 3, 4, Esta funcin tiene por rango el conjunto de los nmeros de Fibonacci: 1, 1, 2, 3, 5, 8,... 8 La verdad lgica la define Ferrater Mora como la conformidad o conveniencia de la mente con la cosa: adequatio rei et intellectus.

15 los medios de lograr la enumeracin total. A pesar de la similitud en los dos enfoques uno debe aceptar que hay diferencias entre los sistemas axiomticos lgicos, y los no lgicos. La axiomatizacin no lgica trabaja con la verdad corriente (material o matemtica). La axiomatizacin lgica usualmente se conoce como verdad lgica. Los sistemas axiomticos no lgicos normalmente tienen previamente una interpretacin, an cuando las consecuencias a partir de los axiomas sean puramente lgicas, mientras una axiomatizacin de la lgica tiene que ser puramente formal en la generacin de la enumerabilidad mecnica. Un sistema axiomtico no lgico puede ser formulado sin decir nada acerca de cualquier lgica explcitamente formulada. En efecto, esta es la forma en que procede Hilbert en sus Grundlagen (1899). An as todas las deducciones de sus teoremas de los axiomas se llevan a cabo muy de conformidad a la ms impecable lgica. A ninguna regla explcita de inferencia lgica apela Hilbert en su famoso libro. De una axiomatizacin de la lgica se derivan patrones vlidos de inferencia como casos especiales de condicionales del tipo S1 S 2 Si y solo si tal condicional (S 1 como antecedente y S 2 como consecuente) es lgicamente verdadero (o vlido como a veces se dice). Decimos aqu que hay una inferencia desde S 1 a S 2 . Los conceptos de regla de inferencia o an regla de inferencia lgica, son conceptos muy delicados y solo un conocedor o especialista puede usar estos trminos en forma apropiada. Al menos hay que distinguir cuidadosamente entre una prueba lgica (de premisas) de una verdad material y prueba (seudo) lgica de una verdad lgica. Esta ltima se toma meramente como un segmento de la enumeracin recursiva de verdades lgicas. Por una poca los matemticos se inclinaron a tomar la validez de las reglas bsicas de la inferencia lgica como un hecho sin discusin. Lo pensaron como tan obvio que no necesitaba el menor anlisis. Se asumi, y an se asume, que Frege y Russell lograron el cometido de certificar esta validez de una vez por todas, o si ellos no lo hicieron, Wilhelm Ackermann, el discpulo de Hilbert lo hizo. Pues Ackermann bajo la gua de Hilbert formul en 1928 por primera vez las bases de la lgica que desde ese tiempo manejan los matemticos. Esta parte es la que se conoce generalmente como lgica de primer orden, teora de cuantificacin o clculo de predicados (de primer orden). La presentamos como si se tratara de las reglas ms elementales de nuestro lenguaje usual, como si tratramos solamente con los trminos para todos y para algn. Esta idea parece ser reivindicada por el uso que Chomsky hace de la lgica cuantificacional como el medio principal para sus formas lgicas (LF) de los enunciados del lenguaje ordinario. De acuerdo a esta concepcin, la lgica de primer orden, se toma generalmente como el ncleo seguro y no problemtico de la lgica y que el lenguaje que en ella se soporta se considera como el vehculo natural de nuestros razonamientos normales y de nuestro proceso de pensar. Un nmero de desarrollos concretos en los fundamentos de las matemticas ha impulsado a lgicos y matemticos a presentar axiomatizaciones de esta parte de la lgica separada de aquellas otras que figuran en los escalones superiores de la lgica que involucra cuantificacin sobre entidades abstractas, como predicados, clases, conjuntos y/o relaciones. En efecto es fcil ver por qu la lgica de primer orden parece en principio un sueo hecho realidad para los lgicos. Primero y ante todo, esta lgica admite completa axiomatizacin. Esto parece a primera vista llenar plenamente todas las expectativas de Hilbert y de otros que creyeron que hay una lgica bsica no problemtica y completamente axiomatizable. La existencia de esta lgica fue

16 en efecto una de las presunciones de lo que hoy se conoce como el Programa de Hilbert, un programa, que permitiera probar la consistencia de ciertas teoras matemticas, bsicamente la aritmtica y el anlisis, esto es, mostrando que uno no puede formalmente derivar una contradiccin de sus axiomas. Si la lgica que se usa no es completa, entonces el proyecto general pierde su foco, porque pueden entonces aparecer contradicciones no probables como tales, entre las consecuencias de los axiomas. Por suerte, parece, la lgica de primer orden, como mostr Kurt Gdel en 1930, result completamente axiomatizable. Ms an, puede mostrarse que la lgica de primer orden admite toda suerte de resultados precisos meta lgicos, tales como compactificacin (un conjunto infinito de enunciados es consistente si y solo si todos sus subconjuntos finitos lo son) y hasta el teorema de Lwenheim-Skolem (un conjunto finito y consistente de enunciados tiene un modelo contable), el teorema de separacin y otros cuya formulacin esta fuera del alcance de este curso. En breve, la lgica de primer orden no solo parece bsica si no que adems se aproxima a lo que podra ser el paraso para los lgicos. Filosficamente, la lgica de primer orden debe su especial estatus mayormente al hecho que, en cierto sentido, es una empresa nominal. sta involucra cuantificacin solamente sobre individuos, esto es sobre objetos particulares o con entidades tratadas como entes particulares. Esto es, en efecto, la razn para llamarla, lgica de primer orden. Sin embargo la lgica de primer orden tempranamente mostr sus limitaciones para muchos de los desarrollos de las matemticas relacionados por ejemplo con la induccin matemtica, principio de buena ordenacin, cardinalidad, conjuntos potencia, entre otros. Se encontr que ms all de la lgica de primer orden, el terreno resultaba incgnito y traicionero. Hay que notar que los mtodos que sobrepasan los lmites de la lgica de primer orden dan origen a serios problemas, independientemente de si tratamos con teora de conjuntos, o lgica de orden superior (teora de tipos). La lgica de segundo orden la llam Quine una teora de conjuntos (un lobo) con piel de carnero, donde las paradojas a veces superan a las contradicciones. El adentrarnos en estas honduras nos mostrar que aunque logrramos separar en nuestra teora lo que es falso, estaramos en el problema de encontrar medios para saber qu, en la teora es verdadero. Estos problemas a menudo son muy especficos, como el de decidir la validez del axioma de eleccin (axiom of choice) o decidir cuales axiomas necesitamos en la teora axiomtica de conjuntos y muchos ms problemas, casi hasta el infinito. Hasta aqu parte de las inquietudes planteadas por Hintikka en su primer captulo del libro citado. Seguidamente se adentra en buscar una respuesta a la pregunta de cmo se podra actualizar los fundamentos de la geometra de Hilbert para ponerlos a tono con el estado del arte de la lgica axiomatizada. Considera la posibilidad de hacer la axiomatizacin de una teora matemtica usando slo conceptos bsicos de la lgica como cuantificadores y conectivos lgicos. Por ejemplo, en el caso de la geometra de Hilbert, sus axiomas tienen que ver con ciertas relaciones especficas: interestancia, equidistancia, congruencia, etc. Lo que los axiomas dicen de estas entidades se formula por medio de nociones bsicas de lgica, como cuantificadores y conectivas. Desde luego Hilbert no usa smbolos lgicos pero establece sus axiomas en el lenguaje ordinario de las matemticas. Ms all de los axiomas elementales de la geometra est el axioma de Arqumedes (Propiedad Arquimediana de los Nmeros Reales) que afirma que dados dos reales x < y, x > 0, existe un nmero natural n tal que nx > y, y el axioma de completitud, que induce la nocin de maximalidad de un modelo, introducido por Hilbert en ediciones posteriores de los Grundlagen. La trascendencia de este axioma se expresa diciendo que los modelos de los otros axiomas deben ser maximales en el sentido de que no se pueda agregar objetos geomtricos adicionales sin que alguno de los axiomas iniciales se falsee. Siguiente Seccin. La Funcin Descriptiva de la Lgica.