What is the difference between logical necessity and metaphysical necessity in contemporary philosophy, and which one is attributed to God?

Logical and metaphysical necessity constitute one of the most important distinctions in contemporary metaphysics, particularly in the work of Saul Kripke and David Lewis. Understanding this distinction is fundamental for comprehending the contemporary debate about the nature of divine existence.

Inadequate Responses to Avoid

From some defenders of theism: "Logical necessity and metaphysical necessity are one and the same; the distinction is a philosophical innovation." This is a historical and methodological error. The distinction is ancient and has roots in Islamic philosophy (the difference between the necessary in itself and the impossible in itself in Ibn Sīnā). "God is necessary in every possible sense of necessity." This is a reductive oversimplification. Even theistic philosophers disagree about which type of necessity should be attributed to God.

From some naturalists: "Only logical necessity is real; metaphysical necessity is an illusion." This is a specific philosophical position (logical empiricism) without consensus. "If God is only metaphysically necessary, then it is logically possible that he does not exist." This confuses levels of necessity with their implications.

The Basic Distinction

Logical Necessity. A proposition is logically necessary if its negation leads to an explicit logical contradiction. Example: "All bachelors are unmarried" is logically necessary because "married bachelor" is a contradiction in terms. Logical necessity is tied to laws of logic and definitions of concepts.

Metaphysical Necessity. A proposition is metaphysically necessary if it is true in every metaphysically possible world, even if its negation is not a logical contradiction. Kripke's famous example: "Water is H₂O" is metaphysically necessary — in every possible world, water is H₂O. But it is not logically necessary, because "water is not H₂O" is not a logical contradiction (before the discovery of chemical composition, it was reasonable to conceive that water was a simple substance).

The Contemporary Philosophical Framework

Kripke's revolution in "Naming and Necessity" (1980) separated:
- Necessity/possibility (metaphysical topic)
- A priori/a posteriori (epistemological topic)
- Analytic/synthetic (semantic topic)

Before Kripke, it was assumed that necessary = a priori = analytic. Kripke demonstrated the existence of necessary a posteriori truths (like "water is H₂O") and contingent a priori truths.

Which Necessity Is Attributed to God?

The Classical Position (Anselm, Ibn Sīnā, Aquinas). God is necessary in the strongest possible sense. For Ibn Sīnā: necessary existent by essence (wājib al-wujūd bi-dhātih), impossible of non-existence. For Anselm: the being than which no greater can be conceived exists necessarily. These thinkers did not clearly distinguish between types of necessity, but from their context it is understood that they meant absolute necessity.

The Modern Position (Leibniz, Descartes). Leibniz: God is the only necessary being; everything else is contingent. He used the principle of sufficient reason to prove the existence of a necessary being. Descartes in the "Meditations" made God's existence necessary like mathematical truths.

Diverse Contemporary Positions

Plantinga and Broadly Logical Necessity. In his modal formulation of the ontological argument, Plantinga uses "broadly logical necessity," which includes metaphysical necessity. God for him is necessary in this broad sense.

Swinburne and Factual Necessity. Richard Swinburne distinguishes between logical necessity (which he denies about God) and factual necessity. God for him is factually necessary: existing eternally, but his existence is not a logical necessity.

The Humean-Kantian Critique. David Hume: "Whatever can be conceived as non-existent can be conceived as existent." There is no being whose existence is logically necessary. Kant: Existence is not a predicate, so logical necessity does not apply to existence.

Contemporary Responses to the Humean Critique

The Kripkean Response: Conceivability is not evidence for metaphysical possibility. We can conceive that water is not H₂O, but this is metaphysically impossible. Similarly, we might be able to conceive God's non-existence (epistemologically) while he remains metaphysically necessary.

The Plantingian Response: Even if God's existence is not narrowly logically necessary, it can be broadly logically necessary, including basic metaphysical facts.

Theological Applications

If God is logically necessary: Denying his existence is self-contradictory, the ontological argument succeeds directly, atheism is a logically inconsistent position.

If God is only metaphysically necessary: Denying his existence is not a logical contradiction but a metaphysical error, the ontological argument needs complex modal formulation, atheism is mistaken but not self-contradictory.

The Contemporary Conciliatory Position

Many contemporary philosophers of religion (Brian Leftow, Timothy O'Connor) adopt a conciliatory position: God is certainly metaphysically necessary, and perhaps logically necessary in a broad sense that includes primary metaphysical principles. The distinction is important for philosophical precision, but we should not exaggerate the separation between the two types.

Where We Stand in This Debate Today

The debate is ongoing and active. Partial consensus: God (if he exists) is metaphysically necessary. The disagreement: Is he also logically necessary? And what are the implications of each position? The debate connects to other issues: the nature of possibles, possible worlds, essence and existence.

For Advanced Reading

- Advanced level: The debate about "existentialism" in Plantinga versus "essentialism" in Brian Leftow
- Saul Kripke, Naming and Necessity (1980)
- Alvin Plantinga, The Nature of Necessity (1974)
- Richard Swinburne, The Coherence of Theism (rev. ed., 1993)
- Brian Leftow, "God and Necessity" in God and Morality (2012)