41 ideas
| 5331 | You can't infer that because you have a hidden birth-mark, everybody else does [Ayer] |
| Full Idea: My knowing that I had a hidden birth-mark would not entitle me to infer with any great degree of confidence that the same was true of everybody else. | |
| From: A.J. Ayer (The Central Questions of Philosophy [1973], §VI.E) | |
| A reaction: This is the notorious 'induction from a single case' which was used by Mill to prove that other minds exist. It is a very nice illustration of the weakness of arguments from analogy. Probably analogy on its own is useless, but is a key part of induction. |
| 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. |
| 2611 | It is currently held that quantifying over something implies belief in its existence [Ayer] |
| Full Idea: It is currently held that we are committed to a belief in the existence of anything over which we quantify. | |
| From: A.J. Ayer (The Central Questions of Philosophy [1973], IX.C) | |
| A reaction: In a fairy tale we quantify over fairies, so some further criterion will obviously be needed. |
| 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. |
| 16520 | We see properties necessary for a kind (in the definition), but not for an individual [Ayer] |
| Full Idea: We can significantly ask what properties it is necessary for something to possess in order to be a thing of such and such a kind, since that asks what properties enter into the definition of the kind. But there is no such definition of the individual. | |
| From: A.J. Ayer (The Central Questions of Philosophy [1973], 9.A.5) | |
| A reaction: [Quoted, not surprisingly, by Wiggins] Illuminating. If essence is just about necessary properties, I begin to see why the sortal might be favoured. I take it to concern explanatory mechanisms, and hence the individual. |
| 2613 | The theory of other minds has no rival [Ayer] |
| Full Idea: The theory that other people besides oneself have mental states is one that has no serious rival. | |
| From: A.J. Ayer (The Central Questions of Philosophy [1973], §VI.E) | |
| A reaction: See 3463, where Searle says there is no such thing as our "theory" about other minds. In a science fiction situation (see 'Blade Runner'), this unrivalled theory could quickly unravel. It could even be a fact that you are the only humanoid with a mind. |
| 5328 | Originally I combined a mentalistic view of introspection with a behaviouristic view of other minds [Ayer] |
| Full Idea: In 1936 I combined a mentalistic analysis of the propositions in which one attributes experiences to oneself with a behaviouristic analysis of the propositions in which one attributes experiences to others. | |
| From: A.J. Ayer (The Central Questions of Philosophy [1973], §VI.D) | |
| A reaction: He then criticises his view for inconsistency. Ryle preferred a behaviouristic account of introspection, but Ayer calls this 'ridiculous'. Ayer hunts for a compromise, but then settles for the right answer, which makes mentalism the 'best explanation'. |
| 5330 | Physicalism undercuts the other mind problem, by equating experience with 'public' brain events [Ayer] |
| Full Idea: The acceptance of physicalism undercuts the other minds problem by equating experiences with events in the brain, which are publicly observable. | |
| From: A.J. Ayer (The Central Questions of Philosophy [1973], §VI.E) | |
| A reaction: It strikes me that if we could actually observe the operations of one another's brains, a great many of the problems of philosophy would never have appeared in the first place. Imagine a transparent skull and brain, with coloured waves moving through it. |
| 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? |
| 5325 | Is something an 'experience' because it relates to other experiences, or because it relates to a subject? [Ayer] |
| Full Idea: Is the character of being an item of experience one that can accrue to a quale through its relation to other qualia, or must it consist in a relation to a subject, which is conscious of these elements and distinct from them? | |
| From: A.J. Ayer (The Central Questions of Philosophy [1973], §VI.B) | |
| A reaction: When nicely put like this, it is hard to see how qualia could be experiences just because they relate to one another. It begs the question of what is causing the relationship. There seems to be a Cogito-like assumption of a thinker. |
| 5326 | Qualia must be united by a subject, because they lead to concepts and judgements [Ayer] |
| Full Idea: The ground for thinking that qualia are only experiences because they relate to a unifying subject is that they have to be identified, by being brought under concepts, and giving rise to judgements which usually go beyond them. | |
| From: A.J. Ayer (The Central Questions of Philosophy [1973], §VI.B) | |
| A reaction: Thus one of Hume's greatest fans gives the clearest objection to Hume. It strikes me as a very powerful objection, better than anything Carruthers offers (1394,1395,1396). The conceptual element is very hard to disentangle from the qualia. |
| 5324 | Bodily identity and memory work together to establish personal identity [Ayer] |
| Full Idea: In general the two criteria of memory and bodily identity work together. | |
| From: A.J. Ayer (The Central Questions of Philosophy [1973], §VI.B) | |
| A reaction: This seems better than any simplistic one-criterion approach. In life we use different criteria for our own identity, as when dreaming, or waking with a hangover, or wondering if we are dead after an accident. |
| 5322 | Self-consciousness is not basic, because experiences are not instrinsically marked with ownership [Ayer] |
| Full Idea: Self-consciousness is not a primitive datum, or in other words the observer's experiences are not intrinsically marked as his own. | |
| From: A.J. Ayer (The Central Questions of Philosophy [1973], §VI.A) | |
| A reaction: This is a very Humean, ruthlessly empiricist view of the matter. Plenty of philosophers (existentialists, or Charles Taylor) would say that our experiences have our interests or values built into them. Why are they experiences, and not just events? |
| 5327 | Temporal gaps in the consciousness of a spirit could not be bridged by memories [Ayer] |
| Full Idea: If there were temporal gaps in the consciousness of disembodied spirits, the occurrences of memory-experiences would not be sufficient to bridge them. | |
| From: A.J. Ayer (The Central Questions of Philosophy [1973], §VI.C) | |
| A reaction: Ayer is very sympathetic to the idea that the body is a key ingredient in personal identity. Without a body, there would be no criteria at all for the continuity of a spirit which lost consciousness for a while, since consciousness is all it is. |
| 5329 | Why shouldn't we say brain depends on mind? Better explanation! [Ayer] |
| Full Idea: If mind and brain exactly correspond we have as good ground for saying the brain depends on the mind as the other way round; if predominance is given to the brain, the reason is that it fits into a wider explanatory system. | |
| From: A.J. Ayer (The Central Questions of Philosophy [1973], §VI.D) | |
| A reaction: A small but significant point. If an 'identity' theory is to be developed, then this step in the argument has to be justified. It is tempting here to move to the eliminativist view, because we no longer have to worry about a 'direction of priority'. |
| 2610 | Talk of propositions is just shorthand for talking about equivalent sentences [Ayer] |
| Full Idea: Our talk of propositions should not be regarded as anything more than a concise way of talking about equivalent sentences. | |
| From: A.J. Ayer (The Central Questions of Philosophy [1973], IX.C) | |
| A reaction: Wrong, though I can see why he says it. We struggle to express difficult propositions by offering several similar (but not equivalent) sentences. What is the criterion for deciding his 'equivalence'? |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |