El esquema T (" esquema de verdad ", que no debe confundirse con " Convención T ") se utiliza para comprobar si una definición inductiva de la verdad es válida, lo que se encuentra en el corazón de cualquier realización de la teoría semántica de la verdad de Alfred Tarski . Algunos autores se refieren a él como el "Esquema de Equivalencia", un sinónimo introducido por Michael Dummett . [1]
El esquema T se expresa a menudo en lenguaje natural , pero se puede formalizar en lógica de predicados multiclasificados o lógica modal ; dicha formalización se denomina " teoría T ". [ cita requerida ] Las teorías T forman la base de mucho 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 como S): 'S' es verdadero si y sólo si S.
Ejemplo: 'la nieve es blanca' es verdadero 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 descomponiendo . 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 solo 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 que a menudo se define con respecto a un lenguaje fijo (como el lenguaje de la aritmética de Peano ); estas clases se consideran definiciones aceptables para 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 ocurrencias del predicado de verdad en el lenguaje natural. En particular, el Esquema T trata sólo los usos "independientes" del predicado, es decir, los casos en que se aplica a oraciones completas". Considera como "problema obvio" la oración:
Heath sostiene que al analizar esta oración utilizando el esquema T se genera el fragmento de oración —"todo lo que Bill cree"— en el lado derecho del bicondicional lógico .