display all the ideas for this combination of texts
17 ideas
14680 | Logical possibility contains metaphysical possibility, which contains nomological possibility [Salmon,N] |
Full Idea: Just as nomological possibility is a special kind of metaphysical possibility, so metaphysical possibility is a special kind of logical possibility. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], III) | |
A reaction: This is the standard view of how the three types of necessity are nested. He gives a possible counterexample in footnote 7. |
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) |
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. |
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) |
14681 | Logical necessity is free of constraints, and may accommodate all of S5 logic [Salmon,N] |
Full Idea: With its freedom from the constraint of metaphysical possibility, logical necessity may be construed as accommodating all the axioms and rules of S5. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], III) | |
A reaction: He goes on to raise problems for this simple thought. The big question: what are the limits of what is actually possible? Compare: what are the limits of what is imaginable? what are the limits of what is meaningfully sayable? |
14676 | Nomological necessity is expressed with intransitive relations in modal semantics [Salmon,N] |
Full Idea: Intransitive relations are introduced into modal semantics for the purposes of interpreting various 'real' or restricted types of modalities, such as nomological necessity. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], II) | |
A reaction: The point here is that the (so-called) 'laws of nature' are held to change from world to world, so necessity in one could peter out in some more remote world, rather than being carried over everywhere. A very Humean view of such things. |
490 | Everything happens by reason and necessity [Leucippus] |
Full Idea: Nothing happens at random; everything happens out of reason and by necessity. | |
From: Leucippus (fragments/reports [c.435 BCE], B002), quoted by (who?) - where? |
14689 | Necessity and possibility are not just necessity and possibility according to the actual world [Salmon,N] |
Full Idea: The real meanings of the simple modal terms 'necessary' and 'possible' are not the same as the concepts of actual necessity and actual possibility, necessity and possibility according to the actual world. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], IV) | |
A reaction: If you were an 'actualist' (who denies everything except the actual world) then you are unlikely to agree with this. In unrestricted possible worlds, being true in one world makes it possible in all worlds. So actual necessity is possible everywhere. |
14674 | Impossible worlds are also ways for things to be [Salmon,N] |
Full Idea: Total ways things cannot be are also 'worlds', or maximal ways for things to be. They are impossible worlds. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], I) | |
A reaction: This unorthodox view doesn't sound too plausible to me. To think of a circular square as a 'way things could be' sounds pretty empty, and mere playing with words. The number 7 could be the Emperor of China? |
14682 | Denial of impossible worlds involves two different confusions [Salmon,N] |
Full Idea: Every argument I am aware of against impossible worlds confuses ways for things to be with ways things might have been, or worse, confuses ways things cannot be with ways for things to be that cannot exist - or worse yet, commits both errors. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], III) | |
A reaction: He is claiming that 'ways for things to be' allows impossible worlds, whereas 'ways things might have been' appears not to. (I think! Read the paragraph yourself!) |
14687 | Without impossible worlds, how things might have been is the only way for things to be [Salmon,N] |
Full Idea: If one ignores impossible worlds, then ways things might have been are the only ways for things to be that are left. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], IV) | |
A reaction: Impossible worlds are included in 'ways for things to be', but excluded from 'ways things might have been'. I struggle with a circle being square as a 'way for circles to be'. I suppose being the greatest philosopher is a way for me to be. |
14683 | Possible worlds rely on what might have been, so they can' be used to define or analyse modality [Salmon,N] |
Full Idea: On my conception, the notions of metaphysical necessity and possibility are not defined or analyzed in terms of the apparatus of possible worlds. The order of analysis is just the reverse: possible worlds rely on the notion of what might have been. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], IV) | |
A reaction: This view seems to be becoming the new orthodoxy, and I certainly agree with it. I have no idea how you can begin to talk about possible worlds if you don't already have some idea of what 'possible' means. |
14672 | Possible worlds are maximal abstract ways that things might have been [Salmon,N] |
Full Idea: I conceive of possible worlds as certain sorts of maximal abstract entities according to which certain things (facts, states of affairs) obtain and certain other things do not obtain. They are total ways things might have been. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], I) |
14675 | Possible worlds just have to be 'maximal', but they don't have to be consistent [Salmon,N] |
Full Idea: As far as I can tell, worlds need not be logically consistent. The only restriction on worlds is that they must be (in some sense) 'maximal' ways for things to be. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], I) | |
A reaction: The normal idea of a maximal model is that it must contain either p or ¬p, and not both, so I don't think I understand this thought, but I pass it on. |
14673 | You can't define worlds as sets of propositions, and then define propositions using worlds [Salmon,N] |
Full Idea: It is not a good idea to think of possible worlds as sets of propositions, and at the same time to think of propositions as sets of possible worlds. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], I n3) | |
A reaction: Salmon favours thinking of worlds as sets of propositions, and hence rejects the account of propositions as sets of worlds. He favours the 'Russellian' view of propositions, which seem to me to be the same as 'facts'. |