5 ideas
17831 | Cantor gives informal versions of ZF axioms as ways of getting from one set to another [Cantor, by Lake] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
22485 | Non-cognitivists give the conditions of use of moral sentences as facts about the speaker [Foot] |
22486 | The mistake is to think good grounds aren't enough for moral judgement, which also needs feelings [Foot] |
22487 | Moral arguments are grounded in human facts [Foot] |