You can unambiguously sort worlds where the proposition is true from worlds where the proposition is false.
Doesn’t this depend on having an unambiguous test for whether reality in a given world is a safe and cozy haven? If one were skeptical of the possibility of such a test, one might consider the quoted statement vague.
Doesn’t this depend on having an unambiguous test for whether reality in a given world is a safe and cozy haven? If one were skeptical of the possibility of such a test, one might consider the quoted statement vague.
No, you need to have unambiguous tests for “consequences other than harm” and “trying to make reality a safe and cozy haven”.
The proposition leaves open the possibility that one might accidentally make reality a safe and cozy haven without trying and thus cause non-harm.
You are entirely correct! Teach me to be sloppy.