 Semantics is the study that aims to spell out a theoretical understanding of meaning. Most accounts of semantics insist that to spell out the meaning of a sentence is, in some sense, to spell out its truth-conditions. Now, prima facie at least, truth is a predicate characterised by the Tarski T-scheme: