display all the ideas for this combination of texts
9 ideas
| 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. |
| 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. |
| 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. |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
| A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |