5 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
15102 | S4 says there must be some necessary truths (the actual ones, of which there is at least one) [Cameron] |
15103 | Blackburn fails to show that the necessary cannot be grounded in the contingent [Cameron] |
6017 | Nomos is king [Pindar] |
15104 | The 'moving spotlight' theory makes one time privileged, while all times are on a par ontologically [Cameron] |