4 ideas
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] |
13128 | 'Ultimate sortals' cannot explain ontological categories [Westerhoff on Wiggins] |
7803 | Modal logic began with translation difficulties for 'If...then' [Lewis,CI, by Girle] |