Combining Texts
Ideas for
'Metaphysics', 'Potentiality' 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
12 ideas
10. Modality / A. Necessity / 2. Nature of Necessity
12611
|
Necessity makes alternatives impossible [Aristotle]
|
19008
|
The modern revival of necessity and possibility treated them as special cases of quantification [Vetter]
|
19029
|
It is necessary that p means that nothing has the potentiality for not-p [Vetter]
|
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
14690
|
In the S5 account, nested modalities may be unseen, but they are still there [Salmon,N]
|
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]
|
14688
|
Without impossible worlds, the unrestricted modality that is metaphysical has S5 logic [Salmon,N]
|
14685
|
Metaphysical necessity is NOT truth in all (unrestricted) worlds; necessity comes first, and is restricted [Salmon,N]
|
10. Modality / A. Necessity / 6. Logical Necessity
17852
|
A thing has a feature necessarily if its denial brings a contradiction [Aristotle]
|
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]
|