1.Previous
3.Next

there exists at least one possible world where p is true; "Necessarily, p" is true if p holds in every possible world.

However, while Kripke's logic provided a powerful semantic apparatus, it did not resolve the metaphysical question at the heart of modal metaphysics: What are possible worlds? And what makes them the truth-makers of modal statements? In other words, even if modal logic explains how modal statements are evaluated, it does not explain why they are true.