Disputatio XXIX: De Paradoxo Löwenheim–Skolemiano

On the Löwenheim–Skolem Paradox

Quaeritur utrum systema formale possit determinare extensionem suam propriam, an vero iuxta theoremata Löwenheim et Skolem omnis ordo formalis habeat multitudinem modelorum diversae magnitudinis, unde sequitur relativitas veritatis ad modelum, et necessitas fontis veritatis externi.

It is asked whether a formal system can determine its own proper extension, or whether, according to the theorems of Löwenheim and Skolem, every formal order admits a plurality of models of different sizes, from which follows the relativity of truth to a model and the necessity of a source of truth external to the system.

__________

Thesis

The Löwenheim–Skolem theorems reveal that no consistent formal theory can uniquely fix the structure of its universe, for every such theory possesses models of varying magnitude and scope. Hence, truth within a model (internal truth) differs from truth about the model (external truth). This formal distinction corresponds analogically to the theological distinction between felicity and truth: the first internal to theology’s discourse, the second dependent on divine reality beyond it.

Locus Classicus

“For now we see through a glass, darkly; but then face to face.” — 1 Corinthians 13:12

Augustine comments (De Trinitate XV.8): “Nondum est species, sed per speculum et in aenigmate.” Thomas Aquinas (ST I.12.11) interprets this as the difference between cognitio viatoris and cognitio comprehensoris, the knowledge of the pilgrim and the knowledge of the blessed. The former is mediate and partial, and the latter direct and complete. So too in logic: truth within a system (per speculum) and truth from beyond the system (facie ad faciem) are distinct orders of knowing. The formal result mirrors the metaphysical condition of creaturely understanding.

Explicatio

I. The Discovery

Between 1915 and 1920, Leopold Löwenheim and Thoralf Skolem, working independently, established two theorems foundational for modern model theory.

1. The Downward Löwenheim–Skolem Theorem: If a first-order theory has an infinite model, then it has a countable model.

2. The Upward Löwenheim–Skolem Theorem: If a theory has a model of some infinite size, then for every larger cardinal number, it also has a model of that larger size.

Together, these results imply that no first-order theory with an infinite model can control the cardinality of its universe. A theory formulated in a finite language cannot uniquely determine the size or structure of the reality it describes.

II. The Skolem Paradox

The most striking consequence arises when these theorems are applied to set theory itself, the very discipline designed to describe infinite sets. Zermelo–Fraenkel set theory (ZF) proves the existence of uncountable sets such as the set of real numbers. Yet, by the Downward Löwenheim–Skolem Theorem, ZF has a countable model, a model in which, from an external perspective, all its “uncountable” sets are actually countable!

This tension is called the Skolem Paradox. It reveals that statements true within a model (“there exists an uncountable set”) need not correspond to what is true about that model from outside it. Accordingly, the model cannot see its own countability, and its internal truth diverges from external truth.

III. Philosophical Meaning

The Skolem Paradox formally demonstrates the relativity of truth to the level of discourse. What is “true in a model” depends on the interpretation supplied from outside the model. A system cannot guarantee that its own truths are absolute; they are true within a given structure, not simpliciter.

Philosophically, this means that finitude entails perspectivality. No finite framework can encompass all possible interpretations of its own symbols. Every internal horizon is bounded by a greater horizon of meaning. The finite world’s intelligibility, therefore, is not exhausted by its own immanent relations but opens onto a transcendent ground that “models” it from beyond.

IV. Theological Analogy

Here we reach the theological analogue: The relation between internal and external truth in logic mirrors the relation between theological felicity and theological truth.

• Felicity (in Austin’s and later theological sense) denotes statements that function properly within the authorized discourse of theology, e.g., confessional utterances, liturgical speech, or inspired proclamation.

• Truth refers to correspondence between theological discourse and divine reality itself.

As the formal system cannot secure external truth by internal means, theology cannot verify divine truth by linguistic coherence alone. It must depend on the Spirit, the “external source” who bridges internal felicity and external reality. In this way, the Löwenheim–Skolem results offer a formal reflection of pneumatological mediation.

Obiectiones

Objiectio I. Logical postivism supposes that the Löwenheim–Skolem theorems concern formal semantics only. They tell us nothing about metaphysics or theology. To interpret them as analogies of divine truth is poetic, not logical.

Objiectio II. Nominalism decries that the distinction between internal and external truth is artificial. All truth is internal to a framework; there is no standpoint outside language or model.

Objiectio III. Postmodern relativism argues that since every theory has multiple models, there is no absolute truth. The theorems confirm that meaning is plural, not that there is an external ground.

Objiectio IV. Rationalistic metaphysicians hold that if external truth is required, then finite knowledge becomes impossible. We can only know within a system; appealing to an Infinite ground destroys epistemic closure.

Objiectio V. Finally, cautious theology itself declares that to identify divine reality with a “meta-model” risks subordinating revelation to logic. However, God is not a semantic extension but a personal will.

Responses

Ad I. The interpretation is analogical, not literal. Logic reveals structural truths about expression and interpretation that parallel ontological relations between being and its ground. Analogy discloses order without confusion.

Ad II. To deny any standpoint beyond a system is self-refuting, for the assertion itself pretends to transcend the system it describes.The very recognition of frameworks implies an external perspective.

Ad III. The multiplicity of models does not entail relativism but dependence. That truth is manifold within systems implies that there must exist a unifying act among them. Otherwise, plurality becomes unintelligible.

Ad IV. Appeal to the Infinite does not abolish finite knowledge but secures it. Just as the meta-theory is the condition for model-theory’s truth, so too the external ground is the condition for internal intelligibility, 

Ad V. God is not a meta-model but the living ground of truth itself.
The analogy is formal, not an ontological identity. It shows that even logic intimates the same structure that theology names personally as Word and Spirit.

Determinatio

From the foregoing it is determined that:

1. The Löwenheim–Skolem Theorems reveal that every formal system admits models of many sizes. Internal coherence does not yield external uniqueness.

2. Truth within a model (veritas interna) and truth about a model (veritas externa) are formally distinct. The former depends on the latter for interpretation.

3. The finite order, therefore, mirrors the condition that it is self-consistent yet semantically open. Thus, its meaning cannot be secured from within but requires reference to a transcendent source.

4. Theologically, this formal relation corresponds to the distinction between felicity and truth. Theology’s internal felicity (Spirit-authorized speech) depends upon external truth (the reality of God) which the Spirit mediates.

5. Hence, the Löwenheim–Skolem Paradox becomes a logical parable of participation. The finite model cannot perceive its own countability. In the same manner, creation cannot grasp its own dependence. Both require an Infinite perspective in which their truths are integrated and completed.

Therefore, the multiplicity of models is not chaos but a sign, an index of the Infinite intelligibility that sustains every finite order of meaning.
What logic calls the meta-model, theology calls the Logos; what logic calls interpretation from without, theology names the act of the Spiritus Veritatis.

Disputatio XXVIII De Systemate Incompleto et Veritatis Factore Infinito

On the Incomplete System and the Infinite Truthmaker

Quaeritur utrum systema finitum, si sit consistent, possit continere veritatem suam propriam, an vero, iuxta theoremata incompleti Gödeliana, omnis ordo finitus necessario referat ad veritatis fontem extra se—ad infinitum veritatis factorem.

It is asked whether a finite system, if consistent, can contain its own truth, or whether—according to Gödel’s incompleteness theorems—every finite order must necessarily refer to a source of truth beyond itself, to an infinite truthmaker.

__________

Thesis

Gödel’s incompleteness results demonstrate formally what metaphysics has long intuited: The finite cannot ground the totality of its own truth. Every consistent formal system sufficient for arithmetic contains true statements it cannot prove. Hence, truth exceeds derivation, and the complete explanation of truth demands participation in something transcending the finite system.

Locus Classics

“Great is our Lord, and abundant in power; his understanding is infinite.”
— Psalm 147:5

Aquinas comments: “Intellectus divinus est infinitus, quia adaequat veritatem ipsius Dei, quae est infinitum esse.” (STI.14.6.) The divine intellect alone comprehends all truth as being identical to being. Human or finite systems of reason, by contrast, express truth participatively, that is, as reflections of the infinite intellect. Thus, the logic of finitude corresponds to the metaphysics of participation.

Explicatio

I. The Context of Gödel’s Discovery

In 1931, 25 year-old Kurt Gödel, an Austrian logician, published “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme” (Monatshefte für Mathematik und Physik 38, 1931). His goal was to investigate the limits of formal systems such as the Principia Mathematica by Whitehead and Russell, which sought to derive all mathematical truths from a finite set of axioms through mechanical rules of deduction.

To understand the significance of this, we must review some key notions. A formal system may be thought of as a rigorously defined language governed by rules. While its syntactic component consists of symbols and derivations its semantic component is concerned with truth and meaning about numbers or other entities to which it refers. For such a system to be a satisfactory foundation of mathematics, it must have two crucial properties:

1. Consistency: No contradiction can be derived within the system.

2. Completeness: Every true statement expressible in the system can be derived from the system's axioms.

Gödel’s work proved that these two properties cannot coexist in any finite system capable of expressing arithmetic.

II. Gödel’s First Incompleteness Theorem

Gödel showed in this proof how to assign to each formula and proof a numerical code, a process that is now called Gödel numbering. By this ingenious device, statements about formulas could become statements about numbers. He then constructed a sentence G that effectively says of itself,

“This statement is not provable within this system.”

If the system is consistent, it cannot prove G, for to do so would render it inconsistent, that is, it would prove a falsehood. Yet if the system is consistent, G is in fact true, since its unprovability makes the assertion it contains correct. Hence, G is true but unprovable within the system. The upshot of this is this: No consistent, sufficiently expressive finite system can be complete. Simply put, there will always exist true propositions that escape its derivations.

III. Gödel’s Second Incompleteness Theorem

Gödel then proved a deeper corollary, that no consistent system can prove its own consistency. But to show that its axioms are non-contradictory, one must appeal to a meta-system, to a higher language standing outside the system itself. Hence, every finite logical order depends on another for its assurance of truth and coherence.

IV. Philosophical Significance

Gödel’s theorems thus reveal a structural transcendence of truth over formal expression. They are not merely mathematical curiosities but demonstrations of a universal condition of finitude, that truth always surpasses the framework that tries to contain it. Every closed system that seeks to explain itself without remainder either collapses into contradiction or appeals to a higher order.

Metaphysically, this mirrors the ancient insight that the finite requires the infinite as its truthmaker. The correspondence between logical form and ontological order is profound: just as a formal system needs a meta-system to ground its truth, so the finite world needs a transcendent act of being to ground its reality.

What Gödel discovered formally, metaphysics already discerned existentially: veritas non est intra ordinem finitum nisi per participationem veritatis infiniti.

Obiectiones

Objiectio I. Formalists like David Hilbert hold that the incompleteness theorems apply only to mathematical systems, not to reality. They concern symbols and proofs, not the metaphysical order of being.

Objiectio II. Scientific empiricism argues that science does not need to be “complete” in this logical sense. Explanatory power depends on observation, not on formal derivation. Thus, Gödel’s results have no bearing on physical intelligibility.

Objiectio III. Reductive naturalists claims that the analogy between formal systems and the finite world is metaphorical, and thus to move from logical incompleteness to ontological dependence is an illicit category jump.

Objiectio IV. Skeptics of many kinds opine that Gödel’s theorem requires arithmetic within a system, and that nature is not a formal calculus. Accordingly, it is meaningless to say that the universe is “incomplete” in the Gödelian sense.

Objiectio V. The cautious theologian claims that appealing to Gödel to prove divine necessity risks confusing logic with revelation. God’s infinity is not a corollary of syntax but a matter of faith.

Responsiones

Ad I. Gödel’s theorems indeed concern formal systems, yet they express a universal relation between expression and truth. Wherever truth is represented within a finite structure, that structure cannot exhaust it. The logical limit mirrors an ontological condition.

Ad II. Scientific explanation presupposes coherence and consistency within its theories. Gödel shows that such coherence cannot be self-guaranteed; it must be received from a higher frame. Hence, the dependence of empirical science on deeper intelligibility is reinforced, not diminished.

Ad III. The analogy is legitimate when carefully drawn. Formal systems model the relation of expression to truth; the finite world models the relation of being to its source. In both, self-sufficiency proves impossible; participation becomes the only path to completeness.

Ad IV. The universe is not a calculus, yet our reason reflects its structure through logic.To say that the world is “Gödelian” is not to mathematize it but to recognize that finitude, even in its most abstract forms, cannot close upon itself.

Ad V. The appeal to Gödel is not a theological proof but a formal analogy. It illuminates by example what theology asserts by revelation: that all truth in the finite is truth by participation in the Infinite Word.

Determinatio

From the foregoing it is determined that:

1. Gödel’s incompleteness theorems formally demonstrate the incapacity of the finite for self-completion. Every consistent system depends upon truths it cannot contain and upon a meta-system it cannot itself generate.

2. Truth transcends formal derivation. Just as no calculus can produce all truths of arithmetic, no finite ontology can account for its own intelligibility.

3. Consistency requires transcendence. The assurance that a system is non-contradictory always arises from a higher standpoint.
   Ontologically, this implies that the finite world’s coherence depends on an Infinite act of being.

4. The Infinite functions as the universal truthmaker. The meta-system for logic corresponds analogically to the Creator for creation: the necessary being in whom all contingent truths are grounded and from whom their coherence flows.

5. Therefore, Gödel’s result, though mathematical in form, reveals a metaphysical truth: the finite is intelligible only by participation in the Infinite. The world’s incompleteness is not deficiency but sign — a structural openness to the Infinite intellect whose understanding is unbounded.

Hence, the incompleteness of systems becomes a formal witness within reason to the metaphysical participation of all truth in God — in quo sunt omnes thesauri sapientiae et scientiae absconditi (Colossians 2:3).

Disputatio XXVII De Essentiis Dispositionalibus

On Dispositional Essences

Quaeritur utrum necessitas legum naturae possit sufficienter explicari per essentias dispositionales ipsarum rerum, an vero talis explicatio tandem recidat in naturalem essentialismum sine fundamento ontologico, qui rursus ad participationem infiniti redigitur.

It is asked whether the necessity of natural laws can be adequately explained by the dispositional essences of things themselves, or whether such an explanation ultimately collapses into an unfounded natural essentialism that once again requires participation in the Infinite.

__________

Thesis

Dispositional essentialism seeks to ground the laws of nature in the intrinsic powers of entities. Accordingly, each thing, by virtue of what it is, behaves as it does. Laws are thus expressions of essence, not external constraints. Yet finite essence itself requires grounding for its actuality and coordination. Therefore, the appeal to dispositional essences displaces but does not resolve the need for an infinite ground of law.

Locus Classicus

“In him we live and move and have our being.” — Acts 17:28

The early Fathers, having read Paul in light of Hellenic metaphysics, interpreted this as a declaration that all powers and movements within creation presuppose divine causality. For example, Basil of Caesarea (Hexaemeron I.5) taught that “every natural power is the gift of divine energy,” and Aquinas affirmed that “omnis operatio naturae est actus Dei in natura” (ST I.105.5). Thus, even when power is intrinsic to a creature, its being and operation participate in the act of the Creator.

Explicatio

Dispositional essentialism emerged in late twentieth-century metaphysics as a reaction against both Humean regularity and Armstrong’s relational realism. Philosophers such as Brian Ellis, C. B. Martin, and Stephen Mumford argued that laws do not govern things from without but that the flow from within from the very essences or natures of entities. Accordingly, an electron repels another not because a law commands it, but because repulsion belongs to its nature. The behavior is thus essential and not contingent.

In this view, every natural property is dispositional; it is defined by its powers and tendencies. To possess a charge, mass, or spin just is to manifest appropriate dispositions under suitable conditions. Laws of nature are thus derivative descriptions of the necessary behaviors of these dispositional essences. Therefore, there are no separate laws or external principles, but only powers whose exercise constitutes the order of nature.

This approach elegantly restores necessity to the finite without invoking extrinsic governance. But the question remains: Whence the unity of this system of powers? If every essence carries its own necessity, what guarantees the coherence of those necessities across the totality of the world? Why do distinct powers not conflict or dissolve into chaos? While the finite essence, to be actual, must exist and operate within a coherent totality of being, that totality cannot itself be one of the powers. Rather, it must be the condition of their coexistence and harmony.

Hence, while dispositional essentialism succeeds in moving the locus of necessity inward—from external law to internal essence—it fails to remove the need for ontological participation. While essence, in so far as it is essence, is an intelligible structure of being, powers, however intrinsic, can only be participatory modes of a deeper enabling act.

Obiectiones

Objiectio I. According to Ellis in 2001, the essence of each natural kind explains its behavior. Thus, no further metaphysical foundation is required, and to demand more is to mistake explanation for regression.

Objiectio II. Martin argued in 2008 that disputations constitute causal grounds for their manifestations. Since power is primitive and self-explanatory, the world’s order is the network of powers acting according to their natures.

Objiectio III. Mumford in 2004 argued that laws are supervenient on dispositional essences, and hence add nothing ontologically to them. Thus, the finite order is self-sufficient so long as it consists of stable powers and their mutual tendencies.

Objiectio IV. Naturalistic Metaphysics claims that to appeal to an Infinite act is unnecessary duplication. If dispositions suffice for explanation, positing divine participation is a metaphysical surplus.

Objiectio V. Sometimes the theological tradition assumed that grounding the powers of things directly in the infinite may risk erasing natural causality. But the integrity of secondary causes requires that creatures possess genuine powers of their own.

Responsiones

Ad I. While essence may explain behavior, it does not explain existence. To say “the electron repels because it is its nature to repel” still leaves unasked why such a nature exists at all. Essence is formal cause and being is act. The latter cannot be derived from the former without reference to a self-sufficient act of existence.

Ad II. Power cannot be self-explanatory, for power is always power to act.The actuality of its exercise depends on a larger order within which it operates. Without a unifying act of being, powers remain mere potentialities without coherence.

Ad III. Supervenience explains correspondence but not causation. That laws supervene on essences tells us that essence and law covary, not why such correlation obtains. The dependence relation itself requires grounding.

Ad IV. Appealing to the infinite is not an additional move but a natural completion in the order of explanation.The Infinite is not another entity among the powers but the act in which all finite essences receive their actuality and unity. Without such an act, the multiplicity of powers lacks ontological coherence.

Ad V. Participation does not abolish finite agency but founds it. Creatures possess true powers because the infinite communicates actuality to them. Their independence as secondary causes is secured by the divine act that continuously sustains them in being.

DETERMINATIO

From the foregoing it is determined that:

1. Dispositional essentialism internalizes necessity but does not abolish dependence. Thus, finite essences are intelligible structures whose actuality presupposes a unifying act of being.

2. The unity of natural order cannot arise from a plurality of isolated powers. Coordination among dispositions requires an ontological ground transcending them.

3. Essence without act is impotent. The existence and operation of every power presuppose an act that is not itself one power among others. They thus presuppose an infinite act of being.

4. The participation of finite essences in the Infinite corresponds to the metaphysical structure of creation. As Augustine said, “Omne bonum quod habet creatura, habet participando” (De Diversis Quaestionibus 83.46). Powers are real and finite, and their actuality is participatory.

5. Hence, dispositional essentialism, though the most promising finite account, nonetheless points beyond itself. Its truth lies not in rejecting participation but in clarifying the mode of it: each finite power is a share in the creative act that sustains and orders all powers.

Therefore, the necessity of natural law is neither imposed from without nor self-generated from within. It arises from the participation of dispositional essences in the infinite act of being, in the Word through whom all powers subsist and in the Spirit who continuously actualizes their operation.

Nota

Having examined the finite attempts to explain necessity in nature, we now turn to the formal structure of finitude itself as disclosed by logic. For even reason’s most abstract systems -- be they mathematical or linguistic—manifest the same incapacity for self-grounding that we have observed in metaphysics.

The following disputationes will therefore consider Gödelian incompleteness and the Löwenheim–Skolem results as formal witnesses within reason to the necessity of participation in the Infinite.

Diaputatio XXVI: De Universalibus Immanentibus et Necessitatione

On Immanent Universals and Necessitation

Quaeritur utrum necessitas legum naturae sufficienter explicari possit per relationes reales inter universalia immanentia, an vero talis explicatio aut in regressum, aut in factum brutum, aut in participationem infiniti deveniat.

It is asked whether the necessity of natural law can be adequately explained by real relations among immanent universals, or whether such an explanation must ultimately collapse into regress, brute fact, or participation in the Infinite.

__________

Thesis

Immanent realism explains regularity by positing universals instantiated within things and connected by real relations of necessitation. Yet the nexus that binds one universal to another either becomes an infinite regress, a brute primitive, or an implicit participation in an infinite unity. Thus, while immanent universals preserve realism, they cannot close the circle of explanation within the finite.

Locus Classicus

“He is before all things, and in him all things hold together.”
— Colossians 1:17

Patristic and scholastic theology interpreted this not as poetic hyperbole but as a metaphysical statement. Athanasius (Contra Gentes 41) held that creatures “stand fast by participation in the Word.” Aquinas, commenting on the same verse, wrote: “In ipso omnia constant, quia ipse est ratio essendi et ordinis in rebus.”(Super Colossenses I.17.) The order and interrelation of created forms thus depend upon the Logos as their unifying act.The attempt to ground such order solely in finite relations among universals severs form from source and leaves unity unexplained.

Explicatio

D. M. Armstrong, seeking a realist alternative to both Humean descriptivism and Platonic transcendence, developed a theory of immanent universals in What Is a Law of Nature? (Cambridge University Press, 1983) and A World of States of Affairs (1997). For Armstrong, universals are not abstract entities existing apart from things but real features instantiated in rebus. A natural law is then a relation of necessitation between such universals:

N(F, G) means that every instance of F is necessarily also an instance of G.

For example, the law “All electrons repel each other” corresponds to a relation N (being an electron, repelling other electrons). This N-relation is itself a real universal connecting others, not a mere linguistic rule.

Armstrong’s system preserves a realist ontology, for lawfulness exists in the world, not in our descriptions. It also avoids Platonism by keeping universals immanent.Yet the decisive problem lies in the status of the necessitation relation itself.

If N is simply another universal, it must stand in further relations explaining how it binds F and G—relations such as N′(N, F, G)—and so on ad infinitum. If N is primitive, we are left with unexplained necessity. If N is grounded in the overall structure of being, that structure functions as a transcendent unity, in effect, a metaphysical participation in the Infinite.

Thus Armstrong’s account, while internally rigorous, cannot ultimately provide a self-sufficient finite explanation. It gives us the mechanics of law but not its metaphysical coherence. The problem is not empirical but ontological: what makes the system of immanent relations one and necessary rather than a contingent web of co-instantiated properties?

Obiectiones

Objiectio I. In 1983 David Armstrong argued that immanent universals provide the ontological structure science presupposes. The relation of necessitation N is real and sufficient. No further grounding is needed.

Objiectio II. Moderate realism claims that by positing universals in rebus rather than ante res, we respect the finitude of creation and avoid both Humean nominalism and Platonic abstraction.

Objiectio III. Scientific pragmatism holds that the theory of immanent universals aligns well with scientific practice, which operates by discovering relations among properties, not by appealing to transcendent causes.

Objiectio IV. Empiricists argue that an infinite ground multiplies entities beyond necessity. The unity of laws is a consequence of the shared structure of matter and fields, not of any higher participation.

Objiectio V. The theologicus cautus ("cautious theologian") opines that to require an infinite explanation of finite order threatens to erase the integrity of secondary causes and the natural autonomy of creation.

Responsiones

Ad I. To say that N(F, G) is real explains that the relation exists, not why it obtains. Unless N itself is grounded, the account halts in primitive necessity. A brute tie between universals is no advance over the brute law it replaces.

Ad II. Immanent universals are indeed within things, yet their coordination across all things remains unexplained.The in rebus does not by itself yield the per se unity of the real. Participation in a higher act of being is required for coherence among universals.

Ad III. Scientific adequacy differs from metaphysical sufficiency.
Empirical inquiry describes how properties are correlated; metaphysics asks why such correlation is necessary. Armstrong’s ontology presupposes the unity it should explain.

Ad IV.
The claim that matter and fields explain law simply restates the problem at a lower level. For the structure of matter and fields is itself law-like and requires grounding. Invoking the material order as ultimate converts contingent structure into absolute necessity without reason.

Ad V.
Participation in the Infinite does not annul finite autonomy but establishes it. Only what is grounded in the Infinite can act coherently according to its own nature. The Spirit’s causal presence secures the creature’s integrity by making its lawfulness possible.

Determinatio

From the foregoing it is determined that:

1. Armstrong’s immanent realism preserves ontology but not ultimacy. The N-relation that ties universals together is either another universal (regress), an unexplained primitive (brute fact), or a reflection of a deeper unity (participation).

2. Finite relations cannot ground universal coherence. The multiplicity of universals demands a unifying act that is not itself one among them. Without such an act, law remains accidental coordination.

3. The appeal to the Infinite is not extrinsic but intrinsic. The very notion of “necessitation” implies participation in an unconditioned ground of necessity. The Infinite is the metaphysical horizon within which immanent universals receive their order.

4. The participation of universals in the Infinite corresponds to the theological doctrine of the Logos. As the eternal form of all forms, the Logos is the ratio essendi and ratio ordinis of finite properties. Law, in this light, is the reflection of divine intelligibility within creation.

5. Hence, immanent realism, while the most sophisticated of finite explanations, points beyond itself. Its internal coherence is the sign of participation, not self-sufficiency. In the Infinite Word, the many relations of the finite find their unity; in the Spirit, they find their continuous actuality.

Therefore, the necessity of natural law cannot rest in the N-relations of universals alone but requires the participation of all finite forms in the Infinite act of being — in ipso omnia constant.

Disputatio XXV: De Regularitatibus Humeanis

On Humean Regularities

Quaeritur utrum leges naturae sint tantum descriptiones constantium eventuum in mundo, an vere exprimant necessarias rationes essendi quae exigunt causam extra ipsam seriem eventuum.

It is asked whether the laws of nature are merely descriptions of the constant conjunctions of events in the world, or whether they express necessary relations of being that require a cause beyond the series of events themselves.

__________

Thesis

The Humean account of natural law as mere regularity confuses description with necessity and drains law from having real ontological force. If laws are nothing but patterns within phenomena, then the world lacks any genuine principle of order. Accordingly, to recover necessity, the finite must once again refer beyond itself to an infinite ground in which the possibility of law is constituted.

Locus Classicus

“He makes his sun rise on the evil and on the good, and sends rain on the just and on the unjust.”
— Matthew 5:45

The constancy of divine action in nature, understood here as fidelitas Dei, was read by Augustine (Enarrationes in Psalmos 147.18) and Aquinas (ST I.103.8) as evidence that natural regularities are not self-existent but proceed from a sustaining cause. Luther, in his lectures on Genesis, described the continuance of natural order as the “mask of God” (Larva Dei), behind which divine agency preserves creation. Thus, constancy itself is a sign of dependence, not autonomy.

Explicatio

The Humean conception of law arose in the Treatise of Human Nature (1739–40) and the Enquiry Concerning Human Understanding (1748), where David Hume denied that we ever perceive necessary connection between events. From this epistemic premise, he concluded that laws of nature are nothing more than uniform patterns of experience: a "constant conjunction" of similar events leading the mind to expect one after the other. On this view, necessity is not in things but in thought; it is a “habit of imagination.”

In the twentieth century, David Lewis sought to preserve Hume’s metaphysics while providing a systematic account of laws. In A Subjectivist’s Guide to Objective Chance (1980) and Philosophical Papers, vol. II (1986), Lewis articulated the Best-System Analysis (BSA) in which laws are the generalizations that occur given the axioms of the simplest and strongest deductive system that best summarizes all particular facts: the “Humean mosaic” of local matters of fact. A law, then, is whatever appears in the optimal balance between simplicity and strength in describing the total history of the world.

The appeal of this position is its ontological economy: no mysterious necessities, only patterns; no governing principles, only description.
Yet its cost is high: it leaves the world without internal order or modal depth. The regularity of events may be observed, but the reason for that regularity is left unspoken. On Humeanism, the universe is a sequence without syntax, a film of contiguous frames in which connection is projected by the mind. In such a world, the word law is metaphor; nothing obliges events to recur, and the distinction between possible and impossible collapses into mere fact and non-fact.

Theologically, this view is untenable. It denies both creation’s intelligibility and divine fidelity. To call law a mental convenience is to deny that the world speaks truthfully of its Maker. Reason, however, testifies otherwise, for the constancy of nature presupposes an underlying act of being that makes regularity possible.

Obiectiones

Objiectio I. Already in 1748 David Hume had argued that all necessity arises from habit. We never perceive any power or connection in nature. Therefore, what we call a law is only an observed uniformity in experience.

Objiectio II. In 1980 David Lewis claimed that to treat laws as abstract necessities adds ontological baggage. The world is a mosaic of local facts. The “Best System” captures their pattern without positing mysterious connections.

Objiectio III. Empiricists say that science requires only prediction, not metaphysical grounding. Whether laws “exist” beyond description is irrelevant to the success of physics.

Objiectio IV. According to nominalism, the notion of an infinite truthmaker is incoherent. Necessity is linguistic convenience; to speak of grounding is to confuse semantics with ontology.

Objiectio V. Liberal theology avers that reading divine causality into natural regularity is to return to pre-critical metaphysics. Lawfulness may express God’s reliability metaphorically, but it requires no metaphysical participation.

Responsiones

Ad I. Observation alone yields correlation, not connection. If necessity were merely mental habit, then any sequence could become law through repetition, which contradicts both experience and reason. Our recognition of constant conjunction presupposes that reality itself is structured for recurrence.

Ad II. The Best-System Analysis transforms the ontological into the epistemic. It tells us what generalizations we find simplest, not why the world is ordered so as to be summarized. The balance of simplicity and strength explains convenience, not causation.

Ad III. Science as practice may ignore metaphysical foundations, but the intelligibility of science presupposes them. If the universe were pure contingency, induction itself would be unjustified. The success of empirical prediction depends upon a real order antecedent to observation.

Ad IV. To reduce necessity to language is self-refuting, for the reduction itself claims necessity. Semantic regularity cannot explain ontological stability. Laws must be more than linguistic; they must participate in a structure of being.

Ad V. The metaphysical reading of divine causality is not regression but completion. Scripture’s description of the world’s constancy as divine faithfulness grounds natural order in personal being. To deny participation is to make the creation silent about its Creator.

DETERMINATIO

From the foregoing it is determined that:

1. The Humean and Lewisian accounts evacuate natural law of real necessity. By reducing law to description, they destroy the very distinction between order and coincidence.

2. Regularity theory fails the coordination test. It cannot explain why distinct patterns harmonize across domains,why electromagnetism and gravitation, time and entropy, compose one coherent cosmos.

3. Reason’s demand for sufficient cause (PSR) re-emerges. If law is mere pattern, PSR is violated, and intelligibility perishes.The mind’s refusal to accept brute regularity is itself evidence of participation in an Infinite intelligibility.

4. The finite order requires a ground that is both necessary and self-explanatory. Such a ground cannot lie within the Humean mosaic; it must transcend it while remaining immanent as its condition.

5. Hence, the constancy of nature is participatory: the world’s regularities exist not ex se but per participationem in the Infinite act of being. What the theologian calls divine providence, the philosopher names the unconditioned truthmaker of order.

Therefore, the Humean view of law as regularity fails both scientifically and metaphysically. While it can describe, it cannot explain; while it can record, it cannot ground. Thus, the world is not a mosaic of inert facts but a living participation in the Logos, in whom all order holds together.

Disputation XIV: De Legibus Primitivis

On Primitive Laws

Quaeritur utrum leges naturae possint esse facta prima et inexplicata intra ordinem finitum, an vero talis primitivismus sit contradictorius intentioni rationis, quae exigit ut ipsa necessitas habeat causam suam.

It is asked whether the laws of nature can be primitive and unexplained facts within the finite order, or whether such primitivism contradicts reason’s own demand that necessity itself must have a cause.

__________

Thesis

Law primitivism fails as an account of the laws of nature because it secures its necessity only by denying its own explanation. To treat the deepest, most intelligible features of reality as the least explicable is to invert the order of reason. If the finite claims to ground its own lawfulness, it asserts a self-sufficiency it cannot justify. Accordingly, the necessity of the finite’s own laws implies dependence upon an infinite truthmaker.

Locus Classicus

“By him all things were created, in heaven and on earth, visible and invisible… and in him all things hold together.”
— Colossians 1:16–17

Aquinas comments on this passage: “Ordo naturae participatio est legis aeternae” (ST I.91.2 ad 3). Augustine had earlier taught that “lex temporalis a lege aeterna derivatur” (De Libero Arbitrio I.6). The tradition thus affirms that the order and necessity observed within creation participate in the eternal act of divine reason. Against this background, primitivism, which asserts that the finite holds together of itself, appears as a metaphysical contradiction within Christian and classical realism alike.

EXPLICATIO

Law primitivism, as developed by Tim Maudlin in The Metaphysics Within Physics (Oxford University Press, 2007) and later refined in Philosophy of Physics: Laws, Explanation, and Symmetry (Princeton University Press, 2019), holds that the fundamental laws of nature are ontologically primitive; they are basic facts of the world that govern what is physically possible. As such, they are neither reducible to regularities among events nor analyzable in terms of universals or dispositions.

Central to Maudlin’s view is the notion of modal governance. According to this doctrine, laws are not descriptive generalizations but governing realities that determine the modal structure of the universe, that is, they determine the domain of what can and cannot occur. The laws of nature are “facts of governance,” possessing intrinsic modal authority; they make things behave lawfully, rather than merely record how they behave.

The philosophical motive behind this position is clear. Humean accounts reduce necessity to description; Maudlin restores it as an objective feature of reality. Unfortunately, by making the laws themselves fundamental, primitivism converts what should be explained into the ultimate explainer. The very intelligibility of the cosmos—its coherence, uniformity, and mathematical precision—becomes that about which reason is forbidden further to inquire. The result is a paradoxical ontology in which the finite behaves as if it were self-sufficient and necessary

Maudlin’s “governing facts” thus occupy an ambiguous status: they are finite in existence but infinite in function. They are everywhere present, universally binding, and unconditioned by what they govern. Primitivism thereby yields what may be called functional theism without God: the cosmos as self-grounded lawgiver. 

Philosophically, this position is unstable. If laws are grounded, they are not primitive; if ungrounded, their modal authority is arbitrary. To recognize necessity but deny its cause is to paralyze reason at the point of its deepest activity.

Obiectiones

Objiectio I. According to Maudlin, every chain of explanation must terminate somewhere. Laws are where it properly ends, for they make explanation possible. To ask for a ground of law is to misunderstand law’s ontological role as modal governor.

Objiectio II. Empirical realism holds that seeking a metaphysical ground for laws exceeds the limits of science and contributes nothing to explanation or prediction.

Objiectio III. Neccessitarian naturalism opines that necessity is simply a feature of the finite. If the world exhibits regularity, that regularity is ultimate. Therefore, to postulate an Infinite truthmaker is gratuitous metaphysics.

Objiectio IV. Antifoundationalists argue that every worldview ends in some ungrounded posit: the theist in God, the naturalist in law. To stop with God rather than law merely renames the brute.

Objiectio V. Theological minimalism asserts that Scripture itself portrays the world as ordered by fixed ordinances: “He set them in their courses.” Hence, the lawful structure of nature may rightly be regarded as primitive, though originally created.

Responsiones

Ad I. Explanation must terminate, but not in the arbitrary. A proper terminus is self-explanatory, not self-assertive. To stop at finite laws is to call contingent necessity ultimate. Modal governance, if real, cannot itself be without a governor; an ungrounded modal authority is a sovereignty without legitimacy.

Ad II. Science is methodologically modest but metaphysically neutral. Its refusal to ask “why these laws?” does not license the claim that no answer exists. Philosophy begins where empirical explanation ends.

Ad III. The finite cannot generate its own necessity. Coordination among laws, constants, and symmetries presupposes a unity transcending each. To make the contingent itself the source of the necessary is to conflate participation with origin.

Ad IV. The Infinite is not a renamed brute fact. A brute fact is contingent yet unexplained, while the infinite is necessary per se. Appeal to theiInfinite transforms unintelligibility into intelligibility, grounding rather than relocating the unexplained.

Ad V. The “courses” of creation imply stability of operation, not independence of being. Biblical lawfulness manifests divine fidelity, not divine withdrawal. Autonomy of process does not entail autonomy of existence.

Determinatio

From the foregoing it is determined that:

1. Law primitivism secures modal governance by fiat; it asserts necessity without explaining it. It halts reason precisely where reason most demands sufficiency.

2. The finite cannot serve as its own lawgiver. A world of contingent things and relations cannot contain the source of its universal necessity. “Necessary facts” arising contingently are self-contradictory.

3. The appeal to an infinite ground is therefore a philosophical, not merely theological, conclusion. The rational structure of the finite world points beyond itself to an unconditioned truthmaker, to an infinite act by which self-explanatory being confers order and modal unity upon the finite.

4. In this light, participatory ontology emerges as reason’s completion. If the infinite grounds the finite’s necessity, every law, structure, and regularity exists per participationem in that infinite act. Law is the trace of participation, and modal governance is the finite expression of the Infinite’s continuous act of holding-together.

5. The statement in ipso omnia constant thus names not a pious mystery but a metaphysical necessity. Theology and philosophy converge: what theology calls Word and Spirit, philosophy recognizes as the infinite cause through which all finite law receives its being and coherence.