Interpretation is commonly used in mathematical logic to compare different theories and identify cases where two theories are for almost all intents and purposes the same. Similar techniques are used in the comparison between alternative logics although the links between these approaches are not transparent. This paper generalizes theoretical comparison techniques to the case of logical comparison using an extremely general approach to semantics that provides a very generous playing field upon which to make our comparisons. In particular, we aim (...) to develop the useful idea that interpretations should determine inner models. (shrink)

A crucial question here is what, exactly, the conditional in the naive truth/set comprehension principles is. In 'Logic of Paradox', I outlined two options. One is to take it to be the material conditional of the extensional paraconsistent logic LP. Call this "Strategy 1". LP is a relatively weak logic, however. In particular, the material conditional does not detach. The other strategy is to take it to be some detachable conditional. Call this "Strategy 2". The aim of the present essay (...) is to investigate Stragey 1. It is not to advocate it. The work is simply an extended exploration of the strategy, its strengths, its weaknesses, and the various dierent ways in which it may be implemented. In the first part of the paper I will set up the appropriate background details. In the second, I will look at the strategy as it applies to the semantic paradoxes. In the third I will look at how it applies to the set-theoretic paradoxes. (shrink)