display all the ideas for this combination of texts
1 idea
18123 | Substitutional quantification is just standard if all objects in the domain have a name [Bostock] |
Full Idea: Substitutional quantification and quantification understood in the usual 'ontological' way will coincide when every object in the (ontological) domain has a name. | |
From: David Bostock (Philosophy of Mathematics [2009], 7.3 n23) |