Modal metaphysics is a branch of philosophy that investigates the metaphysics underlying statements about what is possible or necessary. These include propositions such as "It is possible that I become a dentist" or "Necessarily, 2 + 2 = 4." Unlike ordinary factual statements, modal statements concern not just what is actual but what could or must be the case. Modal metaphysics seeks to understand what makes such statements true or false—what grounds their truth.
One influential framework for understanding modal claims comes from the development of modal logic, especially in the work of Saul Kripke. Kripke introduced the use of possible worlds as a formal tool: abstract representations of how things could have been. On this view, a statement like "Possibly, p" is true if there exists at least one possible world where p is true; "Necessarily, p" is true if p holds in every possible world.
