9 ideas
| 8208 | In arithmetic, ratios, negatives, irrationals and imaginaries were created in order to generalise [Quine] |
| 8207 | The quest for simplicity drove scientists to posit new entities, such as molecules in gases [Quine] |
| 10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
| 10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| 8205 | Explaining events just by bodies can't explain two events identical in space-time [Quine] |
| 8206 | Necessity could be just generalisation over classes, or (maybe) quantifying over possibilia [Quine] |
| 5845 | Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon] |