22 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. |
| 8978 | Events are made of other things, and are not fundamental to ontology [Bennett] |
| Full Idea: Events are not basic items in the universe; they should not be included in any fundamental ontology...all the truths about them are entailed by and explained and made true by truths that do not involve the event concept. | |
| From: Jonathan Bennett (Events and Their Names [1988], p.12), quoted by Peter Simons - Events 3.1 | |
| A reaction: Given the variable time spans of events, their ability to coincide, their ability to contain no motion, their blatantly conventional component, and their recalcitrance to individuation, I say Bennett is right. |
| 3926 | The human heart has a natural concern for public good [Hume] |
| Full Idea: While the human heart is compounded of the same elements as at present, it will never be wholly indifferent to public good. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], IX.I.222) | |
| A reaction: Even criminals can be patriotic. Why do people dump rubbish in beauty spots? |
| 3929 | No moral theory is of any use if it doesn't serve the interests of the individual concerned [Hume] |
| Full Idea: What theory of morals can ever serve any useful purpose, unless it can show, by a particular detail, that all the duties which it recommends, are also the true interest of each individual? | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], IX.II.228) | |
| A reaction: It is hard to disagree, even if occasional cases of extreme altruism can occur. |
| 3925 | Personal Merit is the possession of useful or agreeable mental qualities [Hume] |
| Full Idea: Personal Merit consists altogether in the possession of mental qualities, useful or agreeable to the person himself or to others. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], IX.I.217) | |
| A reaction: If pleasure and utility can be intrinsically valuable, why can't virtue be as well? |
| 3922 | Justice only exists to support society [Hume] |
| Full Idea: The necessity of justice to the support of society is the sole foundation of that virtue. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], III.II.163) | |
| A reaction: A sense of fairness precedes the building of a society, rather than arising out of it. |
| 23560 | If we all naturally had everything we could ever desire, the virtue of justice would be irrelevant [Hume] |
| Full Idea: Suppose nature has bestowed on humans such abundance of external conveniences that every individual is fully provided with whatever his appetites can want. …Justice, in that case, would be totally useless, and have no place in the catalogue of virtues. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], I.III.145) | |
| A reaction: [compressed] This seems to emphasise possessions and satisfaction of appetites, but presumably it would also need total security from other humans, which nature might struggle to provide. No sharing in this imagined world. |
| 3918 | Moral philosophy aims to show us our duty [Hume] |
| Full Idea: The end of all moral speculations is to teach us our duty. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], I.136) | |
| A reaction: A surprising view from someone who thinks morals are basically sentiment. |
| 3919 | Conclusions of reason do not affect our emotions or decisions to act [Hume] |
| Full Idea: Inference and conclusions of the understanding have no hold of the affections nor set in motion the active powers of man. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], I.136) | |
| A reaction: I disagree. This is a typical empiricist separation of ideas from experience, of inner from outer, of analytic from synthetic. |
| 3928 | Virtue just requires careful calculation and a preference for the greater happiness [Hume] |
| Full Idea: The sole trouble which virtue demands is that of just calculation, and a steady preference for the greater happiness. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], IX.II.228) | |
| A reaction: Hume was the parent of utilitarianism. Can one person exhibit virtue on a desert island? |
| 3923 | No one would cause pain to a complete stranger who happened to be passing [Hume] |
| Full Idea: Would any man, who is walking along, tread as willingly on another's gouty toes, whom he has no quarrel with, as on the hard flint and pavement? | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], V.II.183) | |
| A reaction: He is right that we empathise with the pain of others, and this is presumably one of the bases of morality. Animals lack sympathy for other animals. |
| 3924 | Nature makes private affections come first, because public concerns are spread too thinly [Hume] |
| Full Idea: It is wisely ordained by nature, that private connexions should commonly prevail over universal views and considerations; otherwise our affections and actions would be dissipated and lost, for want of a proper limited object. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], V.II.186n) | |
| A reaction: A very good objection to the excessively altruistic demands of utilitarianism. |
| 3921 | The safety of the people is the supreme law [Hume] |
| Full Idea: The safety of the people is the supreme law. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], III.II.157) | |
| A reaction: No political system ever seems able to disagree with this. |
| 3927 | Society prefers helpful lies to harmful truth [Hume] |
| Full Idea: Truths which are pernicious to society, if any such there be, will yield to errors which are salutary and advantageous. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], IX.II.228) | |
| A reaction: Hume probably meant religion. Two centuries later we have a greater appetite for uncomfortable truth. |
| 3920 | If you equalise possessions, people's talents will make them unequal again [Hume] |
| Full Idea: Render possessions ever so equal, men's different degrees of art, care, and industry will immediately break that equality. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], III.II.155) | |
| A reaction: This might not be so if there is a totalitarian restriction of economic freedom. |
| 10364 | Facts are about the world, not in it, so they can't cause anything [Bennett] |
| Full Idea: Facts are not the sort of item that can cause anything. A fact is a true proposition (they say); it is not something in the world but is rather something about the world. | |
| From: Jonathan Bennett (Events and Their Names [1988], p.22), quoted by Jonathan Schaffer - The Metaphysics of Causation 1.1 | |
| A reaction: Compare 10361. Good argument, but maybe 'fact' is ambiguous. See Idea 10365. Events are said to be more concrete, and so can do the job, but their individuation also seems to depend on a description (as Davidson has pointed out). |