21 ideas
| 7914 | To try to be wise all on one's own is folly [Rochefoucauld] |
| Full Idea: To try to be wise all on one's own is sheer folly. | |
| From: La Rochefoucauld (Maxims [1663], 231) | |
| A reaction: I agree strongly with this. There are counter-examples, of whom Spinoza may be the greatest, and Nietzsche thought that philosophy was essentially a solitary business, but most of us are not Spinoza or Nietzsche. |
| 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. |
| 7118 | La Rochefoucauld's idea of disguised self-love implies an unconscious mind [Rochefoucauld, by Sartre] |
| Full Idea: La Rochefoucauld is one of the first to have made use of the unconscious without naming it: for him, amour-propre conceals itself in the most diverse disguises. | |
| From: report of La Rochefoucauld (Maxims [1663]) by Jean-Paul Sartre - Transcendence of the Ego I (C) | |
| A reaction: It seems odd that no one before that ever thought that someone might have hidden motives of which even they themselves were unaware. How about Iago, or Macbeth, or Hamlet? It is a profound change in our view of human nature. |
| 7912 | Judging by effects, love looks more like hatred than friendship [Rochefoucauld] |
| Full Idea: If love be judged by its most visible effects it looks more like hatred than friendship. | |
| From: La Rochefoucauld (Maxims [1663], 072) | |
| A reaction: Presumably he is thinking of pursuit, possession and jealousy. The remark is plausible if you add the word 'sometimes' to it, but as a universal generalisation it is ridiculous, the product of a society where they competed to exceed in cynicism. |
| 7915 | Supreme cleverness is knowledge of the real value of things [Rochefoucauld] |
| Full Idea: Supreme cleverness is knowledge of the real value of things. | |
| From: La Rochefoucauld (Maxims [1663], 244) | |
| A reaction: Good. Right at the heart of wisdom is some kind of grasp of right values. It is so complex and subtle that it seems like pure intuition, but I am sure that reason is involved. 'Intelligent' people tend to be better at it. Some justifications can be given. |
| 7917 | Realising our future misery is a kind of happiness [Rochefoucauld] |
| Full Idea: To realise how much misery we have to face is in itself a kind of happiness. | |
| From: La Rochefoucauld (Maxims [1663], 570) | |
| A reaction: Probably true. Knowing that you have got hold of the truth is a sort of happiness in any area, no matter how grim the truth. However, a happy life could easily be poisoned by brooding on the future. Should the happily married brood on future solitude? |
| 7913 | Virtue doesn't go far without the support of vanity [Rochefoucauld] |
| Full Idea: Virtue would not go far without vanity to bear it company. | |
| From: La Rochefoucauld (Maxims [1663], 200) | |
| A reaction: Rochefoucauld's cynicism gets a bit tedious, but lovers of virtue must face up to this possibility when they consider what motivates them. At the heart of Aristotle there is a missing question, of what is so good about right-functioning and virtue. |
| 7916 | True friendship is even rarer than true love [Rochefoucauld] |
| Full Idea: Rare though true love may be, true friendship is rarer still. | |
| From: La Rochefoucauld (Maxims [1663], 473) | |
| A reaction: This seems to be true. Our culture doesn't encourage friendship as a high ideal. Are women better at friendship than men? Which culture, past or present, led to the greatest flourishing of friendship? Epicurus's Garden? |
| 9299 | We are bored by people to whom we ourselves are boring [Rochefoucauld] |
| Full Idea: Almost always we are bored by people to whom we ourselves are boring. | |
| From: La Rochefoucauld (Maxims [1663], 555) | |
| A reaction: An obvious exception would be a celebrity being bored with their fans. Their very excess of interest is precisely what is boring. If two people communicate well, it is unlikely that either of them will ever be bored. |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |