Quantification and ontology

Quineans have taken the basic expression of ontological commitment to be an assertion of the form 'There Exists x phi', assimilated to the English 'th ere is something that is a phi'. Here I take the existential quantifier to be introduced, not as an abbreviation for an expression of English, but via Tarskian semantics. I argue, contrary to the standard view, that Tarskian semantics in fact suggests a quite different picture: one in which quantifi cation is of a substitutional type apparently first proposed by Geach. The ontological burden is borne by constant symbols, and truth is defined separ ately from reference.