Combining Texts
Ideas for
'Mahaprajnaparamitashastra', 'First-Order Modal Logic' and 'Logic for Philosophy'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
9 ideas
10. Modality / A. Necessity / 3. Types of Necessity
13721
|
'Strong' necessity in all possible worlds; 'weak' necessity in the worlds where the relevant objects exist [Sider]
|
10. Modality / A. Necessity / 5. Metaphysical Necessity
13707
|
Maybe metaphysical accessibility is intransitive, if a world in which I am a frog is impossible [Sider]
|
10. Modality / A. Necessity / 6. Logical Necessity
13709
|
Logical truths must be necessary if anything is [Sider]
|
10. Modality / B. Possibility / 8. Conditionals / b. Types of conditional
13716
|
'If B hadn't shot L someone else would have' if false; 'If B didn't shoot L, someone else did' is true [Sider]
|
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]
|
13717
|
Transworld identity is not a problem in de dicto sentences, which needn't identify an individual [Sider]
|
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]
|
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
13719
|
Barcan Formula problem: there might have been a ghost, despite nothing existing which could be a ghost [Sider]
|