Post on 05-Apr-2018
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: