Thus far the only approach to the semantic paradoxes that has been worked out in any detail is what I will call the 'orthodox approach,' which leads to the celebrated hierarchy of languages of Tarski.