These papers cover important themes such as extensionality, the necessity of identity, the conception of proper names as 'tags', essentialism, substitutional quantification, and possibilia and possible worlds. What emerges from them is a robust defence of quantified modal logic in the light of a host of objections, particularly from Quine.