10 ideas
17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
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] |
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] |
18885 | Kripke and Putnam made false claims that direct reference implies essentialism [Salmon,N] |
8567 | Singular causation requires causes to raise the physical probability of their effects [Mellor] |