Combining Texts
Ideas for
'Introduction to 'Properties'', 'talk' and 'The Logic of What Might Have Been'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
8 ideas
10. Modality / A. Necessity / 3. Types of Necessity
14680
|
Logical possibility contains metaphysical possibility, which contains nomological possibility [Salmon,N]
|
10. Modality / A. Necessity / 5. Metaphysical Necessity
14677
|
Metaphysical necessity is said to be unrestricted necessity, true in every world whatsoever [Salmon,N]
|
14679
|
Bizarre identities are logically but not metaphysically possible, so metaphysical modality is restricted [Salmon,N]
|
14685
|
Metaphysical necessity is NOT truth in all (unrestricted) worlds; necessity comes first, and is restricted [Salmon,N]
|
14688
|
Without impossible worlds, the unrestricted modality that is metaphysical has S5 logic [Salmon,N]
|
14690
|
In the S5 account, nested modalities may be unseen, but they are still there [Salmon,N]
|
10. Modality / A. Necessity / 6. Logical Necessity
14681
|
Logical necessity is free of constraints, and may accommodate all of S5 logic [Salmon,N]
|
10. Modality / A. Necessity / 7. Natural Necessity
14676
|
Nomological necessity is expressed with intransitive relations in modal semantics [Salmon,N]
|