Semantic theory of truth

1) A formal mathematical theory that defines truth in terms of set theory and satisfaction,with truth taken to be a property of sentences; commonly associated with the work of AlfredTarski (1901-1983). 2) A version of the correspondence theory of truth.