6 ideas
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] |
21513 | We can no more expect a precise definition of coherence than we can of the moral ideal [Ewing] |
21497 | If undetailed, 'coherence' is just a vague words that covers all possible arguments [Ewing] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
15104 | The 'moving spotlight' theory makes one time privileged, while all times are on a par ontologically [Cameron] |