El esquema T (" esquema de verdad ", que no debe confundirse con la " Convención T ") se utiliza para comprobar si una definición inductiva de verdad es válida, lo que constituye el núcleo de cualquier realización de la teoría semántica de la verdad de Alfred Tarski. . Algunos autores se refieren a él como "Esquema de Equivalencia", sinónimo introducido por Michael Dummett . [1]
El esquema T a menudo se expresa en lenguaje natural , pero puede formalizarse en lógica de predicados multiordenada o lógica modal ; Tal formalización se llama " teoría T ". [ cita necesaria ] Las teorías T forman la base de gran parte del trabajo fundamental en lógica filosófica , donde se aplican en varias controversias importantes en filosofía analítica .
Como se expresa en lenguaje seminatural (donde 'S' es el nombre de la oración abreviada a S): 'S' es verdadera si y sólo si S.
Ejemplo: "la nieve es blanca" es verdadera si y sólo si la nieve es blanca.
Utilizando el esquema se puede dar una definición inductiva de la verdad de oraciones compuestas. A las oraciones atómicas se les asignan valores de verdad entre comillas . Por ejemplo, la oración "'La nieve es blanca' es verdadera" se vuelve materialmente equivalente a la oración "La nieve es blanca", es decir, 'La nieve es blanca' es verdadera si y sólo si la nieve es blanca. La verdad de oraciones más complejas se define en términos de los componentes de la oración:
Los predicados de verdad que cumplen todos estos criterios se denominan "clases de satisfacción", una noción a menudo definida con respecto a un lenguaje fijo (como el lenguaje de la aritmética de Peano ); estas clases se consideran definiciones aceptables de la noción de verdad. [2]
Joseph Heath señala [3] que "El análisis del predicado de verdad proporcionado por el esquema T de Tarski no es capaz de manejar todas las apariciones del predicado de verdad en el lenguaje natural. En particular, el esquema T trata sólo usos "independientes" del predicado: casos en los que se aplica para completar frases." Da como "problema obvio" la frase:
Heath sostiene que analizar esta oración usando el esquema T genera el fragmento de oración ("todo lo que Bill cree") en el lado derecho del bicondicional lógico .