  We had to wait until the work of Kripke 1975 and of Martin &amp; Woodruff 1975 for a systematic formal proposal of a semantics for languages with their own truth predicates. The basic thought is simple: take the offending sentences, such as (1), to be neither true nor false. Kripke, in particular, shows how to implement this thought for a wide variety of languages, in effect employing a semantics with three values, true, false and  neither.[1]  It is safe to say that Kripkean approaches have replaced Tarskian pessimism as the new orthodoxy concerning languages with their own truth predicates.