Combining Texts

Ideas for 'God and Human Attributes', 'Popular Scientific Lectures' and 'Mere Possibilities'

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 / a. Systems of modal logic

16468	Non-S5 can talk of contingent or necessary necessities [Stalnaker]
	Full Idea: One can make sense of necessary versus contingent necessities in a non-S5 modal semantics.
	From: Robert C. Stalnaker (Mere Possibilities [2012], 4.3 n17)
	A reaction: In S5 □φ → □□φ, so all necessities are necessary. Does it make any sense to say 'I suppose this might have been necessarily true'?