Meta Ontology

Joseph Almog says concerning ''a certain locus where Quine doesn't exist\textellipsisqua evaluation locus, we take to it [singular] propositions involving Quine [as a constituent] which we have generated in our generation locus.'' This seems to be either murder, or worse, self-contradiction. It presumes that certain designators designate their designata even at loci where the designata do not exist, i.e., the designators have ''Kaplan rigidity.'' Against this view, this paper argues that negative existentials such as ''Quine does not exist'' are true only at ordered couples of loci (times or possible worlds) $<$ l, l' $>$ such that the constituents of the truthmaker are the designatum itself from l and whatever corresponds to ''does not exist'' from l'.