Combining Texts

Ideas for 'Parmenides', 'Philosophy of Mathematics' and 'Manuscript remains'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


1 idea

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
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)