16 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. |
8361 | What is true used to be possible, but it may no longer be so [Wright,GHv] |
Full Idea: It is not very natural to say of that which is true that it is also possible. ...What is true was possible - but whether it still is a potency of the world is not certain. | |
From: G.H. von Wright (Logic and Epistemology of Causal Relations [1973], §5) | |
A reaction: A simple and rather important distinction. Before encountering this, I would certainly have been happy to affirm that the actual is possible, but actually it may not be. The power to create differs from the power to sustain. Could God re-create the world? |
21513 | We can no more expect a precise definition of coherence than we can of the moral ideal [Ewing] |
Full Idea: I think it is wrong to tie down the advocates of the coherence theory to a precise definition. ...It would be altogether unreasonable to demand that the moral ideal should be exhaustively defined, and the same may be true of the ideal of thought. | |
From: A.C. Ewing (Idealism: a critical survey [1934], p.231), quoted by Erik J. Olsson - Against Coherence 7.6 | |
A reaction: I strongly agree. It is not a council of despair. I think the criteria of coherence can be articulated quite well (e.g by Thagard), and the virtues of enquiry can also be quite well specified (e.g. by Zagzebski). Very dissimilar evidence must cohere. |
21497 | If undetailed, 'coherence' is just a vague words that covers all possible arguments [Ewing] |
Full Idea: Without a detailed account, coherence is reduced to the mere muttering of the word 'coherence', which can be interpreted so as to cover all arguments, but only by making its meaning so wide as to rob it of almost all significance. | |
From: A.C. Ewing (Idealism: a critical survey [1934], p.246), quoted by Erik J. Olsson - Against Coherence 2.2 | |
A reaction: I'm a fan of coherence, but it is a placeholder, involving no intrinsic or detailed theory. I just think it points to the reality of how we make judgements, especially practical ones. We can categorise the inputs, and explain the required virtues. |
8363 | p is a cause and q an effect (not vice versa) if manipulations of p change q [Wright,GHv] |
Full Idea: What makes p a cause-factor relative to the effect-factor q (rather than vice versa) is the fact that by manipulating p, producing changes in it 'at will', we could bring about changes in q. | |
From: G.H. von Wright (Logic and Epistemology of Causal Relations [1973], §8) | |
A reaction: As a solution to the direction-of-causation problem, I suspect that this proposal is begging the question. Will a causal explanation be offered of the action of manipulation? If he mistook his manipulation for a cause when it is actually an effect... |
8364 | We can imagine controlling floods by controlling rain, but not vice versa [Wright,GHv] |
Full Idea: Given our present knowledge of the laws of nature, we can imagine ways of controlling floods by controlling rainfall, but not the other way round. That is should be so, however, is contingent. | |
From: G.H. von Wright (Logic and Epistemology of Causal Relations [1973], §8) | |
A reaction: Despite my objections to Idea 8363, this is a good example. It won't establish the metaphysics of the direction of causation, though, because God might control rainfall by controlling floods. Maybe causation is more like a motorway pile-up than dominoes. |
8366 | The very notion of a cause depends on agency and action [Wright,GHv] |
Full Idea: There is an implicit dependence of the very notion of a cause on a concept of agency and action. | |
From: G.H. von Wright (Logic and Epistemology of Causal Relations [1973], §10) | |
A reaction: This is because he thinks experimental intervention is the key to the concept of causation (see Ideas 8362 and 8363). Others go further, and say that the concept of causation arises from subjective experience of performing actions. I quite like that. |
8362 | We give regularities a causal character by subjecting them to experiment [Wright,GHv] |
Full Idea: What confers on observed regularities the character of causal or nomic connections is the possibility of subjecting cause-factors to experimental test by interfering with the 'natural' course of events. | |
From: G.H. von Wright (Logic and Epistemology of Causal Relations [1973], §7) | |
A reaction: This is von Wright's distinctive proposal, making causation a feature of the culture of science, rather than of ordinary life. But see Idea 2461. Causation is becoming too epistemological for my taste. Either it is a feature of reality, or forget it. |
8360 | We must further analyse conditions for causation, into quantifiers or modal concepts [Wright,GHv] |
Full Idea: We may be able to analyse causation into conditionship relations between events or states of affairs, ...but conditions cannot be regarded as logical primitives, ... and must be analysed into quantifiers, or modal concepts. | |
From: G.H. von Wright (Logic and Epistemology of Causal Relations [1973], §2) | |
A reaction: [very compressed] A nice illustration of the aim of analytical philosophy - to analyse the elements of reality down to logical primitives. This is the dream of Descartes and Leibniz, continued by Russell and co. Do we still have this aspiration? |
8365 | Some laws are causal (Ohm's Law), but others are conceptual principles (conservation of energy) [Wright,GHv] |
Full Idea: Not all laws are causal 'experimentalist' laws, such as those for falling bodies, or the Gas Law, or Ohm's Law. Some are more like conceptual principles, giving a frame of reference, such as inertia, or conservation of energy, or the law of entropy. | |
From: G.H. von Wright (Logic and Epistemology of Causal Relations [1973], §9) | |
A reaction: An interesting and important distinction, whenever one is exploring the links between theories of causation and of laws of nature. If one wished to attack the whole concept of 'laws of nature', this might be a good place to start. |