11 ideas
| 17832 | Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M] |
| Full Idea: Zermelo's paper sets out to show that the standard set-theoretic axioms (what he calls the 'constitutive axioms', thus the ZF axioms minus the axiom of infinity) have an unending sequence of different models, thus that they are non-categorical. | |
| From: report of Ernst Zermelo (On boundary numbers and domains of sets [1930]) by Michael Hallett - Introduction to Zermelo's 1930 paper p.1209 | |
| A reaction: Hallett says later that Zermelo is working with second-order set theory. The addition of an Axiom of Infinity seems to have aimed at addressing the problem, and the complexities of that were pursued by Gödel. |
| 13028 | Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy] |
| Full Idea: Zermelo included Replacement in 1930, after it was noticed that the sequence of power sets was needed, and Replacement gave the ordinal form of the well-ordering theorem, and justification for transfinite recursion. | |
| From: report of Ernst Zermelo (On boundary numbers and domains of sets [1930]) by Penelope Maddy - Believing the Axioms I §1.8 | |
| A reaction: Maddy says that this axiom suits the 'limitation of size' theorists very well, but is not so good for the 'iterative conception'. |
| 17626 | The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo] |
| Full Idea: Two opposite tendencies of thought, the idea of creative advance and of collection and completion (underlying the Kantian 'antinomies') find their symbolic representation and their symbolic reconciliation in the transfinite numbers based on well-ordering. | |
| From: Ernst Zermelo (On boundary numbers and domains of sets [1930], §5) | |
| A reaction: [a bit compressed] It is this sort of idea, from one of the greatest set-theorists, that leads philosophers to think that the philosophy of mathematics may offer solutions to metaphysical problems. As an outsider, I am sceptical. |
| 5062 | First: there must be reasons; Second: why anything at all?; Third: why this? [Leibniz] |
| Full Idea: We rise to metaphysics by saying 'nothing takes place without a reason', then asking 'why is there something rather than nothing?, and then 'why do things exist as they do?' | |
| From: Gottfried Leibniz (Principles of Nature and Grace based on Reason [1714], §7) | |
| A reaction: Wonderful. This is what we pay philosophers for - to attempt to go to the heart of the mystery, and then start formulating the appropriate questions. The question of 'why this?' is the sweetest question. The first one seems a little intractable. |
| 19377 | A monad and its body are living, so life is everywhere, and comes in infinite degrees [Leibniz] |
| Full Idea: Each monad, together with a particular body, makes up a living substance. Thus, there is not only life everywhere, joined to limbs or organs, but there are also infinite degrees of life in the monads, some dominating more or less over others. | |
| From: Gottfried Leibniz (Principles of Nature and Grace based on Reason [1714], 4) | |
| A reaction: Two key ideas: that each monad is linked to a body (which is presumably passive), and the infinite degrees of life in monads. Thus rocks consist of monads, but at an exceedingly low degree of life. They are stubborn and responsive. |
| 19353 | 'Perception' is basic internal representation, and 'apperception' is reflective knowledge of perception [Leibniz] |
| Full Idea: We distinguish between 'perception', the internal state of the monad representing external things, and 'apperception', which is consciousness, or the reflective knowledge of this internal state, not given to all souls, nor at all times to a given soul. | |
| From: Gottfried Leibniz (Principles of Nature and Grace based on Reason [1714], §4) | |
| A reaction: The word 'apperception' is standard in Kant. I find it surprising that modern analytic philosophers don't seem to use it when they write about perception. It strikes me as useful, but maybe specialists have a reason for avoiding it. |
| 5061 | Animals are semi-rational because they connect facts, but they don't see causes [Leibniz] |
| Full Idea: There is a connexion between the perceptions of animals, which bears some resemblance to reason: but it is based only on the memory of facts or effects, and not at all on the knowledge of causes. | |
| From: Gottfried Leibniz (Principles of Nature and Grace based on Reason [1714], §5) | |
| A reaction: This amounts to the view that animals can do Humean induction (where you see regularities), but not Leibnizian induction (where you see necessities). I say all minds perceive patterns, but only humans can think about the patterns they have perceived. |
| 5063 | Music charms, although its beauty is the harmony of numbers [Leibniz] |
| Full Idea: Music charms us although its beauty only consists in the harmony of numbers. | |
| From: Gottfried Leibniz (Principles of Nature and Grace based on Reason [1714], §17) | |
| A reaction: 'Only'! This is a super-pythagorean view of music, as you might expect from a great mathematician. Did he understand the horrible compromises that had just been made to achieve even-tempered tuning? Patterns are the key, as always. |
| 6000 | The goal is rationality in the selection of things according to nature [Diogenes of Babylon, by Blank] |
| Full Idea: Diogenes of Babylon defined the goal to be rationality in the selection and rejection of the things according to nature. | |
| From: report of Diogenes (Bab) (fragments/reports [c.180 BCE]) by D.L. Blank - Diogenes of Babylon | |
| A reaction: This captures the central Stoic idea quite nicely. 'Live according to nature', but this always meant 'live according to reason', because that is (as Aristotle had taught) the essence of our nature. This only makes sense if reason and nature coincide. |
| 5999 | The good is what is perfect by nature [Diogenes of Babylon, by Blank] |
| Full Idea: Diogenes of Babylon defined the good as what is perfect by nature. | |
| From: report of Diogenes (Bab) (fragments/reports [c.180 BCE]) by D.L. Blank - Diogenes of Babylon | |
| A reaction: This might come close to G.E. Moore's Ideal Utilitarianism, but its dependence on the rather uneasy of concept of 'perfection' makes it questionable. Personally I find it appealing. I wish we had Diogenes' explanation. |
| 6001 | Justice is a disposition to distribute according to desert [Diogenes of Babylon, by Blank] |
| Full Idea: Diogenes of Babylon defined justice as the disposition which distributes to everyone what he deserves. | |
| From: report of Diogenes (Bab) (fragments/reports [c.180 BCE]) by D.L. Blank - Diogenes of Babylon | |
| A reaction: The questions that arise would be 'what does a new-born baby deserve?', and 'what do animals deserve?', and 'does the lowest and worst of criminals deserve anything at all?' |