7 ideas
17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |
17812 | Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP] |
12354 | A 'categorial' property is had by virtue of being or having an item from a category [Wedin] |
12358 | Substance is a principle and a kind of cause [Wedin] |
12346 | Form explains why some matter is of a certain kind, and that is explanatory bedrock [Wedin] |
22745 | Pherecydes said the first principle and element is earth [Pherecydes, by Sext.Empiricus] |
5883 | Pherecydes was the first to say that the soul is eternal [Pherecydes, by Cicero] |