5 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
15102 | S4 says there must be some necessary truths (the actual ones, of which there is at least one) [Cameron] |
14296 | Dispositions are physical states of mechanism; when known, these replace the old disposition term [Quine] |
15103 | Blackburn fails to show that the necessary cannot be grounded in the contingent [Cameron] |
15104 | The 'moving spotlight' theory makes one time privileged, while all times are on a par ontologically [Cameron] |