3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
14644 | If my conception of pain derives from me, it is a contradiction to speak of another's pain [Malcolm] |
4761 | The 'error theory' of morals says there is no moral knowledge, because there are no moral facts [Mackie, by Engel] |