4 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
3238 | 'Dead person' isn't a contradiction, so 'person' is somewhat vague [Williams,B] |
3239 | You can only really love a person as a token, not as a type [Williams,B] |
5495 | Instances of pain are physical tokens, but the nature of pain is more abstract [Putnam, by Lycan] |