52 ideas
| 5333 | Philosophy needs wisdom about who we are, as well as how we ought to be [Flanagan] |
| 5334 | We resist science partly because it can't provide ethical wisdom [Flanagan] |
| 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] |
| 5340 | Explanation does not entail prediction [Flanagan] |
| 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] |
| 5346 | In the 17th century a collisionlike view of causation made mental causation implausible [Flanagan] |
| 21833 | Research suggest that we overrate conscious experience [Flanagan] |
| 5341 | Only you can have your subjective experiences because only you are hooked up to your nervous system [Flanagan] |
| 17937 | Mathematical generalisation is by extending a system, or by abstracting away from it [Colyvan] |
| 5351 | We only have a sense of our self as continuous, not as exactly the same [Flanagan] |
| 5353 | The self is an abstraction which magnifies important aspects of autobiography [Flanagan] |
| 5354 | We are not born with a self; we develop a self through living [Flanagan] |
| 5349 | For Buddhists a fixed self is a morally dangerous illusion [Flanagan] |
| 5338 | Normal free will claims control of what I do, but a stronger view claims control of thought and feeling [Flanagan] |
| 5344 | Free will is held to give us a whole list of desirable capacities for living [Flanagan] |
| 5332 | People believe they have free will that circumvents natural law, but only an incorporeal mind could do this [Flanagan] |
| 5345 | We only think of ourselves as having free will because we first thought of God that way [Flanagan] |
| 5343 | People largely came to believe in dualism because it made human agents free [Flanagan] |
| 5347 | Behaviourism notoriously has nothing to say about mental causation [Flanagan] |
| 5339 | Cars and bodies obey principles of causation, without us knowing any 'strict laws' about them [Flanagan] |
| 21834 | Sensations may be identical to brain events, but complex mental events don't seem to be [Flanagan] |
| 5342 | Physicalism doesn't deny that the essence of an experience is more than its neural realiser [Flanagan] |
| 5335 | Emotions are usually very apt, rather than being non-rational and fickle [Flanagan] |
| 5348 | Intellectualism admires the 'principled actor', non-intellectualism admires the 'good character' [Flanagan] |
| 5355 | Cognitivists think morals are discovered by reason [Flanagan] |
| 21837 | Morality is normative because it identifies best practices among the normal practices [Flanagan] |
| 5336 | Ethics is the science of the conditions that lead to human flourishing [Flanagan] |
| 21830 | For Darwinians, altruism is either contracts or genetics [Flanagan] |
| 21835 | We need Eudaimonics - the empirical study of how we should flourish [Flanagan] |
| 21831 | Alienation is not finding what one wants, or being unable to achieve it [Flanagan] |
| 6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |
| 5350 | The Hindu doctrine of reincarnation only appeared in the eighth century CE [Flanagan] |
| 21832 | Buddhists reject God and the self, and accept suffering as key, and liberation through wisdom [Flanagan] |
| 5352 | The idea of the soul gets some support from the scientific belief in essential 'natural kinds' [Flanagan] |