Combining Texts
Ideas for
'works', 'Modality' and 'First-Order Modal Logic'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
8 ideas
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
|
5734
|
Possible worlds make it possible to define necessity and counterfactuals without new primitives [Melia]
|
|
5742
|
In possible worlds semantics the modal operators are treated as quantifiers [Melia]
|
|
5743
|
If possible worlds semantics is not realist about possible worlds, logic becomes merely formal [Melia]
|
|
5749
|
Possible worlds could be real as mathematics, propositions, properties, or like books [Melia]
|
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / b. Worlds as fictions
|
5751
|
The truth of propositions at possible worlds are implied by the world, just as in books [Melia]
|
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
|
13725
|
□ must be sensitive as to whether it picks out an object by essential or by contingent properties [Fitting/Mendelsohn]
|
|
13731
|
Objects retain their possible properties across worlds, so a bundle theory of them seems best [Fitting/Mendelsohn]
|
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
|
13726
|
Counterpart relations are neither symmetric nor transitive, so there is no logic of equality for them [Fitting/Mendelsohn]
|