14 ideas
| 10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
| Full Idea: Definitions are called 'predicative', and are considered sound, if they only refer to entities which exist independently from the defined collection. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §2.4) |
| 10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
| Full Idea: If a theory has, up to isomorphism, exactly one model, then it is said to be 'categorical'. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §5.2) |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| Full Idea: Mathematicians are uncomfortable with computerised proofs because a 'good' proof should do more than convince us that a certain statement is true. It should also explain why the statement in question holds. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §5.3) |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| Full Idea: The notion of an ordinal number is a set-theoretic, and hence non-arithmetical, concept. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §2.3) |
| 541 | Virtue comes more from habit than character [Critias] |
| Full Idea: More men are good through habit than through character. | |
| From: Critias (fragments/reports [c.440 BCE], B09), quoted by John Stobaeus - Anthology 3.29.41 |
| 3282 | The general form of moral reasoning is putting yourself in other people's shoes [Nagel] |
| Full Idea: I believe the general form of moral reasoning is to put yourself in other people's shoes. | |
| From: Thomas Nagel (Equality [1977], §9) |
| 3278 | An egalitarian system must give priority to those with the worst prospects in life [Nagel] |
| Full Idea: What makes a system egalitarian is the priority it gives to the claims of those whose overall life prospects put them at the bottom. | |
| From: Thomas Nagel (Equality [1977], §6) |
| 3275 | Equality was once opposed to aristocracy, but now it opposes public utility and individual rights [Nagel] |
| Full Idea: Egalitarianism was once opposed to aristocratic values, but now it is opposed by adherents of two non-aristocratic values: utility (increase benefit, even if unequally) and individual rights (which redistribution violates). | |
| From: Thomas Nagel (Equality [1977], §2) |
| 3281 | The ideal of acceptability to each individual underlies the appeal to equality [Nagel] |
| Full Idea: The ideal of acceptability to each individual underlies the appeal to equality. | |
| From: Thomas Nagel (Equality [1977], §8) |
| 3277 | In judging disputes, should we use one standard, or those of each individual? [Nagel] |
| Full Idea: In assessing equality of claims, it must be decided whether to use a single, objective standard, or whether interests should be ranked by the person's own estimation. Also should they balance momentary or long-term needs? | |
| From: Thomas Nagel (Equality [1977], §6) |
| 3274 | Equality can either be defended as good for society, or as good for individual rights [Nagel] |
| Full Idea: The communitarian defence of equality says it is good for society as a whole, whereas the individualistic defence defends equality as a correct distributive principle. | |
| From: Thomas Nagel (Equality [1977], §2) |
| 3273 | Equality nowadays is seen as political, social, legal and economic [Nagel] |
| Full Idea: Contemporary political debate recognises four types of equality: political, social, legal and economic. | |
| From: Thomas Nagel (Equality [1977], §1) | |
| A reaction: Meaning equality of 1) power and influence, 2) status and respect, 3) rights and justice, 4) wealth. |
| 3276 | A morality of rights is very minimal, leaving a lot of human life without restrictions or duties [Nagel] |
| Full Idea: The morality of rights tends to be a limited, even minimal, morality. It leaves a great deal of human life ungoverned by moral restrictions or requirements. | |
| From: Thomas Nagel (Equality [1977], §5) |
| 542 | Fear of the gods was invented to discourage secret sin [Critias] |
| Full Idea: When the laws forbade men to commit open crimes of violence, and they began to do them in secret, a wise and clever man invented fear of the gods for mortals, to frighten the wicked, even if they sin in secret. | |
| From: Critias (fragments/reports [c.440 BCE], B25), quoted by Sextus Empiricus - Against the Professors (six books) 9.54 |