18 ideas
| 18851 | Pairing (with Extensionality) guarantees an infinity of sets, just from a single element [Rosen] |
| Full Idea: In conjunction with Extensionality, Pairing entails that given a single non-set, infinitely many sets exist. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 04) |
| 13152 | We can talk of 'innumerable number', about the infinite points on a line [Newton] |
| Full Idea: If any man shall take the words number and sum in a larger sense, to understand things which are numberless and sumless (such as the infinite points on a line), I could allow him the contradictious phrase 'innumerable number' without absurdity. | |
| From: Isaac Newton (Letters to Bentley [1692], 1693.02.25) | |
| A reaction: [compressed] I take the key point here to be the phrase of taking number 'in a larger sense'. Like the word 'atom' in physics, the word 'number' retains its traditional reference, but has considerably shifted its scope. Amateurs must live with this. |
| 13151 | Not all infinites are equal [Newton] |
| Full Idea: It is an error that all infinites are equal. | |
| From: Isaac Newton (Letters to Bentley [1692], 1693.01.17) | |
| A reaction: There follows a discussion of the mathematicians' view of infinity. Cantor was not the first to notice that there is more than one sort of of infinity. |
| 18852 | A Meinongian principle might say that there is an object for any modest class of properties [Rosen] |
| Full Idea: Meinongian abstraction principles say that for any (suitably restricted) class of properties, there exists an abstract entity (arbitrary object, subsistent entity) that possesses just those properties. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 04) | |
| A reaction: This is 'Meinongian' because there will be an object which is circular and square. The nub of the idea presumably resides in what is meant by 'restricted'. An object possessing every conceivable property is, I guess, a step too far. |
| 18850 | 'Metaphysical' modality is the one that makes the necessity or contingency of laws of nature interesting [Rosen] |
| Full Idea: 'Metaphysical' modality is the sort of modality relative to which it is an interesting question whether the laws of nature are necessary or contingent. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 02) | |
| A reaction: Being an essentialist here, I take it that the stuff of the universe necessitates the so-called 'laws'. The metaphysically interesting question is whether the stuff might have been different. Search me! A nice test of metaphysical modality though. |
| 18849 | Metaphysical necessity is absolute and universal; metaphysical possibility is very tolerant [Rosen] |
| Full Idea: If P is metaphysically necessary, then it is absolutely necessary, and necessary in every real (non-epistemic) sense; and if P is possible in any sense, then it's possible in the metaphysical sense. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 02) | |
| A reaction: Rosen's shot at defining metaphysical necessity and possibility, and it looks pretty good to me. In my terms (drawing from Kit Fine) it is what is necessitated or permitted 'by everything'. So if it is necessitated by logic or nature, that's included. |
| 18858 | Sets, universals and aggregates may be metaphysically necessary in one sense, but not another [Rosen] |
| Full Idea: It may be metaphysically necessary in one sense that sets or universals or mereological aggregates exist, while in another sense existence is always a contingent matter. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 10) | |
| A reaction: This idea depends on Idea 18856 and 18857. Personally I only think mereological aggregates and sets exist when people decide that they exist, so I don't see how they could ever be necessary. I'm unconvinced about his two concepts. |
| 18857 | Standard Metaphysical Necessity: P holds wherever the actual form of the world holds [Rosen] |
| Full Idea: According to the Standard Conception of Metaphysical Necessity, P is metaphysically necessary when it holds in every possible world in which the laws of metaphysics (about the form or structure of the actual world) hold | |
| From: Gideon Rosen (The Limits of Contingency [2006], 10) | |
| A reaction: Rosen has a second meaning, in Idea 18856. He thinks it is crucial to see that there are two senses, because many things come out as metaphysically necessary on one concept, but contingent on the other. Interesting.... |
| 18856 | Non-Standard Metaphysical Necessity: when ¬P is incompatible with the nature of things [Rosen] |
| Full Idea: According to the Non-Standard conception of Metaphysical Necessity, P is metaphysically necessary when its negation is logically incompatible with the nature of things. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 10) | |
| A reaction: Rosen's new second meaning of the term. My immediate problem is with it resting on being 'logically' incompatible. Are squares 'logically' incompatible with circles? I like the idea that it rests on 'the nature of things'. (Psst! natures = essences) |
| 18848 | Something may be necessary because of logic, but is that therefore a special sort of necessity? [Rosen] |
| Full Idea: It is one thing to say that P is necessary in some generic sense because it is a truth of logic (true in all models of a language, perhaps). It is something else to say that P therefore enjoys a special sort of necessity. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 02) | |
| A reaction: This encourages my thought that there is only one sort of necessity (what must be), and the variety comes from the different types of necessity makers (everything there could be, nature, duties, promises, logics, concepts...). |
| 18855 | Combinatorial theories of possibility assume the principles of combination don't change across worlds [Rosen] |
| Full Idea: Combinatorial theories of possibility take it for granted ....that possible worlds in general share a syntax, as it were, differing only in the constituents from which they are generated, or in the particular manner of their arrangements. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 08) | |
| A reaction: For instance, it might assume that every world has 'objects', to which 'properties' and 'relations' can be attached, or to which 'functions' can apply. |
| 18853 | A proposition is 'correctly' conceivable if an ominiscient being could conceive it [Rosen] |
| Full Idea: To a first approximation, P is correctly conceivable iff it would be conceivable for a logically ominiscient being who was fully informed about the nature of things. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 05) | |
| A reaction: Isn't the last bit covered by 'ominiscient'? Ah, I think the 'logically' only means they have a perfect grasp of what is consistent. This is to meet the standard problem, of ill-informed people 'conceiving' of things which are actually impossible. |
| 16764 | The soul conserves the body, as we see by its dissolution when the soul leaves [Toletus] |
| Full Idea: Every accident of a living thing, as well as all its organs and temperaments and its dispositions are conserved by the soul. We see this from experience, since when that soul recedes, all these dissolve and become corrupted. | |
| From: Franciscus Toletus (Commentary on 'De Anima' [1572], II.1.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 24.5 | |
| A reaction: A nice example of observing a phenemonon, but not being able to observe the dependence relation the right way round. Compare Descartes in Idea 16763. |
| 15863 | The principles of my treatise are designed to fit with a belief in God [Newton] |
| Full Idea: When I wrote my treatise about our system, I had an eye upon such principles as might work with considering men, for the belief of a deity. | |
| From: Isaac Newton (Letters to Bentley [1692], 1692.12.10) | |
| A reaction: Harré quotes this, and it shows that the rather passive view of nature Newton developed was to be supplemented by the active power of God. Without God, we need a more active view of nature. |
| 8340 | I do not pretend to know the cause of gravity [Newton] |
| Full Idea: You sometimes speak of gravity as essential and inherent in matter. Pray do no ascribe that notion to me; for the cause of gravity is what I do not pretend to know. | |
| From: Isaac Newton (Letters to Bentley [1692], 1693.01.17) | |
| A reaction: I take science to be a two-stage operation - first we discern the regularities, and then we explain them. Evolution was spotted, then explained by Darwin. Cancer from cigarettes was spotted, but hasn't been explained. Regularity is the beginning. |
| 18854 | The MRL view says laws are the theorems of the simplest and strongest account of the world [Rosen] |
| Full Idea: According to the Mill-Ramsey-Lewis account of the laws of nature, a generalisation is a law just in case it is a theorem of every true account of the actual world that achieves the best overall balance of simplicity and strength. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 08) | |
| A reaction: The obvious objection is that many of the theorems will be utterly trivial, and that is one thing that the laws of nature are not. Unless you are including 'metaphysical laws' about very very fundamental things, like objects, properties, relations. |
| 13150 | The motions of the planets could only derive from an intelligent agent [Newton] |
| Full Idea: The motions which the planets now have could not spring from any natural cause alone, but were impressed by an intelligent agent. | |
| From: Isaac Newton (Letters to Bentley [1692], 1692.12.10) | |
| A reaction: He is writing to a cleric, but seems to be quite sincere about this. Elsewhere he just says he doesn't know what causes gravity. |
| 12178 | That gravity should be innate and essential to matter is absurd [Newton] |
| Full Idea: That gravity should be innate, inherent and essential to matter ...is to me so great an absurdity that I believe no man who has in philosophical matters a competent faculty of thinking can ever fall into it. | |
| From: Isaac Newton (Letters to Bentley [1692], 1693.02.25) | |
| A reaction: He is replying to some sermons, and he pays vague lip service to a possible divine force. Nevertheless, this is thoroughgoing anti-essentialism, and he talks of external 'laws' in the next sentence. Newton still sought the cause of gravity. |