more from Kit Fine

Single Idea 9560

[catalogued under 4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5]

Full Idea

S5 provides the correct logic for necessity in the broadly logical sense.

Gist of Idea

S5 provides the correct logic for necessity in the broadly logical sense

Source

Kit Fine (Model Theory for Modal Logic I [1978], 151), quoted by Charles Chihara - A Structural Account of Mathematics

Book Reference

Chihara,Charles: 'A Structural Account of Mathematics' [OUP 2004], p.171


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'.