Monografias | Una definición satisfactoria de la verdad

Tal como es presentada en este trabajo, la semántica es la ciencia que se ocupa de las relaciones entre las expresiones de un lenguaje dado y los objetos a los que se refieren dichas expresiones. Lo que Tarski propone en su artículo, con el fin de formalizar los fundamentos de una semántica teórica, es lograr una definición satisfactoria de la verdad. Para ello deberá lindar con ciertos problemas. En primer lugar Tarski sostiene que la palabra "verdad" no es inequívoca, y propone respetar la lógica clásica; tal como sostiene en su "Metafísica" Aristóteles: "Decir de lo que es que no es, o de lo que no es que es, es falso, mientras que decir de lo que es que es, o de lo que no es que no es, es verdadero." Definida de este modo, la verdad es un atributo que lleva una expresión dada en relación con el objeto al que se refiere; en otras palabras, y tal como la semántica moderna lo concibe, es una cualidad propia de la relación entre una afirmación y el estado de cosas referida por ésta. De este modo damos con un problema fundamental que tanto la lógica presentada por Aristóteles como la semántica moderna, no resuelve. En "Metafísica" es bastante engorroso el estudio de la segunda parte de la relación; pues jamás se deja bien en claro que es un objeto; y si estudiamos a la semántica moderna (sin incluir a Tarski) nada sabremos sobre que es lo que quiere decir con estado de cosas.

Todas las formas de presentar la verdad, anterior a Tarski, entendían que la diferencia de nivel dada entre una expresión y el objeto referido por esta expresión, también se constituía en la distancia generada entre el lenguaje y una realidad empírica totalmente externa a éste y, por lo tanto, imposible de reducir a símbolos o términos, no sólo del lenguaje que definía a la semántica, sino que imposible de reducir a símbolos o términos de lenguaje alguno.

Tal como Tarski propone la definición de la verdad, no se desliga de la tarea de definir que es un objeto o un estado de cosas, sino que solamente se desprende de la realidad externa que todos los tratados sobre la verdad anteriores tomaron como parte material sobre la que se aplicaba su semántica. En rigor, Tarski, respeta todos los principios de la lógica propuesta por Aristóteles, sólo que a estos principios, al eximirlos de una "realidad empírica", los libera de cuestiones ontológico-metafísicas.

Presentadas, de manera general y rauda, las principales particularidades de la semántica propuesta por Tarski, a continuación proponemos un estudio más profundo y formal de sus conceptos.

Adecuación material
El problema principal ha desarrollar y solucionar por Tarski consiste en el logro de una definición satisfactoria de la verdad, que sea materialmente adecuada y formalmente correcta.

Con respecto al predicado "verdadero", lo que Tarski considerará conveniente es aplicar dicho término a las oraciones (lo que en gramática se llama oración enunciativa). A partir de ello, se relacionará la noción de verdad, junto con la de oración, a un lenguaje específico.

Del mismo modo, la definición que el autor propone alcanzar requiere de una adecuación material. Para ello parte del ejemplo dado por la oración "la nieve es blanca", para arribar a la equivalencia que significa decir: "La oración la nieve es blanca es verdadera si, y sólo si, la nieve es blanca".

Desde allí, Tarski distingue dos miembros que componen a la mencionada equivalencia, y distingue cómo la oración "la nieve es blanca" aparece con comillas en el primero de ellos, y sin ellas en el segundo; es decir, en el primero tenemos el nombre de la oración, y en el segundo a la oración misma. Por consiguiente, para poder decir algo acerca de una oración debemos usar el nombre de ella y no a la oración misma.

Al generalizar dicho procedimiento, podemos reemplazar una oración arbitraria por la letra "p". Luego de formar el nombre de dicha oración, podemos reemplazar ésta por otra letra, como "X". Al preguntarnos cuál es la relación lógica entre las dos oraciones "X es verdadera" y "p", se sigue la siguiente equivalencia: X es verdadera si, y sólo si, p.
Se llamará "equivalencia de la forma (T)" a toda equivalencia de esta clase (en la que "p" sea reemplazada por cualquier oración del lenguaje a que se refiere la palabra "verdadero", y "X" sea reemplazada por un nombre de esta oración).

El término "verdadero" se usará de manera tal que puedan enunciarse todas las equivalencias de la forma (T), y se llamará "adecuada" a una definición de la verdad si de ella se siguen todas estas equivalencias. Toda equivalencia de la forma (T), obtenida reemplazando "p" por una oración particular, y "X" por un nombre de esta oración, puede considerarse una definición parcial de la verdad. La definición general debe ser, en cierto sentido, una conjunción lógica de todas estas definiciones parciales.

Tarski propone, así, el nombre de "concepción semántica de la verdad" para designar la concepción de la verdad así expuesta. La semántica es una disciplina que se ocupa de ciertas relaciones entre las expresiones de un lenguaje y los objetos a que se "refieren" esas expresiones, así como lo hacen las palabras designación, satisfacción, y definición. Pero la palabra "verdadero" posee una naturaleza lógica diferente, ya que expresa una propiedad de ciertas expresiones, de oraciones. Resulta que la manera más simple y natural de obtener una definición exacta de verdad es la que acarrea el uso de otras nociones semánticas, como la noción de satisfacción. Por ello Tarski incluye el concepto de verdad entre los conceptos semánticos, porque el problema de definir la verdad resulta estar estrechamente vinculado con el problema más general de echar los fundamentos de la semántica teórica.

Para especificar la estructura de un lenguaje se deberá caracterizar inequívocamente la clase de las palabras o expresiones que hayan de considerarse significativas. Se indicarán todas las palabras que se hayan decidido usar sin definirlas ("términos indefinidos"); y se deberán dar las llamadas reglas de definición para introducir términos definidos o nuevos. Se establecerán también criterios para distinguir, dentro de la clase de expresiones, aquellas que llamaremos "oraciones". Por último se deberán formular las condiciones en que puede afirmarse una oración del lenguaje. En particular, se indicarán todos los axiomas, es decir, las oraciones que hayamos decidido afirmar sin prueba; y se darán las reglas de inferencia mediante las cuales se pueden deducir nuevas oraciones afirmadas a partir de otras oraciones afirmadas previamente.

Si, especificado el lenguaje, nos referimos exclusivamente a la forma de las expresiones que comprenden, se dirá que el lenguaje está formalizado. En tal lenguaje, los teoremas son las únicas oraciones que pueden afirmarse. Ello es lo que permite que el problema de la definición de la verdad adquiera un significado preciso y pueda resolverse en forma rigurosa. La aproximación consiste en reemplazar un lenguaje natural por otro cuya estructura se especifica exactamente, y que difiere del lenguaje dado "tan poco como sea posible".

La antinomia del mentiroso
La antinomia del mentiroso no es desdeñada por Tarski, y le reconoce su importancia. De acuerdo a ella, la antinomia genera un absurdo que obliga a afirmar una oración falsa; es decir, se llega a la presencia de una contradicción. Así, y en relación a su texto, él considera la oración siguiente:

la oración impresa en la página 121, línea 8 de este trabajo, no es verdadera.
Tras reemplazar la oración por la letra 's', se afirma la siguiente equivalencia:

1. 's' es verdadera si, y sólo si, la oración impresa en la página 121, línea 8 de este trabajo, no es verdadera.

Teniendo presente el significado del símbolo 's', se establece empíricamente el siguiente hecho:
(2) 's' es idéntica a la oración impresa en la página 121, línea 8 de este trabajo.
Al reemplazar la expresión 'la oración impresa en la página 121, línea 8 de este trabajo' por el símbolo 's', se obtiene lo que sigue:

3. "'s' es verdadera si, y sólo si, 's' no es verdadera".

Tarski propone descubrir la causa de esta paradoja, y analizar las premisas sobre las que se basa, para luego rechazar por lo menos una de ellas.
(I) El lenguaje en que se construye la antinomia contiene las expresiones y los nombres de estas expresiones, así como términos semánticos tales como el término "verdadero". También se ha supuesto que todas las oraciones que determinan el uso adecuado de este término pueden afirmarse en el lenguaje. Un lenguaje que goza de estas propiedades se llamará "semánticamente cerrado".
(II) En este lenguaje valen las leyes ordinarias de la lógica.
(III) Podemos formular y afirmar en nuestro lenguaje una premisa empírica, tal como el enunciado (2).

Se demuestra que las suposiciones (I) (II) son esenciales, y que debemos rechazar al menos una de ellas. Se considerará la posibilidad de rechazar la suposición (I), y se decidirá no usar lenguaje alguno que sea semánticamente cerrado en el sentido dado anteriormente.

Por ello es que se deberá usar dos lenguajes diferentes al tratar el problema de la definición de la verdad y, en general, todos los problemas semánticos. El primero de ellos es el lenguaje acerca del que "se habla"; el segundo es el lenguaje en que "hablamos acerca del" primer lenguaje, y en cuyos términos deseamos, en particular, construir la definición de verdad para el primer lenguaje. El primer lenguaje se denominará lenguaje objeto y el segundo metalenguaje.

Metalenguaje y lenguaje-objeto
La definición de la verdad, y todas las equivalencias implicadas por ella, han de formularse en el metalenguaje, y toda oración que figure en el lenguaje-objeto también debe figurar en el metalenguaje; es decir, el metalenguaje debe contener al lenguaje-objeto como parte de él. El metalenguaje debe tener la riqueza suficiente para dar la posibilidad de construir un nombre para cada una de las frases del lenguaje objeto, y debe contener términos de carácter lógico general, tal como la expresión 'si y sólo si".

Lo que se desea es que los términos semánticos (referentes al lenguaje-objeto) se introduzcan en el metalenguaje sólo por definición. Satisfecho este postulado, la definición de la verdad cumplirá lo que se espera intuitivamente de toda definición.; es decir, explicará el significado del término que se define en términos cuyos significados parecen completamente claros e inequívocos.

Riqueza esencial
La condición para que el metalenguaje sea "esencialmente más rico" que el lenguaje-objeto es que contenga variables de un tipo lógico superior al de las del lenguaje-objeto. Si no se satisface la condición de "riqueza esencial", usualmente puede demostrarse que es posible formular una interpretación del metalenguaje en el lenguaje-objeto. La condición de "riqueza esencial" es necesaria para que sea posible dar una definición satisfactoria de la verdad en el metalenguaje. Por ello, se debe incluir el término 'verdadero', o algún otro término semántico, en la lista de los términos indefinidos del metalenguaje, expresando las propiedades fundamentales de la noción de verdad en una serie de axiomas.

La condición de 'riqueza esencial' del metalenguaje resulta ser, no sólo necesaria, sin también suficiente para construir una definición satisfactoria de la verdad; si el metalenguaje satisface esta condición, en él puede definirse la noción de verdad.

Aridad de un símbolo de relación
La aridad Ar(n) es el número n asignado a un símbolo de relación que indica cuantos objetos relaciona, Formalmente se la define como una función que toma como dominio a R (conjunto de símbolos de relación) y como codominio a N (conjunto de los números naturales).

Termino

Fórmula

1. Un razonamiento es una sucesión de sentencias donde hay una distinguida llamada conclusión.
2. Un razonamiento es valido si y sólo si bajo premisas verdaderas la conclusión es verdadera.

Satisfactibilidad

1. B_r = B_j
2. Ó B_r una fórmula tal que mediante (G.U.) se obtiene de B_j.
3. B_t = B_i
4. Ó B_t una fórmula tal que puede ser llevada mediante (G.U.) a B_i.
   -_Q B indica que B es fórmula del cálculo de predicados.

Teorema (definición)
Dada una demostración B₁, B₂,....,B_n, B_n es referida como teorema.