display all the ideas for this combination of texts
3 ideas
| 13721 | 'Strong' necessity in all possible worlds; 'weak' necessity in the worlds where the relevant objects exist [Sider] |
| Full Idea: 'Strong necessity' requires the truth of 'necessarily φ' is all possible worlds. 'Weak necessity' merely requires that 'necessarily φ' be true in all worlds in which objects referred to within φ exist. | |
| From: Theodore Sider (Logic for Philosophy [2010], 9.6.3) | |
| A reaction: This seems to be a highly desirably distinction, given the problem of Idea 13719. It is weakly necessary that humans can't fly unaided, assuming we are referring the current feeble wingless species. That hardly seems to be strongly necessary. |
| 13707 | Maybe metaphysical accessibility is intransitive, if a world in which I am a frog is impossible [Sider] |
| Full Idea: Some argue that metaphysical accessibility is intransitive. The individuals involved mustn't be too different from the actual world. A world in which I am a frog isn't metaphysically possible. Perhaps the logic is modal system B or T. | |
| From: Theodore Sider (Logic for Philosophy [2010], 6.3.1) | |
| A reaction: This sounds rather plausible and attractive to me. We don't want to say that I am necessarily the way I actually am, though, so we need criteria. Essence! |
| 13709 | Logical truths must be necessary if anything is [Sider] |
| Full Idea: On any sense of necessity, surely logical truths must be necessary. | |
| From: Theodore Sider (Logic for Philosophy [2010], 6.4) |