O esquema T ou esquema-verdade (não confundir com 'Convenção T') é usado para dar uma definição indutiva da verdade definida na teoria semântica da verdade de Alfred Tarski. Alguns autores o denominam "Esquema de Equivalência", um sinônimo introduzido por Michael Dummett.^[1]

O esquema T normalmente é expresso na linguagem natural, mas pode ser formalizado na lógica de predicados ou na lógica modal. Tal formalização é denominada teoria T. Teorias-T formam a base de muitos trabalhos fundamentais da lógica filosófica, onde são aplicados em várias controvérsias importantes na filosofia analítica.

Como expressa na linguagem semi-natural (onde 'S' é o nome da sentença abreviada para S): 'S' é verdade se e somente se S

Exemplo: 'a neve é branca' é verdade se e somente se a neve é branca.

Usando o esquema, pode-se dar uma definição indutiva para a verdade de sentenças compostas. Sentenças atômicas são valores-verdade atribuídos descitacionalmente. Por exemplo, a sentença "'A neve é branca' é verdade" passa a ser materialmente equivalente à sentença "a neve é branca", ou seja, 'a neve é branca' é verdade se e somente se a neve é branca. A verdade de sentenças mais complexas é definida em termos de componentes da sentença:

• Uma sentença na forma "A e B" é verdade se e somente se A é verdadeiro e B é verdadeiro
• Uma sentença na forma "A ou B" é verdade se e somente se A é verdadeiro ou B é verdadeiro
• Uma sentença na forma "se A então B" é verdade se e somente se A é falso ou B é verdadeiro; ver Implicação
• Uma sentença na forma "não A" é verdade se e somente se A é falso
• Uma sentença na forma "para todo x, A(x)" é verdade se e somente se para todo valor possível de x, A(x) é verdade.
• Uma sentença na forma "para algum x, A(x)" é verdade se e somente se para algum valor possível de x, A(x) é verdade.

Joseph Heath aponta^[2] que "A análise do predicado de verdade fornecido pelo Esquema T de Tarski não e capaz de lidar com todas as ocorrências do predicado de verdade na linguagem natural. Em particular, o Esquema T trata somente usos "livres" dos predicados quando este é aplicado em sentenças completas." Ele fornece como um "problema óbvio" a sentença:

• Tudo o que Bill acredita é verdade.

Hath argumenta que analisando-se essa sentença usando o Esquema T, é gerado o seguinte fragmento de sentença: "tudo o que Bill acredita" - no lado direito do bicondicional.

• Princípio da bivalência
• Lei do terceiro excluído