Inphilosophy,metaphysical necessity, sometimes calledbroad logical necessity,[1] is one of many different kinds ofnecessity, which sits between logical necessity andnomological (or physical) necessity, in the sense that logical necessity entails metaphysical necessity, but not vice versa, and metaphysical necessity entails physical necessity, but not vice versa. Aproposition is said to benecessary if it could not have failed to be the case.Nomological necessity is necessity according to the laws of physics and logical necessity is necessity according to the laws of logic, while metaphysical necessities are necessary in the sense that the world could not possibly have been otherwise. What facts are metaphysically necessary, and on what basis we might view certain facts as metaphysically but not logically necessary are subjects of substantial discussion in contemporary philosophy.
The concept of a metaphysically necessary being plays an important role in certainarguments for the existence of God, especially theontological argument, but metaphysical necessity is also one of the central concepts in late 20th centuryanalytic philosophy. Metaphysical necessity has proved a controversial concept, and criticized byDavid Hume,Immanuel Kant,J. L. Mackie, andRichard Swinburne, among others.
Metaphysical necessity is contrasted with other types of necessity. Metaphysical necessity is often the most difficult to distinguish. Therefore, it can be helpful to understand the different types to distinguish each more clearly.
Hume's dictum is a thesis about necessary connections between distinct entities. Its original formulation can be found inDavid Hume'sA Treatise of Human Nature: "There is no object, which implies the existence of any other if we consider these objects in themselves".[3] Hume's intuition motivating this thesis is that while experience presents us with certain ideas of various objects, it might as well have presented us with very different ideas. So when I perceive a bird on a tree, I might as well have perceived a bird without a tree or a tree without a bird. This is so because theiressences do not depend upon another.[3]David Lewis follows this line of thought in formulating hisprinciple of recombination: "anything can coexist with anything else, at least provided they occupy distinct spatiotemporal positions. Likewise, anything can fail to coexist with anything else".[4]
Hume's dictum has been employed in various arguments in contemporarymetaphysics. It can be used, for example, as an argument against nomological necessitarianism, the view that thelaws of nature are necessary, i.e. are the same in all possible worlds.[5][6] To see how this might work, consider the case of salt being thrown into a cup of water and subsequently dissolving.[7] This can be described as a series of two events, a throwing-event and a dissolving-event. Necessitarians hold that all possible worlds with the throwing-event also contain a subsequent dissolving-event. But the two events are distinct entities, so according to Hume's dictum, it is possible to have one event without the other. An even wider application is to use Hume's dictum as an axiom of modality to determine which propositions or worlds are possible based on the notion of recombination.[8][9]
Ludwig Wittgenstein likewise critiqued the notion of 'metaphysical neccessity' writing that "the sun will rise to-morrow, is an hypothesis; and that means that we do not know whether it will rise. A necessity for one thing to happen because another has happened does not exist. There is only logical necessity".[10]
Absolute necessity is a modality of necessity which is at least as strong as all others, where all its necessities are necessities of every other type. Philosophers disagree over whether logical necessity or metaphysical necessity is absolute, with some arguing they are identical and others distinguishing them. This debate centers on whether logical necessity, grounded in formal logic, or metaphysical necessity, often tied to the essences of objects, provides the most fundamental account of what must be true.[citation needed]
If logical necessity is absolute, then all logical necessities (e.g., "if A then B") are also physical or metaphysical necessities. Some philosophers, notablyBob Hale, argue that logical necessity is absolute necessity, meaning there is no sense in which a logical necessity could be false.[11] Hale defines logical necessity broadly to include not only logical truths (e.g., "A or not-A") but also conceptual necessities, such as "all vixens are female," which depend on the meanings of nonlogical terms. His argument, inspired by Ian McFetridge, uses areductio ad absurdum: assuming a logical necessity (e.g., "if A then B") and a possibility where it fails leads to a contradiction, suggesting logical necessities hold in all possible scenarios. Hale posits that logical necessity is the most restrictive modality, subsumed by all other necessities, making it absolute.[citation needed]
Critics, such as Scott Shalkowski, challenge this view, arguing that Hale’s broadly logical necessity is not absolute because stricter necessities, like austerely logical necessity (truths dependent only on logical constants), exist.[12] Additionally, nontraditional logics, such asparaconsistent logics, allow contradictions to be possible, undermining Hale’s assumption that contradictions are impossible. Shalkowski contends that Hale’s argument fails to establish logical necessity as absolute, as it does not address essentialist claims that metaphysical necessity is more fundamental.[citation needed]
Essentialist philosophers argue that metaphysical necessity, grounded in the essences or natures of objects, is absolute, with logical necessity as a subset.[13]Essentialism holds that some truths are necessary due to the intrinsic nature of objects or propositions, such as water’s chemical composition (H2O) or an object's origin. For example, while it is logically possible for a lectern to be made of ice, essentialists argue it is metaphysically impossible if its essence requires a different material. Similarly,Queen Elizabeth II’s parentage is essential to her identity, ruling out logical possibilities of different origins.[citation needed]
Shalkowski argues that logical necessity depends on a prior metaphysical necessity, as model-theoretic accounts of logical truths (e.g., truth in all models) assume modal constraints about what counts as a possible model. Essentialists view logical necessities as truths about the essences of logical items (e.g., propositions) or universal truths across all objects, while nonlogical metaphysical necessities are specific to certain entities. By constraining genuine possibilities to those consistent with essences, metaphysical necessity is seen as absolute, unlike logical necessity, which overgenerates possibilities by ignoring specific essences.[citation needed]
The debate over absolute necessity reflects differing views on modality’s foundations. Proponents of logical necessity value its apparent clarity and formal grounding, while essentialists argue it presupposes metaphysical commitments. Both sides rely ona priori reasoning to justify their constraints on possibility, leaving the question of absolute necessity open for further exploration.[citation needed]
InNaming and Necessity,[14]Saul Kripke argued that there werea posteriori truths, such as "Hesperus is Phosphoros", or "Water is H2O", that were nonetheless metaphysically necessary.
While many theologians (e.g.Anselm of Canterbury,René Descartes, andGottfried Leibniz) considered God to be a logically or metaphysically necessary being,Richard Swinburne argued for factual necessity, andAlvin Plantinga argues that God is a causally necessary being. Because a factually or causally necessary being does not exist by logical necessity, it does not exist in all logically possible worlds.[15] Therefore, Swinburne used the term "ultimate brute fact" for the existence of God.[16]