more on this theme | more from this thinker
Full Idea
The substitutional interpretation says the universal quantifier is true just in case it remains true for all substitutions of terms of the same type as that of the universally bound variable.
Gist of Idea
Substitutional universal quantification retains truth for substitution of terms of the same type
Source
Dale Jacquette (Intro to III: Quantifiers [2002], p.143)
Book Ref
'Philosophy of Logic: an anthology', ed/tr. Jacquette,Dale [Blackwell 2002], p.143
A Reaction
This doesn't seem to tell us how it gets started with being true.
| 9465 | Substitutional universal quantification retains truth for substitution of terms of the same type [Jacquette] |
| 9466 | Nominalists like substitutional quantification to avoid the metaphysics of objects [Jacquette] |