Combining Texts

All the ideas for 'Defending the Axioms', 'Aristotle on Substance' and 'Katzav on limitations of dispositions'

unexpand these ideas     |    start again     |     specify just one area for these texts


15 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
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.
5. Theory of Logic / C. Ontology of Logic / 3. If-Thenism
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.
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
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)
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)
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
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)
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
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.
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
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.
9. Objects / C. Structure of Objects / 3. Matter of an Object
Aristotelian matter seriously threatens the intrinsic unity and substantiality of its object [Gill,ML]
     Full Idea: On the interpretation of Aristotelian matter that I shall propose, matter seriously threatens the intrinsic unity, and hence the substantiality, of the object to which it contributes.
     From: Mary Louise Gill (Aristotle on Substance [1989], Intro)
     A reaction: Presumably the thought is that if an object is form+matter (hylomorphism), then forms are essentially unified, but matter is essentially unified and sloppy.
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / b. Prime matter
Prime matter has no place in Aristotle's theories, and passages claiming it are misread [Gill,ML]
     Full Idea: I argue that prime matter has no place in Aristotle's elemental theory. ..References to prime matter are found in Aristotle's work because his theory was thought to need the doctrine. If I am right, these passages will all admit of another interpretation.
     From: Mary Louise Gill (Aristotle on Substance [1989], App)
     A reaction: If correct, this strikes me as important for the history of ideas, because scholastics got themselves in a right tangle over prime matter. See Pasnau on it. It pushed the 17th century into corpuscularianism.
Prime matter is actually nothing and potentially everything (or potentially an element) [Gill,ML]
     Full Idea: Prime matter is supposed to be actually nothing and potentially everything or, at any rate, potentially the simplest bodies - earth, water, air and fire.
     From: Mary Louise Gill (Aristotle on Substance [1989], Ch.1)
     A reaction: The view that the four elements turn out to be prime matter is distinctive of Gill's approach. Prime matter sounds like quark soup in the early universe.
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
The natural kinds are objects, processes and properties/relations [Ellis]
     Full Idea: There are three hierarchies of natural kinds: objects or substances (substantive universals), events or processes (dynamic universals), and properties or relations (tropic universals).
     From: Brian Ellis (Katzav on limitations of dispositions [2005], 91)
     A reaction: Most interesting here is the identifying of natural kinds with universals, making universals into the families of nature. Universals are high-level sets of natural kinds. To grasp universals you must see patterns, and infer the underlying order.
26. Natural Theory / D. Laws of Nature / 2. Types of Laws
Least action is not a causal law, but a 'global law', describing a global essence [Ellis]
     Full Idea: The principle of least action is not a causal law, but is what I call a 'global law', which describes the essence of the global kind, which every object in the universe necessarily instantiates.
     From: Brian Ellis (Katzav on limitations of dispositions [2005])
     A reaction: As a fan of essentialism I find this persuasive. If I inherit part of my essence from being a mammal, I inherit other parts of my essence from being an object, and all objects would share that essence, so it would look like a 'law' for all objects.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
A species requires a genus, and its essence includes the essence of the genus [Ellis]
     Full Idea: A specific universal can exist only if the generic universal of which it is a species exists, but generic universals don't depend on species; …the essence of any genus is included in its species, but not conversely.
     From: Brian Ellis (Katzav on limitations of dispositions [2005], 91)
     A reaction: Thus the species 'electron' would be part of the genus 'lepton', or 'human' part of 'mammal'. The point of all this is to show how individual items connect up with the rest of the universe, giving rise to universal laws, such as Least Action.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws
A hierarchy of natural kinds is elaborate ontology, but needed to explain natural laws [Ellis]
     Full Idea: The hierarchy of natural kinds proposed by essentialism may be more elaborate than is strictly required for purposes of ontology, but it is necessary to explain the necessity of the laws of nature, and the universal applicability of global principles.
     From: Brian Ellis (Katzav on limitations of dispositions [2005], 91)
     A reaction: I am all in favour of elaborating ontology in the name of best explanation. There seem, though, to be some remaining ontological questions at the point where the explanations of essentialism run out.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
Without general principles, we couldn't predict the behaviour of dispositional properties [Ellis]
     Full Idea: It is objected to dispositionalism that without the principle of least action, or some general principle of equal power, the specific dispositional properties of things could tell us very little about how these things would be disposed to behave.
     From: Brian Ellis (Katzav on limitations of dispositions [2005], 90)
     A reaction: Ellis attempts to meet this criticism, by placing dispositional properties within a hierarchy of broader properties. There remains a nagging doubt about how essentialism can account for space, time, order, and the existence of essences.