Abstract: This paper explores the claim that a substitutional semantics for quantification theory lends itself to nominalistic aims. Without committing herself to nominalism, Marcus establishes some important points of contact between the two, such as the belief that proper names are not redundant or eliminable, and that substitutional semantics allows quantifiers with predicates as substituends without thereby forcing an ontology of universals.

Keywords: Kripke, nominalism, predication, proper names, quantification, realism, reference, substitutional quantification, universals,