Full Idea
Substitutional quantification and quantification understood in the usual 'ontological' way will coincide when every object in the (ontological) domain has a name.
Gist of Idea
Substitutional quantification is just standard if all objects in the domain have a name
Source
David Bostock (Philosophy of Mathematics [2009], 7.3 n23)
Book Reference
Bostock,David: 'Philosophy of Mathematics: An Introduction' [Wiley-Blackwell 2009], p.217