A semantic theory of truth is a theory of truth in the philosophy of language which holds that truth is a property of sentences.[1]