There is semantics and, on the other hand, there is semantics. And then there is the theory of meaning or content. I shall speak of pure mathematical semantics and real semantics. I have very little idea what "formal" means in "formal semantics"—unless it simply means semantics done rigorously and systematically. 1