Tarski y la Concepción Semántica de la Verdad

Tarski demostró cómo definir rigurosamente la verdad para un lenguaje formalizado, anclando la definición al requisito de que 'la nieve es blanca' es verdadera si y solo si la nieve es blanca.

Definition

Según la concepción semántica, una definición adecuada de la verdad para un lenguaje debe implicar cada instancia del esquema T '"p" es verdadero si y solo si p', y Tarski proporciona tal definición de forma recursiva en términos de la satisfacción de fórmulas por secuencias de objetos.

Scope

Este tema abarca la definición formal de verdad de Tarski y su interpretación filosófica. Trata la distinción entre lenguaje objeto y metalenguaje, la Convención T y el esquema T, la definición recursiva de la verdad mediante la satisfacción, la indefinibilidad de la verdad para un lenguaje dentro de sí mismo (una vía hacia la Paradoja del Mentiroso), y el uso de Davidson de una teoría de la verdad al estilo de Tarski como núcleo de una teoría del significado para el lenguaje natural.

Core questions

• ¿Qué hace que una definición de verdad sea materialmente adecuada?
• ¿Por qué la verdad debe definirse en un metalenguaje más rico que el lenguaje objeto?
• ¿Es la concepción semántica una teoría sustantiva de la verdad o es neutral entre ellas?
• ¿Puede una teoría de la verdad tarskiana servir como teoría del significado?

Key concepts

• Convención T y el esquema T
• lenguaje objeto vs. metalenguaje
• satisfacción
• adecuación material
• indefinibilidad de la verdad
• significado condicional de verdad

Key theories

Definición recursiva de la verdad mediante la satisfacción

Tarski define la verdad para un lenguaje formal definiendo primero la satisfacción de fórmulas abiertas por secuencias y luego identificando la verdad con la satisfacción por todas las secuencias, asegurando la adecuación material a través de la Convención T.

Semántica de condiciones de verdad

Davidson propone que una teoría tarskiana de la verdad para un lenguaje natural, al implicar las condiciones de verdad de cada oración, puede funcionar como una teoría del significado para ese lenguaje.

History

La monografía de Tarski de 1933 y su presentación popular de 1944 ofrecieron la primera definición rigurosa de la verdad para lenguajes formalizados y demostraron que la verdad es indefinible dentro de un lenguaje suficientemente rico. Davidson, en 1967, orientó el aparato hacia la semántica del lenguaje natural, y Field debatió posteriormente si la definición de Tarski es filosóficamente reductiva.

Debates

¿Tarski reduce o simplemente codifica la verdad?

Si la definición de Tarski proporciona una explicación sustantiva y reductiva de lo que es la verdad, o solo una codificación formalmente adecuada que, como afirman los deflacionistas, es neutral sobre la naturaleza de la verdad; Field argumentó que deja sin explicar las nociones semánticas clave.

Key figures

• Alfred Tarski
• Donald Davidson
• Rudolf Carnap
• Hartry Field

Seminal works

• tarski1933
• tarski1944
• davidson1967

Frequently asked questions

¿Por qué Tarski necesita un lenguaje objeto y un metalenguaje?

Para evitar la paradoja del Mentiroso, ningún lenguaje suficientemente rico puede contener consistentemente su propio predicado de verdad. Por lo tanto, Tarski define 'verdadero-en-L' para un lenguaje objeto L dentro de un metalenguaje más expresivo, manteniendo el predicado de verdad fuera del lenguaje al que se aplica.