Teoría semántica de la verdad

Una teoría semántica de la verdad es una teoría de la verdad en la filosofía del lenguaje que sostiene que la verdad es una propiedad de las oraciones. ^{[ 1 ]}

La concepción semántica de la verdad, relacionada de diversas maneras con las concepciones de correspondencia y deflacionaria , se debe al trabajo del lógico polaco Alfred Tarski . En "Sobre el concepto de verdad en los lenguajes formales" (1935), Tarski intentó formular una nueva teoría de la verdad para resolver la paradoja del mentiroso . En el proceso, realizó varios descubrimientos metamatemáticos, entre los que destaca su teorema de indefinibilidad, que utiliza la misma técnica formal empleada por Kurt Gödel en sus teoremas de incompletitud . En términos generales, este teorema establece que un predicado de verdad que satisface la Convención T para las oraciones de un lenguaje dado no puede definirse dentro de ese lenguaje.

Para formular teorías lingüísticas ^{[ 2 ]} sin paradojas semánticas como la paradoja del mentiroso , generalmente es necesario distinguir el idioma del que se habla (el idioma objeto ) del idioma que se usa para hablar (el metalenguaje ). En lo que sigue, el texto citado es uso del idioma objeto, mientras que el texto no citado es uso del metalenguaje; una oración citada (como " P ") es siempre el nombre que el metalenguaje le da a una oración, de modo que este nombre es simplemente la oración P expresada en el idioma objeto. De esta manera, el metalenguaje puede usarse para hablar del idioma objeto; la teoría de la verdad de Tarski ( Alfred Tarski, 1935) exigía que el idioma objeto estuviera contenido en el metalenguaje.

La condición de adecuación material de Tarski , también conocida como Convención T , sostiene que cualquier teoría viable de la verdad debe implicar, para cada enunciado " P ", un enunciado de la siguiente forma (conocida como "forma (T)"):

(1) "P" es verdadero si y solo si P.

Por ejemplo,

(2) 'la nieve es blanca' es verdadero si y solo si la nieve es blanca.

Estas oraciones (1 y 2, etc.) se conocen como las "oraciones T". Su aparente simplicidad radica en que tanto el idioma objeto como el metalenguaje son inglés; aquí se muestra un ejemplo donde el idioma objeto es alemán y el metalenguaje es inglés:

(3) 'Schnee ist weiß' es verdadero si y solo si la nieve es blanca.

Tal como Tarski la formuló originalmente, esta teoría se aplica únicamente a lenguajes formales (véase también la semántica de la lógica de primer orden) . Tarski adujo varias razones para no extender su teoría a los lenguajes naturales , entre ellas, la falta de un método sistemático para determinar si una oración dada de un lenguaje natural está bien formada y el hecho de que un lenguaje natural es cerrado (es decir, puede describir las características semánticas de sus propios elementos). Sin embargo, Davidson amplió el enfoque de Tarski, dando lugar a una metodología para las teorías del significado en lenguajes naturales, que implica tratar la "verdad" como un concepto primitivo, en lugar de un concepto definido (véase la semántica de las condiciones de verdad ).

Tarski desarrolló la teoría para dar una definición inductiva de la verdad de la siguiente manera. (Véase el esquema T ).

Para un lenguaje L que contiene ¬ ("no"), ∧ ("y"), ∨ ("o"), ∀ ("para todo") y ∃ ("existe"), la definición inductiva de verdad de Tarski se ve así:

• (1) Una proposición primitiva " A " es verdadera si y solo si A.
• (2) "¬ A " es verdadero si, y solo si, " A no es verdadero.
• (3) " A ∧ B " es verdadero si, y solo si, " A" es verdadero y " B" es verdadero .
• (4) " A ∨ B " es verdadero si, y solo si, " A" es verdadero o " B" es verdadero o (" A" es verdadero y " B" es verdadero ).
• (5) "∀ x ( Fx )" es verdadero si, y solo si, para todos los objetos x, "Fx" es verdadero.
• (6) "∃ x ( Fx )" es verdadero si, y solo si, existe un objeto x para el cual "Fx" es verdadero.

Estas explicaciones de cómo las condiciones de verdad de las oraciones complejas (construidas a partir de conectores y cuantificadores ) pueden reducirse a las condiciones de verdad de sus constituyentes . Los constituyentes más simples son las oraciones atómicas . Una definición semántica contemporánea de verdad definiría la verdad para las oraciones atómicas de la siguiente manera:

• Una sentencia atómica F ( x ₁ ,..., x _n ) es verdadera (en relación a una asignación de valores a las variables x ₁ , ..., x _n )) si los valores correspondientes de las variables mantienen la relación expresada por el predicado F .

El propio Tarski definió la verdad para las oraciones atómicas de una manera variante que no utiliza términos técnicos de la semántica, como el «expresado por» mencionado anteriormente. Esto se debe a que quería definir estos términos semánticos en el contexto de la verdad. Por lo tanto, sería circular utilizar alguno de ellos en la definición misma de la verdad. La concepción semántica de la verdad de Tarski desempeña un papel importante en la lógica moderna y también en la filosofía del lenguaje contemporánea . Es un punto bastante controvertido si la teoría semántica de Tarski debe considerarse una teoría de correspondencia o una teoría deflacionista . ^{[ 3 ]}

La teoría de la verdad de Kripke ( Saul Kripke 1975) se basa en la lógica parcial (una lógica de predicados de verdad parcialmente definidos en lugar de la lógica de Tarski de predicados de verdad totalmente definidos) con el esquema de evaluación de Kleene fuerte . ^{[ 4 ]}

• Principio de descitación
• Semántica de la lógica
• Esquema T
• paradigma del continuo triuno

• Simon Blackburn y Keith Simmons, eds., 1999. La verdad . Oxford University Press, ISBN 0-19-875250-4.
• Michael K Butler, 2017. Deflacionismo y teorías semánticas de la verdad . Pendlebury Press, ISBN 0993594549.
• Wilfrid Hodges , 2001. Definiciones de verdad de Tarski . En la Enciclopedia de Filosofía de Stanford .
• Richard Kirkham , 1992. Teorías de la verdad . Bradford Books, ISBN 0-262-61108-2.
• Saul Kripke , 1975. "Esquema de una teoría de la verdad". Journal of Philosophy , 72: 690–716.
• Alfred Tarski , 1935. "El concepto de verdad en lenguajes formalizados" . Lógica, semántica, metamatemáticas , Indianápolis: Hackett, 1983, 2.ª edición, 152-278.
• Alfred Tarski, 1944. La concepción semántica de la verdad y los fundamentos de la semántica . Filosofía e investigación fenomenológica 4.

• Teoría semántica de la verdad , Enciclopedia de filosofía en Internet
• Definiciones de la verdad de Tarski (una entrada de la Enciclopedia de Filosofía de Stanford )
• Alfred Tarski , 1944. La concepción semántica de la verdad y los fundamentos de la semántica . Filosofía e investigación fenomenológica 4.