135 ideas
| 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) |
| 13011 | New axioms are being sought, to determine the size of the continuum [Maddy] |
| Full Idea: In current set theory, the search is on for new axioms to determine the size of the continuum. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §0) | |
| A reaction: This sounds the wrong way round. Presumably we seek axioms that fix everything else about set theory, and then check to see what continuum results. Otherwise we could just pick our continuum, by picking our axioms. |
| 13013 | The Axiom of Extensionality seems to be analytic [Maddy] |
| Full Idea: Most writers agree that if any sense can be made of the distinction between analytic and synthetic, then the Axiom of Extensionality should be counted as analytic. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.1) | |
| A reaction: [Boolos is the source of the idea] In other words Extensionality is not worth discussing, because it simply tells you what the world 'set' means, and there is no room for discussion about that. The set/class called 'humans' varies in size. |
| 13014 | Extensional sets are clearer, simpler, unique and expressive [Maddy] |
| Full Idea: The extensional view of sets is preferable because it is simpler, clearer, and more convenient, because it individuates uniquely, and because it can simulate intensional notions when the need arises. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.1) | |
| A reaction: [She cites Fraenkel, Bar-Hillet and Levy for this] The difficulty seems to be whether the extensional notion captures our ordinary intuitive notion of what constitutes a group of things, since that needs flexible size and some sort of unity. |
| 13021 | The Axiom of Infinity states Cantor's breakthrough that launched modern mathematics [Maddy] |
| Full Idea: The Axiom of Infinity is a simple statement of Cantor's great breakthrough. His bold hypothesis that a collection of elements that had lurked in the background of mathematics could be infinite launched modern mathematics. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.5) | |
| A reaction: It also embodies one of those many points where mathematics seems to depart from common sense - but then most subjects depart from common sense when they get more sophisticated. Look what happened to art. |
| 13022 | Infinite sets are essential for giving an account of the real numbers [Maddy] |
| Full Idea: If one is interested in analysis then infinite sets are indispensable since even the notion of a real number cannot be developed by means of finite sets alone. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.5) | |
| A reaction: [Maddy is citing Fraenkel, Bar-Hillel and Levy] So Cantor's great breakthrough (Idea 13021) actually follows from the earlier acceptance of the real numbers, so that's where the departure from common sense started. |
| 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) |
| 13023 | The Power Set Axiom is needed for, and supported by, accounts of the continuum [Maddy] |
| Full Idea: The Power Set Axiom is indispensable for a set-theoretic account of the continuum, ...and in so far as those attempts are successful, then the power-set principle gains some confirmatory support. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.6) | |
| A reaction: The continuum is, of course, notoriously problematic. Have we created an extra problem in our attempts at solving the first one? |
| 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) |
| 13024 | Efforts to prove the Axiom of Choice have failed [Maddy] |
| Full Idea: Jordain made consistent and ill-starred efforts to prove the Axiom of Choice. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.7) | |
| A reaction: This would appear to be the fate of most axioms. You would presumably have to use a different system from the one you are engaged with to achieve your proof. |
| 13025 | Modern views say the Choice set exists, even if it can't be constructed [Maddy] |
| Full Idea: Resistance to the Axiom of Choice centred on opposition between existence and construction. Modern set theory thrives on a realistic approach which says the choice set exists, regardless of whether it can be defined, constructed, or given by a rule. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.7) | |
| A reaction: This seems to be a key case for the ontology that lies at the heart of theory. Choice seems to be an invaluable tool for proofs, so it won't go away, so admit it to the ontology. Hm. So the tools of thought have existence? |
| 13026 | A large array of theorems depend on the Axiom of Choice [Maddy] |
| Full Idea: Many theorems depend on the Axiom of Choice, including that a countable union of sets is countable, and results in analysis, topology, abstract algebra and mathematical logic. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.7) | |
| A reaction: The modern attitude seems to be to admit anything if it leads to interesting results. It makes you wonder about the modern approach of using mathematics and logic as the cutting edges of ontological thinking. |
| 17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
| Full Idea: One feature of the Axiom of Choice that troubled many mathematicians was the so-called Banach-Tarski paradox: using the Axiom, a sphere can be decomposed into finitely many parts and those parts reassembled into two spheres the same size as the original. | |
| From: Penelope Maddy (Defending the Axioms [2011], 1.3) | |
| A reaction: (The key is that the parts are non-measurable). To an outsider it is puzzling that the Axiom has been universally accepted, even though it produces such a result. Someone can explain that, I'm sure. |
| 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) |
| 13019 | The Iterative Conception says everything appears at a stage, derived from the preceding appearances [Maddy] |
| Full Idea: The Iterative Conception (Zermelo 1930) says everything appears at some stage. Given two objects a and b, let A and B be the stages at which they first appear. Suppose B is after A. Then the pair set of a and b appears at the immediate stage after B. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.3) | |
| A reaction: Presumably this all happens in 'logical time' (a nice phrase I have just invented!). I suppose we might say that the existence of the paired set is 'forced' by the preceding sets. No transcendental inferences in this story? |
| 13018 | Limitation of Size is a vague intuition that over-large sets may generate paradoxes [Maddy] |
| Full Idea: The 'limitation of size' is a vague intuition, based on the idea that being too large may generate the paradoxes. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.3) | |
| A reaction: This is an intriguing idea to be found right at the centre of what is supposed to be an incredibly rigorous system. |
| 17824 | The master science is physical objects divided into sets [Maddy] |
| Full Idea: The master science can be thought of as the theory of sets with the entire range of physical objects as ur-elements. | |
| From: Penelope Maddy (Sets and Numbers [1981], II) | |
| A reaction: This sounds like Quine's view, since we have to add sets to our naturalistic ontology of objects. It seems to involve unrestricted mereology to create normal objects. |
| 8755 | Maddy replaces pure sets with just objects and perceived sets of objects [Maddy, by Shapiro] |
| Full Idea: Maddy dispenses with pure sets, by sketching a strong set theory in which everything is either a physical object or a set of sets of ...physical objects. Eventually a physiological story of perception will extend to sets of physical objects. | |
| From: report of Penelope Maddy (Realism in Mathematics [1990]) by Stewart Shapiro - Thinking About Mathematics 8.3 | |
| A reaction: This doesn't seem to find many supporters, but if we accept the perception of resemblances as innate (as in Hume and Quine), it is isn't adding much to see that we intrinsically see things in groups. |
| 10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
| Full Idea: Henkin-style semantics seem to me more plausible for plural logic than for second-order logic. | |
| From: Penelope Maddy (Second Philosophy [2007], III.8 n1) | |
| A reaction: Henkin-style semantics are presented by Shapiro as the standard semantics for second-order logic. |
| 17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
| Full Idea: If-thenism denies that mathematics is in the business of discovering truths about abstracta. ...[their opponents] obviously don't regard any starting point, even a consistent one, as equally worthy of investigation. | |
| From: Penelope Maddy (Defending the Axioms [2011], 3.3) | |
| A reaction: I have some sympathy with if-thenism, in that you can obviously study the implications of any 'if' you like, but deep down I agree with the critics. |
| 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'. |
| 17605 | Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy] |
| Full Idea: At the end of the nineteenth century there was a renewed emphasis on rigor, the central tool of which was axiomatization, along the lines of Hilbert's axioms for geometry and Dedekind's axioms for real numbers. | |
| From: Penelope Maddy (Defending the Axioms [2011], 1.3) |
| 17625 | If two mathematical themes coincide, that suggest a single deep truth [Maddy] |
| Full Idea: The fact that two apparently fruitful mathematical themes turn out to coincide makes it all the more likely that they're tracking a genuine strain of mathematical depth. | |
| From: Penelope Maddy (Defending the Axioms [2011], 5.3ii) |
| 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. |
| 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? |
| 17615 | Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy] |
| Full Idea: One form of the Continuum Hypothesis is the claim that every infinite set of reals is either countable or of the same size as the full set of reals. | |
| From: Penelope Maddy (Defending the Axioms [2011], 2.4 n40) |
| 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)? |
| 17825 | Set theory (unlike the Peano postulates) can explain why multiplication is commutative [Maddy] |
| Full Idea: If you wonder why multiplication is commutative, you could prove it from the Peano postulates, but the proof offers little towards an answer. In set theory Cartesian products match 1-1, and n.m dots when turned on its side has m.n dots, which explains it. | |
| From: Penelope Maddy (Sets and Numbers [1981], II) | |
| A reaction: 'Turning on its side' sounds more fundamental than formal set theory. I'm a fan of explanation as taking you to the heart of the problem. I suspect the world, rather than set theory, explains the commutativity. |
| 17826 | Standardly, numbers are said to be sets, which is neat ontology and epistemology [Maddy] |
| Full Idea: The standard account of the relationship between numbers and sets is that numbers simply are certain sets. This has the advantage of ontological economy, and allows numbers to be brought within the epistemology of sets. | |
| From: Penelope Maddy (Sets and Numbers [1981], III) | |
| A reaction: Maddy votes for numbers being properties of sets, rather than the sets themselves. See Yourgrau's critique. |
| 17828 | Numbers are properties of sets, just as lengths are properties of physical objects [Maddy] |
| Full Idea: I propose that ...numbers are properties of sets, analogous, for example, to lengths, which are properties of physical objects. | |
| From: Penelope Maddy (Sets and Numbers [1981], III) | |
| A reaction: Are lengths properties of physical objects? A hole in the ground can have a length. A gap can have a length. Pure space seems to contain lengths. A set seems much more abstract than its members. |
| 10718 | A natural number is a property of sets [Maddy, by Oliver] |
| Full Idea: Maddy takes a natural number to be a certain property of sui generis sets, the property of having a certain number of members. | |
| From: report of Penelope Maddy (Realism in Mathematics [1990], 3 §2) by Alex Oliver - The Metaphysics of Properties | |
| A reaction: [I believe Maddy has shifted since then] Presumably this will make room for zero and infinities as natural numbers. Personally I want my natural numbers to count things. |
| 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. |
| 17618 | Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy] |
| Full Idea: Our set-theoretic methods track the underlying contours of mathematical depth. ...What sets are, most fundamentally, is markers for these contours ...they are maximally effective trackers of certain trains of mathematical fruitfulness. | |
| From: Penelope Maddy (Defending the Axioms [2011], 3.4) | |
| A reaction: This seems to make it more like a map of mathematics than the actual essence of mathematics. |
| 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) |
| 17830 | Number theory doesn't 'reduce' to set theory, because sets have number properties [Maddy] |
| Full Idea: I am not suggesting a reduction of number theory to set theory ...There are only sets with number properties; number theory is part of the theory of finite sets. | |
| From: Penelope Maddy (Sets and Numbers [1981], V) |
| 17827 | Sets exist where their elements are, but numbers are more like universals [Maddy] |
| Full Idea: A set of things is located where the aggregate of those things is located, ...but a number is simultaneously located at many different places (10 in my hand, and a baseball team) ...so numbers seem more like universals than particulars. | |
| From: Penelope Maddy (Sets and Numbers [1981], III) | |
| A reaction: My gut feeling is that Maddy's master idea (of naturalising sets by building them from ur-elements of natural objects) won't work. Sets can work fine in total abstraction from nature. |
| 17823 | If mathematical objects exist, how can we know them, and which objects are they? [Maddy] |
| Full Idea: The popular challenges to platonism in philosophy of mathematics are epistemological (how are we able to interact with these objects in appropriate ways) and ontological (if numbers are sets, which sets are they). | |
| From: Penelope Maddy (Sets and Numbers [1981], I) | |
| A reaction: These objections refer to Benacerraf's two famous papers - 1965 for the ontology, and 1973 for the epistemology. Though he relied too much on causal accounts of knowledge in 1973, I'm with him all the way. |
| 8756 | Intuition doesn't support much mathematics, and we should question its reliability [Maddy, by Shapiro] |
| Full Idea: Maddy says that intuition alone does not support very much mathematics; more importantly, a naturalist cannot accept intuition at face value, but must ask why we are justified in relying on intuition. | |
| From: report of Penelope Maddy (Realism in Mathematics [1990]) by Stewart Shapiro - Thinking About Mathematics 8.3 | |
| A reaction: It depends what you mean by 'intuition', but I identify with her second objection, that every faculty must ultimately be subject to criticism, which seems to point to a fairly rationalist view of things. |
| 17733 | We know mind-independent mathematical truths through sets, which rest on experience [Maddy, by Jenkins] |
| Full Idea: Maddy proposes that we can know (some) mind-independent mathematical truths through knowing about sets, and that we can obtain knowledge of sets through experience. | |
| From: report of Penelope Maddy (Realism in Mathematics [1990]) by Carrie Jenkins - Grounding Concepts 6.5 | |
| A reaction: Maddy has since backed off from this, and now tries to merely defend 'objectivity' about sets (2011:114). My amateurish view is that she is overrating the importance of sets, which merely model mathematics. Look at category theory. |
| 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) |
| 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) |
| 17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
| Full Idea: Ordinary perceptual cognition is most likely involved in our grasp of elementary arithmetic, but ...this connection to the physical world has long since been idealized away in the infinitary structures of contemporary pure mathematics. | |
| From: Penelope Maddy (Defending the Axioms [2011], 2.3) | |
| A reaction: Despite this, Maddy's quest is for a 'naturalistic' account of mathematics. She ends up defending 'objectivity' (and invoking Tyler Burge), rather than even modest realism. You can't 'idealise away' the counting of objects. I blame Cantor. |
| 17829 | Number words are unusual as adjectives; we don't say 'is five', and numbers always come first [Maddy] |
| Full Idea: Number words are not like normal adjectives. For example, number words don't occur in 'is (are)...' contexts except artificially, and they must appear before all other adjectives, and so on. | |
| From: Penelope Maddy (Sets and Numbers [1981], IV) | |
| A reaction: [She is citing Benacerraf's arguments] |
| 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. |
| 16554 | Activities have place, rate, duration, entities, properties, modes, direction, polarity, energy and range [Machamer/Darden/Craver] |
| Full Idea: Activities can be identified spatiotemporally, and individuated by rate, duration, and types of entity and property that engage in them. They also have modes of operation, directionality, polarity, energy requirements and a range. | |
| From: Machamer,P/Darden,L/Craver,C (Thinking About Mechanisms [2000], 3) | |
| A reaction: This is their attempt at making 'activity' one of the two central concepts of ontology, along with 'entity'. A helpful analysis. It just seems to be one way of slicing the cake. |
| 22355 | In the realist view, the real external world explains how it (and perceptions of it) are possible [Williams,B] |
| Full Idea: The substance of the absolute conception [of external reality] lies in the idea that it could nonvacuously explain how it itself, and the various perspectival views of the world, are possible. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], p.139), quoted by Reiss,J/Spreger,J - Scientific Objectivity 2.1 | |
| A reaction: I like this. Explanation and understanding strike me as more important than justified truths, and I am struck by the complete inability of subjectivists, relativists and anti-realists to give any kinds of good explanation. |
| 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. |
| 16556 | Penicillin causes nothing; the cause is what penicillin does [Machamer/Darden/Craver] |
| Full Idea: It is not the penicillin that causes the pneumonia to disappear, but what the penicillin does. | |
| From: Machamer,P/Darden,L/Craver,C (Thinking About Mechanisms [2000], 3.1) | |
| A reaction: This is a very neat example for illustrating how we slip into 'entity' talk, when the reality we are addressing actually concerns processes. Without the 'what it does', penicillin can't participate in causation at all. |
| 23283 | Necessity implies possibility, but in experience it matters which comes first [Williams,B] |
| Full Idea: Any notion of necessity must carry with it a corresponding notion of impossibility, …but it can make a difference which one of them presents itself first and more naturally. | |
| From: Bernard Williams (Practical Necessity [1982], p.127) | |
| A reaction: I like this because it connects modality with experience, rather than with formal logic. It seems right that in life we immediately see either a necessity or an impossibility, and inferring the other case is an afterthought. |
| 16562 | We understand something by presenting its low-level entities and activities [Machamer/Darden/Craver] |
| Full Idea: The intelligibility of a phenomenon consists in the mechanisms being portrayed in terms of a field's bottom out entities and activities. | |
| From: Machamer,P/Darden,L/Craver,C (Thinking About Mechanisms [2000], 7) | |
| A reaction: In other words, we understand complex things by reducing them to things we do understand. It would, though, be illuminating to see a nest of interconnected activities, even if we understood none of them. |
| 4244 | It is very confused to deduce a nonrelativist morality of universal toleration from relativism [Williams,B] |
| Full Idea: Some people believe a properly relativist view requires you to be equally well disposed to everybody's ethical beliefs, but this is seriously confused, as relativism has led to a nonrelativist morality of universal toleration. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 9) | |
| A reaction: Good point. This need not stop a relativist from passionately defending tolerance - it is only that the lack of rational support for the passion must be recognised. |
| 4243 | Our ability to react to an alien culture shows that ethical thought extends beyond cultural boundaries [Williams,B] |
| Full Idea: The fact that people can and must react when confronted with another culture, and do so by applying existing notions, seems to show that ethical thought of a given culture can always stretch beyond its boundaries. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 9) | |
| A reaction: Hardly conclusive, but it does seem to show that there is an element of universalising in values, no matter how local you may consider them to be. |
| 16563 | The explanation is not the regularity, but the activity sustaining it [Machamer/Darden/Craver] |
| Full Idea: It is not regularities that explain but the activities that sustain the regularities. | |
| From: Machamer,P/Darden,L/Craver,C (Thinking About Mechanisms [2000], 7) | |
| A reaction: Good, but we had better not characterise the 'activities' in terms of regularities. |
| 16555 | Functions are not properties of objects, they are activities contributing to mechanisms [Machamer/Darden/Craver] |
| Full Idea: It is common to speak of functions as properties 'had by' entities, …but they should rather be understood in terms of the activities by virtue of which entities contribute to the workings of a mechanism. | |
| From: Machamer,P/Darden,L/Craver,C (Thinking About Mechanisms [2000], 3) | |
| A reaction: I'm certainly quite passionately in favour of cutting down on describing the world almost entirely in terms of entities which have properties. An 'activity', though, is a bit of an elusive concept. |
| 16528 | Mechanisms are not just push-pull systems [Machamer/Darden/Craver] |
| Full Idea: One should not think of mechanisms as exclusively mechanical (push-pull) systems. | |
| From: Machamer,P/Darden,L/Craver,C (Thinking About Mechanisms [2000], 1) | |
| A reaction: The difficulty seems to be that you could broaden the concept of 'mechanism' indefinitely, so that it covered history, mathematics, populations, cultural change, and even mathematics. Where to stop? |
| 16529 | Mechanisms are systems organised to produce regular change [Machamer/Darden/Craver] |
| Full Idea: Mechanisms are entities and activities organized such that they are productive of regular change from start or set-up to finish or termination conditions. | |
| From: Machamer,P/Darden,L/Craver,C (Thinking About Mechanisms [2000], 1) | |
| A reaction: This is their initial formal definition of a mechanism. Note that a mere 'activity' can be included. Presumably the mechanism might have an outcome that was not the intended outcome. Does a random element disqualify it? Are hands mechanisms? |
| 16530 | A mechanism explains a phenomenon by showing how it was produced [Machamer/Darden/Craver] |
| Full Idea: To give a description of a mechanism for a phenomenon is to explain that phenomenon, i.e. to explain how it was produced. | |
| From: Machamer,P/Darden,L/Craver,C (Thinking About Mechanisms [2000], 1) | |
| A reaction: To 'show how' something happens needs a bit of precisification. It is probably analytic that 'showing how' means 'revealing the mechanism', though 'mechanism' then becomes the tricky concept. |
| 16553 | Our account of mechanism combines both entities and activities [Machamer/Darden/Craver] |
| Full Idea: We emphasise the activities in mechanisms. This is explicitly dualist. Substantivalists speak of entities with dispositions to act. Process ontologists reify activities and try to reduce entities to processes. We try to capture both intuitions. | |
| From: Machamer,P/Darden,L/Craver,C (Thinking About Mechanisms [2000], 3) | |
| A reaction: [A quotation of selected fragments] The problem here seems to be the raising of an 'activity' to a central role in ontology, when it doesn't seem to be primitive, and will typically be analysed in a variety of ways. |
| 16559 | Descriptions of explanatory mechanisms have a bottom level, where going further is irrelevant [Machamer/Darden/Craver] |
| Full Idea: Nested hierachical descriptions of mechanisms typically bottom out in lowest level mechanisms. …Bottoming out is relative …the explanation comes to an end, and description of lower-level mechanisms would be irrelevant. | |
| From: Machamer,P/Darden,L/Craver,C (Thinking About Mechanisms [2000], 5.1) | |
| A reaction: This seems to me exactly the right story about mechanism, and it is a story I am associating with essentialism. The relevance is ties to understanding. The lower level is either fully understood, or totally baffling. |
| 16564 | There are four types of bottom-level activities which will explain phenomena [Machamer/Darden/Craver] |
| Full Idea: There are four bottom-out kinds of activities: geometrico-mechanical, electro-chemical, electro-magnetic and energetic. These are abstract means of production that can be fruitfully applied in particular cases to explain phenomena. | |
| From: Machamer,P/Darden,L/Craver,C (Thinking About Mechanisms [2000], 7) | |
| A reaction: I like that. It gives a nice core for a metaphysics for physicalists. I suspect that 'mechanical' can be reduced to something else, and that 'energetic' will disappear in the final story. |
| 16561 | We can abstract by taking an exemplary case and ignoring the detail [Machamer/Darden/Craver] |
| Full Idea: Abstractions may be constructed by taking an exemplary case or instance and removing detail. | |
| From: Machamer,P/Darden,L/Craver,C (Thinking About Mechanisms [2000], 5.3) | |
| A reaction: I love 'removing detail'. That's it. Simple. I think this process is the basis of our whole capacity to formulate abstract concepts. Forget Frege - he's just describing the results of the process. How do we decide what is 'detail'? Essentialism! |
| 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? |
| 3238 | 'Dead person' isn't a contradiction, so 'person' is somewhat vague [Williams,B] |
| Full Idea: If we say (in opposition to a physical view of identity) that when Jones dies 'Jones ceases to exist' but 'Jones' body does not cease to exist', this shouldn't be pressed too hard, because it would make 'dead person' a contradiction. | |
| From: Bernard Williams (Are Persons Bodies? [1970], p.74) | |
| A reaction: A good point, which nicely challenges the distinction between a 'human' and a 'person', but the problem case is much more the one where Jones gets advanced Alzheimer's, rather than dies. A dead body ceases as a mechanism, as well as as a personality. |
| 3239 | You can only really love a person as a token, not as a type [Williams,B] |
| Full Idea: If you love a person as a type instead of as a token (i.e. a "person", instead of a physical body) you might prefer a run-down copy of them to no person at all, but at this point our idea of loving a person begins to crack. | |
| From: Bernard Williams (Are Persons Bodies? [1970], p.81) | |
| A reaction: Very persuasive. If you love a person you can cope with them getting old. If you own an original watercolour, you can accept that it fades, but you would replace a reproduction of it if that faded. But what, then, is it that you love? |
| 7946 | The memory criterion has a problem when one thing branches into two things [Williams,B, by Macdonald,C] |
| Full Idea: The memory criterion for personal identity permits 'branching' (where two things can later meet the criteria of persistence of a single earlier thing), which presents it with serious problems. | |
| From: report of Bernard Williams (Personal Identity and Individuation [1956]) by Cynthia Macdonald - Varieties of Things Ch.4 | |
| A reaction: Of course, any notion of personal identity would have serious problem if people could branch into two, like fissioning amoeba. If that happened, we probably wouldn't have had a strong notion of personal identity in the first place. See Parfit. |
| 2181 | It is an absurd Kantian idea that at the limit rationality and freedom coincide [Williams,B] |
| Full Idea: There is a deluded Kantian idea that at the limit rationality and freedom will totally coincide. | |
| From: Bernard Williams (Shame and Necessity [1993], VI - p.158) |
| 2176 | There is only a problem of free will if you think the notion of 'voluntary' can be metaphysically deepened [Williams,B] |
| Full Idea: There is a problem of free will only for those who think that the notion of voluntary can be metaphysically deepened. | |
| From: Bernard Williams (Shame and Necessity [1993], III - p.68) | |
| A reaction: Years later, I now see that his refers to a pet hate of mine in discussions of free will, which is the idea that a person can have something called 'ultimate' responsibility for an action (which is the 'deep' version of 'you did it'). |
| 24008 | Reference to a person's emotions is often essential to understanding their actions [Williams,B] |
| Full Idea: The reference to a man's emotions has a significance for our understanding of his moral sincerity, not as a substitute for or addition to how he acts, but as, on occasion, underlying our understanding of how he acts. | |
| From: Bernard Williams (Morality and the emotions [1965], p.223) | |
| A reaction: Williams aims to rescue emotion from the emotivists, and replace it at the centre of traditional modes of moral judgement. I suppose we could assess one rogue robot as behaving 'badly' in a community of robots. |
| 24009 | Moral education must involve learning about various types of feeling towards things [Williams,B] |
| Full Idea: If moral education does not revolve around what to fear, to be angry about, to despise, and where to draw the line between kindness and a stupid sentimentality - I do not know what it is. (Though there are principles, of truth-telling and justice). | |
| From: Bernard Williams (Morality and the emotions [1965], p.225) | |
| A reaction: He cites Aristotle as the obvious source of this correct idea. The examples of principle both require us to place a high value on truth and justice, and not just follow rules in the style of arithmetic. |
| 4317 | We judge weakness of will by an assessment after the event is concluded [Williams,B, by Cottingham] |
| Full Idea: Williams has shown that whether an action was weakness of will depends on an evaluation after the event, as in the question of whether Gauguin was right to abandon his family to pursue his art. | |
| From: report of Bernard Williams (Shame and Necessity [1993]) by John Cottingham - Reason, Emotions and Good Life p.1 | |
| A reaction: The 'Gauguin Problem' is that Gauguin's actions only become weakness of will if the pictures are no good, and he can't know that till he's painted them. Good point. |
| 9284 | Reasons are 'internal' if they give a person a motive to act, but 'external' otherwise [Williams,B] |
| Full Idea: Someone has 'internal reasons' to act when the person has some motive which will be served or furthered by the action; if this turns out not to be so, the reason is false. Reasons are 'external' when there is no such condition. | |
| From: Bernard Williams (Internal and External Reasons [1980], p.101) | |
| A reaction: [compressed] An external example given is a family tradition of joining the army, if the person doesn't want to. Williams says (p.111) external reason statements are actually false, and a misapplication of the concept of a 'reason to act'. See Idea 8815. |
| 2174 | Responsibility involves cause, intention, state of mind, and response after the event [Williams,B] |
| Full Idea: The four elements of any conception of responsibility are cause, intention, state of mind, and response after the event. | |
| From: Bernard Williams (Shame and Necessity [1993], III - p.53) |
| 22455 | Many ethical theories neglect the power of regretting the ought not acted upon [Williams,B] |
| Full Idea: It is a fundamental criticism of many ethical theories that their accounts of moral conflict and its resolution do not do justice to the facts of regret...: basically because they eliminate from the scene the ought that is not acted upon. | |
| From: Bernard Williams (Ethical consistency [1965], p.175), quoted by Philippa Foot - Moral Realism and Moral Dilemma p.39 | |
| A reaction: [p.175 in Problems of the Self] Williams seems to have initiated this idea. It doesn't matter much for Kantians and Utilitarians (any more than a wrong answer in maths), but it matters if character is the focus. The virtuous have regrets. |
| 4114 | Philosophers try to produce ethical theories because they falsely assume that ethics can be simple [Williams,B] |
| Full Idea: If there is a truth about the subject matter of ethics, why should it be simple? ..I shall argue that philosophy should not try to produce ethical theories. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 1) | |
| A reaction: Bizarrely defeatist - in parallel with Mysterians about the mind like McGinn. Is there any point in thinking at all? I suggest the aim of life as the best starting point. |
| 22453 | Moral conflicts have a different feeling and structure from belief conflicts [Williams,B, by Foot] |
| Full Idea: Williams insisted that the feelings we have in situations of moral conflict show that the 'structure' of moral judgements is unlike that of assertions expressing beliefs. | |
| From: report of Bernard Williams (Ethical consistency [1965]) by Philippa Foot - Moral Realism and Moral Dilemma p.36 | |
| A reaction: Foot presents this as a key reason for the non-cognitivist view of ethics, and her paper attacks it. I don't usually react to moral disagreement with the same vigour I have when I think a belief is untrue. It may just be uncertainty, though. |
| 22454 | We tolerate inconsistency in ethics but not in other beliefs (which reflect an independent order) [Williams,B, by Foot] |
| Full Idea: Williams argued that we can tolerate inconsistency in moral principles though not in assertions, and that this is explained by the fact that it is the concern of the latter but not of the former to reflect an 'independent order of things'. | |
| From: report of Bernard Williams (Consistency and realism (with 1972 note) [1966]) by Philippa Foot - Moral Realism and Moral Dilemma p.37 | |
| A reaction: Put like this, Williams seems to beg the question, which is whether there is an independent moral order to things. There seems to be an easy answer, which is that we are only intolerant of inconsistency when we are confident about it. |
| 22450 | If moral systems can't judge other moral systems, then moral relativism is true [Williams,B, by Foot] |
| Full Idea: If some societies with divergent moral systems merely confront each other, having no use for the assertion that their own systems are true and the others false except to mark the system to which they adhere, then relativism is a true theory of morality. | |
| From: report of Bernard Williams (The Truth in Relativism [1974]) by Philippa Foot - Moral Relativism p.3 | |
| A reaction: 'Having no use for' an assertion is not the same as the assertion being impossible. Some liberal cultures refuse to criticise others because their highest value is tolerance, even when the target culture wholly contradicts the critics' other values. |
| 2178 | In bad actions, guilt points towards victims, and shame to the agent [Williams,B] |
| Full Idea: In what I have done, the guilt points in one direction towards what has happened to others, and the shame in another direction to what I am. | |
| From: Bernard Williams (Shame and Necessity [1993], IV - p.92) | |
| A reaction: Not convinced. I think shame has the fear of being observed as an inescapable component. Even when alone shame involves imagining what others might think. |
| 20168 | Blame usually has no effect if the recipient thinks it unjustified [Williams,B] |
| Full Idea: One of the most obvious facts about blame is that in many cases it is effective only if the recipient thinks that it is justified. | |
| From: Bernard Williams (How free does the will need to be? [1985], 5) | |
| A reaction: The point of the blame might not be reform of the agent, but a public justification for punishment as deterrence, in which case who cares what the agent thinks? Is blame attribution of causes, or reasons to punish? |
| 20167 | Blame partly rests on the fiction that blamed agents always know their obligations [Williams,B] |
| Full Idea: Blame rests, in part, on a fiction; the idea that ethical reasons, in particular the special kind of ethical reasons that are obligations, must, really, be available to the blamed agent. | |
| From: Bernard Williams (How free does the will need to be? [1985], 5) | |
| A reaction: In blaming someone, you may be telling them that they should know their obligations, rather than assuming that they do know them. How else can we give children a moral education? |
| 4128 | Intuitionism has been demolished by critics, and no longer looks interesting [Williams,B] |
| Full Idea: Intuitionism in ethics has been demolished by a succession of critics, and the ruins of it that remain above ground are not impressive enough to invite much history of what happened to it. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 6) | |
| A reaction: Why does intuitionism have such appeal to beginners in moral philosophy? There is a truth buried in it somewhere. See 'Sources of the Self' by Charles Taylor. |
| 4366 | We can't accept Aristotle's naturalism about persons, because it is normative and unscientific [Williams,B, by Hursthouse] |
| Full Idea: Williams has expressed pessimism about the project of Aristotelian naturalism on the grounds that his conception of nature, and thereby of human nature, was normative, and that, in a scientific age, this is not a conception that we can take on board. | |
| From: report of Bernard Williams (works [1971]) by Rosalind Hursthouse - On Virtue Ethics Ch.11 | |
| A reaction: I think there is a compromise here. The existentialist denial of intrinsic human nature seems daft, but Aristotelians must grasp the enormous flexibility that is possible to human behaviour because of the open nature of rationality. |
| 4132 | The category of person is a weak basis for ethics, because it is not fixed but comes in degrees [Williams,B] |
| Full Idea: The category of person is a poor foundation for ethical thought, because it looks like a sortal or classificatory notion while in fact it signals characteristics that almost all come in degrees (responsibility, self-reflection etc). | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 6) | |
| A reaction: On the contrary, it must be the basis of moral theory, and its shifting character is strong support for Aristotle's approach to moral growth and responsibility. |
| 24007 | Emotivism saw morality as expressing emotions, and influencing others' emotions [Williams,B] |
| Full Idea: Emotivism held that there were two purposes of moral judgements: to express the emotions of the speaker, and to influence the emotions of his hearers. | |
| From: Bernard Williams (Morality and the emotions [1965], p.209) | |
| A reaction: I take Ayer to be typical of the first project, and Hare of the second. The theory is much more plausible when the second aim is added. Would we ever utter a moral opinion if we didn't hope to influence someone? |
| 4134 | The weakness of prescriptivism is shown by "I simply don't like staying at good hotels" [Williams,B] |
| Full Idea: That "I simply don't like staying at good hotels" is intelligible brings out the basic weakness of prescriptive accounts of the evaluative. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 7) | |
| A reaction: This might be an elision of two different prescriptions, mine and most people's. In what sense do I think the hotel good, as opposed to other people? |
| 4135 | Some ethical ideas, such as 'treachery' and 'promise', seem to express a union of facts and values [Williams,B] |
| Full Idea: Some 'thicker' ethical notions, such as 'treachery', 'promise', 'brutality' and 'courage', seem to express a union of facts and values. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 8) | |
| A reaction: The onus does seem to be on the followers of Hume to disentangle what the rest of us have united. They may, of course, manage it. |
| 22410 | Maybe the unthinkable is a moral category, and considering some options is dishonourable or absurd [Williams,B] |
| Full Idea: One might have the idea that the unthinkable was itself a moral category. ...Regarding certain things even as alternatives is itself something to be regarded as dishonourable or morally absurd. | |
| From: Bernard Williams (A Critique of Utilitarianism [1973], 2) | |
| A reaction: He's very tentative about this, but I think it is a powerful moral idea. See Kekes. He is particularly aiming at utilitarians, who happily assess vile possibilities. |
| 22408 | Consequentialism assumes that situations can be compared [Williams,B] |
| Full Idea: The emphasis on the necessary comparability of situations is a peculiar feature of consequentialism in general. | |
| From: Bernard Williams (A Critique of Utilitarianism [1973], 2) | |
| A reaction: A nice point. Utilitarians might achieve comparison by totting up the happiness in each situation, but once you include the consequences of the consequences the problems are obvious. Was 1789 a good thing? Too early to say. |
| 22411 | For a consequentialist massacring 7 million must be better than massacring 7 million and one [Williams,B] |
| Full Idea: Making the best of a bad job is a consequentialist maxim, and it will have something to say even pn the difference between massacring seven million and massacring seven million and one. | |
| From: Bernard Williams (A Critique of Utilitarianism [1973], 2) | |
| A reaction: If every life counts, the consequentialists have got something right here. Not caring exactly how many were massacred is a sort of callousness (even when the number can't be established). |
| 4120 | It is an error of consequentialism to think we just aim at certain states of affairs; we also want to act [Williams,B] |
| Full Idea: We do not merely want the world to contain certain states of affairs (it is a deep error of consequentialism to believe that this is all we want). Among the things we basically want is to act in certain ways. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 4) | |
| A reaction: A key objection. Does it matter whether Hiroshima is destroyed by earthquake or bombing? |
| 23282 | If all that matters in morality is motive and intention, that makes moral luck irrelevant [Williams,B] |
| Full Idea: The idea that one's whole life can be immune to luck has not prevailed (e.g. in Christianity), …but its place has been taken by the idea that moral value can be immune, …if it is motive that counts, and in actions it is not worldly changes but intention. | |
| From: Bernard Williams (Moral Luck [1976], p.20) | |
| A reaction: [compressed] That is, that Kant offers a way to make luck irrelevant to morality. Williams disagrees, but says at least Kant offers 'solace to a sense of the world's unfairness'. |
| 4252 | Promise keeping increases reliability, by making deliberation focus on something which would be overlooked [Williams,B] |
| Full Idea: The institution of promise keeping operates to provide portable reliability, by offering a formula that will confer high deliberative priority on what might not otherwise receive it. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch.10) | |
| A reaction: This is a bit pessimistic. We do not perceive promise keeping as a mere suggestion that we should bear something in mind when making a decision. 'May I rot in hell if I fail you'. |
| 4116 | A weakness of contractual theories is the position of a person of superior ability and power [Williams,B] |
| Full Idea: A particular weakness of the contractual theory is that it is unstable with respect to a superior agent, one more intelligent and resourceful and persuasive than the rest. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 3) | |
| A reaction: The very weak are equally a problem. Democratic societies produce fewer inequalities. Hierarchical societies are miserable (I expect..). |
| 2169 | Greek moral progress came when 'virtue' was freed from social status [Williams,B] |
| Full Idea: There was moral progress in the ancient Greek world, notably to the extent that the idea of areté, human excellence, was freed to some extent from determination by social position. | |
| From: Bernard Williams (Shame and Necessity [1993], I - p.7) |
| 4112 | A crucial feature of moral thought is second-order desire - the desire to have certain desires [Williams,B] |
| Full Idea: Recently there has been much emphasis on the importance of our capacity to have second-order desires - the desire to have certain desires - and its significance for ethical reflection and the practical consciousness. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 1) | |
| A reaction: This is a crucial point if we are to defend a reasonably rational view of morality against (say) emotivism. I agree that it is crucial to morality. |
| 24010 | An admirable human being should have certain kinds of emotional responses [Williams,B] |
| Full Idea: One's conception of an admirable human being implies that he should be disposed to certain kinds of emotional response, and not to others. | |
| From: Bernard Williams (Morality and the emotions [1965], p.225) | |
| A reaction: So are the good emotions an indicator of being a good person, or is that what their goodness consists of? The goodness must be cashed out in actions, and presumably good emotions both promise good actions, and motivate them. |
| 23279 | It is important that a person can change their character, and not just be successive 'selves' [Williams,B] |
| Full Idea: I want to emphasise the basic importance of the ordinary idea of a self or person which undergoes changes of character, as opposed to dissolving a changing person into a series of 'selves'. | |
| From: Bernard Williams (Persons, Character and Morality [1976], II) | |
| A reaction: [compressed] He mentions Derek Parfit for the rival view. Williams has the Aristotelian view, that a person has an essential nature, which endures through change, and explains that change. But that needs some non-essential character traits. |
| 23280 | Kantians have an poor account of individuals, and insist on impartiality, because they ignore character [Williams,B] |
| Full Idea: The Kantians' omission of character is a condition of their ultimate insistence on the demands of impartial morality, just as it is a reason to find inadequate their account of the individual. | |
| From: Bernard Williams (Persons, Character and Morality [1976], II) | |
| A reaction: This is also why the Kantian account of virtue is inadequate, in comparison with the Aristotelian view. |
| 3236 | Equality of opportunity without equality of respect would create a very inhuman society [Williams,B] |
| Full Idea: A highly rational, efficient and unmitigated application of the idea of equality of opportunity, while abandoning the idea of equality of respect as vague and nostalgic, would lead to a quite inhuman society. | |
| From: Bernard Williams (The Idea of Equality [1962], §3) |
| 4113 | 'Deon' in Greek means what one must do; there was no word meaning 'duty' [Williams,B] |
| Full Idea: There is no ancient Greek word for duty; the word 'deon' (the basis of 'deontology') means what one must do. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 1) | |
| A reaction: Presumably it covered compulsions which were not duties, such as the need to eat or drink. Greeks thought morally, but lacked a good moral vocabulary? |
| 4250 | The concept of a 'duty to myself' is fraudulent [Williams,B] |
| Full Idea: The concept of a 'duty to myself' is fraudulent. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch.10) | |
| A reaction: The only person who can offer a rebuttal of this is Aristotle. With the magnet of the Platonic Form of the Good, I can perceive the natural excellences of which I am capable, and feel a duty to pursue them. |
| 4110 | Obligation and duty look backwards (because of a promise or job), although the acts are in the future [Williams,B] |
| Full Idea: Obligation and duty look backwards; the acts they require lie in the future, but the reasons for those acts lie in the fact that I have already promised, the job I have undertaken, the position I am already in. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 1) | |
| A reaction: Maybe the central issue in morality is forwards versus backwards. It reflects two types of human temperament. Tomorrow is another day. Spilt milk. |
| 4248 | Not all moral deliberations lead to obligations; some merely reveal what 'may' be done [Williams,B] |
| Full Idea: Not every conclusion of moral deliberation expresses an obligation; for example, some moral conclusions merely announce that you 'may' do something. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch.10) | |
| A reaction: An important point for any deontological ethics. It may be possible to translate what 'may' be done into some form of duty, but it will probably involve contortions. |
| 4249 | "Ought implies can" is a famous formula in connection with moral obligation [Williams,B] |
| Full Idea: "Ought implies can" is a famous formula in connection with moral obligation. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch.10) | |
| A reaction: Williams says it is true in particular instances, but is not generally true of 'ought'. Maybe you 'ought' before you know whether you 'can'. |
| 2172 | The modern idea of duty is unknown in archaic Greece [Williams,B] |
| Full Idea: Duty in some abstract modern sense is largely unknown to the Greeks, in particular to archaic Greeks. | |
| From: Bernard Williams (Shame and Necessity [1993], II - p.41) |
| 4121 | Why should I think of myself as both the legislator and the citizen who follows the laws? [Williams,B] |
| Full Idea: Why should I think of myself as a legislator and at the same time a citizen of a republic governed by some notional laws? | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 4) | |
| A reaction: Kant's answer is supposed to be 'because you are rational, and hence must want consistency'. If we were all rational, Kant would be right. |
| 22409 | We don't have a duty to ensure that others do their duty [Williams,B] |
| Full Idea: If the goodness of the world were to consist in people's fulfilling their obligations, it would by no means follow that one of my obligations was to bring it about that other people kept their obligations | |
| From: Bernard Williams (A Critique of Utilitarianism [1973], 2) | |
| A reaction: If the maxim of my action is 'ensure that everyone does their duty', presumably that can be universalised. Nelson thought so. It just sounds like a hideous world of self-righteous interference. |
| 4122 | If the self becomes completely impartial, it no longer has enough identity to worry about its interests [Williams,B] |
| Full Idea: How can an 'I' that has taken on the perspective of impartiality be left with enough identity to live a life that respects its own interests? | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 4) | |
| A reaction: Not a big problem. Thought constantly flips between objective and subjective, as Nagel has shown us. Compare Nagel in Idea 6446. |
| 2180 | If reason cannot lead people to good, we must hope they have an internal voice [Williams,B] |
| Full Idea: If we think the power of reason is not enough by itself to distinguish good and bad, then we would hope that people have limited autonomy, that there is an internalised other in them that carries some social weight. | |
| From: Bernard Williams (Shame and Necessity [1993], IV - p.100) |
| 24012 | Kant's love of consistency is too rigid, and it even overrides normal fairness [Williams,B] |
| Full Idea: There is a certain moral woodenness or even insolence in Kant's blank regard for consistency. It smacks of Keynes's Principle of Unfairness - that if you can't do a good turn to everybody, you shouldn't do it to anybody. | |
| From: Bernard Williams (Morality and the emotions [1965], p.226) | |
| A reaction: He says it also turns each of us into a Supreme Legislator, which deifies man. It is clearly not the case that morality consists entirely of rules and principles, but Williams recognises their role, in truth-telling for example. |
| 2179 | If the moral self is seen as characterless, then other people have a very limited role in our moral lives [Williams,B] |
| Full Idea: The conception of the moral self as characterless leaves only a limited positive role to other people in one's moral life. | |
| From: Bernard Williams (Shame and Necessity [1993], IV - p.95) |
| 22407 | Utilitarianism cannot make any serious sense of integrity [Williams,B] |
| Full Idea: Utilitarianism cannot hope to make sense, at any serious level, of integrity. | |
| From: Bernard Williams (A Critique of Utilitarianism [1973], 1) | |
| A reaction: There will be obvious problems with this. 'My whole platoon got killed, but looking on the bright side, I preserved my integrity'. Once a theory commits entirely to one value, it then has no way to make sense of rival values. |
| 23278 | For utilitarians states of affairs are what have value, not matter who produced them [Williams,B] |
| Full Idea: The basic bearer of value for Utilitarianism is the state of affairs, and hence, when the relevant causal differences have been allowed for, it cannot make any further difference who produces a given state of affairs. | |
| From: Bernard Williams (Persons, Character and Morality [1976], I) | |
| A reaction: Which is morally better, that I water your bed of flowers, or that it rains? Which is morally better, that I water them from love, or because you threaten me with a whip? |
| 4124 | Utilitarian benevolence involves no particular attachments, and is immune to the inverse square law [Williams,B] |
| Full Idea: Utilitarian benevolence involves no particular attachments, and it is immune to the inverse square law. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 5) | |
| A reaction: Nicely put. The point is that the theory is inhuman, but Mill says it tells us what we should do, not what we actually tend to do. |
| 4245 | Ethical conviction must be to some extent passive, and can't just depend on the will and decisions [Williams,B] |
| Full Idea: The view that the only alternative to the intellect is the will, and the source of ethical conviction is decisions about principles and ways of life, cannot be right; ethical conviction, like any conviction, must to some extent come to you passively. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 9) | |
| A reaction: Seems right. We cannot choose our factual beliefs (look at the sun and believe it is cloudy!). Could I 'decide' that it was right to betray my family just for fun? |
| 4246 | Taking responsibility won't cure ethical uncertainty by; we are uncertain what to decide [Williams,B] |
| Full Idea: If ethics is a matter of decision, and we must face the responsibility and burden of those decisions, this ignores the obvious point that if we are uncertain, then we are uncertain what to decide. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 9) | |
| A reaction: Good point. The defence would be that the decision itself contains the seeds of certainty. Do something rather than nothing, and the sense of it will emerge. Modify as you go along. |
| 3234 | Equality seems to require that each person be acknowledged as having a significant point of view [Williams,B] |
| Full Idea: Equality seems to require that each person is owed an effort at identification; they should not be seen as a surface to which a label can be applied, but one should try to see the world (including the label) from their point of view. | |
| From: Bernard Williams (The Idea of Equality [1962], §2) |
| 3233 | Equality implies that people are alike in potential as well as in needs [Williams,B] |
| Full Idea: Supporters of equality have asserted that people are alike in certain things they could do or achieve, as well as in the things that they need and could suffer. | |
| From: Bernard Williams (The Idea of Equality [1962], §2) |
| 3235 | It is a mark of extreme exploitation that the sufferers do not realise their plight [Williams,B] |
| Full Idea: It is a mark of extreme exploitation or degradation that those who suffer it do NOT see themselves differently from the way they are seen by the exploiters. | |
| From: Bernard Williams (The Idea of Equality [1962], §2) |
| 4247 | It is a mark of our having ethical values that we aim to reproduce them in our children [Williams,B] |
| Full Idea: It is a mark of our having ethical values that we aim to reproduce them in our children. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 9) | |
| A reaction: Maybe beliefs imply education. A commitment to truth is an aspiration that others will agree, especially those over whom we have the greatest influence. |
| 4131 | Most women see an early miscarriage and a late stillbirth as being very different in character [Williams,B] |
| Full Idea: Few women see a spontaneous abortion or early miscarriage as the same thing as having a child who is stillborn or who dies very soon after birth. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 6) | |
| A reaction: This implies a theory about the nature of what is lost. Everyone sees the difference between potential and actual. |
| 4133 | Speciesism isn't like racism, because the former implies a viewpoint which belongs to no one [Williams,B] |
| Full Idea: Speciesism is falsely modelled on racism and sexism, which really are prejudices; ..our arguments have to be founded on the human point of view; they cannot be derived from a point of view that is no one's point of view at all. | |
| From: Bernard Williams (Ethics and the Limits of Philosophy [1985], Ch. 6) | |
| A reaction: This must be wrong. How else are we going to judge cruelty to animals as wrong? The 'point of view of the Universe' (Sidgwick) is not an empty concept. |
| 16558 | Laws of nature have very little application in biology [Machamer/Darden/Craver] |
| Full Idea: The traditional notion of a law of nature has few, if any, applications in neurobiology or molecular biology. | |
| From: Machamer,P/Darden,L/Craver,C (Thinking About Mechanisms [2000], 3.2) | |
| A reaction: This is a simple and self-evident fact, and bad news for anyone who want to build their entire ontology around laws of nature. I take such a notion to be fairly empty, except as a convenient heuristic device. |
| 2175 | There is a problem of evil only if you expect the world to be good [Williams,B] |
| Full Idea: There is a "problem of evil" only for those who expect the world to be good. | |
| From: Bernard Williams (Shame and Necessity [1993], III - p.68) |