Apuntes sobre La concepción semántica de la verdad de Alfred Tarski

. Divide el texto en una parte expositiva y la otra polémica.

. El objetivo es dilucidar una noción de verdad material y formalmente aceptable.

. Empieza por proponer que se le asigne el juicio de verdadera a oraciones.

. Tarski se adscribe a la noción clásica aristotélica de verdad, la replantea como la verdad de una oración
está determinada por su acuerdo con la realidad.

.. (teoría de la correspondencia)

.. Aún más refinada, apelando a la noción de designar, una oración es verdadera si designa un estado de
cosas existente.

. Para referirse a oraciones se usa el nombre de ellas y no las oraciones mismas, por asunto de corrección
gramática y ese tipo de cosas.

. Ahora, tomemos una oración de manera arbitraria y reemplacémosla por P, luego tomemos el nombre de
la oración y reemplacémosla por ‘X’.

.. Vale la siguiente equivalencia: X es verdadera, si y solo si, P. Este tipo de equivalencias serán llamadas
equivalencias de la forma (T).

.. Una definición de verdad resultaría adecuada si con ella se pudieran expresar equivalencias de la forma
(T).

… Cabe decir que ni (T), que es una estructura, ni un reemplazo particular de (T) satisfacen la definición
de verdad. Solo explica el carácter de verdad que posee esta instancia de sustitución de (T).

…. La definición general debe ser una conjunción lógica de todos esos casos particulares. No obstante,
tenemos el problema de que en ciertos lenguajes se pueden plantear infinitas instancias de sustitución de
la forma (T), lo que nos obligaría a construir una conjunción ad infinitum.

. La definición anterior es lo que llama Tarski la concepción semántica de la verdad.

. Dentro de la semántica hay términos a modo de funciones como designar, satisfacer y definir que
expresan relaciones entre expresiones de un lenguaje y con objetos externos o del lenguaje mismo. El
termino verdadero es de un tipo lógico distinto al de los anteriores, puesto que denota una clase de
expresiones.
. Como sucede con la analiticidad de Quine, el concepto de verdad es un concepto semántico que para su
definición requiere de otros conceptos semánticos.

.. El problema radica en que los conceptos semánticos o están bien o completamente definidos, lo que ha
llevado al surgimiento de paradojas y antinomias en diversos contextos.

.. Es necesario especificar de manera formal la estructura de un lenguaje, tarea que se ha llevado a cabo
dentro de sistemas lógicos.

.. Con esos lenguajes prima facie no hay problema, pero existen otros, como el lenguaje cotidiano, en que
se presupone una estructura enteramente definida cuando en realidad esta es inexistente.