6 ideas
15102 | S4 says there must be some necessary truths (the actual ones, of which there is at least one) [Cameron] |
13342 | Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap] |
13251 | Each person is free to build their own logic, just by specifying a syntax [Carnap] |
15103 | Blackburn fails to show that the necessary cannot be grounded in the contingent [Cameron] |
14644 | If my conception of pain derives from me, it is a contradiction to speak of another's pain [Malcolm] |
15104 | The 'moving spotlight' theory makes one time privileged, while all times are on a par ontologically [Cameron] |