Tarski's Schema T is not capable of handling all occurrences of the truth predicate in natural language. In particular, Schema T treats only "freestanding" uses of the predicate—cases when it is applied to complete sentences." He gives as "obvious problem" the sentence: Everything that Bill believes is true. Heath argues that analyzing this sentence using T-schema generates the sentence fragment—"everything that Bill believes"—on the righthand side of the Logical biconditional. See also Principle of bivalence Law of excluded middle References External links Mathematical logic Philosophical logic Truth Logical expressions