ABSTRACT
In section 12 we found that in quantified modallogic, identicals have to be necessarily identical. The reason was that for purposes of interpretation the individuals of the actual world have to keep their identity in all worlds which are possible with respect to the actual world. (Or in general: the individuals over which we quantify have to keep their identity in all worlds which are possible with respect to the world in which we quantify over them.) That is, each individual in the actual world has to have some specific individual corresponding to it in every world which is possible with respect to the actual world. In terms of our illustration from section 12, the following situation is intolerable:
(1)
actual world
and
The following situation appears, however, to be tolerable:
(2)
actual world f!'
