Some authors refer to it as the "Equivalence Schema", a synonym introduced by Michael Dummett.
"[citation needed] T-theories form the basis of much fundamental work in philosophical logic, where they are applied in several important controversies in analytic philosophy.
By using the schema one can give an inductive definition for the truth of compound sentences.
The truth of more complex sentences is defined in terms of the components of the sentence: Predicates for truth that meet all of these criteria are called "satisfaction classes", a notion often defined with respect to a fixed language (such as the language of Peano arithmetic); these classes are considered acceptable definitions for the notion of truth.
[2] Joseph Heath points out that "the analysis of the truth predicate provided by Tarski's Schema T is not capable of handling all occurrences of the truth predicate in natural language.