| 444 | The first way of enquiry involves necessary existence [Parmenides] |
| Full Idea: The first way of enquiry is the one that IT IS, and it is not possible for IT NOT TO BE, which is the way of credibility, for it follows truth. | |
| From: Parmenides (fragments/reports [c.474 BCE], B02), quoted by Simplicius - On Aristotle's 'Physics' 9.116.28- | |
| A reaction: also Proclus 'Timeus' |
| 12668 | Metaphysical necessity holds between things in the world and things they make true [Ellis] |
| Full Idea: Metaphysical necessitation is the relation that holds between things in the world and the things they make true. | |
| From: Brian Ellis (The Metaphysics of Scientific Realism [2009], 1) | |
| A reaction: Not sure about that. It implies that it is sentences that have necessity, and he confirms it by calling it 'a semantic relation'. So there are no necessities if there are no sentences? Not the Brian Ellis we know and love. |
| 15099 | If something is possible, but not nomologically possible, we need metaphysical possibility [Shoemaker] |
| Full Idea: If it is possible that there could be possible states of affairs that are not nomologically possible, don't we therefore need a notion of metaphysical possibility that outruns nomological possibility? | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], VI) | |
| A reaction: Shoemaker rejects this possibility (p.425). I sympathise. So there is 'natural' possibility (my preferred term), which is anything which stuff, if it exists, could do, and 'logical' possibility, which is anything that doesn't lead to contradiction. |
| 15161 | There are more metaphysically than logically necessary truths [Soames] |
| Full Idea: The set of metaphysically necessary truths is larger than the set of logically necessary truths. | |
| From: Scott Soames (Philosophy of Language [2010], 3.1) | |
| A reaction: Likewise, the set of logically possible truths is much larger than the set of metaphysically possible truths. If a truth is logically necessary, it will clearly be metaphysically necessary. Er, unless it is necessitated by daft logic... |
| 15162 | We understand metaphysical necessity intuitively, from ordinary life [Soames] |
| Full Idea: Our understanding of metaphysical necessity is intuitive - drawn from our ordinary thought and talk. | |
| From: Scott Soames (Philosophy of Language [2010], 3.1) | |
| A reaction: This, of course, is a good reason for analytic philosophers to dislike metaphysical necessity. |
| 14677 | Metaphysical necessity is said to be unrestricted necessity, true in every world whatsoever [Salmon,N] |
| Full Idea: It is held that it is the hallmark of metaphysical necessity is that it is completely unrestricted, the limiting case of restricted necessity, with no restrictions whatever. A proposition is necessary only if it is true in absolutely every world whatever. | |
| From: Nathan Salmon (The Logic of What Might Have Been [1989], II) | |
| A reaction: This is the standard picture which leads to the claim that S5 modal logic is appropriate for metaphysical necessity, because there are no restrictions on accessibility. Salmon raises objections to this conventional view. |
| 14679 | Bizarre identities are logically but not metaphysically possible, so metaphysical modality is restricted [Salmon,N] |
| Full Idea: Though there is a way things logically could be according to which I am a credit card account, there is no way things metaphysically might be according to which I am a credit card account. This illustrates the restricted nature of metaphysical modality. | |
| From: Nathan Salmon (The Logic of What Might Have Been [1989], III) | |
| A reaction: His drift is that metaphyical modality is restricted, but expressing it in S5 modal logic (where all worlds see one another) makes it unrestricted, so S5 logic is wrong for metaphysics. I'm impressed by his arguments. |
| 14688 | Without impossible worlds, the unrestricted modality that is metaphysical has S5 logic [Salmon,N] |
| Full Idea: If one confines one's sights to genuinely possible worlds, disavowing the impossible worlds, then metaphysical modality emerges as the limiting case - the 'unrestricted' modality that takes account of 'every' world - and S5 emerges as its proper logic. | |
| From: Nathan Salmon (The Logic of What Might Have Been [1989], IV) | |
| A reaction: He observes that this makes metaphysical modality 'restricted' simply because you have restricted what 'all worlds' means. Could there be non-maximal worlds? Are logical and metaphysical modality coextensive? I think I like the S5 view. |
| 14690 | In the S5 account, nested modalities may be unseen, but they are still there [Salmon,N] |
| Full Idea: The S5 theorist's miscontrual of English (in the meaning of 'possibly possible') makes nested modality unseen, but it does not make nested modality vanish. Inaccessible worlds are still worlds. | |
| From: Nathan Salmon (The Logic of What Might Have Been [1989], IV) |
| 14685 | Metaphysical necessity is NOT truth in all (unrestricted) worlds; necessity comes first, and is restricted [Salmon,N] |
| Full Idea: A mythology gave us the idea that metaphysical necessity is truth in every world whatsoever, without restriction. But the notion of metaphysical modality comes first, and, like every notion of modality, it is restricted. | |
| From: Nathan Salmon (The Logic of What Might Have Been [1989], IV) |
| 16425 | Metaphysical necessity is a bizarre, brute and inexplicable constraint on possibilities [Chalmers] |
| Full Idea: Strong metaphysical necessities will put constraints on the space of possible worlds that are brute and inexplicable. That's fine for our world, but bizarre for possible worlds. The realm of the possible has no room for such arbitrary constraint. | |
| From: David J.Chalmers (The Conscious Mind [1996], 2.4.2) | |
| A reaction: He would say this, given that he wants zombies to be possible, just because he thinks he can conceive of them. Presumably he thinks a raging bonfire with no flames is also possible. His objection here is weak. |
| 16424 | Strong metaphysical necessity allows fewer possible worlds than logical necessity [Chalmers] |
| Full Idea: The hypothesized modality of 'strong' metaphysical necessity says there are fewer metaphysically possible worlds than there are logically possible worlds, and the a posteriori necessities can stem from factors independent of the semantics of terms. | |
| From: David J.Chalmers (The Conscious Mind [1996], 2.4.2) | |
| A reaction: Chalmers sets this up in order to reject it. He notes that it involves a big gap between conceivability and possibility. If a world is logically possible but metaphysically impossible, then it is impossible, surely? |
| 9209 | Metaphysical necessity may be 'whatever the circumstance', or 'regardless of circumstances' [Fine,K] |
| Full Idea: There are two fundamental ways in which a property may be metaphysically necessary: it may be a worldly necessity, true whatever the circumstances; or it may be a transcendent necessity, true regardless of the circumstances. | |
| From: Kit Fine (Intro to 'Modality and Tense' [2005], p.10) | |
| A reaction: [See Fine's 'Necessity and Non-Existence' for further details] The distinction seems to be that the first sort needs some circumstances (e.g. a physical world?), whereas the second sort doesn't (logical relations?). He also applies it to existence. |
| 12207 | Metaphysical possibility is discovered empirically, and is contrained by nature [Edgington] |
| Full Idea: Metaphysical necessity derives from distinguishing things which can happen and things which can't, in virtue of their nature, which we discover empirically: the metaphysically possible, I claim, is constrained by the laws of nature. | |
| From: Dorothy Edgington (Two Kinds of Possibility [2004], §I) | |
| A reaction: She claims that Kripke is sympathetic to this. Personally I like the idea that natural necessity is metaphysically necessary (see 'Scientific Essentialism'), but the other way round comes as a bit of a surprise. I will think about it. |
| 16063 | Metaphysical necessity is logical necessity 'broadly construed' [Lowe, by Lynch/Glasgow] |
| Full Idea: Lowe (1998) defines metaphysical necessity in terms of logical necessity 'broadly contrued'. | |
| From: report of E.J. Lowe (The Possibility of Metaphysics [1998]) by Lynch,MP/Glasgow,JM - The Impossibility of Superdupervenience n 3 | |
| A reaction: [I seem to have missed this simple thought in Lowe 1998 - must revisit]. Both metaphysical and logical necessity can be taken as 'true in all possible worlds', but that doesn't make them the same truths. |
| 16531 | 'Metaphysical' necessity is absolute and objective - the strongest kind of necessity [Lowe] |
| Full Idea: By 'metaphysical' necessity I mean necessity of the strongest possible kind - absolute necessity - and I take it to be an objective kind of necessity, rather than being something mind-dependent. | |
| From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 1) | |
| A reaction: See Bob Hale for the possibility that 'absolute' and 'metaphysical' necessity might come apart. I think I believe in metaphysical necessity, but I'm uneasy about 'absolute' necessity. That may be discredited by the sceptics. |
| 3105 | Is 'Hesperus = Phosphorus' metaphysically necessary, but not logically or epistemologically necessary? [Segal] |
| Full Idea: It is metaphysically necessary that Hesperus is Phosphorus, but not logically necessary, since logical deduction could not reveal its truth, and it is not epistemologically necessary, as the ancient Greeks didn't know the identity. (Natural necessity?) | |
| From: Gabriel M.A. Segal (A Slim Book about Narrow Content [2000], 1.6) |
| 15082 | Metaphysical necessity says there is no possibility of falsehood [Hale] |
| Full Idea: Friends of metaphysical necessity would want to hold that when it is metaphysically necessary that p, there is no good sense of 'possible' (except, perhaps, an epistemic one) in which it is possible that not-p. | |
| From: Bob Hale (Absolute Necessities [1996], 2) | |
| A reaction: We might want to say which possible worlds this refers to (and presumably it won't just be in the actual world). The normal claim would refer to all possible worlds. Adding a '...provided that' clause moves it from absolute to relative necessity. |
| 13707 | Maybe metaphysical accessibility is intransitive, if a world in which I am a frog is impossible [Sider] |
| Full Idea: Some argue that metaphysical accessibility is intransitive. The individuals involved mustn't be too different from the actual world. A world in which I am a frog isn't metaphysically possible. Perhaps the logic is modal system B or T. | |
| From: Theodore Sider (Logic for Philosophy [2010], 6.3.1) | |
| A reaction: This sounds rather plausible and attractive to me. We don't want to say that I am necessarily the way I actually am, though, so we need criteria. Essence! |
| 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. |
| 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.... |
| 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. |
| 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) |
| 14094 | The excellent notion of metaphysical 'necessity' cannot be defined [Rosen] |
| Full Idea: Many of our best words in philosophy do not admit of definition, the notion of metaphysical 'necessity' being one pertinent example. | |
| From: Gideon Rosen (Metaphysical Dependence [2010], 03) | |
| A reaction: Rosen is busy defending words in metaphysics which cannot be pinned down with logical rigour. We are allowed to write □ for 'necessary', and it is accepted by logicians as being stable in a language. |
| 16277 | Logically impossible is metaphysically impossible, but logically possible is not metaphysically possible [Maudlin] |
| Full Idea: While logical impossibility is a species of metaphysical impossibility, logical possibility is not a species of metaphysical possibility. The logically impeccable description 'Cicero was not Tully' describes a metaphysically impossible situation. | |
| From: Tim Maudlin (The Metaphysics within Physics [2007], 7 Epilogue) | |
| A reaction: The context of this is Maudlin attack on daft notions of metaphysical possibility that are at variance with the limits set by science, but he is still conceding that there are types of metaphysical modality. |
| 11086 | Metaphysical necessity can be 'weak' (same as logical) and 'strong' (based on essences) [Hanna] |
| Full Idea: Weak metaphysical necessity is either over the set of all logically possible worlds (in which case it is the same as logical necessity), or it is of a smaller set of worlds, and is determined by the underlying essence or nature of the actual world. | |
| From: Robert Hanna (Rationality and Logic [2006], 6.6) | |
| A reaction: I take the first to be of no interest, as I have no interest in a world which is somehow rated as logically possible, but is not naturally possible. The second type should the principle aim of all human cognitive enquiry. The strong version is synthetic. |
| 18816 | Metaphysical modalities respect the actual identities of things [Rumfitt] |
| Full Idea: The central characteristic mark of metaphysical necessity is that a metaphysical possibility respects the actual identities of things - in a capacious sense of 'thing'. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 3.4) | |
| A reaction: He contrast this with logical necessity, and concludes that some truths are metaphysically but not logically necessary, such as 'Hesperus is identical with Phosphorus'. Personally I like the idea of a 'necessity-maker', so that fits. |
| 17959 | Metaphysical necessity is even more deeply empirical than Kripke has argued [Vetter] |
| Full Idea: We support the views of metaphysical modality on which metaphysical necessity is an even more deeply empirical matter than Kripke has argued. | |
| From: Barbara Vetter (Essence and Potentiality [2010], p.2) | |
| A reaction: [co-author E. Viebahn] This seems to pinpoint the spirit of scientific essentialism. She cites Bird and Shoemaker. If it is empirical, doesn't that make it a matter of epistemology, and hence further from absolute necessity? |