Combining Texts

Ideas for 'works (all lost)', 'The World as Will and Idea' and 'Modal Logic within Counterfactual Logic'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5

14626	In S5 matters of possibility and necessity are non-contingent [Williamson]
	Full Idea: In system S5 matters of possibility and necessity are always non-contingent.
	From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 3)
	A reaction: This will be because if something is possible in one world (because it can be seen to be true in some possible world) it will be possible for all worlds (since they can all see that world in S5).