8 ideas
7822 | A neo-Stoic movement began in the late sixteenth century [Lipsius, by Grayling] |
10528 | Definitions concern how we should speak, not how things are [Fine,K] |
10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
10529 | If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K] |
10530 | Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K] |
10303 | Restricted Platonism is just an ideal projection of a domain of thought [Bernays] |
10306 | Mathematical abstraction just goes in a different direction from logic [Bernays] |
10527 | An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K] |