13 ideas
| 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] |
| 13365 | Russell's Paradox is a stripped-down version of Cantor's Paradox [Priest,G on Russell] |
| 10711 | Russell's paradox means we cannot assume that every property is collectivizing [Potter on Russell] |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| 9127 | Russell refuted Frege's principle that there is a set for each property [Russell, by Sorensen] |
| 7531 | We don't assert private thoughts; the objects are part of what we assert [Russell] |
| 22392 | Morality is inescapable, in descriptive words such as 'dishonest', 'unjust' and 'uncharitable' [Foot] |
| 23685 | Reason is not a motivator of morality [Foot, by Hacker-Wright] |
| 23691 | Rejecting moral rules may be villainous, but it isn't inconsistent [Foot] |
| 22391 | Saying we 'ought to be moral' makes no sense, unless it relates to some other system [Foot] |
| 22389 | Morality no more consists of categorical imperatives than etiquette does [Foot] |