Como es que se da la Concepción semántica de la verdad y los Fundamentos de la Semántica Alfred Tarski

...

Tasi presenta una definición de verdad en términos de satisfacción. Determinamos que objetos satisfacen una función y llamamos verdadero el enunciado resultante de completar una función con el o los objetos que la satisfacen. La reducción de la noción de verdad a las de satisfacción y referencia se lleva a cabo mediante definiciones parciales:

-Se determina la referencia de cada una de sus constantes individuales.

-Se especifican las condiciones de satisfacción de los predicados.

-Se especifican las condiciones de verdad de cada enunciado

Tarski reconoce que lo único que podemos hacer es dar una lista de las expresiones lógicas, pues no hay ningún fundamento objetivo que nos permita establecer una distinción entre expresiones lógicas y expresiones no lógicas.

Tarski reduce la noción de verdad a otras nociones semánticas: referencia de un nombre propio a un objeto y satisfacción de un predicado por objetos.

La definición de verdad de Tarski se reduce a:

-La verdad se predica de enunciados

-Toda teoría adecuada se ha de establecer en un metalenguaje para un lenguaje, cuya sintaxis está claramente especificada, es decir, que no define la verdad en general, sino la verdad en el significado de ¨es verdadero¨ para un lenguaje formal.

-No hay una definición de la verdad que valga para todo lenguaje, no se puede dar una definición de la verdad que valga para todo lenguaje, sino únicamente definiciones parciales relativamente a algún lenguaje

- La noción de verdad, para un lenguaje puede ser reducida a las nociones de satisfacción y referencia.

Tarski mantiene la intuición de que la verdad tiene algo que ver con la realidad, que un enunciado sea o no verdadero depende de cómo es el mundo, pero evita la dificultad de tener que señalar hechos en el mundo.

...