 This idea can be seen as an improvement on the original Tarskian approach in several respects. First, once we have a contextual parameter, the need to insist that Liar sentences are never well-formed disappears. Hence, we can think of each \(\Tr_i\) as including some limited range of applicability to sentences of its own language. Using the Kripkean techniques likes the closed-off construction we reviewed above, predicates like \(\Tr_i\) can be constructed which have as much self-applicability as Kripke’s own. (Burge 1979 and the postscript to C. Parsons 1974 consider briefly how Kripkean techniques could be applied in this setting. Though he works in a very different setting, ideas of Gaifman (1988, 1992) can be construed as showing how even more subtle ways of interpreting a context-dependent truth predicate can be developed.)