more on this theme     |     more from this thinker


Single Idea 16958

[filed under theme 4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4 ]

Full Idea

In S4 logic the actual world is, in itself, special, not just from our point of view.

Gist of Idea

In S4 the actual world has a special place

Source

Michael Dummett (Could There Be Unicorns? [1983], 8)

Book Ref

Dummett,Michael: 'The Seas of Language' [OUP 1993], p.348


A Reaction

S4 lacks symmetricality, so 'you can get there, but you can't get back', which makes the starting point special. So if you think the actual world has a special place in modal metaphysics, you must reject S5?


The 9 ideas from 'Could There Be Unicorns?'

If something is only possible relative to another possibility, the possibility relation is not transitive [Dummett]
Relative possibility one way may be impossible coming back, so it isn't symmetrical [Dummett]
It was realised that possible worlds covered all modal logics, if they had a structure [Dummett]
Generalised talk of 'natural kinds' is unfortunate, as they vary too much [Dummett]
To explain generosity in a person, you must understand a generous action [Dummett]
If possibilitiy is relative, that might make accessibility non-transitive, and T the correct system [Dummett]
In S4 the actual world has a special place [Dummett]
Possible worlds aren't how the world might be, but how a world might be, given some possibility [Dummett]
If possible worlds have no structure (S5) they are equal, and it is hard to deny them reality [Dummett]