Condiciones para definiri ser verdadero en lenguaje

Tarski retoma las ideas realistas de Aristoteles, investigo la nocion de verdad para ofrecer una posible definicion de este valor relativo a un lenguaje que escapara a toda paradoja. Estos fueron sus resultados:
Traski determino que para que una teoria de la verdad pudiera determinarse para un lenguaje que fuera consistente y no contubiera paradojas deberia cumplir dos condiciones, sin las cuales la definicion no seria posible. Una vez planteadas estas condiciones, procede a definir el concepto de verdad.

Dos son las condiciones que impone Tarski a una teoria sobre la verdad.

1_ Adecuacion Material
El requisito fundamental que cualquier teoria sobre la verdad satisfacer es que de ella se puedan seguir enunciados de lo que el denomina Convencion (T)
(T) O es verdad si y solo si p

(i)donde O se ha de sustituir por el nombre de una oracion del lenguaje para el que se define el predicado 'es verdadero'. Observese que O debe ser un nombre para la oracion del lenguaje, es decir un lemento de otro lenguaje o de un metalenguaje.

(ii)donde p se ha de sustituir por una oracion de lenguaje en el que se esta definiendo el predicado 'es verdadero'. Esta oracion ha de representar las condiciones de verdad de la oracion que ocupe el lugar de O.
Ejemplo: "la nieve es blanca" es verdadera si y solo si la nieve es blanca.
Esta oracion cumplora la convencion (T). Esto naturalmene no es la definicion, solamente es una condicion que ha de cumplir la definicion de verdad para un lenguaje. La definicion ha de rellenar ese esquema con las oraciones de ese lenguaje y sus condiciones de verdad respectivas.


2_Correccion formal
Este requisito formal concierne a la estructura del lenguaje sobre el que se da la definicion de verdad y a los predicados y conceptos que se utilizan en la teoria. Las condiciones formales deben ser las siguientes:
(1)la definicion de verdad tendra que ser relativa a un lenguaje, pues una y la misma oracion puede ser verdadera en un lenguaje y falsa en otro.
(2)cualquien teoria sobre a verdad para un lenguaje L, se formulara en un metalenguaje de L,Ml. Donde Ml ha de contener:
(a) nombres para cada uno de los elementos de L
(b) oraciones de Ml que sean una traduccion adecuada de las de L
(3)el lenguaje para el que se define el predicado 'es verdadero' el metalenguaje con el que se define tienen que ser especificables o determinables. Esto es, ha de existir un metodo que permita determinar si algo es una oracion de lenguaje o si no lo es.

Tarski piensa que estas condiciones no las cumple ningun lenguaje natural,
pues en ellos no se distingue el lenguaje del metalenguaje y a demas no son determinables. A pesar de esta idea Davidson, un filosofo norteamiricano intento aplicar la definicion de Tarski a los lenguajes naturales para crear una teoria del significado.