17 ideas
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. |
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. |
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) |
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) |
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. |
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. |
15148 | Powers give explanations, without being necessary for some class membership [Chakravartty] |
Full Idea: Powers explain behaviours regardless of whether they are necessary for membership in a particular class of things. | |
From: Anjan Chakravarrty (Inessential Aristotle: Powers without Essences [2012], 3) | |
A reaction: This seems right, and is important for driving a wedge between powers and essences. If there are essences, they are not simply some bunch of powers. |
15145 | A kind essence is the necessary and sufficient properties for membership of a class [Chakravartty] |
Full Idea: The modern concept of a kind essence is a set of intrinsic properties that are individually necessary and jointly sufficient for the membership of something in a class of things, or 'kind'. | |
From: Anjan Chakravarrty (Inessential Aristotle: Powers without Essences [2012], 2) | |
A reaction: I am always struck by the problem that the kind itself is constructed from the individuals, so circularity always seems to loom. |
14633 | How do we tell a table's being contingently plastic from its being essentially plastic? [Jackson] |
Full Idea: On a friendly reading of Quine, there is nothing to make the difference between a table's being contingently plastic and its being essentially plastic. | |
From: Frank Jackson (Possible Worlds and Necessary A Posteriori [2010], 5) | |
A reaction: This is, of course, the dreaded modern usage of 'essential' to just mean 'necessary' and nothing more. In my view, there may be a big problem with knowing whether a problem is necessary, but knowing whether it is essential is much easier. |
14635 | An x is essentially F if it is F in every possible world in which it appears [Jackson] |
Full Idea: On the possible world's account, x's being essentially F is nothing more nor less than x's being F in every world in which it appears. | |
From: Frank Jackson (Possible Worlds and Necessary A Posteriori [2010], 6) | |
A reaction: There you go - 'true in every possible world' is the definition of metaphysical necessity, not the definition of essence. Either get back to Aristotle, or stop (forever!) talking about 'essence'! |
14632 | Quine may have conflated de re and de dicto essentialism, but there is a real epistemological problem [Jackson] |
Full Idea: The unfriendly response to Quine's objection to essentialism is that it conflates the de re and the de dicto. The friendly response is that behind that conflation is a real epistemological problem for essentialism. | |
From: Frank Jackson (Possible Worlds and Necessary A Posteriori [2010], 1) | |
A reaction: He cites Richard Cartwright 1968 for the friendly response. The epistemological question is how we can know the essentialness of an essence. |
15147 | Cluster kinds are explained simply by sharing some properties, not by an 'essence' [Chakravartty] |
Full Idea: The fact that members of some cluster kinds are subjects of causal generalizations reflects the degree to which they share causally efficacious properties, not the fact that they may be composed of essence kinds per se. | |
From: Anjan Chakravarrty (Inessential Aristotle: Powers without Essences [2012], 2) | |
A reaction: I think this is right. I am a fan of individual essences, but not of kind essences. I take kinds, and kind explanations, to be straightforward inductive generalisations from individuals. Extreme stabilities give the illusion of a kind essence. |
14631 | How can you show the necessity of an a posteriori necessity, if it might turn out to be false? [Jackson] |
Full Idea: If something is offered as a candidate necessary a posteriori truth, how could we show that it is necessary, in the face of the fact that it takes investigation to show that it is true, and so, in some sense, it might have turned out to be false? | |
From: Frank Jackson (Possible Worlds and Necessary A Posteriori [2010], 1) | |
A reaction: This is the topic of his paper, which he compares with how we can know that essences are essential. |
15144 | Explanation of causal phenomena concerns essential kinds - but also lack of them [Chakravartty] |
Full Idea: Scientific practices such as prediction and explanation regarding causal phenomena are concerned not merely with kinds having essences, but also with kinds lacking them. | |
From: Anjan Chakravarrty (Inessential Aristotle: Powers without Essences [2012], 1) | |
A reaction: Not quite clear what he has in mind, but explanation should certainly involve a coherent picture, and not just the citation of some underlying causal mechanism. |
15146 | Some kinds, such as electrons, have essences, but 'cluster kinds' do not [Chakravartty] |
Full Idea: Many of the kinds we theorize about and experiment on today simply do not have essences. We can distinguish 'essence kinds', such as electrons, and 'cluster kinds', such as biological species. | |
From: Anjan Chakravarrty (Inessential Aristotle: Powers without Essences [2012], 2) | |
A reaction: This is an important point for essentialists. He offers a strict criterion, in Idea 15145, for mind membership, but we might allow species to have essences by just relaxing the criteria a bit, and acknowledging some vagueness, especially over time. |
15151 | Many causal laws do not refer to kinds, but only to properties [Chakravartty] |
Full Idea: Causal laws often do not make reference to kinds of objects at all, but rather summarize relations between quantitative, causally efficacious properties of objects. | |
From: Anjan Chakravarrty (Inessential Aristotle: Powers without Essences [2012], 3) | |
A reaction: This would only be a serious challenge if it was not possible to translate talk of properties into talk of kinds, and vice versa. |