4 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
17462 | A single object must not be counted twice, which needs knowledge of distinctness (negative identity) [Rumfitt] |
17461 | Some 'how many?' answers are not predications of a concept, like 'how many gallons?' [Rumfitt] |
5655 | Happiness is not satisfaction of desires, but fulfilment of values [Bradley, by Scruton] |