Pioneered by the philosopher Donald Davidson, another formalized theory, which aims to associate each natural language sentence with a meta-language description of the conditions under which it is true, for example: 'Snow is white' is true if and only if snow is white.
Pionierius filosofas Donald Davidson, oficialioje teorijoje, kurioje siekiama susieti kiekvieną šnekamosios kalbos sakinį su meta-kalbos aprašymo sąlyga, kuriomis tiesa jei, pavyzdžiui: "Sniegas yra baltas" tai yra tiesa, jei ir tik jei sniegas yra baltas.