51 ideas
| 1749 | If all laws were abolished, philosophers would still live as they do now [Aristippus elder] |
| Full Idea: If all laws were abolished, philosophers would still live as they do now. | |
| From: Aristippus the elder (fragments/reports [c.395 BCE]), quoted by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.4 | |
| A reaction: Presumably philosophers develop inner laws which other people lack. |
| 18194 | 'Forcing' can produce new models of ZFC from old models [Maddy] |
| Full Idea: Cohen's method of 'forcing' produces a new model of ZFC from an old model by appending a carefully chosen 'generic' set. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.4) |
| 18195 | A Large Cardinal Axiom would assert ever-increasing stages in the hierarchy [Maddy] |
| Full Idea: A possible axiom is the Large Cardinal Axiom, which asserts that there are more and more stages in the cumulative hierarchy. Infinity can be seen as the first of these stages, and Replacement pushes further in this direction. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.5) |
| 18191 | Axiom of Infinity: completed infinite collections can be treated mathematically [Maddy] |
| Full Idea: The axiom of infinity: that there are infinite sets is to claim that completed infinite collections can be treated mathematically. In its standard contemporary form, the axioms assert the existence of the set of all finite ordinals. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.3) |
| 18193 | The Axiom of Foundation says every set exists at a level in the set hierarchy [Maddy] |
| Full Idea: In the presence of other axioms, the Axiom of Foundation is equivalent to the claim that every set is a member of some Vα. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.3) |
| 18169 | Axiom of Reducibility: propositional functions are extensionally predicative [Maddy] |
| Full Idea: The Axiom of Reducibility states that every propositional function is extensionally equivalent to some predicative proposition function. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) |
| 18168 | 'Propositional functions' are propositions with a variable as subject or predicate [Maddy] |
| Full Idea: A 'propositional function' is generated when one of the terms of the proposition is replaced by a variable, as in 'x is wise' or 'Socrates'. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) | |
| A reaction: This implies that you can only have a propositional function if it is derived from a complete proposition. Note that the variable can be in either subject or in predicate position. It extends Frege's account of a concept as 'x is F'. |
| 18171 | Cantor and Dedekind brought completed infinities into mathematics [Maddy] |
| Full Idea: Both Cantor's real number (Cauchy sequences of rationals) and Dedekind's cuts involved regarding infinite items (sequences or sets) as completed and subject to further manipulation, bringing the completed infinite into mathematics unambiguously. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1 n39) | |
| A reaction: So it is the arrival of the real numbers which is the culprit for lumbering us with weird completed infinites, which can then be the subject of addition, multiplication and exponentiation. Maybe this was a silly mistake? |
| 18190 | Completed infinities resulted from giving foundations to calculus [Maddy] |
| Full Idea: The line of development that finally led to a coherent foundation for the calculus also led to the explicit introduction of completed infinities: each real number is identified with an infinite collection of rationals. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.3) | |
| A reaction: Effectively, completed infinities just are the real numbers. |
| 18172 | Infinity has degrees, and large cardinals are the heart of set theory [Maddy] |
| Full Idea: The stunning discovery that infinity comes in different degrees led to the theory of infinite cardinal numbers, the heart of contemporary set theory. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) | |
| A reaction: It occurs to me that these huge cardinals only exist in set theory. If you took away that prop, they would vanish in a puff. |
| 18175 | For any cardinal there is always a larger one (so there is no set of all sets) [Maddy] |
| Full Idea: By the mid 1890s Cantor was aware that there could be no set of all sets, as its cardinal number would have to be the largest cardinal number, while his own theorem shows that for any cardinal there is a larger. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) | |
| A reaction: There is always a larger cardinal because of the power set axiom. Some people regard that with suspicion. |
| 18196 | An 'inaccessible' cardinal cannot be reached by union sets or power sets [Maddy] |
| Full Idea: An 'inaccessible' cardinal is one that cannot be reached by taking unions of small collections of smaller sets or by taking power sets. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.5) | |
| A reaction: They were introduced by Hausdorff in 1908. |
| 18187 | Theorems about limits could only be proved once the real numbers were understood [Maddy] |
| Full Idea: Even the fundamental theorems about limits could not [at first] be proved because the reals themselves were not well understood. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: This refers to the period of about 1850 (Weierstrass) to 1880 (Dedekind and Cantor). |
| 18182 | The extension of concepts is not important to me [Maddy] |
| Full Idea: I attach no decisive importance even to bringing in the extension of the concepts at all. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], §107) | |
| A reaction: He almost seems to equate the concept with its extension, but that seems to raise all sorts of questions, about indeterminate and fluctuating extensions. |
| 18177 | In the ZFC hierarchy it is impossible to form Frege's set of all three-element sets [Maddy] |
| Full Idea: In the ZFC cumulative hierarchy, Frege's candidates for numbers do not exist. For example, new three-element sets are formed at every stage, so there is no stage at which the set of all three-element sets could he formed. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: Ah. This is a very important fact indeed if you are trying to understand contemporary discussions in philosophy of mathematics. |
| 18164 | Frege solves the Caesar problem by explicitly defining each number [Maddy] |
| Full Idea: To solve the Julius Caesar problem, Frege requires explicit definitions of the numbers, and he proposes his well-known solution: the number of Fs = the extension of the concept 'equinumerous with F' (based on one-one correspondence). | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) | |
| A reaction: Why do there have to be Fs before there can be the corresponding number? If there were no F for 523, would that mean that '523' didn't exist (even if 522 and 524 did exist)? |
| 18184 | Making set theory foundational to mathematics leads to very fruitful axioms [Maddy] |
| Full Idea: The set theory axioms developed in producing foundations for mathematics also have strong consequences for existing fields, and produce a theory that is immensely fruitful in its own right. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: [compressed] Second of Maddy's three benefits of set theory. This benefit is more questionable than the first, because the axioms may be invented because of their nice fruit, instead of their accurate account of foundations. |
| 18185 | Unified set theory gives a final court of appeal for mathematics [Maddy] |
| Full Idea: The single unified area of set theory provides a court of final appeal for questions of mathematical existence and proof. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: Maddy's third benefit of set theory. 'Existence' means being modellable in sets, and 'proof' means being derivable from the axioms. The slightly ad hoc character of the axioms makes this a weaker defence. |
| 18183 | Set theory brings mathematics into one arena, where interrelations become clearer [Maddy] |
| Full Idea: Set theoretic foundations bring all mathematical objects and structures into one arena, allowing relations and interactions between them to be clearly displayed and investigated. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: The first of three benefits of set theory which Maddy lists. The advantages of the one arena seem to be indisputable. |
| 18186 | Identifying geometric points with real numbers revealed the power of set theory [Maddy] |
| Full Idea: The identification of geometric points with real numbers was among the first and most dramatic examples of the power of set theoretic foundations. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: Hence the clear definition of the reals by Dedekind and Cantor was the real trigger for launching set theory. |
| 18188 | The line of rationals has gaps, but set theory provided an ordered continuum [Maddy] |
| Full Idea: The structure of a geometric line by rational points left gaps, which were inconsistent with a continuous line. Set theory provided an ordering that contained no gaps. These reals are constructed from rationals, which come from integers and naturals. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: This completes the reduction of geometry to arithmetic and algebra, which was launch 250 years earlier by Descartes. |
| 18163 | Mathematics rests on the logic of proofs, and on the set theoretic axioms [Maddy] |
| Full Idea: Our much loved mathematical knowledge rests on two supports: inexorable deductive logic (the stuff of proof), and the set theoretic axioms. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I Intro) |
| 18207 | Maybe applications of continuum mathematics are all idealisations [Maddy] |
| Full Idea: It could turn out that all applications of continuum mathematics in natural sciences are actually instances of idealisation. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], II.6) |
| 18204 | Scientists posit as few entities as possible, but set theorist posit as many as possible [Maddy] |
| Full Idea: Crudely, the scientist posits only those entities without which she cannot account for observations, while the set theorist posits as many entities as she can, short of inconsistency. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], II.5) |
| 18167 | We can get arithmetic directly from HP; Law V was used to get HP from the definition of number [Maddy] |
| Full Idea: Recent commentators have noted that Frege's versions of the basic propositions of arithmetic can be derived from Hume's Principle alone, that the fatal Law V is only needed to derive Hume's Principle itself from the definition of number. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) | |
| A reaction: Crispin Wright is the famous exponent of this modern view. Apparently Charles Parsons (1965) first floated the idea. |
| 18205 | The theoretical indispensability of atoms did not at first convince scientists that they were real [Maddy] |
| Full Idea: The case of atoms makes it clear that the indispensable appearance of an entity in our best scientific theory is not generally enough to convince scientists that it is real. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], II.6) | |
| A reaction: She refers to the period between Dalton and Einstein, when theories were full of atoms, but there was strong reluctance to actually say that they existed, until the direct evidence was incontrovertable. Nice point. |
| 4913 | Brain lesions can erase whole categories of perception, suggesting they are hard-wired [Carter,R] |
| Full Idea: The discovery that a single brain lesion can erase all knowledge of man-made artefacts, or all knowledge of animals, suggests that these categories somehow hard-wired into the brain - that we all have a set of 'memory pigeonholes'. | |
| From: Rita Carter (Mapping the Mind [1998], p.190) | |
| A reaction: Presumably something can become 'hard-wired' through experience, rather than from birth. The whole idea of 'hard-wired' seems misleading about the brain. What matters is that the brain physically constructs categories. |
| 4910 | Sense organs don't discriminate; they reduce various inputs to the same electrical pulses [Carter,R] |
| Full Idea: Despite their variety, each sense organ translates its stimulus into electrical pulses; rather than discriminating one type of input from another, the sense organs actually make them more alike. | |
| From: Rita Carter (Mapping the Mind [1998], p.174) | |
| A reaction: An illuminating observation, which modern 'naïve realists' should bear in mind. Secondary qualities are entirely unrelated to the nature of the input, and are merely 'what the brain decides to make of it'. Discrimination is in our neurons. |
| 4911 | The recognition sequence is: classify, name, locate, associate, feel [Carter,R, by PG] |
| Full Idea: The sequence of events in the brain for perceptual recognition is first identifying a rough class for the object, then a name, then a location, then some associations, and finally an emotion. | |
| From: report of Rita Carter (Mapping the Mind [1998], p.181) by PG - Db (ideas) | |
| A reaction: This seems to be one of those places where neuro-science trumps philosophy. You can't argue with empirical research, so philosophical theories had better adapt themselves to this sequence. The big modern discovery is the place of emotion in recognition. |
| 4919 | There seems to be no dividing line between a memory and a thought [Carter,R] |
| Full Idea: It has become clear from research that there is no clear dividing line between a memory and a thought. | |
| From: Rita Carter (Mapping the Mind [1998], p.308) | |
| A reaction: This always struck me as an obvious criticism of Descartes, when he claimed that memory was not an essential part of the 'thinking thing'. How can you think or understand without memory of the different phases of your thoughts? No memory, no mind! |
| 4908 | No one knows if animals are conscious [Carter,R] |
| Full Idea: No one knows if animals are conscious. | |
| From: Rita Carter (Mapping the Mind [1998], p.155) | |
| A reaction: This is a report from the front line of brain research, and should be born in mind when over-confident people make pronouncements about this topic. It strikes me as important to grasp that animals MIGHT not be conscious. |
| 4915 | In primates, brain size correlates closely with size of social group [Carter,R] |
| Full Idea: Brain size in primates is closely associated with the size of the social group in which the animal lives. | |
| From: Rita Carter (Mapping the Mind [1998], p.257) | |
| A reaction: Intriguing. Humans can have huge social groups because of language, which suggests a chicken-or-egg question. Language, intelligence and size of social group must have expanded together in humans. |
| 4902 | Pain doesn't have one brain location, but is linked to attention and emotion [Carter,R] |
| Full Idea: Scans show there is no such thing as a pain centre; pain springs mainly from the activation of areas associated with attention and emotion. | |
| From: Rita Carter (Mapping the Mind [1998], p. 12) | |
| A reaction: Most brain research points to the complex multi-layered nature of experiences that were traditionally considered simple. We can be distracted from a pain, and an enormous number of factors can affect our degree of dislike of a given pain. |
| 4904 | Proper brains appear at seven weeks, and neonates have as many neurons as adults do [Carter,R] |
| Full Idea: The main sections of the brain, including the cerebral cortex, are visible within seven weeks of conception, and by the time the child is born the brain contains as many neurons - about 100 billion - as it will have as an adult. | |
| From: Rita Carter (Mapping the Mind [1998], p. 17) | |
| A reaction: Of interest in the abortion debate, and also in thinking about personal identity. However, it seems clear that the number of connections, rather than neurons, is what really matters. A small infant may well lack personal identity. |
| 4917 | Consciousness involves awareness, perception, self-awareness, attention and reflection [Carter,R] |
| Full Idea: Awareness, perception, self-awareness, attention and reflection are all separate components of consciousness, and the quality of our experience varies according to which and how many of them are present. | |
| From: Rita Carter (Mapping the Mind [1998], p.300) | |
| A reaction: Philosophers like to emphasise 'qualia' and 'intentionality'. This remark slices the cake differently. 'Attention' is interesting, dividing consciousness into two areas, with some experience fading away into the darkness. Hume denied self-awareness. |
| 4916 | There is enormous evidence that consciousness arises in the frontal lobes of the brain [Carter,R] |
| Full Idea: A huge volume of evidence suggests that consciousness emerges from the activity of the cerebral cortex, and in particular from the frontal lobes. | |
| From: Rita Carter (Mapping the Mind [1998], p.298) | |
| A reaction: Dualists must face up to this, and even many physicalists have a rather vague notion about the location of awareness, but we are clearly homing in very precise physical substances which have consciousness as a feature. |
| 4905 | Normal babies seem to have overlapping sense experiences [Carter,R] |
| Full Idea: Connections in a baby's brain probably give the infant the experience of 'seeing' sounds and 'hearing' colours - which occasionally continues into adulthood, where it is known as 'synaesthesia'. | |
| From: Rita Carter (Mapping the Mind [1998], p. 19) | |
| A reaction: A fact to remember when discussing secondary qualities, and the relativism involved in the way we perceive the world. If you have done your philosophy right, you shouldn't be surprised by this discovery. |
| 4918 | In blindsight V1 (normal vision) is inactive, but V5 (movement) lights up [Carter,R] |
| Full Idea: Scans show that a sub-section of the visual cortex called V5 - the area that registers movement - lights up during blindsight, even though V1 - the primary sensory area that is essential for normal sight - is not active. | |
| From: Rita Carter (Mapping the Mind [1998], p.307) | |
| A reaction: The whole point of blindsight is to make us realise that vision involves not one module, but a whole team of them. The inference is that V1 involves consciousness, but other areas of the visual cortex don't. |
| 18206 | Science idealises the earth's surface, the oceans, continuities, and liquids [Maddy] |
| Full Idea: In science we treat the earth's surface as flat, we assume the ocean to be infinitely deep, we use continuous functions for what we know to be quantised, and we take liquids to be continuous despite atomic theory. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], II.6) | |
| A reaction: If fussy people like scientists do this all the time, how much more so must the confused multitude be doing the same thing all day? |
| 4912 | Out-of-body experiences may be due to temporary loss of proprioception [Carter,R] |
| Full Idea: Out-of-body experiences may be due to temporary loss of proprioception. | |
| From: Rita Carter (Mapping the Mind [1998], p.187) | |
| A reaction: This is only a speculation, but it is an effect which can be caused by brain injury, and dualists should face the possibility that this evidence (prized by many dualists) can have a physical explanation. |
| 4903 | Scans of brains doing similar tasks produce very similar patterns of activation [Carter,R] |
| Full Idea: The pattern of brain activation during, say, a word retrieval task is usually similar enough among the dozen or so participants who typically take part in such studies for their scans to be overlaid and still show a clear pattern. | |
| From: Rita Carter (Mapping the Mind [1998], p. 17) | |
| A reaction: This doesn't surprise me, though it could be interpreted as supporting type-type identity, or as supporting functionalism. Armstrong and Lewis endorse a sort of reductive functionalism which would fit this observation. |
| 4920 | Thinking takes place on the upper side of the prefrontal cortex [Carter,R] |
| Full Idea: The nuts and bolts of thinking - holding ideas in mind and manipulating them - takes place on the upper side of the prefrontal cortex. | |
| From: Rita Carter (Mapping the Mind [1998], p.312) | |
| A reaction: Keep this firmly in view! Imagine that the skull is transparent, and brain activity moves in waves of colour. Dualism would, in those circumstances, never have even occurred to anyone. |
| 4906 | Babies show highly emotional brain events, but may well be unaware of them [Carter,R] |
| Full Idea: Babies show emotion dramatically, but the areas of the brain that in adults are linked to the conscious experience of emotions are not active in newborn babies. Such emotions may therefore be unconscious. | |
| From: Rita Carter (Mapping the Mind [1998], p. 19) | |
| A reaction: Traditionally, 'unconscious emotion' is a contradiction, but I think we should accept this new evidence and rethink the nature of mind. Not only might emotion be non-conscious, but we should even consider that rational thinking could be too. |
| 4909 | The only way we can control our emotions is by manipulating the outside world that influences them [Carter,R] |
| Full Idea: We try to manipulate our emotions all the time, but all we are doing is arranging the outside world so it triggers certain emotions - we cannot control our reactions directly. | |
| From: Rita Carter (Mapping the Mind [1998], p.155) | |
| A reaction: This seems to me to throw a very illuminating light on a huge amount of human behaviour, such as going to the cinema or listening to music. The romantic movement encouraged direct internal manipulation. Compare sex fantasies with viewing pornography. |
| 4914 | A frog will starve to death surrounded by dead flies [Carter,R] |
| Full Idea: A frog will starve to death surrounded by dead flies. | |
| From: Rita Carter (Mapping the Mind [1998], p.195) | |
| A reaction: A nice warning against assuming that rationality is operating when a frog feels hungry and 'decides' to have lunch. We should take comfort from the fact that humans are NOT this stupid, and philosophers should try to accurately describe our gift. |
| 3558 | Only the Cyrenaics reject the idea of a final moral end [Aristippus elder, by Annas] |
| Full Idea: The Cyrenaics are the most radical ancient moral philosophers, since they are the only school explicitly to reject the importance of achieving an overall final end. | |
| From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Julia Annas - The Morality of Happiness 11.1 | |
| A reaction: This looks like dropping out, but it could also be Keats's 'negative capability', of simply participating in existence without needing to do anything about it. |
| 5835 | The road of freedom is the surest route to happiness [Aristippus elder, by Xenophon] |
| Full Idea: The surest road to happiness is not the path through rule nor through servitude, but through liberty. | |
| From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Xenophon - Memorabilia of Socrates 2.1.9 | |
| A reaction: The great anarchist slogan. Personally I don't believe it, because I agree a little with Hobbes that authority is required to make cooperation flourish, and that is essential for full happiness. If I were a slave, I would agree with Aristippus. |
| 4907 | The 'locus coeruleus' is one of several candidates for the brain's 'pleasure centre' [Carter,R] |
| Full Idea: Noradrenaline is an excitatory chemical that induces physical and mental arousal and heightens mood. Production is centred in an area of the brain called the locus coeruleus, which is one of several candidates for the brain's 'pleasure' centre. | |
| From: Rita Carter (Mapping the Mind [1998], p. 30) | |
| A reaction: It seems to me very morally desirable that people understand facts of this kind, so that they can be more objective about pleasure. Pleasure is one cog in the machine that makes a person, not the essence of human life. |
| 1751 | Pleasure is the good, because we always seek it, it satisfies us, and its opposite is the most avoidable thing [Aristippus elder, by Diog. Laertius] |
| Full Idea: Pleasure is the good because we desire it from childhood, when we have it we seek nothing further, and the most avoidable thing is its opposite, pain. | |
| From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.8 |
| 3018 | People who object to extravagant pleasures just love money [Aristippus elder, by Diog. Laertius] |
| Full Idea: When blamed for buying expensive food he asked "Would you have bought it for just three obols?" When the person said yes, he said,"Then it is not that I am fond of pleasure, but that you are fond of money". | |
| From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.7.4 |
| 1755 | Errors result from external influence, and should be corrected, not hated [Aristippus elder, by Diog. Laertius] |
| Full Idea: Errors ought to meet with pardon, for a man does not err intentionally, but influenced by some external circumstances. We should not hate someone who has erred, but teach him better. | |
| From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.9 |