In philosophical logic, the concept of an impossible world (sometimes non-normal world) is used to model certain phenomena that cannot be adequately handled using ordinary possible worlds.
哲学的論理学において、不可能世界 (impossible world) の概念は、正規（通常）の可能世界を用いて適切に扱うことのできない特定の現象をモデル化するために用いられる。