Single Idea 18123

[catalogued under 5. Theory of Logic / G. Quantification / 4. Substitutional Quantification]

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