Abstract

It is argued that kripke has not shown that an explanatory truth theory for quantifiers which employs a substitutional approach does not require the hypothesis and that everything in the domain has a name, As wallace had claimed. It is further argued that kripke's substitutional quantifiers are best regarded as an extension of a device for abbreviating conjunctions and disjunctions