6 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] |
| 21558 | 'Predicative' norms are those which define a class [Russell] |
| 21559 | We need rules for deciding which norms are predicative (unless none of them are) [Russell] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |