18 ideas
| 15787 | Maybe Ockham's Razor is a purely aesthetic principle [Lycan] |
| Full Idea: It might be said that Ockham's Razor is a purely aesthetic principle. | |
| From: William Lycan (The Trouble with Possible Worlds [1979], 02) | |
| A reaction: I don't buy this, if it meant to be dismissive of the relevance of the principle to truth. A deep question might be, what is so aesthetically attractive about simplicity? I'm inclined to think that application of the Razor has delivered terrific results. |
| 15784 | The Razor seems irrelevant for Meinongians, who allow absolutely everything to exist [Lycan] |
| Full Idea: A Meinongian has already posited everything that could, or even could not, be; how, then, can any subsequent brandishing of Ockham's Razor be to the point? | |
| From: William Lycan (The Trouble with Possible Worlds [1979], 02) | |
| A reaction: See the ideas of Alexius Meinong. Presumably these crazy Meinongians must make some distinction between what actually exists in front of your nose, and the rest. So the Razor can use that distinction too. |
| 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. |
| 15792 | Maybe non-existent objects are sets of properties [Lycan] |
| Full Idea: Meinong's Objects have sometimes been construed as sets of properties. | |
| From: William Lycan (The Trouble with Possible Worlds [1979], 09) | |
| A reaction: [Lycan cites Castañeda and T.Parsons] You still seem to have the problem with any 'bundle' theory of anything. A non-existent object is as much intended to be an object as anything on my desk right now. It just fails to be. |
| 15795 | Treating possible worlds as mental needs more actual mental events [Lycan] |
| Full Idea: A mentalistic approach to possible worlds is daunted by the paucity of actual mental events. | |
| From: William Lycan (The Trouble with Possible Worlds [1979], 09) | |
| A reaction: Why do they have to be actual, any more than memories have to be conscious? The mental events just need to be available when you need them. They are never all required simultaneously. This isn't mathematical logic! |
| 15796 | Possible worlds must be made of intensional objects like propositions or properties [Lycan] |
| Full Idea: I believe the only promising choice of actual entities to serve as 'worlds' is that of sets of intensional objects, such as propositions or properties with stipulated interrelations. | |
| From: William Lycan (The Trouble with Possible Worlds [1979], 12) | |
| A reaction: This is mainly in response to Lewis's construction of them out of actual concrete objects. It strikes me as a bogus problem. It is just a convenient way to think precisely about possibilities, and occasionally outruns our mental capacity. |
| 15794 | If 'worlds' are sentences, and possibility their consistency, consistency may rely on possibility [Lycan] |
| Full Idea: If a 'world' is understood as a set of sentences, then possibility may be understood as consistency, ...but this seems circular, in that 'consistency' of sentences cannot adequately be defined save in terms of possibility. | |
| From: William Lycan (The Trouble with Possible Worlds [1979], 09) | |
| A reaction: [Carnap and Hintikka propose the view, Lewis 'Counterfactuals' p.85 objects] Worlds as sentences is not, of course, the same as worlds as propositions. There is a lot of circularity around in 'possible' worlds. |
| 22594 | In 1794 France all individual and legal rights were suppressed by the general will [Dunt] |
| Full Idea: In the French Revolution the general will replaced democracy, the separation of powers, the rule of law, and individual rights. | |
| From: Ian Dunt (How to be a Liberal [2020], 03) | |
| A reaction: I had some sympathy with the idea of the general will, but Dunt has persuaded me otherwise. It is the embodiment of the democratic problem of the tyranny of the majority. |
| 22602 | Over several centuries a set of eight main liberal values was established [Dunt] |
| Full Idea: Over the centuries liberal values were established: freedom of the individual, reason, consent in government, individual rights, the separation of powers, protection of minorities, autonomy, and moderation. | |
| From: Ian Dunt (How to be a Liberal [2020], 13) | |
| A reaction: What's not to like? 'Moderation' might be a sticking point, for anyone who thinks that very large social changes are needed. |
| 22596 | No government, or the whole nation, can control an individual beyond legitimate scope [Dunt] |
| Full Idea: When a government of any sort puts a threatening hand on that part of individual life beyond its proper scope, …even if it were the whole nation, except for the man it is harassing, it would be no more legitimate for that. | |
| From: Ian Dunt (How to be a Liberal [2020]), quoted by Ian Dunt - How to be a Liberal 4 | |
| A reaction: The obvious question is what counts as 'proper scope' - and who gets to define it? If the individual can define that, then criminals can appeal to this principle. The state must be persuaded of it, then asked to stick to it during conflicts. |
| 22603 | Laissez-faire liberalism failed to give people the protections and freedoms needed for a good life [Dunt] |
| Full Idea: Laissez-faire liberalism failed, because it did not offer people protections and real freedom - against discrimination, insecure work, educational disadvantage, lack of social respect, absence of representation. It was cold, distant, and ineffective. | |
| From: Ian Dunt (How to be a Liberal [2020], 13) | |
| A reaction: A very nice summary, which I take to be correct. |
| 22592 | Nationalism pretends that we can only have a single identity [Dunt] |
| Full Idea: Nationalism pretends that there is only one identity, that we cannot be more than one thing at once. | |
| From: Ian Dunt (How to be a Liberal [2020], Today) | |
| A reaction: Dunt is a defender of liberalism, which assumes a wide degree of pluralism. Could I be a British citizen, but love France more than Britain? I don’t see why not, but it is not an ideal situation. |