10 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] |
10885 | Computer proofs don't provide explanations [Horsten] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
21982 | I only wish I had such eyes as to see Nobody! It's as much as I can do to see real people. [Carroll,L] |
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] |