8/2/2019 TARSKI en Cuadro

1/1

TARSKI

AIM: dar una definicin de la verdad y ver a quse aplica y qu significa. Quiere hacer unateora de la V q se pueda aplicar a cualquier L,incluso No verbal; para eso usa el L simblico dla matemtica y la lgica. 8. El lenguaje que contiene

adems de sus expresiones,los nombres de estasexpresiones, as comotrminos semnticos referidosa oraciones de este lenguaje,se llamarsemnticamentecerrado .

TARSKI

1. Tarski dice que elproblema principal es elde dar una definicinsatisfactoria de la nocinde verdad, es decir, unadefinicin que seamaterialmente adecuaday formalmente correcta.

2. Tarski aplica el trminoverdadero a las oraciones.Relaciona ambas nocionescon un lenguaje especfico3. Retoma el significadoaristotlico de la verdad:Decir de lo que es que noes, o de lo que no es que es,es falso, mientras que decirde lo que es que es, o de loque no es que no es, esverdadero

4. Equivalencia de la forma(V):(V) X es verdadera si, yslo si, p .

Tarski explica que deseausar el trmino verdaderode manera tal que puedan

enunciarse todas lasequivalencias de la forma(V), y llamar adecuada a una definicin de laverdad si de ella se siguentodas estas equivalencias

5. La palabra verdaderoexpresa una propiedad (odenota una clase) de ciertasexpresiones, a saber, deoraciones.

6. El problema de la definicin dela verdad adquiere un significadopreciso y puede resolverse enforma rigurosa solamente paraaquellos lenguajes cuyaestructura se ha especificadoexactamente.

7. La antinomia del

mentiroso : Esta oracines falsa es un absurdoafirmar que una oracin esfalsa.

9. Al no usar lenguajessemnticamentecerrados, debe usardos lenguajesdiferentes al tratar elproblema de ladefinicin de la verdad.

LENGUAJE-OBJETO: es elleng acerca del q se habla.La definicin q busca d la V seaplica a las oraciones d esteleng. METALENGUAJE: es elleng en q hablamos acerca

del y en cuyos trminosdeseamos, en particularconstruir la definicin d V parael 1er lenguaje.

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 paradefinir a ese objetoSi y solo si son las condicionesnecesarias y suficientes q deben darsepara q esto pueda ser V. Nocin deriqueza esencial

Nocin de riqueza esencial: elmetalenguaje deber ser + rico:estar equipado con variables deun tipo lgico ms alto que lasvariables del L q es sujeto ainvestigacin

Explica el sentido de la verdad

con una definicin q esMaterialmente adecuada (objetos sobre los cuales se aplicael predicado) y formalmentecorrecta (metalenguaje paratraducir ser verdadero)

Tarskitrabaja enun doblenivel:Extensin:Q aspectosestabanrepresentados a travsde unalengua, qrefiere unaexpresinde unalenguaIntensin: