TARSKI

LENGUAJE-OBJETO: es el leng acerca del q se habla. La definicin q busca d la V se aplica a las oraciones d este leng. METALENGUAJE: es el leng en q hablamos acerca del y en cuyos trminos deseamos, en particular construir la definicin d V para el 1er Al no usar lenguajes 9. lenguaje. semnticamente cerrados, debe usar dos lenguajes diferentes al tratar el problema de la definicin de la verdad. Explica el sentido de la verdad con una definicin q es Materialmente adecuada (objetos sobre los cuales se aplica el predicado) y formalmente correcta (metalenguaje para traducir ser verdadero) 8. El lenguaje que contiene adems de sus expresiones, los nombres de estas expresiones, as como trminos semnticos referidos a oraciones de este lenguaje, se llamar semnticamente 7. La antinomia del cerrado. mentiroso: Esta oracin es falsa es un absurdo afirmar que una oracin es falsa.problema de la definicin de 6. El

AIM: dar una definicin de la verdad y ver a qu se aplica y qu significa. Quiere hacer una teora de la V q se pueda aplicar a cualquier L, incluso No verbal; para eso usa el L simblico d la matemtica y la lgica.

Tarski trabaja en un doble nivel: Extensin: Q aspectos estaban representad os a travs de una lengua, q refiere una expresin de una lengua Intensin: forma como

1. Tarski dice que el problema principal es el de dar una definicin satisfactoria de la nocin de verdad, es decir, una definicin que sea materialmente adecuada y formalmente correcta.

2. Tarski aplica el trmino verdadero a las oraciones. Relaciona ambas nociones con un lenguaje especfico 3. Retoma el significado aristotlico de la verdad: 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 O es el nombre de a oracin. p est en lugar de proposicin. O es el objeto y p es el metalenguaje q uno usa para definir a ese objeto Si y solo si son las condiciones necesarias y suficientes q deben darse para q esto pueda ser V. Nocin de riqueza esencial

TARSKI
4. Equivalencia de la forma (V): (V) X es verdadera si, y slo si, p. Tarski explica que desea usar el trmino verdadero de manera tal que puedan enunciarse todas las equivalencias de la forma (V), y llamar adecuada a una definicin de la verdad si de ella se siguen todas estas equivalencias

la verdad adquiere un significado preciso y puede resolverse en forma rigurosa solamente para aquellos lenguajes cuya estructura se ha especificado exactamente. 5. La palabra verdadero expresa una propiedad (o denota una clase) de ciertas expresiones, a saber, de oraciones. Nocin de riqueza esencial: el metalenguaje deber ser + rico: estar equipado con variables de un tipo lgico ms alto que las variables del L q es sujeto a investigacin