 In light of these sorts of criticisms of Tarski’s theory, a number of approaches to the Liar have sought to retain classical logic, but have some degree of self-applicability for the truth predicate. We know from the reasoning in  §2.3  that some restrictions on capture and release will then be required. One goal has been to work out which ones are well-motivated, and how to implement them.