I wouldn’t say goals as short descriptions are necessarily “part of the world”.
Anyway, locality definitely seems useful to make a distinction in this case.
I wouldn’t say goals as short descriptions are necessarily “part of the world”.
Anyway, locality definitely seems useful to make a distinction in this case.