Combining Texts

Ideas for 'fragments/reports', 'Model Theory for Modal Logic I' and 'A Dictionary of Political Thought'

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

9560	S5 provides the correct logic for necessity in the broadly logical sense [Fine,K]
	Full Idea: S5 provides the correct logic for necessity in the broadly logical sense.
	From: Kit Fine (Model Theory for Modal Logic I [1978], 151), quoted by Charles Chihara - A Structural Account of Mathematics
	A reaction: I have no view on this, but I am prejudiced in favour of the idea that there is a correct logic for such things, whichever one it may be. Presumably the fact that S5 has no restrictions on accessibility makes it more comprehensive and 'metaphysical'.