My proposals are in the tradition of referential, or model theoretic, semantics descended from Frege, Tarski, Carnap (in his later works), and recent work of Kripke and others on semantic foundations of intensional logic.