 In one sense, both the paracomplete and paraconsistent approaches achieve the desired result: they present languages which contain truth predicates which apply to sentences of that very language, and have the feature that \(A\) and \(\Tr(\left\ulcorner A\right\urcorner)\) have the same truth value. In this respect, they both present languages which contain their own truth predicate.