The Impossibility of Metaphysical Closure for Finite Agents

Preface

I have been searching back and forth for a long time, trying out many partial approaches and incomplete answers. Each attempt illuminated something, but none of them fully resolved the problem. What follows is the first explanation that actually closes the issue. It is simple, structural, and does not depend on any special metaphysical assumptions. It shows, in a straightforward way, why no finite agent can ever achieve a complete and final account of all truths.

Abstract

This paper argues that no finite agent can ever achieve metaphysical closure — the idea that an agent’s reasons, concepts, and methods could cover the entire space of possible propositions. The core issue is structural: a finite agent’s justificatory resources are fixed and determinate, while the total space of propositions it faces is not. Because the agent cannot determine or survey the full range of possible propositions, it cannot know whether its resources cover that range. From this mismatch alone, without appealing to modal logic, metaphysical categories, or assumptions about the size of the universe, it follows that some propositions must remain unknowable. Metaphysical closure is therefore impossible for any finite agent.

1. Introduction

Philosophers have long tried to understand the limits of what agents can know or justify. Many approaches rely on modal distinctions, on differences between what is real and what is known, or on assumptions about how large or structured the space of propositions might be. But these approaches often smuggle in the very assumptions they are supposed to examine.

This paper takes a more minimal route. It begins with a simple observation: a finite agent’s justificatory abilities are governed by a definite, limited procedure, while the space of propositions the agent encounters is not something the agent can delimit or complete. The agent cannot survey all propositions, cannot determine whether it has reached the end of them, and cannot certify that its conceptual resources cover everything that could be asked or asserted.

From this single structural fact, the impossibility of metaphysical closure follows. The argument requires no modal machinery, no distinctions between kinds of uncertainty, and no assumptions about whether the space of propositions is finite or infinite. It relies only on the mismatch between what the agent can determine and what it cannot.

2. The Basic Framework

The framework is intentionally minimal.

A finite agent is one whose justificatory abilities are governed by a definite, limited procedure. The set of propositions the agent can justify is therefore determinate: it has a fixed boundary, even if the agent has not yet reached all of it.

By contrast, the propositional domain — the total space of propositions available to the agent — is indeterminate. The agent cannot survey it, cannot determine its boundaries, and cannot know whether it has exhausted it. No assumptions are made about how large this domain is or what structure it has.

The only commitments are:

• The agent’s justificatory resources are determinate.

• The total space of propositions is not.

Nothing else is required.

3. Indeterminacy and the Existence of Unknowables

Once we acknowledge that the total space of propositions is indeterminate for a finite agent, the existence of unknowable propositions follows immediately.

3.1 The Propositional Domain Cannot Be Delimited

A finite agent can always introduce new distinctions, new descriptions, or new questions. No finite procedure can certify that all possible propositions have been exhausted. Any attempt to describe the total space of propositions already assumes the completeness the agent lacks.

Thus, the agent cannot determine the boundaries of the propositional domain. The domain is necessarily indeterminate.

3.2 A Guaranteed Unknowable

Because the agent cannot determine the boundaries of the propositional domain, there is at least one proposition the agent can never justify: the proposition that asks what the total space of propositions is.

To justify this proposition, the agent would need to survey all propositions, confirm that no further propositions exist, and certify the completeness of its conceptual horizon. No finite agent can do this. Therefore, the question “What is the total space of propositions available to me?” lies beyond the agent’s justificatory reach.

This is the guaranteed unknowable.

3.3 The Agent’s Justificatory Set Cannot Equal the Propositional Domain

Since the propositional domain contains at least one proposition the agent cannot justify — namely, the one asking what the domain itself is — the agent’s justificatory set cannot equal the full domain.

3.4 Unknowables Are Not Exceptional

The existence of unknowable propositions is not a rare or pathological feature of the world. It arises necessarily from the structural mismatch between a determinate justificatory set and an indeterminate propositional domain.

4. The Impossibility of Metaphysical Closure

With the existence of unknowables established, we can now state the central result: metaphysical closure is impossible for any finite agent.

4.1 The Structural Mismatch

Metaphysical closure requires that the agent’s justificatory resources cover the entire space of propositions. But we have two facts:

1. The agent’s justificatory resources are determinate.

2. The propositional domain is indeterminate.

A determinate set cannot equal an indeterminate one. Therefore, metaphysical closure cannot hold.

4.2 The Collapse of Closure

Since the agent cannot justify the proposition that asks what the total space of propositions is, the agent’s justificatory set cannot match that space. Closure requires equality; the structural facts forbid it.

Thus, metaphysical closure is impossible for any finite agent.

4.3 What This Result Does Not Depend On

This conclusion does not rely on:

• assumptions about whether the world is open or closed,

• assumptions about finitude or infinitude,

• modal semantics,

• distinctions between what is real and what is known,

• self-reference or diagonal arguments.

The impossibility arises solely from the mismatch between a determinate justificatory set and an indeterminate propositional domain.

4.4 Consequences for Metaphysical Systems

Any metaphysical system that claims completeness must assert that its justificatory resources cover the entire space of propositions. But no finite agent can determine what that space is. Therefore, no such claim can be justified. Any assertion of metaphysical closure exceeds what a finite agent can support.

5. Summary

The impossibility of metaphysical closure follows from a single structural asymmetry: a finite agent’s justificatory resources are determinate, while the propositional domain it confronts is indeterminate. No modal assumptions, no metaphysical categories, and no assumptions about the size of the universe are required. The result is a minimal and universal impossibility theorem for finite agents, grounded solely in the mismatch between what can be determined and what cannot.

6. The Burden of the Closure Metaphysician

Anyone who claims metaphysical closure faces a very specific burden. They must show that their system’s concepts, distinctions, and justificatory methods cover the entire space of possible propositions. In other words, they must show that nothing lies outside their framework.

But this requirement has a simple and unavoidable consequence:

They must be able to answer the question “What is the total space of propositions?”

If they cannot answer that question, then they cannot show that their system covers it. And if they cannot show that their system covers it, then they cannot claim closure.

This is the burden of the closure metaphysician.

6.1 Why the Burden Is So Heavy

A finite agent’s justificatory resources are fixed and determinate. The total space of propositions is not. To claim closure, the metaphysician must bridge this gap. They must demonstrate that their finite conceptual scheme matches the full range of possible propositions.

But to do that, they must first determine what that full range is. They must be able to say:

• what counts as a possible proposition,

• how far the space extends,

• and where its boundaries lie.

This is exactly the question no finite agent can answer.

6.2 Historical Attempts and Why They Fail

Many metaphysical systems have tried to achieve closure, each in their own way. But all of them face the same structural obstacle: they must determine the total space of propositions before they can claim to cover it.

Carnap

Carnap attempted to build a complete “construction system” in which every meaningful statement could be reduced to a logical form. But to succeed, he would have needed to show that his system captured all possible propositions. That requires knowing what the total space of propositions is — the very thing a finite agent cannot determine. His system never overcame this requirement.

Spinoza

Spinoza’s metaphysics aims for a fully closed system in which everything follows from the nature of a single substance. But to claim that his system is complete, he would need to show that no possible proposition lies outside it. That again requires answering the question of what the total space of propositions is. His system asserts closure but cannot justify it.

Leibniz

Leibniz believed that the world is the best of all possible worlds and that every truth is grounded in a complete concept. But to claim that his metaphysics accounts for all truths, he would need to know the full range of possible truths. This again requires determining the total space of propositions — something no finite agent can do.

Langan’s CTMU

The CTMU claims to be a self‑contained, self‑justifying metaphysical system. But to justify that claim, it must show that its conceptual machinery covers every possible proposition. That requires knowing what the total space of propositions is. Without that, the claim of closure cannot be supported.

6.3 The Common Thread

Despite their differences, all these systems face the same structural requirement:

To claim closure, they must show that their justificatory resources cover the entire space of propositions. To do that, they must determine what that space is.

But determining the total space of propositions is impossible for any finite agent. The space is indeterminate; it cannot be surveyed, delimited, or completed.

Therefore, the burden of the closure metaphysician cannot be met.

6.4 The Consequence

Since no finite agent can determine the total space of propositions, no finite agent can show that their system covers it. And since they cannot show that their system covers it, they cannot claim metaphysical closure.

The burden is not merely heavy — it is impossible to satisfy.

6.5 Why the Burden Cannot Be Met

The impossibility theorem shows that a finite agent’s justificatory resources are always determinate, while the total space of propositions is not. The closure metaphysician must bridge this gap by proving that their system covers that entire space. But doing so requires answering the very question no finite agent can answer: What is the total space of propositions? Worse still, every attempt to answer this question expands the very space the metaphysician is trying to delimit. Each new distinction, definition, or conceptual refinement adds to the range of possible propositions, pushing the boundary further away. The act of trying to close the system reopens it. Because the question “What is the total space of propositions?” is itself unknowable, and because every attempt to answer it enlarges the domain, the burden of establishing closure cannot be met. Closure is not merely unproven — it is structurally impossible for any finite agent.

7. The Propositional Skeleton of Kant’s Insight

Kant argued in the Prolegomena that human cognition has structural limits: we cannot survey or grasp the totality of what is real, and our knowledge is confined to what can be justified from within the standpoint of a finite agent. He expressed this through the distinction between appearances, which we can know, and things in themselves, which lie beyond the reach of our cognitive capacities. The point was not that the world is divided into two realms, but that finite knowers cannot determine the full scope of what there is to be known.

The present argument reaches a similar conclusion, but in a more abstract and minimal form. Instead of appealing to forms of intuition, categories of understanding, or any specific structure of human cognition, we consider only two elements: a finite agent with determinate justificatory resources, and the total space of propositions that agent might attempt to justify. Once these elements are in place, the asymmetry becomes unavoidable. The agent’s justificatory resources are determinate; the total space of propositions is not. This indeterminacy is not a feature of the world as such, nor a limitation imposed by any particular cognitive architecture. It is a structural consequence of finitude itself.

In this sense, the impossibility theorem presented here can be seen as the propositional skeleton of Kant’s insight. It captures the core idea—that a finite agent cannot survey or close the totality of what might be known—without relying on any of Kant’s transcendental commitments. Where Kant framed the limit in terms of the conditions of possible experience, the present account frames it in terms of the indeterminacy of the propositional domain. Both approaches converge on the same structural point: no finite agent can justify that its conceptual resources cover the whole space of possible questions. The boundary Kant identified remains, but stripped of its historical and psychological scaffolding. What remains is the bare structure of the limit itself.

Conclusion: The End of the Metaphysical Project

This paper has argued that no finite agent can achieve metaphysical closure. The reason is structural and simple: a finite agent’s justificatory resources are fixed and determinate, while the total space of propositions is not. Because the agent cannot survey or delimit that space, it cannot know whether its resources cover it. From this asymmetry alone, unknowable propositions must exist, and closure is impossible.

The burden placed on any metaphysician who claims closure is therefore impossible to meet. To justify closure, they must show that their system covers the entire space of propositions. But doing so requires answering the very question no finite agent can answer: What is the total space of propositions? Worse still, every attempt to answer this question expands the very space the metaphysician is trying to contain. Each new distinction or conceptual refinement adds to the domain, pushing its boundary further away. The act of trying to close the system reopens it.

This result does more than refute particular metaphysical systems. It reveals a structural limit on metaphysical inquiry itself. If closure is impossible in principle, then no metaphysical system can complete itself, and no metaphysician can finish the task of giving a final account of reality. The project of metaphysics, understood as the search for a complete and final explanation, cannot succeed.

For me, this marks the natural end of my own foray into metaphysics. Not because the subject has been exhausted, but because its structural limits have become clear. The impossibility of closure is not a temporary obstacle or a gap to be filled by further ingenuity. It is a boundary built into the very nature of finite cognition. Once that boundary is recognized, the pursuit of a complete metaphysical system no longer makes sense. What remains is not a failure but a clarification: metaphysics cannot close itself, and any attempt to force closure misunderstands the problem.

The result is liberating. It frees inquiry from the demand for completeness and allows philosophical reflection to proceed without the burden of finality. The impossibility theorem does not end thought; it ends only the illusion that thought can finish the world. In that sense, this conclusion is not a retreat from metaphysics but the point at which metaphysics reveals its own limits and steps aside.

Epilogue / Author’s Note

This paper brings to a close a long stretch of thinking that began with the hope that metaphysics might yield a final, coherent picture of the world. What I discovered instead was a structural limit built into the very activity of inquiry. The impossibility of closure is not a failure of method or imagination; it is a boundary that no finite agent can cross. Once that boundary became clear, the project of metaphysics—understood as the search for a complete account—no longer felt like a field to be advanced, but a horizon to be acknowledged.

This realization has the character of a release. It frees thought from the demand to finish what cannot be finished, and it frees the thinker from the expectation that metaphysics must culminate in a system. The work of philosophy continues, but without the burden of totality. What remains is the quieter, more durable task of understanding how finite beings navigate an open world, and how clarity can arise even when completeness cannot.

For me, that is enough. This paper is not a conclusion in the sense of a final word, but in the sense of a stopping point—an honest recognition that the path of metaphysical system‑building ends where the structure of thought itself draws the line. Beyond that line, the work belongs to other questions, other projects, and perhaps other forms of understanding.

Coda: Why Is This the Structural Floor?

Every argument about knowledge, justification, or metaphysical completeness presupposes two minimal elements: an agent and a domain. The agent must have some finite set of justificatory resources, and the domain must contain the propositions the agent is attempting to understand or justify. If we remove the agent, there is no perspective from which justification is meaningful. If we remove the domain, there is nothing to be justified. These two elements are the bare minimum required for the very idea of closure to make sense.

Once these minimal elements are in place, the structural asymmetry becomes unavoidable. A finite agent’s justificatory resources are determinate; the total space of propositions it faces is not. This asymmetry cannot be reduced, simplified, or abstracted away. It is the lowest level at which the question of closure can even be asked. Any attempt to go further down—to remove the agent, or to remove the domain, or to weaken the notion of justification—collapses the problem into triviality. There is no “more abstract” version of the argument, because abstraction beyond this point eliminates the subject matter itself.

This is why the impossibility theorem marks a natural stopping point. It shows that metaphysical closure cannot be achieved not because we lack ingenuity or conceptual power, but because the very structure of finite cognition makes closure impossible. Once that structure is exposed, there is nothing deeper to uncover. The argument has reached bedrock.

Kenneth Myers