PhilosophyIdeas.com Database     |     Current Total Ideas: 22,967     |     home     |     back

Ideas from 'Model Theory for Modal Logic I' by Kit Fine [1978], by Theme Structure

green numbers give full details    |     back to texts     |     unexpand this 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
                        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'.