Found:

Tarski's truth definition

**SEMANTICS: **definition which formalizes the relation between a sentence
and its **truth value**. The definition formalizes what Wittgenstein (1922) describes as: to understand a proposition means to know what is the case if it is true. It has the following general form:

(i) For any S in L and any v, S is true in v if and only if p.S is a structural description of a sentence of a language L, v is a circumstance which has to be met, and p are the conditions that describe how this circumstance should be met.

(ii)Tarski's truth definition is crucial to a denotationalSnow is whiteis true iff Snow is white

LIT. | Gamut, L.T.F. (1991) Tarski, A. (1944) |