Possible world

A semantic device for evaluating modal discourse, whereby claims of possibility are made true by what happens at other (accessible) possible worlds. The utility of the semantics leads some philosophers to posit the existence of possible worlds, either as abstract objects or as distinct (although causally isolated) spatiotemporal objects.