7 ideas
10528 | Definitions concern how we should speak, not how things are [Fine,K] |
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] |
10529 | If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K] |
10530 | Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K] |
14280 | The probability of two events is the first probability times the second probability assuming the first [Bayes] |
10527 | An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K] |