14 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] |
| 541 | Virtue comes more from habit than character [Critias] |
| 3282 | The general form of moral reasoning is putting yourself in other people's shoes [Nagel] |
| 3278 | An egalitarian system must give priority to those with the worst prospects in life [Nagel] |
| 3275 | Equality was once opposed to aristocracy, but now it opposes public utility and individual rights [Nagel] |
| 3281 | The ideal of acceptability to each individual underlies the appeal to equality [Nagel] |
| 3277 | In judging disputes, should we use one standard, or those of each individual? [Nagel] |
| 3274 | Equality can either be defended as good for society, or as good for individual rights [Nagel] |
| 3273 | Equality nowadays is seen as political, social, legal and economic [Nagel] |
| 3276 | A morality of rights is very minimal, leaving a lot of human life without restrictions or duties [Nagel] |
| 542 | Fear of the gods was invented to discourage secret sin [Critias] |