15 ideas
| 10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
| 15717 | Using Choice, you can cut up a small ball and make an enormous one from the pieces [Kaplan/Kaplan] |
| 10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
| 15712 | 1 and 0, then add for naturals, subtract for negatives, divide for rationals, take roots for irrationals [Kaplan/Kaplan] |
| 15711 | The rationals are everywhere - the irrationals are everywhere else [Kaplan/Kaplan] |
| 15714 | 'Commutative' laws say order makes no difference; 'associative' laws say groupings make no difference [Kaplan/Kaplan] |
| 15715 | 'Distributive' laws say if you add then multiply, or multiply then add, you get the same result [Kaplan/Kaplan] |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| 14637 | Only individuals have essences, so numbers (as a higher type based on classes) lack them [McMichael] |
| 14636 | Essences are the interesting necessary properties resulting from a thing's own peculiar nature [McMichael] |
| 14640 | Maybe essential properties have to be intrinsic, as well as necessary? [McMichael] |
| 14638 | Essentialism is false, because it implies the existence of necessary singular propositions [McMichael] |
| 15713 | The first million numbers confirm that no number is greater than a million [Kaplan/Kaplan] |
| 14639 | Individuals enter into laws only through their general qualities and relations [McMichael] |