Definiciones Tarskianas de la Verdad

BARRIO, EDUARDO ALEJANDRO

La Lógica de la Verdad

Eudeba

Lugar: Buenos Aires; Año: 2014; p. 25 - 73

En este capitulo, presento el metodo tarskiano para dar una definicion de verdad. Describo la estructura de la definicion, ejemplificada en la aplicacion del mencionado metodo, aplicado al lenguaje del calculo de clases (LCC). Basicamente, la propuesta de Tarski reconstruye la transparencia del predicado veritativo adoptando un condicional clasico. Como resultado, el esquema T adquiere un papel central. A continuacion, muestro como dar una definicion explicita del predicado veritativo de ese lenguaje desde un metalenguaje que carezca de nociones semanticas primitivas. En el paso siguiente, expongo la noción tarskiana de verdad relativa a un modelo. Presento distintos tipos de modelo para lenguajes de primer orden (LPO) y segundo orden (LSO), analizando la discusion en torno a las definiciones de verdad con y sin dominios. Luego, describo el principal resultado probado por Tarski: su famoso Teorema de la Indefinibilidad de la Verdad. Tal teorema impide, al menos bajo ciertas condiciones, tener un lenguaje semanticamente auto-suficiente. Finalmente, en un apendice, presento una axiomatización (T(PA)) del enfoque tarskiano de verdad que permite, entre otras cosas, ver cómo caracterizar el predicado veritativo de la aritmetica de primer orden.