Modal metaphysics: Difference between revisions

Revision as of 00:32, 14 August 2017

Latest revision as of 13:47, 16 July 2025

(13 intermediate revisions by 9 users not shown)

Line 1:

{{Short description|Branch of philosophy}}

'''Modal metaphysics''' concerns the [[Metaphysics|metaphysical]] underpinning of modal statements, [[Modal realism|modal facts]] are construed as facts about possible worlds, where the actual world is just one among the many worlds that are possible. <ref>http://www.iep.utm.edu/mod-meta/</ref>

'''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.

== References ==

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.

==See also==

* [[Modal logic]]

* [[Modal neo-logicism]]

== References ==

{{reflist}}

[[Category:MetaphysicsSubfields of metaphysics]]

[[Category:Modal metaphysics| ]]

{{metaphysics-stub}}