念。一个必要的事实在所有可能的世界中都是真的。一个可能的事实在一些可能的世界中是真实的，即使在实际的世界中不是。例如，猫有可能有两条尾巴，或者任何特殊的苹果不可能存在。与此相反，某些命题似乎是必然真实的，例如分析命题，例如 "所有的单身汉都是未婚的"。逻辑真理都是必然的，这种观点在哲学家中并不普遍。一种争议较小的观点是，自我同一性是必要的，因为声称任何x与自身不完全相同似乎从根本上讲是不一致的；这被称为同一律，是一种推定的 "第一原则"。同样，亚里士多德也描述了矛盾律。Section:::