59 ideas
| 21422 | Moral self-knowledge is the beginning of all human wisdom [Kant] |
| 21408 | For any subject, its system of non-experiential concepts needs a metaphysics [Kant] |
| 21416 | Philosophers should not offer multiple proofs - suggesting the weakness of each of them [Kant] |
| 17926 | Rejecting double negation elimination undermines reductio proofs [Colyvan] |
| 17925 | Showing a disproof is impossible is not a proof, so don't eliminate double negation [Colyvan] |
| 17924 | Excluded middle says P or not-P; bivalence says P is either true or false [Colyvan] |
| 17929 | Löwenheim proved his result for a first-order sentence, and Skolem generalised it [Colyvan] |
| 17930 | Axioms are 'categorical' if all of their models are isomorphic [Colyvan] |
| 17928 | Ordinal numbers represent order relations [Colyvan] |
| 17923 | Intuitionists only accept a few safe infinities [Colyvan] |
| 17941 | Infinitesimals were sometimes zero, and sometimes close to zero [Colyvan] |
| 17922 | Reducing real numbers to rationals suggested arithmetic as the foundation of maths [Colyvan] |
| 17936 | Transfinite induction moves from all cases, up to the limit ordinal [Colyvan] |
| 17940 | Most mathematical proofs are using set theory, but without saying so [Colyvan] |
| 17931 | Structuralism say only 'up to isomorphism' matters because that is all there is to it [Colyvan] |
| 17932 | If 'in re' structures relies on the world, does the world contain rich enough structures? [Colyvan] |
| 14193 | 'Substance theorists' take modal properties as primitive, without structure, just falling under a sortal [Paul,LA] |
| 14195 | If an object's sort determines its properties, we need to ask what determines its sort [Paul,LA] |
| 14196 | Substance essentialism says an object is multiple, as falling under various different sortals [Paul,LA] |
| 14198 | Absolutely unrestricted qualitative composition would allow things with incompatible properties [Paul,LA] |
| 14190 | Deep essentialist objects have intrinsic properties that fix their nature; the shallow version makes it contextual [Paul,LA] |
| 14191 | Deep essentialists say essences constrain how things could change; modal profiles fix natures [Paul,LA] |
| 14192 | Essentialism must deal with charges of arbitrariness, and failure to reduce de re modality [Paul,LA] |
| 14197 | An object's modal properties don't determine its possibilities [Paul,LA] |
| 21410 | That a concept is not self-contradictory does not make what it represents possible [Kant] |
| 14189 | 'Modal realists' believe in many concrete worlds, 'actualists' in just this world, 'ersatzists' in abstract other worlds [Paul,LA] |
| 17943 | Probability supports Bayesianism better as degrees of belief than as ratios of frequencies [Colyvan] |
| 17939 | Mathematics can reveal structural similarities in diverse systems [Colyvan] |
| 17938 | Mathematics can show why some surprising events have to occur [Colyvan] |
| 17934 | Proof by cases (by 'exhaustion') is said to be unexplanatory [Colyvan] |
| 17933 | Reductio proofs do not seem to be very explanatory [Colyvan] |
| 17935 | If inductive proofs hold because of the structure of natural numbers, they may explain theorems [Colyvan] |
| 17942 | Can a proof that no one understands (of the four-colour theorem) really be a proof? [Colyvan] |
| 17937 | Mathematical generalisation is by extending a system, or by abstracting away from it [Colyvan] |
| 21421 | Within nature man is unimportant, but as moral person he is above any price [Kant] |
| 21415 | Duty is impossible without prior moral feeling, conscience, love and self-respect [Kant] |
| 21409 | Moral principles do not involve feelings [Kant] |
| 21431 | The love of man is required in order to present the world as a beautiful and perfect moral whole [Kant] |
| 21437 | All morality directs the will to love of others' ends, and respect for others' rights [Kant] |
| 21429 | The duty of love is to makes the ends of others one's own [Kant] |
| 21411 | A duty of virtue is a duty which is also an end [Kant] |
| 21413 | Virtue is strong maxims for duty [Kant] |
| 21414 | The supreme principle of virtue is to find universal laws for ends [Kant] |
| 21436 | We are obliged to show the social virtues, but at least they make a virtuous disposition fashionable [Kant] |
| 21419 | If virtue becomes a habit, that is a loss of the freedom needed for adopting maxims [Kant] |
| 21417 | How do we distinguish a mean? The extremes can involve quite different maxims [Kant] |
| 21420 | If virtue is the mean between vices, then virtue is just the vanishing of vice [Kant] |
| 21418 | There is one principle of virtues; the virtues are distinguished by their objects [Kant] |
| 21425 | We can love without respect, and show respect without love [Kant] |
| 21427 | Respect is limiting our self-esteem by attending to the human dignity of other persons [Kant] |
| 21430 | Disrespect is using a person as a mere means to my own ends [Kant] |
| 21428 | Respect is purely negative (of not exalting oneself over others), and is thus a duty of Right [Kant] |
| 21426 | Love urges us to get closer to people, but respect to keep our distance [Kant] |
| 21434 | We must respect the humanity even in a vicious criminal [Kant] |
| 21412 | Humans are distinguished from animals by their capacity to set themselves any sort of end [Kant] |
| 21435 | Man is both social, and unsociable [Kant] |
| 21433 | Violation of rights deserves punishment, which is vengeance, rather than restitution [Kant] |
| 21423 | Men can only have duties to those who qualify as persons [Kant] |
| 21424 | Cruelty to animals is bad because it dulls our empathy for pain in humans [Kant] |