94 ideas
| 20388 | 'Necessary' conditions are requirements, and 'sufficient' conditions are guarantees [Davies,S] |
| Full Idea: A 'necessary' condition for something's being an X is condition that all Xs must satisfy. ...A 'sufficient' condition for something's being an X is a condition that, when satisfied, guarantees that what satisfies it is an X. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 2.1) | |
| A reaction: By summarising this I arrive at the requirement/guarantee formulation, which I am rather pleased with. What is required for rain, and what guarantees rain? |
| 20389 | A definition of a thing gives all the requirements which add up to a guarantee of it [Davies,S] |
| Full Idea: If we specify the 'necessary' conditions that are 'sufficient' for something's being an X, that is a combination of conditions such that all and only Xs meet them, which is the hallmark of a definition of X-hood. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 2.1) | |
| A reaction: There are, of course, many other ways to define something, as shown in the 2.D Reason | Definition section of this database. This nicely summarises the classical view. |
| 20391 | Feminists warn that ideologies use timeless objective definitions as a tool of repression [Davies,S] |
| Full Idea: According to the feminist critique, ideologies that operate as tools of political repression are falsely represented as definitions possessing a timeless, natural, asocial, universal objectivity. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 2.2) | |
| A reaction: I suppose this does not just apply to definitions, but to all expressions of ideologically repressive strategy. I'm trying to think of an example of a specifically feminist problem case. Davies doesn't cite anyone. |
| 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. |
| 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) |
| 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. |
| 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. |
| 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. |
| 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. |
| 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? |
| 20387 | Aesthetic experience involves perception, but also imagination and understanding [Davies,S] |
| Full Idea: It was suggested that aesthetic experience isn't solely perceptual. It's infused by a cognitive but non-conceptual process described by Kant as involving the free play of the imagination and the understanding. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 1.2) | |
| A reaction: This fits literature very well, painting quite well, and music hardly at all. |
| 20385 | The faculty of 'taste' was posited to explain why only some people had aesthetic appreciation [Davies,S] |
| Full Idea: To explain why not everyone who is prepared to encounter a thing's aesthetic properties can recognise them, ...eighteenth century theorists posited the existence of a special faculty of aesthetic perception, that of taste. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 1.2) | |
| A reaction: But there seem to be two aspects to taste - first the capacity to enjoy some sorts of art, and second the ability to discriminate the good from the bad. The latter is 'standards' of taste (Hume's title). Do non-musical people lack taste? |
| 20386 | The sublime is negative in awareness of insignificance, and positive in showing understanding [Davies,S] |
| Full Idea: An example of the sublime is the vastness of the night sky. ...It includes negative feelings of insignificance in the face of nature's indifference, power and magnitude, but is positive in that we are capable of comprehending such matters. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 1.2) | |
| A reaction: The negative part seems to be a very intellectual experience, with close links to religion, and may be the experience that leads to deism (belief in God's indifference). |
| 20384 | The idea that art forms are linked into a single concept began in the 1740s [Davies,S] |
| Full Idea: The first to link the art forms together explicitly and to separate them from other disciplines and activities were the authors of encyclopedias and books in the 1740s and 1750s. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 1.2) | |
| A reaction: Intriguing that no individual seems to get the credit (or blame). Presumably our modern Aesthetics (applied to art) couldn't exist before this move was made - and yet there is plenty of aesthetic discussion in early Greek philosophy. |
| 20390 | Defining art as representation or expression or form were all undermined by the avant-garde [Davies,S] |
| Full Idea: The avant-garde art of the twentieth century played a significant role in defeating definitions that had prevailed in earlier times, such as ones maintaining that art is representation, expression or significant form | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 2.2) | |
| A reaction: I really think the first rule of philosophical aesthetics is 'ignore Marcel Duchamp'. We wouldn't give up our idea of philosophy if someone managed to publish a long string of expletives in a philosophy journal. Would we?? |
| 20392 | 'Aesthetic functionalism' says art is what is intended to create aesthetic experiences [Davies,S] |
| Full Idea: 'Aesthetic functionalism' maintains that something is an artwork if it is intended to provide the person who contemplates it for its own sake with an aesthetic experience of a significant magnitude on the basis of its aesthetic features. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 2.5) | |
| A reaction: [Beardsley is cited as having this view] For this you need to know what an aesthetic 'feature' is, and you'd have to indepdently recognise aesthetic experience. |
| 20405 | Music may be expressive by being 'associated' with other emotional words or events [Davies,S] |
| Full Idea: One view explains music's expressiveness as 'associative'. Through being regularly associated with emotionally charged words or events, particular musical ideas become associated with emotions or moods. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 6.4) | |
| A reaction: This is a more promising theory. I take the feeling in music to be parasitic on other feelings we have, and other triggers that evoke them. I'm particularly struck with story-telling (which Levinson and Robinson also like). |
| 20403 | It seems unlikely that sad music expresses a composer's sadness; it takes ages to write [Davies,S] |
| Full Idea: The 'expression theory' holds that if music is sad that is because it expresses the composer's sadness, ...but composers take a long time composing sad works, and may even been gleeful at receiving payment for it. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 6.4) | |
| A reaction: [compressed] Pretty conclusive. I see composing as like acting. Just as you can put on a happy or sad face, so a composer can discover music that feels sad or happy. Three movement sonatas don't fit expression at all. |
| 20393 | The 'institutional' theory says art is just something appropriately placed in the 'artworld' [Davies,S] |
| Full Idea: The 'institutional' theory says to be an artwork, an artwork must be appropriately placed within a web of practices, roles and frameworks that comprise an informally organised institution, the artworld. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 2.5) | |
| A reaction: [He cites George Dickie] This theory seems to entirely developed to cope with the defiant gesture of Marcel Duchamp. Once I am an established artist, I have the authority to label anything I like as a work of art. Silly. |
| 20402 | Music is too definite to be put into words (not too indefinite!) [Davies,S] |
| Full Idea: Mendelssohn said that what music expresses is not too indefinite to put into words but, on the contrary, it is too definite. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 6.4) | |
| A reaction: Not sure whether that is true, but it is a lovely remark. It certainly challenges the naive philosophical view that words are the most precise mode of expression. |
| 20395 | The title of a painting can be vital, and the artist decrees who the portrait represents [Davies,S] |
| Full Idea: The title as given by the artist is something we might need to know (Brueghel's 'Icarus', for example), ...and if a painting depicts one of two twins, it will be the artist's intention that settles which one it is. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 3.5) | |
| A reaction: Those two points strike me as conclusively in favour of the importance of an artist's perceived intentions. |
| 20396 | We must know what the work is meant to be, to evaluate the artist's achievement [Davies,S] |
| Full Idea: Learning that a work is a copy of an earlier work, or is done in the style of some other artist, is relevant to an evaluation of what its creator has achieved. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 3.6) | |
| A reaction: A simple but powerful point. We evaluate a forgery as an achievement, and the original plate of a great print as the focus of the achievement. We can assess the achievement of a poem in any printed copy. But what about perfect painting replicas? |
| 20399 | Intentionalism says either meaning just is intention, or ('moderate') meaning is successful intention [Davies,S] |
| Full Idea: 'Actual intentionalism' holds that work's meaning is what its author intended, ...while 'moderate actual intentionalism' allows that the author's intention determines the work's meaning only if that intention is carried through successfully. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 5.3) | |
| A reaction: [He cites Noel Carroll for the moderate version] D.H. Lawrence, probably with a dose of Freud, said 'trust the work, not the artist' (of Moby Dick, I think). The thought is that authors only half know intentions, and works reveal them. |
| 20401 | The meaning is given by the audience's best guess at the author's intentions [Davies,S] |
| Full Idea: According to the 'hypothetical intentionalist', the work's meaning is determined by the intentions the audience is best justified in attributing to the author, whether or not these are the ones the author actually had. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 5.4) | |
| A reaction: [Nehamas, Levinson and Jenefer Robinson are cited] This opens the door for psychiatric interpretations of 'Hamlet', and so on. The experts disagree over the nature of the audience needed to do the job. |
| 20397 | If we could perfectly clone the Mona Lisa, the original would still be special [Davies,S] |
| Full Idea: If we could duplicate 'Mona Lisa', we're likely to be concerned to track the original and keep it separate from its clones, even if we judge that the clone isn't inferior to the original when the goal is art appreciation. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 4.3) | |
| A reaction: But why? Is it just a sentimental attachment to what Leonardo worked on? Does the original manuscript of a work of literature have the same importance? We treasure such things, but not for aesthetic reasons. |
| 20398 | Art that is multiply instanced may require at least one instance [Davies,S] |
| Full Idea: Some multiply instanced artworks, such as novel and poems, must have at least one instance. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 4.4) | |
| A reaction: This is a comment on the idea that all artworks, even oil paintings and buildings are potentially multiply instanced (so the work is the type - Wollheim's view, not one of the tokens). |
| 20404 | Music isn't just sad because it makes the listener feel sad [Davies,S] |
| Full Idea: The 'arousal' theory says music is sad because it moves the hearer to sadness, ...but this seems to get things back to front, because we normally think it is because the music is sad that it moves the listener to sadness. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 6.4) | |
| A reaction: The objection is right. If Beethoven's 'Ode to Joy' always makes me feel sad (because it is so hopelessly optimistic), then that makes the music sad. Is the theory saying that there are no feelings in the music? |
| 22705 | If the depiction of evil is glorified, that is an artistic flaw [Davies,S] |
| Full Idea: One case when the depiction of immorality becomes an artistic flaw …is when it is presented in brutal detail in a way that glorifies it. The celebration of evil corrodes the work's artistic value. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 8.7) | |
| A reaction: This doesn't allow for the case where the evil is celebrated in one part of a novel, yet the novel as a whole does not endorse the evil. The Marquis de Sade seems to have fully celebrated what we take to be evil. |
| 22707 | It is an artistic defect if excessive moral outrage distorts the story, and narrows our sympathies [Davies,S] |
| Full Idea: The positive moral stance of a story can be an artistic defect where it shapes the story in an inappropriate fashion. If it displays disproportionate moral outrage, …it reveals a lack of toleration, compassion, or insight into its subject-matter. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 8.7) | |
| A reaction: There could be narrative irony in a story told by an angry and puritanical person, which continually condemns wickedness, with the reader expected to have a more tolerant attitude. Hard to think of any examples of this problem. |
| 22706 | A work which seeks approval for immorality, but alienates the audience, is a failure [Davies,S] |
| Full Idea: A work that looks for the audience's sympathetic approval and alienates them instead, because it's both morally repulsive and incoherent in what it requires them to suppose, isn't an artistic success. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 8.7) | |
| A reaction: The implication seems to be that works are only successful if they achieve what the creator consciously intended. Lawrence said trust the novel, not the novelist. Milton's Satan is a famous example of heroism not intended by the author. |
| 22704 | Immorality may or may not be an artistic defect [Davies,S] |
| Full Idea: Immorality in art is sometimes an artistic defect and sometimes not. | |
| From: Stephen Davies (The Philosophy of Art (2nd ed) [2016], 8.7) | |
| A reaction: Davies seems to avoid the 'immoralist' view, that immorality in a work of art can sometimes be a strength. A sharp distinction is needed, I think, between the morality of what is depicted, and the morality of the whole artwork. |
| 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. |