Here is a question that sits at the intersection of metaphysics and philosophy of science: are the laws of nature necessary, or could they have been otherwise? It might seem like an abstract curiosity, but the answer reshapes how we understand explanation, possibility, and the very fabric of physical reality.

When a physicist says that opposite charges attract, is she describing a brute regularity that happens to hold in our universe—one that could easily have failed? Or is she uncovering something deeper, a truth rooted in the very identity of charge itself, something that couldn't have been different without the property ceasing to be what it is?

This debate between contingentism and necessitarianism about laws is one of the most consequential in contemporary metaphysics. It determines what we mean by physical possibility, what counts as a genuine explanation, and whether the space of possible worlds is radically wider or far narrower than we tend to imagine.

The dominant tradition in analytic philosophy, tracing back to David Hume's scepticism about necessary connections in nature, holds that laws are contingent regularities. On the best-known version of this view—David Lewis's Best System Account—laws are simply the axioms of the deductive system that best balances strength and simplicity in summarising the total pattern of actual occurrences. They describe what happens, but they don't explain why it must happen.

The implications for modality are dramatic. If laws are contingent, then there are possible worlds where electrons repel protons, where gravity is repulsive, or where mass and energy are entirely unrelated. The same fundamental properties can, in principle, participate in radically different nomic arrangements. This means the space of metaphysical possibility is vastly wider than the space of physical possibility—physical possibility is just a restricted region carved out by our particular laws.

Humeans often regard this as a virtue. It preserves a clean separation between what is the case and what must be the case. It avoids positing mysterious necessary connections lurking behind observable regularities. And it aligns with a broadly empiricist temperament: all we ever observe are patterns, not necessities. The necessity we attribute to laws is, on this picture, a projection of our systematising habits onto a world that is, at bottom, modally flat.

But the Humean picture faces pressure. If laws are just summaries of patterns, what grounds counterfactual reasoning? When we say that if I had dropped this glass it would have shattered, we rely on laws holding across counterfactual scenarios. Yet on strict Humeanism, it's unclear why a mere summary of actual events should constrain what happens in non-actual situations. The contingentist must give some account of why these regularities, among all possible ones, are the right ones to project—and that account threatens to reintroduce something stronger than mere regularity.

Takeaway

If laws are contingent, the space of what could have been is enormously wide—but the cost may be an inability to explain why regularities hold reliably enough to ground prediction and counterfactual reasoning.

The necessitarian alternative, developed by philosophers such as Sydney Shoemaker, Brian Ellis, and Alexander Bird, inverts the Humean picture. On this view, fundamental properties have their causal and nomic roles essentially. Negative charge doesn't merely happen to attract positive charge in our world—attracting positive charge is partially constitutive of what it is to be negative charge. Strip that dispositional profile away and you no longer have the same property.

This yields a powerful thesis: laws of nature are metaphysically necessary. They hold in every possible world because they flow from the essences of the properties they involve. A world where electrons repel protons is not a world with the same property of negative charge governed by different laws—it is a world with a different property entirely, one that merely resembles charge superficially. The apparent conceivability of altered laws is, on this analysis, a case of mistaking conceptual possibility for genuine metaphysical possibility.

The framework draws heavily on the apparatus of dispositional essentialism. Properties are individuated not by their qualitative character—not by what they look like—but by what they do, by their full profile of dispositions, powers, and causal contributions. This is a structuralist conception: properties are nodes in a web of nomic relations, and their identity is fixed by their position in that web. Change the relations and you change the property.

Necessitarianism gains elegance by collapsing two questions into one. Instead of asking separately what properties exist and what laws govern them, we get a unified answer: the laws are built into the properties. There is no metaphysical gap between the categorical nature of a property and its nomic behaviour. This eliminates the notorious inference problem—the question of how categorical properties manage to generate lawful behaviour—because there is no categorical residue left over once the dispositional essence is specified.

Takeaway

If properties carry their causal roles essentially, laws become expressions of what things fundamentally are—and the question 'why these laws?' dissolves into the question 'why these properties?'

This debate is not merely scholastic—it generates different pictures of what science is doing when it discovers laws. On the contingentist picture, science maps the actual regularities of our world. Explanation consists in showing that particular events instantiate broader patterns, and the fundamental laws are, in a sense, where explanation stops. They are brute: the world simply is this way, and it could have been otherwise.

On the necessitarian picture, discovering a law is more like uncovering the nature of a property. When physics reveals that mass curves spacetime, it reveals something about the essence of mass—something that holds of necessity. Explanation goes deeper because laws are not brute; they are grounded in the identities of the properties involved. This gives scientific explanation a satisfying metaphysical foundation, but it also constrains what counts as a genuine alternative physics.

The stakes become concrete when we consider physical possibility. If necessitarianism is correct, then physical possibility and metaphysical possibility are much closer together than Humeans assume—perhaps even identical for the fundamental laws. Thought experiments about universes with different laws are, strictly speaking, incoherent if they presuppose the same properties. This narrows the space of live scientific alternatives and arguably makes the fine-tuning of our universe less mysterious: if the constants couldn't have been different given our properties, there is nothing to explain.

Conversely, contingentism preserves a wider landscape of theoretical possibility, which some argue is essential for scientific creativity. Physicists regularly entertain hypothetical scenarios with modified constants and alternative force laws. If these aren't genuinely possible, what epistemic work are they doing? The necessitarian owes an account of how merely conceivable but impossible scenarios can still be scientifically useful—a task that is difficult but not obviously insurmountable, since mathematicians routinely reason about structures that may have no physical instantiation.

Takeaway

Whether laws are necessary or contingent determines the depth of scientific explanation and the breadth of physical possibility—shaping not just metaphysics but our understanding of what science itself reveals about reality.

The debate between necessitarianism and contingentism about laws is, at root, a question about where modality lives. Is necessity an external constraint imposed on a world of freely recombinable properties? Or does it emerge from within, woven into the identities of the properties themselves?

Neither answer is metaphysically innocent. Contingentism purchases explanatory flexibility at the cost of brute regularities. Necessitarianism purchases explanatory depth at the cost of narrowing the space of possibility and rethinking what properties fundamentally are.

What hangs on the question is nothing less than the relationship between identity and law, between what things are and what they do—a question that sits at the very foundation of how reality is structured.