20 ideas
| 13011 | New axioms are being sought, to determine the size of the continuum [Maddy] |
| Full Idea: In current set theory, the search is on for new axioms to determine the size of the continuum. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §0) | |
| A reaction: This sounds the wrong way round. Presumably we seek axioms that fix everything else about set theory, and then check to see what continuum results. Otherwise we could just pick our continuum, by picking our axioms. |
| 13013 | The Axiom of Extensionality seems to be analytic [Maddy] |
| Full Idea: Most writers agree that if any sense can be made of the distinction between analytic and synthetic, then the Axiom of Extensionality should be counted as analytic. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.1) | |
| A reaction: [Boolos is the source of the idea] In other words Extensionality is not worth discussing, because it simply tells you what the world 'set' means, and there is no room for discussion about that. The set/class called 'humans' varies in size. |
| 13014 | Extensional sets are clearer, simpler, unique and expressive [Maddy] |
| Full Idea: The extensional view of sets is preferable because it is simpler, clearer, and more convenient, because it individuates uniquely, and because it can simulate intensional notions when the need arises. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.1) | |
| A reaction: [She cites Fraenkel, Bar-Hillet and Levy for this] The difficulty seems to be whether the extensional notion captures our ordinary intuitive notion of what constitutes a group of things, since that needs flexible size and some sort of unity. |
| 13021 | The Axiom of Infinity states Cantor's breakthrough that launched modern mathematics [Maddy] |
| Full Idea: The Axiom of Infinity is a simple statement of Cantor's great breakthrough. His bold hypothesis that a collection of elements that had lurked in the background of mathematics could be infinite launched modern mathematics. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.5) | |
| A reaction: It also embodies one of those many points where mathematics seems to depart from common sense - but then most subjects depart from common sense when they get more sophisticated. Look what happened to art. |
| 13022 | Infinite sets are essential for giving an account of the real numbers [Maddy] |
| Full Idea: If one is interested in analysis then infinite sets are indispensable since even the notion of a real number cannot be developed by means of finite sets alone. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.5) | |
| A reaction: [Maddy is citing Fraenkel, Bar-Hillel and Levy] So Cantor's great breakthrough (Idea 13021) actually follows from the earlier acceptance of the real numbers, so that's where the departure from common sense started. |
| 13023 | The Power Set Axiom is needed for, and supported by, accounts of the continuum [Maddy] |
| Full Idea: The Power Set Axiom is indispensable for a set-theoretic account of the continuum, ...and in so far as those attempts are successful, then the power-set principle gains some confirmatory support. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.6) | |
| A reaction: The continuum is, of course, notoriously problematic. Have we created an extra problem in our attempts at solving the first one? |
| 13024 | Efforts to prove the Axiom of Choice have failed [Maddy] |
| Full Idea: Jordain made consistent and ill-starred efforts to prove the Axiom of Choice. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.7) | |
| A reaction: This would appear to be the fate of most axioms. You would presumably have to use a different system from the one you are engaged with to achieve your proof. |
| 13025 | Modern views say the Choice set exists, even if it can't be constructed [Maddy] |
| Full Idea: Resistance to the Axiom of Choice centred on opposition between existence and construction. Modern set theory thrives on a realistic approach which says the choice set exists, regardless of whether it can be defined, constructed, or given by a rule. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.7) | |
| A reaction: This seems to be a key case for the ontology that lies at the heart of theory. Choice seems to be an invaluable tool for proofs, so it won't go away, so admit it to the ontology. Hm. So the tools of thought have existence? |
| 13026 | A large array of theorems depend on the Axiom of Choice [Maddy] |
| Full Idea: Many theorems depend on the Axiom of Choice, including that a countable union of sets is countable, and results in analysis, topology, abstract algebra and mathematical logic. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.7) | |
| A reaction: The modern attitude seems to be to admit anything if it leads to interesting results. It makes you wonder about the modern approach of using mathematics and logic as the cutting edges of ontological thinking. |
| 13019 | The Iterative Conception says everything appears at a stage, derived from the preceding appearances [Maddy] |
| Full Idea: The Iterative Conception (Zermelo 1930) says everything appears at some stage. Given two objects a and b, let A and B be the stages at which they first appear. Suppose B is after A. Then the pair set of a and b appears at the immediate stage after B. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.3) | |
| A reaction: Presumably this all happens in 'logical time' (a nice phrase I have just invented!). I suppose we might say that the existence of the paired set is 'forced' by the preceding sets. No transcendental inferences in this story? |
| 13018 | Limitation of Size is a vague intuition that over-large sets may generate paradoxes [Maddy] |
| Full Idea: The 'limitation of size' is a vague intuition, based on the idea that being too large may generate the paradoxes. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.3) | |
| A reaction: This is an intriguing idea to be found right at the centre of what is supposed to be an incredibly rigorous system. |
| 9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
| Full Idea: Logic is part of a normative theory of thinking, not a substitute for thinking. | |
| From: Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.13) | |
| A reaction: There is some sort of logicians' dream, going back to Leibniz, of a reasoning engine, which accepts propositions and outputs inferences. I agree with this idea. People who excel at logic are often, it seems to me, modest at philosophy. |
| 9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
| Full Idea: Vagueness in respect of membership is consistency with determinacy of the set's identity, so long as a set's identity is taken to consist, not in its having such-and-such members, but in its being the extension of a concept. | |
| From: Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.5) | |
| A reaction: I find this view of sets much more appealing than the one that identifies a set with its members. The empty set is less of a problem, as well as non-existents. Logicians prefer the extensional view because it is tidy. |
| 7127 | If men are good you should keep promises, but they aren't, so you needn't [Machiavelli] |
| Full Idea: If all men were good, promising-breaking would not be good, but because they are bad and do not keep their promises to you, you likewise do not have to keep yours to them. | |
| From: Niccolo Machiavelli (The Prince [1513], Ch.18) | |
| A reaction: A rather depressing proposal to get your promise-breaking in first, based on the pessimistic view that people cannot be improved. The subsequent history of ethics in Europe showed Machiavelli to be wrong. Gentlemen began to keep their word. |
| 6309 | The principle foundations of all states are good laws and good armies [Machiavelli] |
| Full Idea: The principle foundations of all states are good laws and good armies. | |
| From: Niccolo Machiavelli (The Prince [1513], Ch.11) | |
| A reaction: We may be wondering, since 1945, whether a good army is any longer essential, but it would be a foolish modern state which didn't at least form a strong alliance with a state which had a strong army. Fertile land is a huge benefit to a state. |
| 6306 | People are vengeful, so be generous to them, or destroy them [Machiavelli] |
| Full Idea: Men should be either treated generously or destroyed, because they take revenge for slight injuries. | |
| From: Niccolo Machiavelli (The Prince [1513], Ch.3) | |
| A reaction: This sounds like good advice, and works quite well in school teaching too. It seems like advice drawn from the growth of the Roman Empire, rather than from dealing with sophisticated and educated people. |
| 6305 | To retain a conquered state, wipe out the ruling family, and preserve everything else [Machiavelli] |
| Full Idea: If a ruler acquires a state and is determined to keep it, he observes two cautions: he wipes out the family of their long-established princes; and he does not change either their laws or their taxes; in a short time they will unite with his old princedom. | |
| From: Niccolo Machiavelli (The Prince [1513], Ch.3) | |
| A reaction: This nicely illustrates the firmness of purpose for which Machiavelli has become a byword. The question is whether Machiavelli had enough empirical evidence to support this induction. The British in India seem to have been successful without it. |
| 6308 | A sensible conqueror does all his harmful deeds immediately, because people soon forget [Machiavelli] |
| Full Idea: A prudent conqueror makes a list of all the harmful deeds he must do, and does them all at once, so that he need not repeat them every day, which then makes men feel secure, and gains their support by treating them well. | |
| From: Niccolo Machiavelli (The Prince [1513], Ch.8) | |
| A reaction: This might work for a new government in a democracy, or a new boss in a business. It sounds horribly true; dreadful deeds done a long time ago can be completely forgotten, as when reformed criminals become celebrities. |
| 6307 | A desire to conquer, and men who do it, are always praised, or not blamed [Machiavelli] |
| Full Idea: It is very natural and normal to wish to conquer, and when men do it who can, they always will be praised, or not blamed. | |
| From: Niccolo Machiavelli (The Prince [1513], Ch.3) | |
| A reaction: This view seems shocking to us, but it seems to me that this was a widely held view up until the time of Nietzsche, but came to a swift end with the invention of the machine gun in about 1885, followed by the heavy bomber and atomic bomb. |
| 7486 | Machiavelli emancipated politics from religion [Machiavelli, by Watson] |
| Full Idea: Machiavelli emancipated politics from religion. | |
| From: report of Niccolo Machiavelli (The Prince [1513]) by Peter Watson - Ideas Ch.24 | |
| A reaction: Interestingly, he seems to have done it by saying that ideals are irrelevant to politics, but gradually secular ideals crept back in (sometimes disastrously). A balance needs to be struck on idealism. |