Editing T-schema (section)

==Natural languages==

[[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. In particular, Schema T treats only "freestanding" uses of the predicate—cases when it is applied to complete sentences."<ref name=Heath2001>{{cite book |last=Heath |first=Joseph |year=2001 |title=Communicative action and rational choice |publisher=MIT Press |isbn=978-0-262-08291-4 |page=186 |url=https://books.google.com/books?id=3i-QXQQOfZQC&pg=PA186}}</ref> He gives as an "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 [[biconditional|logical biconditional]].