RESUMEN

ALFRED TARSKI: Teora Semntica de la Verdad y Teora de los Modelos.

Tarski impone dos condiciones para tener una definicin de verdad

satisfactoria: Correccin formal y Adecuacin material.
Correccin formal: La correccin formal de un lenguaje consiste en que no debe
ser semnticamente cerrado, para ello es necesario tener dos lenguajes, un
lenguaje-objeto a cuyas proposiciones se pueden asignar el predicado verdadero o
el predicado falso y un metalenguaje en el cual se puede hablar de lenguaje-objeto.
El lenguaje- objeto debe ser exactamente especificado, deben darse leyes de
formacin de las expresiones significativas. El metalenguaje debe ser lo
suficientemente rico para contener al lenguaje-objeto poder referirse a las partes
constituyentes.
Adecuacin material: Supone que toda teora lograda de la verdad implica para
cada oracin P del lenguaje-objeto X para el que se define la verdad, que 1. P es
verdadera si y solo si P.
Un lenguaje formal de primer orden est constituido por:
1.- Smbolos (smbolos lgicos y smbolos no lgicos).
2.- Trminos.
3.- Formulas (formulas atmicas).
Una definicin de verdad ser materialmente adecuada si de ella se siguen todas
las instancias del esquema de una expresin del metalenguaje.
Sistema formal de primer orden: Consta de dos partes: parte sintctica y parte
semntica.
Cumpliendo con el primer requisito necesario para tener una definicin formalmente
correcta de verdad entramos a definir rigurosamente la nocin de satisfaccin. El
concepto de verdad es reducido a otro concepto semntico, el de satisfaccin,
concepto bastante trajinado por la comunidad matemtica, tanto o ms que el de
verdad. Si se consigue dar una definicin rigurosa de satisfaccin se tendr una
igualmente de verdad. Tarski escoge la nocin de satisfaccin para la definicin de
verdad, ya que es una nocin ms general y se puede aplicar a frmulas con
variables libres, mientras que la verdad es solo aplicable a sentencias o frmulas
cerradas (sin variables libres). Dada la nocin de satisfaccin podemos aplicar la
definicin de verdad a un sistema formal de primer orden. Para Tarski carecera de
sentido hablar de verdad en frmulas abiertas, solo las frmulas cerradas satisfacen
la verdad.
Tarski propuso teoras de la verdad para lenguas formales (de frmulas), en las que
la verdad de las oraciones complejas era funcin de la verdad de oraciones
elementales para las que se define una interpretacin en el metalenguaje. La
concepcin de Tarski es una concepcin semntica porque la verdad es en ella
funcin de los referentes asignado a los componentes elementales del lenguaje-
objeto.
TEORIA DE LOS MODELOS
Esta teora es una nueva rama de la lgica matemtica que estudian las relaciones
entre los lenguajes y sus interpretaciones o modelos, estudia las relaciones entre
las partes sintctica y semntica de una teora, relaciones que se establecen por
medio de una definicin de verdad a la de Tarski. El objetivo central de la Teora de
los modelos es la construccin de modelos, para ello se desarrollan diferentes
tcnicas.
Cuatro teoremas importantes de la Teora de Modelos.
1.- Teorema de completitud de Gdel para las teoras de primer orden (1930)
[-----A, si y slo si [------ A = Expresin del Teorema
K
El Teorema de Gdel relaciona fuertemente la semntica y la sintaxis de una teora:
una condicin necesaria y suficiente para que una frmula sea un teorema es que
sea vlida.
2.- Teorema de Completitud para teoras de primer orden (Henkin 1944)
Una teora es consistente si y solo si tiene modelo. La consistencia (como ya se vio
en [2]) una nocin sintctica y la nocin de modelo, totalmente semntica.
3.- Teorema de Lwenheim Skolem (1915)
Si una sentencia tiene un modelo infinito tiene un modelo numerable, (considerado
el primer teorema de la Teora de Modelos). La importancia del teorema radica en
que en la demostracin se puede apreciar una tcnica para construir un modelo a
partir de otro.
4.- Teorema de compacidad de Gdel (1930) y Malcev (1936).
Sea {un conjunto de sentencias (de una teora de primer orden), si todo subconjunto
finito de {tiene modelo, {tiene modelo. Para demostrar el teorema de compacidad
hay que construir un modelo en el cual, cualquier sentencia de {sea verdadera.
Los mtodos semnticos de Tarski culminaron en la Teora de los Modelos
transformando radicalmente la matemticas, consolidndola como la ciencia
estricta.
Preguntas:
1.- Quin es el autor de la Teora que expusiste?
Alfred Tarski

2.- Cules son los principales conceptos que maneja la teora?

El concepto de verdad y satisfaccin con respecto a la Teora de semntica de la
verdad y en la Teora de los Modelos lgica matemtica y meta lgica.

3.- Qu distingue esta teora de otras? En la Teora de semntica de la verdad

pudiera decir que en ella se plantea el viejo problema filosfico de la verdad en
trminos de rigor matemtico, obteniendo como resultado una teora extensional de
la verdad que ha dado lugar al desarrollo de la moderna semntica lgica y que
restaura la venerable doctrina Aristotlica de la verdad como correspondencia.
Y en la Teora de los modelos es que su idea principal es remplazar los smbolos
de una cierta teora por expresiones de otra teora de forma que los axiomas de la
primera se traduzcan en teoremas de la otra.

4.- Cul es tu opinin respecto a esta teora?

En la Teora de la semntica de la verdad opino en que pretende ser materialmente
adecuada y formalmente correcta, su intencin a mi punto de vista es dar cuenta de
todos los enunciados verdaderos y no caer al mismo tiempo en paradojas del clsico
concepto de correspondencia como en otras teoras.
En la Teora de los modelos en ella se basa en estudiar las propiedades que se
heredan de unas teoras a otras a lo largo de estas traducciones, y compara los
alcances respectivos de teoras diversas.

http://filosofayciudadana.blogspot.mx/2010/11/la-concepcion-semantica-de-la-
verdad.html
https://www.google.com.mx/url?sa=t&rct=j&q=&esrc=s&source=web&cd=2&cad=rj
a&uact=8&ved=0ahUKEwi06I2_0M7VAhVm6oMKHdC8BJIQFggsMAE&url=http%
3A%2F%2Fwww.uv.es%2F~jkliment%2FDocumentos%2FTeoMod.pc.pdf&usg=AF
QjCNHCYYetSSTJjBmYhD1R2r88HO4yow
http://serbal.pntic.mec.es/~cmunoz11/tarski.pdf
http://web.archive.org/web/http://critica.filosoficas.unam.mx/pdf/C112/c112_tomasi
ni.pdf
https://commons.wikimedia.org/wiki/Category:Alfred_Tarski