5 ideas
15102 | S4 says there must be some necessary truths (the actual ones, of which there is at least one) [Cameron] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
15103 | Blackburn fails to show that the necessary cannot be grounded in the contingent [Cameron] |
19399 | Prime matter is nothing when it is at rest [Leibniz] |
15104 | The 'moving spotlight' theory makes one time privileged, while all times are on a par ontologically [Cameron] |