4 ideas
10801 | Either reference really matters, or we don't need to replace it with substitutions [Quine] |
17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
21558 | 'Predicative' norms are those which define a class [Russell] |
21559 | We need rules for deciding which norms are predicative (unless none of them are) [Russell] |