OcultarTeora semntica de la verdad En 1933 Tarski public en polaco un artculo sobre su definicin matemtica de la verdad para lenguajes formales.

La influyente traduccin al alemn se edit en 1936 bajo el ttulo "Der Wahrheitsbegriff in den Sprachen der deduktiven Disziplinen (El concepto de verdad en los lenguajes de las disciplinas deductivas), y en 1956 se dio a conocer la versin inglesa como un captulo de la antologa Logic, Semantics, Metamathematics (1956). Este trabajo supone un hito para la filosofa del siglo XX. Ha tenido gran difusin una presentacin no tcnica, El concepto semntico de verdad y los fundamentos de la semntica, publicada en 1944.Desde un enfoque formalista de las matemticas, el concepto de verdad parece superfluo: lo nico que cuenta es la aplicacin de las reglas de manipulacin de signos, de derivacin de unas frmulas a partir de otras. Ms en general, podra decirse que es ocioso preocuparse por lo que tradicionalmente se ha llamado "verdad" "la coincidencia con la realidad": la ciencia ofrece procedimientos para demostrar o comprobar enunciados, y decir 'verdadero' sera una forma arcaica o redundante de decir 'demostrado' o 'probado'.Pero las limitaciones de los formalismos, que Tarski contribuy a descubrir en los aos 30 junto a Gdel, Alonzo Church y otros, mostraban que para avanzar en matemticas era necesario interpretar (en un modelo) los smbolos del lenguaje de los clculos lgicos por ejemplo, para obtener demostraciones de consistencia de un sistema formal relativas a otro, una vez que se demostr que la demostracin absoluta es imposible. Esto supona recuperar el concepto de verdad para las oraciones, en el sentido clsico de "correspondencia" de las oraciones con sus referentes.Aunque el sentido clsico deba ser recuperado, la expresin clsica era, segn Tarski, defectuosa: el trmino "correspondencia" era como mucho una metfora. Ms precisa le resultaba, sin ser completamente adecuada, la concepcin de Aristteles:Decir de lo que no es que es, o de lo que es que no es, es falso, y decir de lo que es que es, o de lo que no es que no es, es verdadero.Aristteles, Metafsica.Por otro lado, Tarski mostr cmo la preservacin de ese concepto clsico requera no definirlo para cualquier lenguaje o para un lenguaje genuino al que seran traducibles todos los dems, sino para lenguajes formales (de frmulas) interpretables en dominios restringidos: si la concepcin clsica se aplica a lenguajes que se refieren ilimitadamente a s mismos por ejemplo, la lengua nativa del terico o de su lector humano se hace posible caer en contradicciones como la paradoja del mentiroso.Puede decirse que Tarski mostr cmo la concepcin clsica sirve para avanzar desde los formalismos, y cmo los formalismos sirven para avanzar desde la concepcin clsica, hacindola ms precisa y cientfica.En la actualidad los nicos lenguajes que tienen una estructura especificada son los lenguajes formalizados de los distintos sistemas de la lgica deductiva, enriquecidos tal vez gracias a la introduccin de ciertos trminos no lgicos. Sin embargo, el campo de aplicacin de estos lenguajes es bastante extenso; tericamente, podemos desarrollar con ellos varias ramas de la ciencia, por ejemplo, las matemticas y la fsica terica. El problema de la definicin de la verdad cobra un significado esencial y se puede solucionar de forma rigurosa solo para aquellos lenguajes que tengan una estructura exactamente especificada.Tarski, La concepcin semntica de la verdad y los fundamentos de la semntica, 1944 Requisitos de una definicin de verdad

La aplicacin no paradjica del concepto de verdad depende de la distincin, tomada de la escuela deDavid Hilbert, entre lenguaje objeto para el que se define un concepto de verdad y metalenguaje en el que se define ese concepto de verdad y que abarca o representa al lenguaje objeto. En lo que sigue, las expresiones entre comillas son nombres del metalenguaje para las oraciones del lenguaje objeto, y las expresiones de que forma parte el entrecomillado son expresiones del metalenguaje. Adecuacin material La condicin de adecuacin material de Tarski supone que toda teora lograda de la verdad implica, para cada oracin P del lenguaje objeto X para el que se define la verdad, que1. P es verdadera si y solo si P.A este requisito se le denomina convencin T (o V, segn la traduccin). As, tomando el ejemplo que Tarski hizo famoso, para la oracin La nieve es blanca una hipottica teora de la verdad para el castellano debe implicar que:1. La nieve es blanca es verdadera si y solo si la nieve es blanca.No es una implicacin tan trivial como puede parecer: el enunciado a la izquierda de si y solo si trata sobre la expresin La nieve es blanca mientras que el enunciado a la derecha trata sobre la nieve. En todo caso, el enunciado de la izquierda y el enunciado de la derecha son equivalentes segn la concepcin aristotlica que Tarski busca precisar, y por tanto las implicaciones son un requisito de adecuacin material de la definicin.La apariencia de trivialidad es menos obvia si tomamos como lenguaje objeto el ingls y como metalenguaje una versin del castellano que incluye el ingls.1. The snow is white es verdadera en ingls si y solo si the snow is white.Esto ltimo da la pauta al hablante castellano -con una teora de lo verdadero en ingls- para saber si lo que ha dicho cierto ingls -"The snow is white"- es verdadero: acudir a su diccionario ingls-castellano y comprobar si el resultado de traducir 'the', 'snow', 'is', 'white', por este orden, da lugar a una verdad castellana.1 y 1 no son ms que ilustraciones usando lenguas naturales el ingls y el castellano con teora-, que son las que abren paso a las paradojas. Tarski no crea posible que se pudiesen formular teoras de la verdad materialmente adecuadas para las lenguas naturales, ni siquiera crea que el intento tuviera sentido;lo que propuso son teoras de la verdad para lenguajes formales (de frmulas), en las que la verdad de las oraciones complejas era funcin de la verdad de oraciones elementales para las que se define una interpretacin en elmetalenguaje-. La concepcin de Tarski es una "concepcin semntica" porque la verdad es en ella funcin de los referentes asignados a los componentes elementales del lenguaje objeto.Hay que sealar que no se puede considerar una definicin de la verdad ni 1 ni los resultados de sustituir las variables de 1 por oraciones y sus nombres; estos seran a lo sumo definiciones parciales para una oracin particular- de la verdad. Una definicin general ser una conjuncin lgica de todas estas definiciones parciales.No cabe una definicin general mediante la cuantificacin universal de la convencin T: en 'Para todo P, "P" es verdadero si y solo si P', el alcance de la cuantificacin llega a la oracin, pero no a su nombre, y las interpretaciones de P no pueden dar lugar a las equivalencias buscadas y solo a ellas.Esto no impide que una teora semntica de la verdad se pueda aplicar a conjuntos infinitos de oraciones -como cuando se dice "Todos los teoremas de T son verdaderos" o "Todo lo que dice Tarski es verdad"-. Si el predicado "verdadero" se define como una redundancia trivial y se elimina de las ltimas oraciones citadas, el resultado no equivale a una oracin. Por su parte, la satisfaccin de la convencin T en una definicin de la verdad permite, dado cualquier dicho de Tarski citado como verdadero, establecer su equivalente en el lenguaje

en que se interpretan los dichos de Tarski -y as en cualquier caso en que sea posible una definicin adecuada materialmente y formalmente correcta-.El entrecomillado no es la nica forma de construir nombres de las oraciones del lenguaje objeto. Tambin cabe el deletreo, la numeracin de Gdel, la expresin en bits... Los recursos para nombrar cada oracin del lenguaje objeto determinan la fuerza del metalenguaje. Correccin formal La posibilidad de las antinomias conlleva que una definicin debe cumplir, tambin, los siguientes requisitos de correccin formal:Los nombres de las expresiones del lenguaje objeto X no pueden formar parte del lenguaje objeto el castellano como lenguaje objeto puede tratar sobre la nieve, pero no sobre la oracin "La nieve es blanca"; esto es tema del metacastellano.La expresin del metalenguaje es verdadero en el lenguaje X -u otros conceptos semnticos metalingsticos- no pueden formar parte del lenguaje X para el que se define el concepto de verdad. Junto al anterior, este requisito establece que un lenguaje no puede ser su propio metalenguaje.Los conceptos semnticos no deben ser conceptos indefinidos de la teora de la verdad para X -han de ser conceptos definidos en trminos de otros de la teora; "... es verdadero" debe definirse en trminos no semnticos mientras sea posible-.si se cumple este postulado, la definicin de la verdad, o de cualquier otro concepto semntico, cumplir con la funcin que de forma intuitiva esperamos de cualquier definicin; esto es, explicar el significado del trmino que se est definiendo haciendo uso de trminos cuyo significado sea completamente claro y unvoco. Y adems tendremos entonces una garanta de que la utilizacin de conceptos semnticos no nos har caer en contradicciones.Tarski, La concepcin semntica de la verdad y los fundamentos de la semntica, 1944.Satisfacer estas condiciones permite evitar la paradoja del mentiroso, y otras de ms relevancia lgica y matemtica -como la paradoja de Grelling-Nelson y la paradoja de Richard, relacionadas con otros conceptos semnticos, como "defincin" y "designacin"-: las expresiones paradjicas nunca se formarn bajo estas condiciones. Pero entonces debe renunciarse a una teora de la verdad que sea vlida para cualquier lenguaje. Por ejemplo, una definicin de verdad para el lenguaje de cierta teora de conjuntos no valdr para el lenguaje de una teora sobre esa teora -sobre conjuntos de conjuntos-.Visto de otra forma, en el marco de la 'trivial' concepcin de Tarski:cualquier teora formalizada no semntica T presupone un lenguaje ms rico que aquel en el que est formulada la teora; o bienel lenguaje de cualquier teora formalizada no semntica T debe ser ms dbil que aqul en que pueden definirse las condiciones de verdad para dicha teora.Por ejemplo, si T trata de ciertos individuos, T presupone un lenguaje ms rico, en el que pueden formularse, para cada teorema t de T, las oraciones equivalentes '"t" es verdadero'. Ese "verdadero" estar definido en trminos de conceptos de una teora ms fuerte que T por ejemplo, que trata no solo sobre individuos, sino sobre clases de individuos, y por tanto con un lenguaje ms rico. Si la teora de la verdad no fuera ms fuerte, se violaran los requisitos bsicos 'verdadero' se podra definir en el lenguaje de T.Ahora bien, no presupone cualquier lenguaje ms rico, sino uno que permita la satisfaccin de la condicin T dados dos conceptos de verdadero en X, verdadero-1 en X y verdadero-2 en X, una oracin de X es verdadera-1 si y solo si es verdadera-2; de lo contrario, uno de los conceptos no es adecuado. La condicin de adecuacin material proscribe la opcin entre teoras de la verdad no equivalentes; toda alternativa debe asignar la misma extensin de lenguaje objeto al concepto 'verdadero'.Una alternativa a estos requisitos sera, segn

Tarski, definir la verdad en un lenguaje de aplicacin universal pero no regido por las "leyes habituales" de la lgica; por otro lado, la definicin dada por Tarski satisfaciendo estos requisitos permite deducir "leyes habituales" de la lgica, como el principio de no contradiccin y el principio del tercero excluido, y a partir de ah los conceptos de completitud, consistencia y otros propios de la metamatemtica y la teora de modelos que permiten clasificar las teoras no semnticas y cadasistema formal relacionado. Dado que en la mayor parte de las teoras formalizadas T puede definirse el predicado "demostrable en T" y que puede demostrarse que todas las oraciones demostrables son verdaderas, existen oraciones verdaderas que no son demostrables pues "verdadero en T" se define en una lgica ms potente que la de T. Esbozo de la definicin de verdad de Tarski La definicin de "verdadero" de Tarski toma como concepto no definido el de "satisfaccin"; dado que "satisfaccin" es un concepto semntico, la completa correccin formal exige una teora semntica ms amplia. Esta definicin se aplica a todos los lenguajes formalizados conocidos en la poca de su formulacin como los de lgica de primer orden-.Las oraciones abiertas o funciones proposicionales simples, expresiones como "x es blanca", donde x es una variable- son los componentes elementales del lenguaje para el que se define la verdad; no son ni verdaderas ni falsas en s mismas, sino satisfechas por unos objetos y no satisfechas por otros.Una interpretacin de un lenguaje es una especificacin de los objetos que satisfacen cada componente por ejemplo, la nieve para "x es blanca"-. Una funcin proposicional compleja es el resultado de combinar mediante conectivas lgicas funciones proposicionales simples; cada funcin compleja se satisface en funcin de la satisfaccin de sus componentes, segn reglas semnticas especificadas por ejemplo, '"x no es blanca" es satisfecha por un objeto si y solo si ese objeto no satisface "x es blanca"';'"x es blanca o x es roja" es satisfecha por un objeto si y solo si el objeto satisface alguno de sus componentes'-.Una oracin cerrada o sentencia- es una funcin proposicional con nombres de objetos en el lugar de las variables o sin ninguna variable no cuantificada lgicamente; las oraciones cerradas son las que pueden ser verdaderas o falsas. En concreto la definicin de verdad de Tarski afirma que una oracin es verdadera en X si y solo si es satisfecha por todos los objetos con que se ha definido una interpretacin de X y falsa si no es satisfecha por ninguno. Influencia en filosofa La concepcin de Tarski ha dado pie a reflexiones filosficas como las de Donald Davidson, para quien s es posible aplicar las nociones de Tarski a los lenguajes naturales si bien no como teora directa de la verdad, sino como parte de una teora de la interpretacin de esos lenguajes por sus hablantes y en la medida en que son formalizables de cierta manera. Karl Popper defendi que la teora de la verdad de Tarski supona una fundamentacin del realismo; segn Hartry Field, lo fundamentado a lo sumo era el fisicalismo. Richard Merett Montague desarroll una teora matemtica de la semntica de los lenguajes naturales que pretenda dar cuenta de la incapacidad de los lenguajes naturales como medio para la filosofa.Rudolf Carnap se bas en la concepcin semntica al estudiar las propiedades de los sistemas de lgica inductiva y la posibilidad de inferir leyes universales a partir de enunciados de observacin. Debe tenerse en cuenta que las

aplicaciones de la concepcin semntica a la filosofa de la cienciaemprica (como las de Carnap o Popper) dependen de la aceptacin de la "concepcin lingstica de las teoras" teoras como conjuntos de enunciados, que ha sido cuestionada por escuelas ms recientes