The Impossibility of Metaphysical Closure

 

The Impossibility of Metaphysical Closure:

Ontic and Epistemic Limits on Complete Metaphysical Systems

Kenneth Myers

Abstract This paper argues that metaphysical closure—the aspiration to produce a complete and final account of what exists and why—is impossible in principle. The argument proceeds by distinguishing two independent forms of uncertainty: ontic uncertainty, in which reality itself leaves certain propositions unsettled, and epistemic uncertainty, in which agents are structurally unable to know or justify certain truths. I show that each form of uncertainty independently undermines the possibility of a closed metaphysical system. When combined, they yield a general Impossibility Theorem of Metaphysical Closure. The result is not merely epistemological: it reveals something fundamental about the nature of existence itself.

1 Introduction

The history of metaphysics is marked by recurring attempts to produce a complete, final, and closed account of reality. From Parmenides to Spinoza to contemporary analytic metaphysics, the ideal of a total system—one that decides every metaphysically meaningful proposition—has exerted a powerful gravitational pull. Yet the last century of logic and the last several decades of metaphysics have revealed deep structural obstacles to such closure.

This paper develops a unified framework for understanding these obstacles. I argue that metaphysical closure is impossible whenever either (i) reality is ontically open or (ii) agents are epistemically limited. These two forms of uncertainty are independent, and each suffices to block closure. Their union yields a general impossibility theorem: no metaphysical system can be both adequate and complete unless reality is fully determinate and all truths are knowable—a scenario that is metaphysically degenerate and arguably incoherent.

2 Ontic Uncertainty

To understand ontic uncertainty, we must first clarify the metaphysical framework within which propositions receive their truth-values. Let W be the set of metaphysically possible worlds. A world w in W is a complete specification of reality: it determines, for every metaphysically meaningful proposition p in P, whether p is true, false, or (in some frameworks) indeterminate. A world-state is the total configuration of facts that obtain in a given world.

A proposition p is ontically determinate if every admissible world w fixes its truth-value. Conversely, a proposition u is ontically indeterminate if reality itself does not settle whether u is true or its negation.

Succinctly:

A proposition u is ontically indeterminate iff no world in W makes u true or makes its negation true.

Ontic uncertainty is thus a feature of being, not of knowing. It arises when the structure of reality leaves certain propositions unsettled. This idea appears in discussions of metaphysical indeterminacy [Barnes, 2014], determinable-based accounts of vagueness [Wilson, 2013], and open futurism [MacFarlane, 2003].

Ontic uncertainty blocks metaphysical closure because any system that decides an ontically indeterminate proposition misrepresents reality. If u is in U(Ontic), then a closed system must assert u or its negation, but either assertion violates ontic adequacy. Thus ontic openness alone suffices to make closure impossible.

3 Epistemic Uncertainty

Ontic uncertainty concerns what reality fails to settle. Epistemic uncertainty concerns what agents are structurally unable to know, even when reality is fully determinate. To make this precise, let W be the set of metaphysically possible worlds, and let w* in W be the actual world. A proposition p in P is ontically determinate if w* satisfies p or w* satisfies its negation. Epistemic uncertainty arises not from the structure of W, but from the structure of epistemic access.

Let K be the class of epistemic methods available to finite agents: observation, inference, idealized reasoning, theory construction, and any procedure that could in principle be executed by a cognitively limited being. A proposition u is epistemically unknowable if no method in K could, even under ideal conditions, justify belief in u or its negation.

Succinctly:

A proposition u is epistemically unknowable iff no method in K can, even in principle, justify u or justify its negation.

This definition is non-contingent. It does not say that agents happen to lack evidence, or that they have not yet discovered the right method. It says that the architecture of epistemic access itself precludes justification. The limitation is principled, not empirical, that is, the limit comes from the structure of the system itself, not from lack of data, incomplete investigation, theoretical or practical obstacles.

Crucially, epistemic uncertainty is compatible with full ontic determinacy. Even if the actual world w∗ settles every proposition in P, no finite agent can determine which of their systems truly corresponds to the world and which only appears to. In such cases, the world is metaphysically complete, but epistemically opaque.

Succinctly:

Even if reality itself settles every fact, finite agents cannot determine which of their representations truly corresponds to the world. In such cases, the world is metaphysically complete but epistemically impenetrable.

Epistemic uncertainty blocks metaphysical closure because closure requires that a metaphysical system M decide every proposition in P. If u is in U(Epistemic), then any closed system must assert u or its negation, but either assertion exceeds the justificatory capacities of finite agents.

Thus:

If u is epistemically unknowable, then any epistemically adequate system M fails to prove both u and its negation.

The only way to avoid this consequence is to assume that the world is not merely ontically determinate but epistemically transparent. Ontic determinacy is not enough. To escape the result, one must assume something far stronger — that the world is transparent to all finite knowledge-seekers, that every truth is in principle accessible. But epistemic transparency is itself a form of metaphysical closure. It collapses the distinction between what is true and what can be known, thereby presupposing the very condition that a closed metaphysical system aims to establish.

Succinctly:

The only way to save metaphysical closure is to assume metaphysical closure.

Thus epistemic uncertainty yields a necessary impossibility result: unless the world is already closed in the strongest possible sense, no metaphysical system can be both closed and epistemically adequate.

3.1 Simulation and Epistemic Transparency

The epistemic limitations described above have a direct consequence for the possibility of simulating the world. Let W be the set of metaphysically possible worlds, and let w* in W be the actual world. A full simulation of the world would require any system S whose internal structure represents every proposition in P, every truthmaker that settles those propositions, and every modal, (that is, ways the world could be, not just the way it is; possibilities, alternatives, and different ways reality might be arranged) alternative relevant to their determination. Formally, a full simulation would require a mapping;

s: W → States(S)

such that for every p in P:

The actual world w∗ satisfies p if and only if the state s(w∗) satisfies p according to system S.

But any system capable of representing the full truthmaker of w* thereby instantiates a world-state of the same metaphysical depth.

Hence:

A complete representation of the world is itself that world.

Finite agents cannot construct such a system. To do so would require representational, inferential, and modal capacities sufficient to collapse the distinction between the actual world w* and the space of possible worlds W. This would amount to epistemic transparency: the condition under which every truth about w* is knowable in principle. Let K be the class of epistemic methods available to any finite agent, where finitude is understood structurally as the inability to eliminate modal alternatives. Then a full simulation would require a method k in K such that:

k identifies w* uniquely within W,

but no such method exists for finite agents unless the world is already metaphysically closed.

Thus the simulation problem is an instance of the epistemic impossibility result. Even if the world is ontically determinate, finite agents cannot construct a system that fully simulates it without thereby instantiating a world of equal metaphysical richness. Epistemic transparency is equivalent to metaphysical duplication. Therefore:

A full simulation of the world is possible only if the world is already closed in the strongest possible sense. In all epistemically open worlds, simulation at metaphysical depth is impossible for finite agents.

This result reinforces the epistemic axis of the impossibility theorem: closure requires world-level resources, and finite agents cannot possess such resources unless the world itself collapses the epistemic gap.

4 General Adequacy and the Structure of Metaphysical Systems

Let U be the union of the ontically indeterminate and epistemically unknowable propositions, that is, the combined set of U(Ontic) and U(Epistemic). A metaphysical system M is:

• closed

  if it decides every proposition in P;

• generally adequate

  if it refrains from deciding any proposition in U.

Ontic adequacy forbids deciding propositions reality does not determine. Epistemic adequacy forbids claiming knowledge where justification is impossible. General adequacy requires respecting both constraints.

5 The Unified Impossibility Theorem of Metaphysical Closure

Theorem (Unified Impossibility Theorem of Metaphysical Closure).

If U is not the empty set, then no metaphysical system M can be both closed and generally adequate. In particular:

1. If M is closed, then M is inadequate.

2. If M is adequate, then M is not closed.

Proof.

Assume U is not the empty set. Then there exists u in U such that either:

1. u is in U(Ontic) and reality does not determine u or its negation,

   OR

2. u is in U(Epistemic) and no epistemic method can justify u or its negation.

If M is closed, then M proves u or M proves its negation. In either case, M violates adequacy: it either assigns determinacy where reality is indeterminate (ontic inadequacy) or claims knowledge where justification is impossible (epistemic inadequacy). Conversely, if M refrains from deciding u, then M is not closed. Thus no system can satisfy both closure and adequacy.

6 The Failure of Closed Metaphysical Schemes

Closed metaphysical systems fail in one of two ways:

1. They are ontologically presumptuous: they impose determinacy where none exists.

2. They are epistemically hubristic: they claim knowledge that cannot be justified.

The only scenario in which closure is possible is one in which reality is fully determinate and all truths are knowable—a scenario that collapses into a metaphysical monolith with no room for contingency, novelty, or genuine inquiry.

6.1 Parsimony and Metaphysical Closure

A central virtue of the present framework is its parsimony. The argument for the impossibility of metaphysical closure requires only minimal assumptions: a space of metaphysically possible worlds W, an actual world w* in W, a satisfaction relation w satisfies p, and a class K of epistemic methods available to finite agents. From these assumptions alone, we derive both the ontic and epistemic forms of uncertainty, and thus the impossibility of a closed metaphysical system that remains adequate to reality.

Parsimony becomes especially important when considering alternative metaphysical frameworks that attempt to secure closure by positing additional structure. Such frameworks typically assume some form of epistemic transparency: that the world is arranged in such a way that its full structure is, in principle, accessible to finite agents. This assumption is teleological in character. It treats intelligibility as a built-in feature of reality, rather than as a contingent or emergent property. But nothing in the modal or truthmaker-theoretic machinery requires the world to be knowable in this strong sense. The assumption that reality is structured for cognition is an additional metaphysical commitment, not a consequence of the underlying framework.

By contrast, the present account avoids such commitments. It does not assume that the world is arranged for epistemic access, nor that cognition and reality share a privileged structural alignment. Instead, it treats intelligibility as a contingent and limited achievement of finite agents operating within a space of possible worlds they cannot fully collapse. This minimalism is not merely aesthetic. It reflects the fact that no teleological assumption is required to explain epistemic limits. On the contrary, such limits follow directly from the structure of modal space and the finitude of epistemic methods.

Thus, by a straightforward application of parsimony, the non-teleological framework is to be preferred. It explains the impossibility of metaphysical closure without multiplying metaphysical primitives. Any theory that secures closure by assuming epistemic transparency must introduce additional structure—typically in the form of purpose, reflexivity, or built-in intelligibility—that is not forced by the phenomena. The present account requires none of these. It shows that closure is impossible unless the world is already closed in the strongest possible sense, and that there is no independent reason to posit such closure. In this respect, parsimony and metaphysical modesty converge: the world has no teleology toward being knowable, and finite agents have no grounds for assuming otherwise.

7 Conclusion

The impossibility of metaphysical closure follows from minimal assumptions. Once we distinguish the space of metaphysically possible worlds W from the actual world w, and once we recognize that finite agents operate with epistemic methods K that cannot collapse this modal space, both forms of uncertainty become unavoidable. Ontic uncertainty arises when reality itself fails to settle a proposition. Epistemic uncertainty arises even when reality is fully determinate, because finite agents cannot, in principle, identify w uniquely within W. In neither case can a metaphysical system M decide every proposition in P without exceeding the justificatory resources available to finite cognition.

The simulation argument reinforces this point. A full simulation of the world would require a system that instantiates the same truthmaker structure as w*; a complete representation of a world is itself a world. Finite agents cannot construct such a system without thereby duplicating the very metaphysical depth they aim to model. Epistemic transparency therefore requires metaphysical duplication, and duplication is unavailable to finite agents unless the world is already closed in the strongest possible sense.

Parsimony strengthens the conclusion. No teleological assumption is needed to explain epistemic limits. Nothing in the modal or truthmaker-theoretic framework requires the world to be arranged for cognition, or to make its structure accessible to finite agents. Any theory that secures closure by positing epistemic transparency must introduce additional metaphysical machinery—purpose, reflexivity, or built-in intelligibility—that is not forced by the phenomena. The present account requires none of these. It shows that closure is impossible unless the world is already metaphysically closed, and that there is no independent reason to posit such closure.

Thus metaphysical closure fails not because the world is incomplete, nor because agents are insufficiently capable, but because closure demands more than reality or cognition can supply. The world has no teleology toward being knowable, and finite agents have no means of compelling it. Metaphysical modesty is therefore not a limitation but a consequence: the structure of modal space and the finitude of epistemic access jointly entail that no adequate metaphysical system can be both complete and closed.

Appendix: The Ethics of Methodological Modesty and Metaphysical Maximalism (see endnote)

Metaphysical inquiry is not conducted in a vacuum. The structure of an argument, the assumptions it employs, and the conclusions it reaches all interact with the intellectual norms and social dynamics of the communities in which such arguments circulate. For this reason, it is useful to articulate the ethical dimension of methodological choice, particularly the contrast between methodological modesty and metaphysical maximalism.

Methodological modesty begins from minimal assumptions. It refrains from positing teleology, reflexivity, or epistemic transparency unless these are forced by the phenomena. It treats intelligibility as contingent rather than guaranteed, and it accepts the structural limits imposed by modal space and finite epistemic access. This approach is not merely economical; it is ethical in the sense that it respects the independence of reality from human desire. It does not presume that the world is arranged for cognition, nor that metaphysical systems must conform to the expectations or aspirations of their authors.

Metaphysical maximalism, by contrast, often begins with expansive assumptions: that reality is self-intelligible, that cognition and world share a privileged structural alignment, or that closure is secured by reflexive or teleological principles. Such frameworks may be internally coherent, but they carry an ethical risk. When maximal assumptions are taken as markers of intellectual status or as criteria for participation in philosophical discourse, the conversation shifts from argument to authority. Appeals to cognitive hierarchy, personal exceptionalism, or the alleged inadequacy of critics do not advance metaphysical understanding; they substitute social dominance for justification.

The ethical stance of methodological modesty resists this substitution. It holds that metaphysical claims must be evaluated by their structural necessity, not by the charisma, confidence, or self-ascribed cognitive capacity of their proponents. A theory that requires fewer primitives, fewer teleological commitments, and fewer assumptions about the alignment of mind and world is, all else equal, to be preferred. This is not only a principle of parsimony but a principle of intellectual humility: the recognition that finite agents must not demand of reality more cooperation than the structure of modal space permits.

In this sense, the impossibility of metaphysical closure is not merely a technical result. It is a reminder that metaphysics must be conducted with ethical restraint. The world owes us no transparency, and philosophical discourse owes no deference to metaphysical maximalism. Methodological modesty is therefore both a logical and an ethical commitment: a refusal to inflate our assumptions about reality or ourselves.

ENDNOTE:

It is worth noting that discussions of large-scale metaphysical systems sometimes be come entangled with appeals to personal authority, cognitive exceptionalism, or hierarchical rhetoric. In such contexts, disagreement is occasionally framed not as a matter of structure or argument but as a limitation of the critic’s intellectual capacity. This sociological pattern is orthogonal to the philosophical issues at stake. Methodological modesty rejects such appeals, holding that metaphysical claims stand or fall by their justificatory structure rather than by assertions of personal eminence or the alleged incapacity of interlocutors.

References

Barnes, E. (2014). Metaphysical indeterminacy. Oxford Studies in Metaphysics, 8:1–30.

Gödel, K. (1931). On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Springer, Berlin.

MacFarlane, J. (2003). Future contingents and relative truth. The Philosophical Quarterly, 53(212):321–336.

Williamson, T. (2000). Knowledge and Its Limits. Oxford University Press, Oxford.

Wilson, J. (2013). A determinable-based account of metaphysical indeterminacy. Inquiry, 56(4):359–385.