 The standard view of set-theoretic claims, however, does not see them as strong modal claims—at best, some of them are modal in the minimal sense that they are universal generalizations or particular cases of these. But it is at any rate unclear that this is the basis for a powerful objection to model-theoretic validity or to derivability, for, even if we accept that the concept of logical truth is strongly modal, it is unclear that a good characterization of logical truth ought to be a conceptual analysis. An analogy might help. It is widely agreed that the characterizations of the notion of computability in standard mathematics, e.g. as recursiveness, are in some sense good characterizations. Note that the concept of computability is modal, in a moderately strong sense; it seems to be about what beings like us could do with certain symbols if they were free from certain limitations—not about, say, what existing beings have done or will do. However, to say that a certain function is recursive is not to make a modal claim about it, but a certain purely arithmetical claim. So recursiveness is widely agreed to provide a good characterization of computability, but it clearly does not provide a conceptual analysis. Perhaps it could be argued that the situation with model-theoretic validity, or derivability, or both, is the same.