5 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] |
14742 | It can't be indeterminate whether x and y are identical; if x,y is indeterminate, then it isn't x,x [Salmon,N] |
18885 | Kripke and Putnam made false claims that direct reference implies essentialism [Salmon,N] |
1590 | The just man does not harm his enemies, but benefits everyone [Plato] |