4 ideas
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
14894 | Indexicals have a 'character' (the standing meaning), and a 'content' (truth-conditions for one context) [Kaplan, by Macià/Garcia-Carpentiro] |
14700 | 'Content' gives the standard modal profile, and 'character' gives rules for a context [Kaplan, by Schroeter] |
19745 | The nature of people is decided by the government and politics of their society [Rousseau] |