ABSTRACT

Under the standard interpretation what this means is that if everything necessarily possesses a certain property <f>, then it is necessarily the case that everything possesses that property. But now, it is sometimes argued, even if everything that actually exists is necessarily <f>, this does not preclude the possibility that there might have existed some other things which were not (j> — and in that case it would not be a necessary truth that everything is <j>.