El autor de la concepción semántica de la verdad Alfred Tarski motivado por encontrar una definición satisfactoria de verdad “una que sea materialmente adecuada y formalmente correcta” pensó que entonces era necesaria la interpretación de los símbolos lógicos, su correspondencia con enunciados y establecer el valor de verdad de estos.
La concepción semántica de la verdad que propone debe entenderse como una correspondencia entre las oraciones y la realidad, pero como esto resulta un tanto confuso en cuanto que la realidad es algo de valor ambiguo, entonces Tarski decidió precisar su teoría con la definición de Aristóteles:
“Decir de lo que no es que es, o de lo que es que no es, es falso, y decir de lo que es que es, o de lo que no es que no es, es verdadero.”
Para esto preciso dos cosas para evitar las paradojas:
Materialmente adecuada
(T) X es verdadera si y sólo si, p.
Donde X sustituirá el nombre de una oración que define un predicado verdadero
Donde p sustituirá una oración que representa las condiciones de verdad de X
Ej: “La nieve es blanca” es verdadera si, y sólo si, la nieve es blanca.
Esto cumple la equivalencia de forma (T)
Para cumplir el valor de verdad debe usarse este esquema con oraciones del lenguaje y sus condiciones de verdad respectivas.
Definición formalmente correcta
Sobre el lenguaje que se da la definición de verdad debe tener una estructura formal con las siguientes condiciones:
- La definición de verdad tendrá que ser relativa en un lenguaje.
- Cualquier teoría de la verdad sobre este primer lenguaje será tomada como metalenguaje.
- El lenguaje que define el predicado de verdadero tiene que existir una forma de determinar si eso es una oración o no.
En contra podemos decir que el problema de la verdad en relación con lenguajes naturales y formales no corresponde a una estructura sin cambios, si no que estos evolucionan con las necesidades del ser humano. entonces debemos comprender dos formas de distinto modo.
A favor podemos decir que “redujo el problema filosófico de definir la verdad al problema lógico de construir una única oración con la forma de una definición y de la que se sigan todos los bicondicionales tarskianos.”
Lenguaje objeto: El lenguaje que es objeto de discusión, del cual queremos obtener la definición de verdad.
Metalenguaje: Lenguaje con el que construimos la definición de verdad del lenguaje objeto.
Referencias
La concepción semántica de la verdad y los fundamentos de la semántica. A Tarski,
Diccionario Akal de filosofía, Internet.
