Paradoxical Partners: Semantical Brides and Set-theoretical Grooms

I supply a simple key for ‘translating’ some semantical paradoxes into set-theoretical counterparts and vice-versa. This suggests a unified solution of these paradoxes, one which becomes particularly easy to see, because the ‘partners’ of some deep paradoxes are fairly trivial. One upshot of the investigation is that it is illicit, because circular, stipulation that gives rise to standard and ‘truth-teller’ paradoxes, and that there is a clear and natural restriction that prevents such circularity. In set theory, what we require are not new foundations for a consistent axiomatic system but only a minor restriction on the comprehension principle of naïve set theory that preserves our naïve intuitions.