Toward a Formal Theology of Teleo-Spaces II: Why First-Order Logic Is Not Enough

 Why First-Order Logic Is Not Enough

In the previous post I argued that the effort to formalize teleo-spaces is not an attempt to replace metaphysics with symbolism. It is an attempt to discipline a set of distinctions that have already become unavoidable: the distinction between donated particularity and intelligible articulation, between teleo-space and determination, between normative weighting and coercive causality, and between participation and constitution. I also suggested that a simple first-order treatment would be inadequate, because it would flatten ontological levels that must remain distinct. The present post explains that claim more carefully.

The issue is not whether first-order logic is useful. It is extraordinarily useful. Much of modern logic, mathematics, and model theory depends upon it. Nor is the issue whether first-order formalization is rigorous. It is. The issue, rather, is whether first-order logic is adequate to the particular structure of intelligibility at stake in this account. My claim is that it is not. The reason is not merely technical. It is philosophical and theological. First-order logic is designed to articulate determinate structures within a domain. Teleo-spaces, however, concern the conditions under which such articulation becomes possible at all without closure. They therefore place pressure on the very notion of a fixed domain governed by a completed inventory of predicates.

What First-Order Logic Does Well

A first-order language begins, in effect, with a domain of objects. One then introduces predicates, relations, and quantifiers ranging over those objects. In this way one can state with considerable exactness what belongs to the domain, what properties or relations obtain within it, and what follows from a given set of axioms. This is one of the great achievements of modern formal thought. It allows us to move from vague conceptuality to precise inferential structure.

For many purposes this is enough. If one wishes to describe a determinate structure, first-order logic is often entirely appropriate. One can formalize arithmetic, groups, orders, fields, and all manner of mathematical systems. One can also model many ordinary forms of discourse by specifying a domain and a semantics over that domain. The rigor of the method is not in dispute.

The problem arises only when one attempts to use this framework for a subject matter that is not exhausted by determinate structures. Teleo-spaces are not simply domains of objects with properties. They are fields of intelligible openness within which determinate structures may arise. To formalize such fields as though they were already just one more domain of objects would be to miss the very question at issue.

The Pressure from Teleo-Spaces

The metaphysical claim developed in the first post can now be restated more sharply. Intelligibility cannot be self-grounding. If determinate structures are meaningful, they must arise within a field of determinability. But that field itself cannot be one more determinate structure of the same kind, or the regress simply resumes. Nor can it be a merely subjective horizon, for then intelligibility collapses into constitution by the subject. Teleo-space was introduced precisely to resist both of these outcomes.

Now notice what happens if one tries to force this into an ordinary first-order mold. One begins with a domain. Very well. What belongs to it? If donated loci, teleo-spaces, determinables, determinates, and subjects all belong to that one domain, then the account is already lost. It has flattened what must remain layered. If, on the other hand, one partitions the domain into different kinds of objects, then one gains something, but not enough. For the very notion of a domain still suggests that what is under discussion consists of items of the same broad logical order, merely tagged differently. Yet teleo-space is not an “item” in the same sense as a determinate object, and donated particularity is not an “item” in the same sense as a determinable. The grammar of first-order logic nudges us toward a level of uniformity the ontology refuses.

This is why a typed or many-sorted approach becomes necessary. But even that will not fully solve the problem. It prevents immediate collapse, but it does not yet explain the open and non-exhaustive character of intelligibility itself. A teleo-space is not merely another sort. It is a field in which articulation occurs without closure. That is exactly where first-order logic begins to show its limits.

The Problem of Closure

The decisive weakness of first-order logic for the present task is not that it is weak in some absolute sense. It is that it encourages one to think that once the domain and predicates are given, the essential work is done. What remains is derivation. But teleo-spaces are not closed inventories. They are not exhausted by any final listing of what is intelligibly available within them.

This matters because the account under consideration insists that intelligibility is open. The Logos articulates without exhausting. Determinability is real, but no fixed predicative specification closes it. If one could simply list all determinables within a teleo-space, together with all admissible relations among them, then teleo-space would collapse into determinate structure. But teleo-space is precisely that within which determinate structures arise without final closure.

One may put the point schematically. First-order logic is very good at handling the question: what follows, given these objects and these predicates? It is far less well suited to the question: what kind of field must already be in place if such objects and predicates are to count as intelligibly articulated at all, and why can no completed predicative inventory exhaust that field? The latter question is transcendental in pressure, even if it is formal in consequence.

Löwenheim-Skolem and the Underdetermination of Interpretation

The point becomes still clearer when viewed through model theory. One of the most significant results in first-order logic is that first-order theories with infinite models cannot control the cardinality of their models. A theory may be intended to describe an uncountable structure and yet possess a countable model. More generally, a first-order theory does not determine a unique intended interpretation. It describes a class of models satisfying the axioms, but not which of those models is the one the theory is “really about.”

This is not a contradiction. It is a theorem. But it reveals something important. First-order syntax does not secure its own intended interpretation. Formal structure underdetermines reference. A theory may be rigorously specified and still fail, by syntax alone, to pick out the structure one takes oneself to be describing.

For ordinary mathematical logic this is already philosophically interesting. For the present project it is decisive. Teleo-spaces were introduced, in part, to name the field within which formal articulation becomes meaningful as articulation. If a first-order theory underdetermines its own intended interpretation, then formalism alone cannot explain how its symbols come to bear upon what they are taken to articulate. Something more is required. One may call that something a horizon, a field, or, in the language of this series, a teleo-space.

The issue is not merely semantic. It is ontological. The theory does not float free in a void. It is articulated within a field in which some interpretations count as fitting, adequate, natural, or canonical, while others do not. First-order logic can generate models. It cannot by itself explain the oriented intelligibility within which one model is taken as the intended articulation rather than another.

Gödel and the Excess of Truth over Derivation

Gödel presses the point from another angle. A sufficiently expressive formal system contains truths it cannot prove within itself. The significance of this is often reduced to a technical curiosity or turned into a romantic argument about mind and machine. But for present purposes the more important lesson is simpler. Formal derivation does not coincide with intelligibility as such. There is an excess of truth over formal proof.

This means that even in the domain of maximal rigor, a distinction persists between what a system can derive and what a subject can recognize as true about the system. One may move to a stronger system, of course, but then the same problem recurs. The meta-level recedes as one formalizes it. That is not an accident. It is the signature of the fact that formal articulation never completely encloses the field within which it is intelligible as articulation.

Teleo-spaces are meant to name that field in ontological rather than merely epistemic terms. They are not just the “outside” of the system in a casual sense. They are the ordered openness within which derivation, truth, fittingness, and manifestation become meaningful at all. First-order logic can operate within such a field, but it cannot finally account for it from within its own resources.

Why Second-Order Pressure Arises

At this point one can see why second-order pressure begins to emerge. The issue is not simply that one wants more expressive power in the abstract. The issue is that teleo-spaces concern conditions on articulation. They are not merely sets of articulated items. To speak about such conditions, one must often quantify not only over objects but over predicates, relations, or families of admissible articulations.

Consider the anti-closure claim that has already surfaced in the previous post. The point is not that there is no predicate that applies to anything in a teleo-space. The point is that no admissible articulating predicate, and no finite family of such predicates, exhausts the teleo-space. That kind of claim is naturally second-order. It concerns not simply the objects in the field, but the articulations by means of which the field is brought into intelligible form.

The same point appears in another register when one says that two determinables may be extensionally equivalent and yet hyperintensionally distinct. First-order logic is naturally disposed to think in terms of membership and extension. But if two articulations differ in mode, fittingness, or intelligible role while yielding the same extension, one has already moved beyond what extensional treatment can capture. The system must be able to speak of articulation itself as structured. This is one reason later posts will have to introduce a hyperintensional layer.

Why This Matters Theologically

One might ask why any of this matters theologically. The answer is that theology is especially vulnerable to reduction when its formal grammar is left unclarified. If one treats theological language as though it simply referred to objects in a domain the way ordinary empirical language does, one will flatten it into one more regional discourse. If one treats it as a merely expressive or ethical language without truth-conditions, one will lose its realism. If one treats it as a projection of subjectivity, one will abandon the extra nos structure central to Luther’s account of Word and Spirit.

The account of teleo-spaces developed in this series is meant to resist all three reductions. Theological language is real, intelligible, truth-claiming, and normatively ordered. But its structure cannot be captured by a flattened first-order model in which all levels of discourse and being are assimilated to one another. The Father’s donation of differentiated possibility, the Logos’s articulation of teleo-space, and the Spirit’s ordering of fittingness already require a more layered grammar. Theology does not become less rigorous by acknowledging this. It becomes more so.

A Schematic Formal Contrast

At this stage a simple contrast may help. A first-order inclination is to think in terms such as these: given a domain and predicates over that domain, one asks what is true or derivable. But the present project must ask a prior question: what must already be in place if there is to be a domain of articulable items at all, and why can no fixed predicative inventory close the space in which those items become intelligible?

That is why the order introduced in the previous post matters:

L → T → D → A

Donated loci are not determinables. Teleo-spaces are not just domains. Determinables do not exhaust what is first given. Determinates presuppose the whole prior order. First-order logic is comfortable beginning near the end of that sequence. This account cannot begin there. It must think the conditions under which the sequence itself becomes possible.

What This Does Not Mean

To say that first-order logic is not enough is not to say that it is useless. On the contrary, it will remain an important instrument within the broader formal framework. Once determinables and determinates are in view, much first-order work can still be done. Nor is the claim that second-order logic by itself solves the problem. It does not. Formalization, however rich, will always remain subordinate to metaphysical interpretation. Symbols do not generate Logos, and syntax does not cause Spirit.

The point is more limited and more important. First-order logic cannot by itself capture the layered, open, and non-exhaustive structure of intelligibility at stake in teleo-spaces. It can model determinate structures within that field. It cannot finally explain the field itself. If one ignores that limit, the formal system will silently displace the ontology it was meant to serve.

The Path Forward

The result is not discouragement, but clarification. We now know more exactly what the next stages of formalization must attempt. We will need a framework that distinguishes donated loci, teleo-spaces, determinables, determinates, and subjects. We will need a way to speak about admissible articulation without collapsing it into arbitrary predication. We will need to preserve the openness of teleo-space against closure. We will need to account for manifestation, hyperintensional difference, comparative fittingness, and eventually truth, felicity, and theological reference. First-order logic remains part of that work, but it cannot be the whole of it.

For that reason the next post will turn to the deepest ontological pressure in the account so far: the status of differentiated possibility itself. If intelligibility does not create its own material, what is first given? What must be the case if plurality is to be real prior to articulation without becoming brute? That is the question to which we must now turn.

Next in the series: Toward a Formal Theology of Teleo-Spaces III: Differentiated Possibility and Donated Loci