9 ideas
9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
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] |
8568 | A property is merely a constituent of laws of nature; temperature is just part of thermodynamics [Mellor] |
8564 | There is obviously a possible predicate for every property [Mellor] |
8566 | We need universals for causation and laws of nature; the latter give them their identity [Mellor] |
8565 | If properties were just the meanings of predicates, they couldn't give predicates their meaning [Mellor] |
9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
8567 | Singular causation requires causes to raise the physical probability of their effects [Mellor] |