Tarski

Una definición de verdad tipo Tarski, puede explicarse teniendo en mente que la verdad es relativa a un modelo M y a una valuación v. Es por esto que la teoría de la verdad que ha disfrutado de mayor aceptación es la del lógico polaco Alfred Tarski. Esta teoría se halla expuesta originalmente en un artículo suyo del año 1930, y divulgada en su ensayo La concepción semántica de la verdad y los fundamentos de la semántica.

De acuerdo a esto Tarski probó que dadas ciertas condiciones, una definición de verdad para un lenguaje, sólo puede darse en un metalenguaje con condiciones precisas.

Ahora enfocándonos como dice Tarski la definición de verdad que pertenece a los interrogantes de la filosofía clásica, engendra considerables dificultades y es por esto que él recurre a los lenguajes formalizados y a la lógica moderna para lograr una aproximación al concepto de enunciados verdaderos. En lenguaje coloquial o corriente, la definición se da usualmente en términos semánticos, como algo del tipo:

Un enunciado verdadero es aquel que afirma que las cosas son así y así, y en efecto las cosas son así y así.

No es la mejor forma de definir la verdad, pero planteada para el individuo normal y corriente es intuitivamente claro. Esta forma de definir el concepto de verdad ya está presente en Aristóteles cuando en la Metafísica afirma: “Decir que algo es lo que no es, o, decir que algo no es lo que es, es falso, mientras decir que algo es lo que es o que algo no es, lo que no es, es verdadero”. Esta forma de definir “verdad” no satisface las condiciones de rigor y precisión que busca la lógica moderna y es por esto que Tarski buscó a través de lenguajes formalizados una definición de verdad que se acomode a los nuevos criterios de exigencia.

Las definiciones de verdad son importantes por diferentes razones. Sin las noción de verdad hay pocas esperanzas de capturar conceptos básicos de la lógica como son: validez (Verdad en cada modelo) y consecuencialidad lógica. Simplificando; la idea de verdad de Tarski, aplicada a una frase S es que, el conocer las condiciones de verdad de S, es conocer el significado de S (semántica). Porque, lo que nuestra frase afirmante S acierta decir, cuando la exclamamos, puede ser parafraseada, diciendo que, lo que S establece, es que sus condiciones de verdad se satisfacen. Algunos filósofos se han atrevido a criticar las definiciones de verdad tipo Tarski porque según ellos, se apoyan ilícitamente en el concepto de significado. Este apoyo en efecto se da, pero no es ilícito por no ser circular. El proyecto de Tarski es, nada más ni nada menos, que definir las condiciones de verdad en términos del significado de los símbolos, esto es, el significado de las frases en términos del significado de sus símbolos. No hay nada de equivocado en este intento.

...