Modal metaphysics: Difference between revisions

Content deleted Content added
added content because currently it sucks , if this gets rejected someone needs to improve this asap
Tags: Mobile edit Mobile web edit Disambiguation links added
Dab links
 
Line 1:
{{Short description|Branch of philosophy}}
'''Modal metaphysics''' is a branch of [[philosophy]] that investigates the [[metaphysics]] underlying statements about what is [[subjunctive possibility|possible]] or [[metaphysical necessity|necessary]].<ref>[http://www.iep.utm.edu/mod-meta/ "Modal Metaphysics"] – ''[[Internet Encyclopedia of Philosophy]]''</ref> 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.