4 ideas
18844 | You would cripple mathematics if you denied Excluded Middle [Hilbert] |
21559 | We need rules for deciding which norms are predicative (unless none of them are) [Russell] |
21558 | 'Predicative' norms are those which define a class [Russell] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |