7 ideas
15102 | S4 says there must be some necessary truths (the actual ones, of which there is at least one) [Cameron] |
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] |
15103 | Blackburn fails to show that the necessary cannot be grounded in the contingent [Cameron] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
15104 | The 'moving spotlight' theory makes one time privileged, while all times are on a par ontologically [Cameron] |