green numbers give full details | back to texts | expand these ideas
9466 | Nominalists like substitutional quantification to avoid the metaphysics of objects |
9465 | Substitutional universal quantification retains truth for substitution of terms of the same type |