Combining Texts
Ideas for
'Protagoras', 'The Logic of What Might Have Been' and 'Identity and Spatio-Temporal Continuity'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
16 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
14685
|
Metaphysical necessity is NOT truth in all (unrestricted) worlds; necessity comes first, and is restricted [Salmon,N]
|
14690
|
In the S5 account, nested modalities may be unseen, but they are still there [Salmon,N]
|
14688
|
Without impossible worlds, the unrestricted modality that is metaphysical has S5 logic [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]
|
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]
|
10. Modality / C. Sources of Modality / 5. Modality from Actuality
14689
|
Necessity and possibility are not just necessity and possibility according to the actual world [Salmon,N]
|
10. Modality / E. Possible worlds / 1. Possible Worlds / b. Impossible worlds
14674
|
Impossible worlds are also ways for things to be [Salmon,N]
|
14682
|
Denial of impossible worlds involves two different confusions [Salmon,N]
|
14687
|
Without impossible worlds, how things might have been is the only way for things to be [Salmon,N]
|
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
14683
|
Possible worlds rely on what might have been, so they can' be used to define or analyse modality [Salmon,N]
|
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
14675
|
Possible worlds just have to be 'maximal', but they don't have to be consistent [Salmon,N]
|
14672
|
Possible worlds are maximal abstract ways that things might have been [Salmon,N]
|
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / c. Worlds as propositions
14673
|
You can't define worlds as sets of propositions, and then define propositions using worlds [Salmon,N]
|