Toward a Formal Theology of Teleo-Spaces X: Truthmakers and Constitutive Satisfaction

 Truthmakers and Constitutive Satisfaction

The previous post argued that theological reference is irreducibly two-layered. At the first layer, an expression refers within a teleo-space to determinables and determinate realities. At the second, it refers to the ground or mediation of that teleo-space itself. This distinction made it possible to preserve divine naming as genuinely referential without reducing it either to ordinary object-designation or to pious gesture. But once that distinction is in place, a further question becomes unavoidable. If theological discourse can refer truly within a teleo-space and coherently toward the ground of that teleo-space, what makes such discourse true? What in reality answers to it? And why is ordinary model-theoretic satisfaction still not enough for theology?

These questions force the present post. My claim is that theological truth requires more than semantic satisfaction under an interpretation. It requires what I shall call constitutive satisfaction. A content is constitutively satisfied when reality itself, as donated by the Father, articulated by the Logos, and ordered by the Spirit, grounds the truth of that content. Theology does not become non-semantic thereby; rather, its semantics are deepened. Truth is not abandoned, but it is tied more explicitly to the real structure of manifestation and teleo-space. This is why truthmakers must now be introduced.

Why Satisfaction Alone Is Not Enough

The language of satisfaction has an obvious place in logic. A formula is satisfied in a structure under an interpretation. This is one of the great achievements of formal semantics. It shows with precision how language can be evaluated as true or false relative to a specified model. There is no need to deny the power of this apparatus. Yet if it is taken as the whole story, it becomes inadequate for the present framework.

The problem is not difficult to state. Satisfaction in the thin formal sense tells us that a content comes out true within a structure under an interpretation. It does not yet tell us what makes the interpretation itself answerable to reality as donated, articulated, and manifested. One may have a formally satisfactory interpretation without having yet secured theological truth in the stronger sense. That is because ordinary satisfaction abstracts from the deeper ontological question of what in the real grounds the truth of what is said.

This matters especially in theology. If one were to stop with ordinary satisfaction, theological truth would become a matter of assigning referents and checking whether a formula comes out true under those assignments. But the whole burden of the previous posts has been to show that theological discourse is not one more flat regional semantics. It belongs within a teleo-space structured by manifestation, comparative fittingness, and two-layer reference. Satisfaction, if it is to serve this framework, must therefore be deepened.

Truthmakers and the Real Answerability of Truth

The classical truthmaker intuition is helpful at this point. A truth is true because reality is such as to make it true. The thought is sound, but it needs reformulation within the present ontology. A truthmaker here cannot be understood simply as a brute fact or atomic state of affairs. That would throw us back into the flat ontology the series has been resisting from the start. A truthmaker must instead be tied to the full order already developed: donation, articulation, manifestation, and determination.

Let m range over truthmakers. Then one may write 'TM(m,c,t)' to mean that truthmaker m supports content c in teleo-space t.

This formula is already more informative than a generic truthmaker relation because it preserves teleo-space as the field within which truthmaking occurs. The truthmaker is not simply “out there” in a bare world. It supports the content in a teleo-space of manifestation and fittingness. This is exactly what one should expect if intelligibility itself is teleologically structured.

Yet even this is not quite enough. For the question remains: what kind of support is in view? If support means only that the truthmaker happens to correlate with the content, we have not gone far enough. The truthmaker must not merely accompany the content. It must ground it.

Constitutive Satisfaction

This is why the stronger notion of constitutive satisfaction is required. Let 'CSat(c,m,t)' mean that content c is constitutively satisfied by truthmaker m in teleo-space t.

The point of this relation is to say that the truth of c is not merely a result of formal assignment. It is grounded in the real structure of what is manifested in t. The truthmaker does not simply verify the content from outside. It belongs to the articulated and donated order in such a way that the content is true because reality itself bears it out.

One may therefore state the first important principle of the present post as follows:

If CSat(c,m,t), then c is satisfied in t.

That is, constitutive satisfaction implies ordinary satisfaction. But not conversely. There may be cases in which a content is satisfied under an interpretation, yet the deeper constitutive grounding required for theological truth is absent or underdescribed. This asymmetry is essential. It prevents theology from being reduced to model-theoretic assignment while still preserving the value of formal semantics.

Why Truthmakers Must Be Donation-Sensitive

The next step is to ask what sort of truthmaker could count as constitutive in this framework. The answer must now be clear from the previous posts. A truthmaker cannot be treated as a free-floating abstract item. It must be related to manifestation, and manifestation itself is tied to donated loci articulated within teleo-space. To say this formally, one may write 'DonRel(m,x,t)' to mean that truthmaker m bears constitutive relation to donated locus x in teleo-space t.

This is a deliberately strong relation. It says that the truthmaker is not simply linked to a determinate state of affairs in abstraction from donation. It bears constitutive relation to what the Father has first given. In this way truthmaking is tied back to the deepest ontological level of the system.

The advantage of this move is considerable. It means that theological truth is not merely true “about” some abstractly specified item. It is true because the real, as donated and articulated, supports the content. Truth is thereby protected from both formalism and expressivism. It is neither the outcome of a bare semantic procedure nor the projection of a community’s way of speaking. It is answerable to reality itself, but to reality understood in the layered theological grammar developed throughout the series.

Manifestation and Truthmaking

The role of manifestation now becomes decisive. Since determinables are manifestations of donated loci within teleo-space, a content can be constitutively satisfied only if it is answerable to such manifestation. One may therefore write:

If CSat(c,m,t), then there exists some d and some x such that About(c,d,t), Man(d,x,t), and DonRel(m,x,t).

In plain language: if a content is constitutively satisfied, then it is about some determinable d in teleo-space t, and that determinable manifests some donated locus x to which the truthmaker m is constitutively related.

This formula is one of the strongest in the whole framework. It ties together the main strands of the project:

• truth belongs to content;

• content is about determinables;

• determinables manifest donated loci;

• truthmakers bear constitutive relation to those loci;

• constitutive satisfaction is therefore the grounding of truth in the full donated and articulated real.

At this point the distinction from flattened correspondence is unmistakable. Truth is still answerability to reality, but the reality to which it is answerable is not a bare object-world. It is the reality of donation, articulation, manifestation, and teleo-space.

Why Ordinary Truth Is Still Not the Whole Story

One might now object that if truthmakers and constitutive satisfaction have been introduced, perhaps felicity and performance can be set aside. But that would be premature. The previous post showed why performance matters. An utterance may be true and yet infelicitous. The present post does not undo that point. It deepens it. Theological discourse must now be said to be answerable in at least two ways: first, to constitutive satisfaction by the real; second, to apt and authorized performance within the Spirit-ordered field.

It is therefore important to distinguish three things:

• ordinary satisfaction;

• constitutive satisfaction;

• Spirit-felicitous theological performance.

Ordinary satisfaction concerns semantics in the narrow formal sense. Constitutive satisfaction concerns the real grounding of truth. Spirit-felicitous performance concerns the authorized utterance of such truth within teleo-space. These three are related, but not identical. To confuse them would be to collapse the richness of theology into one dimension.

In particular, constitutive satisfaction does not by itself imply Spirit-felicity. A content may be constitutively satisfied and therefore true, yet the utterance of that content may still misfire as theological performance. Conversely, a Spirit-felicitous theological performance cannot float free of constitutive satisfaction. In strong theological cases, the utterance must be grounded in the real it names.

Theological Constitutive Satisfaction

This suggests one further strengthening. There are cases in which constitutive satisfaction is theological in a stronger sense than mere truthmaking. Let 'CSat_L(c,m,t)' mean that content c is theologically and Logos-disciplinedly constitutively satisfied by m in teleo-space t.

This is not a different kind of truth from truth. It is rather a stronger specification of the way the content is made true. A content is theologically constitutively satisfied when its truthmaker relation is not merely formally assignable, but integrated with Logos-disciplined reference and the two-layer coherence discussed in the previous post.

In plain terms, theological constitutive satisfaction requires not only that the content be true, but that its truth be grounded in the order of donation and manifestation in a way fitting to theology itself. This is what distinguishes a merely extensional truth from a theologically grounded truth.

One may therefore state:

If CSat_L(c,m,t), then CSat(c,m,t).

Again the asymmetry matters. Theological constitutive satisfaction implies constitutive satisfaction, but not conversely. Not every truthmaker-grounded content is theological in the strong sense.

Why Hyperintensional Difference Matters Here

The need for this stronger notion is especially evident once one recalls the earlier discussion of hyperintensionality. Two contents may be extensionally equivalent and yet differ in articulated mode, force, or theological depth. One content may be constitutively satisfied in a theological way, while another, though extensionally parallel, is not. This is precisely the sort of distinction that ordinary model-theoretic semantics has difficulty expressing.

Suppose two contents concern determinables that are extensionally similar. The first articulates the determinable under a mode rightly ordered to the donated and manifested real. The second treats the same extension in a flattened, merely descriptive, or theologically disordered way. Extensionally the two may line up. But theologically they are not equivalent. The first may be theologically constitutively satisfied; the second may not. This is not irrationality. It is the formal consequence of taking manifestation and two-layer reference seriously.

The point is worth stressing. Theology is not saved from flattening merely by adding pious predicates to an otherwise secular semantics. It requires a deeper semantics, one sensitive not only to truth-values and extensions but to mode of articulation, manifestation, donation, and teleo-space. Truthmakers and constitutive satisfaction are therefore not optional additions. They are required if the realism defended in the earlier posts is to remain theological rather than merely abstract.

The Relation to Divine Naming

The previous post’s distinction between first-layer and second-layer reference now finds its proper role. If a theological expression bears ground-reference to the source or mediation of the teleo-space, then constitutive satisfaction in the stronger theological sense must take that ground-reference into account. It is not enough that a content be true about some determinable in the field. It must also be coherent with the way the field itself is given and mediated.

This is why divine naming cannot be treated as external to the present discussion. A theologically constitutively satisfied content is not merely true in a teleo-space. It is true in a way that remains coherent with the meta-level reference to the ground of that teleo-space. The truthmaker therefore supports not just object-level correctness but the two-layer coherence of theological discourse.

This point is especially important for utterances that name God, Christ, Spirit, promise, or election. The truth of such utterances cannot be captured adequately by a semantics that ignores the mediating relation of the Logos to the teleo-space itself. Truthmakers in theology are therefore not merely local state-descriptions. They belong to a field whose ground is itself theologically relevant.

A Formal Sketch

The main formulas of the present post may now be gathered in plain text.

• TM(m,c,t) means truthmaker m supports content c in teleo-space t.
• CSat(c,m,t) means content c is constitutively satisfied by truthmaker m in teleo-space t.
• DonRel(m,x,t) means truthmaker m bears constitutive relation to donated locus x in teleo-space t.
• CSat_L(c,m,t) means content c is theologically constitutively satisfied by truthmaker m in teleo-space t.

One may then state:

• If CSat(c,m,t), then c is satisfied in t.
• True(c,t) implies there exists some m such that CSat(c,m,t).
• If CSat(c,m,t), then there exist d and x such that About(c,d,t), Man(d,x,t), and DonRel(m,x,t).
• If CSat_L(c,m,t), then CSat(c,m,t).
• There exist c and t such that c is true in t but there is no m such that CSat_L(c,m,t).

These formulas are enough to display the main structure. Truth is grounded by constitutive satisfaction. Theological constitutive satisfaction is stronger than ordinary constitutive satisfaction. And the stronger theological case depends on coherence with the donated and manifested order.

Why This Matters for the Whole Series

At this point one can see how much has been achieved. The first posts of the series established donation, articulation, teleo-space, manifestation, comparative fittingness, participation, truth, felicity, and two-layer reference. The present post now ties truth to the real more deeply through truthmakers and constitutive satisfaction. The formal framework is therefore no longer merely a way of speaking about intelligibility in the abstract. It has become a genuine theological semantics.

This matters because theology has often oscillated between two failures. On one side lies a thin realism that assumes ordinary reference and correspondence are enough. On the other lies a thick performativity that leaves truth behind. The present account avoids both by insisting that theological discourse is truth-claiming, truthmaker-grounded, performative, and Spirit-ordered. None of these dimensions cancels the others. They belong together.

Summary

The argument of this post may now be stated simply.

1. Ordinary semantic satisfaction is not enough for theology.
2. Truth requires truthmakers.
3. In this framework truthmakers must be tied to donation and manifestation rather than treated as brute facts.
4. Constitutive satisfaction names the stronger grounding of truth in the donated and articulated real.
5. Theological constitutive satisfaction is stronger still, because it requires coherence with Logos-disciplined theological reference.
6. Constitutive satisfaction does not replace felicity, but deepens the truth side of the truth/felicity distinction.
7. Finally, this makes possible a genuinely theological semantics in which discourse remains answerable both to the real and to the Spirit-ordered field of utterance.

What Comes Next

The next step is now evident. If theological discourse can be true, constitutively satisfied, and coherent across two layers of reference, what becomes of Christology within this framework? How does the incarnation appear when universals are no longer doing the main explanatory work? Can Christ be understood as the maximal articulation of a donated particular within a teleo-space of unsurpassable intelligibility and fittingness?

These are the questions to which the next post must turn.

Next in the series: Toward a Formal Theology of Teleo-Spaces XI: Christology and the Maximal Articulation of the Particular

Toward a Formal Theology of Teleo-Spaces IX: Divine Naming and Two-Layer Theological Reference

 Divine Naming and Two-Layer Theological Reference

The previous post distinguished truth from felicity without separating them. Truth concerns the adequacy of articulated content within a teleo-space. Felicity concerns the aptness and authorized performance of an utterance within that same field. Spirit-felicity names the stronger theological case in which utterance is not only fitting in a general sense but authorized within the Spirit-ordered field. That distinction made it possible to preserve theology as both truth-claiming and performative. But it also forces the next question. If theological discourse can be true, felicitous, and Spirit-felicitous, how does it refer? Is ordinary semantic designation sufficient, or must one distinguish between ordinary reference and a stronger theological reference answerable to the ground of intelligibility itself?

The present post argues for the second option. Ordinary designation is real and indispensable, but it is not enough for theology. Theological discourse operates on two levels at once. At one level it refers within a teleo-space to determinables, determinate realities, and articulated contents. At another level it refers to the ground or mediation of that teleo-space itself. This is what I shall call two-layer theological reference. Without it, divine naming either collapses into ordinary object-reference or dissolves into pious gesture. With it, theological reference can remain both real and theologically specific. The result is not a second, disconnected discourse hovering above the first, but a layered structure in which object-level and meta-level reference belong together without collapse.

Why Ordinary Reference Is Not Enough

It is useful to begin with what ordinary reference does well. Within any given teleo-space an expression may refer to a determinable or determinate reality. A content may be about some articulated aspect of what is manifest there. This is already enough to support a rich range of discourse. In ordinary scientific, moral, and much philosophical language, such reference may be sufficient. Even theology cannot dispense with this level. It must speak about what is manifested in teleo-space, about promise, judgment, Christ, Church, obedience, faith, and truth.

Yet if one tries to reduce all theological reference to this level, something essential is lost. The problem is not simply that “God” is unlike other objects. It is deeper than that. Theology does not merely refer to something within a field of intelligibility. It also refers to the source and mediation of that field. Theological discourse speaks not only about what is manifested, but about the one through whom manifestation occurs, the one in whom intelligibility is articulated, and the one by whom comparative fittingness is ordered. Ordinary designation can refer within the field. It does not yet account for reference to the ground of the field.

This is why ordinary reference is insufficient. It treats every referent as though it belonged to the same logical order. But in theology the order of reference is itself layered. Some expressions designate determinables within teleo-space. Others, and often the same expressions in a deeper register, designate what grounds or mediates the teleo-space itself. A formal account that cannot distinguish these two levels will either flatten theology into one more regional discourse or render divine naming unintelligible.

The First Layer: Object-Level Reference

The first layer is straightforward enough. An expression may refer to a determinable in a teleo-space. Let n range over names, d over determinables, and t over teleo-spaces. Then one may write 'Des_1(n,d,t)' to mean that at the first layer, name n designates determinable d in teleo-space t.

This is ordinary object-level designation within the framework developed so far. It need not be trivial or shallow. It already presupposes donation, articulation, manifestation, and comparative fittingness. A theological utterance may say something about Christ, faith, promise, sin, righteousness, or divine action within a teleo-space, and in that sense its names and predicates function at the first layer.

The first layer must not be abandoned. If it were, theology would lose contact with articulated content. It would become pure gesture, mood, or aspiration. Theological discourse would then cease to say anything about what is manifested. The present account firmly rejects that result. Theology does speak about realities within teleo-space, and this requires object-level designation.

Yet object-level designation is not the whole story. It allows one to say what a content is about within a teleo-space, but not yet how the discourse refers to the ground of that intelligibility. For that a second layer is required.

The Second Layer: Meta-Level Theological Reference

The second layer concerns what may be called meta-level theological designation. Here the discourse does not merely refer to a determinable in a teleo-space. It refers to the source, mediation, or ground of that teleo-space itself. This is what occurs most clearly in divine naming. When theological language names the Logos, the Spirit, or the Father, it is not merely picking out one more item within a field. It is naming what gives, articulates, or orders the field in which items become intelligible at all.

To mark this formally one may introduce a second relation 'Des_2(n,g)' to mean that at the second layer, name n designates theological terminus g.

The word “terminus” is intentionally cautious. It does not imply that God is simply an object in a domain alongside other objects. Rather, it marks the formal place occupied by what is named at the meta-level. Theological naming terminates in that which grounds the intelligibility of the field in which first-layer reference operates.

This distinction immediately clarifies much that is otherwise obscure. The name “Christ,” for example, may operate at the first layer by referring to a determinable within a Christologically ordered teleo-space. But it may also operate at the second layer by referring to the one in whom the field of Christian intelligibility is mediated. Likewise, “Spirit” may refer within the field to the order of comparative fittingness and authorization, and at the same time designate the divine source of that order. Theological language is therefore layered. The same name may function in both registers without being reducible to either one.

Why Two Layers Do Not Mean Two Discourses

At this point a misunderstanding must be prevented. To say that theological reference is two-layered is not to say that there are two separate discourses, one ordinary and one theological, with no internal relation between them. Nor is it to say that theology first speaks about ordinary realities and then later adds a second mystical discourse about God. The two layers belong together. Theological language is one discourse, but a discourse whose reference cannot be captured on one plane alone.

The object-level is what allows theological speech to say something determinate and truth-apt within teleo-space. The meta-level is what allows that same speech to refer to the source and order of the intelligible field within which it operates. Without the first layer, theology becomes empty. Without the second, theology becomes flattened. The whole point of the present distinction is to preserve theological discourse as both meaningful and irreducibly theological.

This is why I have called the structure one of two-layer coherence rather than dual discourse. The issue is not separation, but ordered non-collapse.

Rigid Designation and Divine Naming

The need for a second layer becomes especially clear in relation to divine naming. In ordinary philosophical usage, a rigid designator is a name that designates the same referent across possible worlds or counterfactual situations. That notion is useful, but for present purposes it is not enough. Theological naming requires a stronger and more carefully disciplined sense of rigidity. The name must remain referentially stable not merely across possible worlds conceived abstractly, but across admissible articulations within teleo-space. Why? Because what is named at the second layer is not produced by those articulations. It is the ground or mediation of them.

One may therefore write 'Rigid_2(n)' as meaning that name n is rigid at the second layer.

This says that the theological terminus designated by n is not altered by the variations of articulation within the teleo-space. One and the same name may be used in multiple contents, performances, or contexts, yet the theological terminus of naming remains stable. This is not a secular rigid designation merely imported into theology unchanged. It is a theological rigidity grounded in the extra nos of intelligibility. Because the source of articulation is not produced by the act of articulation, the name that designates that source may remain stable across admissible articulative variation.

This provides a powerful way to think about divine naming. A divine name is not merely a description that succeeds if certain predicates are satisfied. Nor is it merely a performative marker of communal identity. It designates rigidly at the meta-level because it refers to what grounds the field in which descriptive and performative discourse occur.

Ground-Reference

To connect the two layers more closely, it is helpful to introduce one further relation 'GroundRef(e,g,t)' to mean that expression e, used in teleo-space t, refers at the meta-level to theological terminus g.

This relation is important because it connects utterance, teleo-space, and meta-level reference directly. The expression does not merely have a content and an object-level aboutness. It also bears a relation to the ground or mediation of the field in which it is spoken. This is precisely what makes theological discourse theological rather than merely regional.

Ground-reference is not an optional add-on. It is the way in which theological discourse remains answerable not only to what is manifested in teleo-space, but to the one in whom teleo-space is opened and ordered. Without such reference, theology may still speak meaningfully at the first layer, but it will fail to achieve full theological coherence.

Two-Layer Coherence

We might now give a name to that fuller relation. Let 'Coherent_2(e,c,t,g)' mean that expression e, saying content c in teleo-space t, is coherent across object-level and meta-level reference to g.

This formula gathers together the main burden of the present post. A theologically coherent utterance does not merely have content in a teleo-space. Nor does it merely utter a divine name. It speaks in such a way that its object-level content and its meta-level ground-reference belong together rightly. It is coherent across the two layers.

This is one of the most important formal gains of the whole project. It gives a disciplined way to say what is often only gestured at in theological prose. Some utterances are intelligible within a teleo-space, but do not achieve second-layer coherence. Others do. The difference is not merely rhetorical intensity or devotional tone. It concerns whether the discourse is rightly joined to its own ground.

This also helps to explain the difference between generic religious language and strongly theological language. The former may speak meaningfully and even truly at the first layer. The latter does so while also bearing coherent reference to the source and mediation of the teleo-space itself.

Naming Under Donation

The distinction between designation and donation now becomes sharper. Ordinary designation may attach a name to a determinable within a teleo-space. But some names function in a deeper way. They do not merely label what is articulated. They bear a donation-sensitive relation to what grounds and mediates the field of articulation itself. We may mark this with another relation 'DonName(n,g)' to mean that name n is donation-sensitive in its designation of g.

This relation is meant to distinguish names whose theological force cannot be reduced to object-level descriptive assignment. Such a name may indeed have object-level uses, but it is not exhausted by them. It remains answerable to the donated and mediated order of intelligibility itself.

This is why one and the same name may operate on both levels without collapse. At the first layer it may designate determinables within teleo-space. At the second it may designate the theological terminus through which that teleo-space is opened, ordered, or mediated. This is not ambiguity in the pejorative sense. It is a structured layering of reference.

Why This Matters for Theology

The theological significance of all this is considerable. Without a two-layer account of reference, theology is pulled in one of two directions. Either divine names become ordinary names for extraordinary objects, in which case theology is flattened into a kind of regional metaphysics, or divine names become merely expressive markers that do not really refer, in which case theology loses its realism. The present account avoids both. Divine naming is genuinely referential, yet its referentiality is layered and donation-sensitive.

This also clarifies why theology cannot be reduced to semantic designation alone. Theological utterance refers within teleo-space and toward the ground of teleo-space. It is therefore not enough to ask what a name picks out in the field. One must also ask how the expression stands in relation to the source and mediation of the field itself. The two-layer framework allows that question to be posed formally rather than merely rhetorically.

The Relation to Truth and Felicity

The relation to the previous post should now be evident. Truth concerns content within teleo-space. Felicity concerns the aptness of utterance within teleo-space. Spirit-felicity intensifies this into theological authorization. But none of these can be fully clarified without reference. If an utterance is to be Spirit-felicitous, it must not only be fitting and true; it must also be properly ordered in its reference. In strong theological cases, Spirit-felicity requires second-layer coherence. The utterance must speak truly within the field and refer rightly to the ground of the field.

This is why truth and felicity, though distinct, both press toward the present discussion. Truth requires aboutness. Felicity requires aptness. Theology requires both, but also a further coherence of naming and ground-reference. The present post therefore does not leave the earlier distinctions behind. It deepens them.

A Plain-Text Formal Sketch

The main formal markers of the present post may now be gathered in plain text.

• 'Des_1(n,d,t)' means that name n designates determinable d in teleo-space t.
• 'Des_2(n,g)' means that name n designates theological terminus g at the second layer.
• 'Rigid_2(n)' means that name n rigidly designates its second-layer terminus across admissible articulations.
• 'GroundRef(e,g,t)' means that expression e, used in teleo-space t, refers at the meta-level to g.
• 'Coherent_2(e,c,t,g)' means that expression e, saying content c in teleo-space t, is coherent across object-level and meta-level reference to g.
• 'DonName(n,g)' means that name n is donation-sensitive in its designation of g.

One may then state the following.

• There exist names n such that Rigid_2(n).
• There exist names n, determinables d, teleo-spaces t, and termini g such that both Des_1(n,d,t) and Des_2(n,g).
• If Coherent_2(e,c,t,g), then e says c in t and e bears ground-reference to g.

These formulas are still schematic, but they display the basic point: theology requires a formal distinction between first-layer designation and second-layer theological reference.

Summary

The argument of this post may now be stated briefly.

1. Ordinary object-level designation is real and indispensable, but not enough for theology.
2. Theology operates with a second layer of reference directed toward the ground or mediation of intelligibility itself.
3. Divine naming must therefore be understood in a layered way.
4. Meta-level designation is not reducible to ordinary object-reference.
5. Some theological names function rigidly at the second layer because what they designate is not produced by the articulations in which they are used.
6. The same name may operate at both layers without collapse.
7. Finally, full theological coherence requires the right relation between object-level content and meta-level ground-reference.

What Comes Next

The next question now follows naturally. If theological discourse refers on two levels and if some utterances achieve strong coherence across those levels, what makes such discourse true in more than a merely formal or semantic sense? What grounds the truth of a theological content? And how should one distinguish ordinary satisfaction from a deeper, constitutive satisfaction by the real itself?

These are the questions to which the next post must turn.

Next in the series: Toward a Formal Theology of Teleo-Spaces X: Truthmakers and Constitutive Satisfaction

From Löwenheim–Skolem to Teleospace: On the Conditions of Mathematical Reference

I. Introduction

The rise of modern mathematical logic in the late nineteenth and early twentieth centuries seemed to promise a decisive clarification of the nature of mathematical thought. If mathematical reasoning could be expressed within a precisely specified formal language, governed by explicit axioms and rules of inference, then the content of a mathematical theory might appear fully capturable through its formal articulation. Mathematics would become, at least in principle, a system of symbolic expressions whose legitimate consequences could be generated by purely syntactic means. What had long appeared bound up with intuition, insight, or informal rigor could now be recast as the disciplined manipulation of signs.

This achievement was genuine. Modern logic gave mathematics a new degree of precision, transparency, and self-consciousness. Yet the very success of the formal program also disclosed limits internal to it. Some of the most philosophically important of these limits emerge in the model theory of first-order logic, above all in the Löwenheim–Skolem theorems. These theorems show that a first-order theory cannot, by its formal resources alone, determine the cardinality of its infinite models. A theory with an infinite model in a countable language has a countable model; if it has one infinite model, it has others of larger infinite cardinalities as well. The theory therefore does not isolate a unique infinite structure as its object. It admits multiple, non-isomorphic realizations.

At one level, this is a technical fact about formal expressibility. At another, it places pressure on a much larger philosophical assumption: that formal syntax can secure its own intended reference. For if several distinct structures satisfy the same theory, then the theory itself does not determine which of these structures it is about. The issue is not merely that a theory has many models, but that nothing in first-order syntax alone selects one of them as the intended object of discourse. Formalization yields a class of admissible structures, but not yet the determinacy of mathematical aboutness.

This problem becomes especially vivid in the phenomenon traditionally called Skolem’s paradox. If Zermelo–Fraenkel set theory has any infinite model, then by the downward Löwenheim–Skolem theorem it has a countable model. Yet within such a model there are sets that the theory itself regards as uncountable. No contradiction arises, since the countability of the model is visible only from an external standpoint; internally, the theory still asserts that no bijection exists between certain sets. But precisely here the deeper issue appears. The theory does not secure by itself the intended interpretation of its own claims about uncountability. The gap between internal satisfaction and external interpretation becomes impossible to ignore.

The philosophical significance of this gap is considerable. The Löwenheim–Skolem theorems do not prove that mathematical reference is wholly indeterminate, nor do they show that mathematics collapses into arbitrariness. Mathematical practice is plainly not conducted as though all formally admissible models were equally intended. Mathematicians do not ordinarily take themselves to be studying an arbitrary model of arithmetic, an arbitrary complete ordered field, or an arbitrary realization of set-theoretic axioms. They speak and reason as though their inquiries are directed toward determinate structures: the natural numbers, the real continuum, the universe of sets. Formal theory reveals a symmetry among models that mathematical life does not in fact treat as symmetrical.

This asymmetry is the point of departure for the present essay. If first-order syntax underdetermines intended structure, yet mathematical inquiry nevertheless exhibits stable orientation toward certain structures as canonical or privileged, then something beyond syntax must be at work in fixing that orientation. The formal system does not generate its own directedness. It operates within a broader field of intelligibility that guides interpretation, privileges certain structures, and renders some extensions of formal possibility natural while others appear artificial or derivative. The central claim of this essay is that the Löwenheim–Skolem theorems disclose the necessity of such a field. They reveal not merely an expressive limitation in first-order logic, but a transcendental condition of mathematical discourse itself.

To name this condition, I introduce the concept of teleospace. By a teleospace I mean a field of purposive and intelligible orientation within which mathematical concepts, constructions, and problems acquire determinate significance. A teleospace is not itself a formal theory, nor is it reducible to communal convention or subjective preference. It is the structured horizon within which formal systems become directed toward certain objects as the intended subjects of inquiry. The teleospace of mathematics includes the canonical practices, conceptual norms, and orienting intentions through which mathematicians take themselves to be investigating, not merely any satisfier of an axiom system, but privileged structures that function as focal points of the discipline.

The argument of this essay is therefore transcendental rather than merely descriptive. It asks what must already be the case for formal mathematical discourse to function as meaningful, directed inquiry. The answer proposed here is that formal systems presuppose an antecedent horizon of orientation that they cannot themselves generate. The Löwenheim–Skolem theorems make this dependence visible by showing that first-order syntax alone cannot determine intended mathematical structure. Teleospace names the horizon within which that intendedness becomes possible.

The discussion proceeds in four stages. First, I clarify the relevant forms of the Löwenheim–Skolem theorems and the expressive limitations they reveal. Second, I examine Skolem’s paradox as the clearest instance of the distinction between internal formal satisfaction and external interpretive standpoint. Third, I argue that neither pure formalism nor a simple appeal to structuralism fully explains the directedness of actual mathematical practice. Finally, drawing on phenomenological and transcendental themes, I develop the notion of teleospace as the horizon within which mathematical symbols acquire their orienting force. The larger metaphysical or theological implications of this claim remain, for the most part, outside the bounds of the present essay. What is at issue here is a more preliminary point: first-order logic cannot say what fixes the structures toward which mathematical reason is in fact directed.

II. The Löwenheim–Skolem Theorems and the Expressive Limits of First-Order Logic

The philosophical argument of this essay depends upon a precise understanding of what the Löwenheim–Skolem theorems do and do not show. These results are often invoked in broad discussions of formal limitation, but their force is best appreciated when stated carefully. They do not establish that first-order logic is defective, nor do they show that formal reasoning is useless for mathematics. On the contrary, first-order logic remains one of the most powerful and fruitful instruments ever devised for the articulation of mathematical structure. What the theorems reveal is more specific and, for that reason, more profound: first-order theories cannot by their formal resources alone determine the size of their infinite models, and therefore cannot uniquely isolate the structures they are intended to describe.

The downward Löwenheim–Skolem theorem concerns the existence of smaller models for theories that already possess infinite ones. In one standard form, it states that if a first-order theory in a countable language has an infinite model, then it has a countably infinite model. More generally, if M is a structure for a language L and A is a subset of the domain of M, then there exists an elementary substructure N of M containing A such that the cardinality of N is no greater than the cardinality of A plus the cardinality of the language plus aleph-null. In the familiar case in which the language is countable and one begins with an infinite model, the theorem yields a countable elementary substructure.

The significance of this result lies in the notion of elementarity. An elementary substructure is not merely a smaller structure carved out of a larger one. It agrees with the larger structure on all first-order sentences with parameters from the substructure. In that sense, the smaller structure preserves everything that first-order logic can say about the part of the domain under consideration. The process by which such a substructure is obtained typically proceeds by expanding the language with Skolem functions, which witness existential claims, and then closing a chosen subset under the application of those functions. What emerges is a domain that remains countable while retaining the full first-order profile relevant to the original structure. Thus, from the standpoint of first-order expressibility, the smaller model is indistinguishable from the larger one in all the ways that matter to the theory.

The upward Löwenheim–Skolem theorem moves in the opposite direction. If a first-order theory in a language of cardinality kappa has an infinite model, then it has models of every infinite cardinality greater than or equal to kappa. In a common formulation, if M is an infinite structure for a language L and lambda is an infinite cardinal at least as large as the cardinality of L, then there is a model N elementarily equivalent to M whose domain has cardinality lambda. Depending on the formulation, one may speak of elementary extensions or of models satisfying the same complete theory. The philosophical point is the same. Once a first-order theory has an infinite model, it does not stop there. It proliferates across infinitely many possible sizes.

Taken together, the two theorems disclose a decisive limitation in the expressive power of first-order logic. Any first-order theory with an infinite model in a countable language has models of many different infinite cardinalities, including countable ones. More generally, no first-order theory with an infinite model can control the full cardinal profile of the structures satisfying it. The theory cannot say, in first-order terms alone, that its domain must be this infinite size rather than that one. Cardinality, at least in this strong sense, outruns the expressive resources of first-order syntax.

It is crucial to see exactly what follows from this and what does not. The theorems do not show that first-order theories are incapable of saying anything determinate. They can distinguish finite from infinite, characterize many structural properties with remarkable precision, and support powerful deductive developments. Nor do the theorems show that all models of a theory are indistinguishable in every respect. Models may differ dramatically in higher-order properties, set-theoretic cardinality, or internal organization not capturable by a given first-order theory. The point, rather, is that first-order equivalence leaves open distinctions that mathematicians often take to matter essentially.

This becomes especially important when the intended subject matter of a theory involves structures that are ordinarily regarded as determinate. Arithmetic is not usually taken to concern just any model satisfying the Peano axioms in a first-order formulation. Analysis is not ordinarily understood as the study of just any structure satisfying the axioms of a complete ordered field. Set theory is not typically pursued as though any model of ZFC were as good as any other for foundational purposes. Mathematical practice directs itself toward the natural numbers, the real continuum, and the cumulative hierarchy as though these were canonical objects of inquiry. Yet the formal resources of first-order logic do not uniquely single out these intended structures.

One might object that this is simply a familiar feature of axiomatization. A theory specifies a class of structures, and mathematics studies what follows in all structures of that kind. In many contexts this is perfectly correct. But the Löwenheim–Skolem theorems expose a deeper issue. The problem is not merely that a theory is general. It is that first-order formalization leaves open differences among models that are not ordinarily treated by mathematicians as equally admissible interpretations of the same discourse. The theory generates a range of satisfiers, but mathematical thought is not evenly distributed across that range. Some models are regarded as canonical, others as pathological, deviant, nonstandard, or merely formal possibilities. The symmetry of satisfaction is not matched by a symmetry of mathematical intention.

This point may be put in another way. A first-order theory determines a class of models up to formal satisfiability, but it does not thereby determine what the theory is about. Satisfaction is a relation between sentences and structures. Aboutness, by contrast, concerns the directedness of discourse toward an intended domain. The Löwenheim–Skolem theorems show that these two are not identical. A theory may be satisfied by many structures without thereby fixing which of those structures is the intended object of inquiry. Formal syntax secures admissibility conditions. It does not by itself secure reference.

For that reason, the philosophical importance of the Löwenheim–Skolem theorems cannot be reduced to a mere theorem about model multiplicity. Their deeper significance lies in the gap they expose between formal description and intended interpretation. The first-order theory says enough to permit a structured family of models, but not enough to choose among them as the privileged referent of mathematical discourse. Once this is seen, the question can no longer be avoided. If the theory itself does not determine its intended structure, what does?

The next section approaches that question by turning to the most famous and unsettling illustration of the problem: Skolem’s paradox. There the distinction between internal formal satisfaction and external interpretive orientation becomes especially vivid, and with it the recognition that first-order logic cannot say what mathematicians nevertheless take themselves to mean. 

III. Skolem’s Paradox and the Internal-External Distinction

The general limitation disclosed by the Löwenheim–Skolem theorems becomes philosophically vivid in what has long been called Skolem’s paradox. The term is slightly misleading, since no contradiction is involved. Yet the phenomenon does bring to light a deeply counterintuitive consequence of first-order formalization, one that presses directly upon the question of mathematical reference.

Consider Zermelo–Fraenkel set theory with the Axiom of Choice. ZFC is ordinarily taken to provide the standard first-order framework for the foundations of mathematics. Within this theory one can prove familiar theorems concerning infinite cardinalities, including the result that the power set of the natural numbers is uncountable. That is to say, there is no bijection between the natural numbers and the collection of all their subsets. Set theory thus appears to articulate, within formal terms, a determinate hierarchy of infinite sizes.

Yet the language of ZFC is countable. It contains only a small stock of logical symbols together with the single nonlogical primitive of membership. Accordingly, if ZFC has any infinite model at all, the downward Löwenheim–Skolem theorem implies that it has a countable model. Let us call such a model M. From the standpoint of ordinary set-theoretic thinking, this is already striking. A theory that proves the existence of uncountable sets is, if consistent and satisfiable, realized in a model whose entire domain is countable.

The immediate temptation is to treat this as contradiction. How can a countable model contain sets that are uncountable? But the force of Skolem’s observation lies precisely in the fact that no contradiction follows. The apparent paradox dissolves once one distinguishes carefully between what is true externally of the model and what is true internally according to the model.

From the external standpoint, M is countable. We, as theorists reasoning about the model, can place its domain in bijection with the natural numbers. The whole collection of objects that belong to M can be enumerated from outside. In this sense, M is a countable structure.

From the internal standpoint, however, M satisfies the axioms of ZFC, and hence also the theorem that there is no bijection between the natural numbers and the power set of the natural numbers. Within M, the object that plays the role of omega has an associated power set object, and within M there exists no function that counts as a bijection between them. Thus M regards its own version of the power set of omega as uncountable.

There is no inconsistency because the external bijection showing that M is countable is not itself an element of M. It exists only from the standpoint of the metatheory. Internally, the model lacks any function witnessing such a bijection, and so the statement of uncountability holds within the model exactly as the axioms require. What appears paradoxical is simply the coexistence of two legitimate but distinct perspectives: the external perspective from which the model is surveyed as a mathematical object, and the internal perspective from which the model interprets its own set-theoretic claims.

This distinction is not an incidental technicality. It is the philosophical heart of the matter. For what Skolem’s paradox shows is that the first-order theory does not by itself secure the intended interpretation of its own cardinality claims. The theory says that a certain set is uncountable, and this statement is perfectly meaningful and true within the model. Yet from outside the model we can see that the total domain in which this “uncountable” set resides is itself countable. The theory therefore does not force the identification of its internal notion of uncountability with the external conception the mathematician may have intended.

The gap may be formulated more sharply. Inside the model, “there is no bijection” means that no function represented within the model serves as such a bijection. Outside the model, however, we may be able to define a correspondence between the relevant objects by using resources unavailable internally. Thus the first-order statement does not settle once and for all what counts as the totality of subsets, what functions are available, or which conception of cardinality is finally at issue. These matters depend upon the model in which the statement is interpreted and upon the standpoint from which that model is considered.

Skolem himself took this to reveal a limitation in the aspiration to formal completeness. The first-order theory of sets does not capture in an absolute way the intended notion of set-theoretic universe. It captures only what can be expressed from within a model satisfying the axioms. If the theory is meant to describe the universe of all sets, then the mere existence of countable models shows that first-order syntax does not suffice to isolate that intended universe from nonstandard realizations. The formalism permits models that, from the standpoint of ordinary mathematical intention, appear too small to contain what the theory claims exists.

For this reason, Skolem’s paradox is not merely an oddity about countability. It reveals a more general distinction between internal formal satisfaction and external interpretive orientation. Internally, a theory may be perfectly satisfied. Externally, we may nevertheless hesitate to identify the satisfying structure with the intended object of discourse. The model does what the axioms require, yet fails to coincide with what mathematical practice takes itself to be about. That is why the paradox continues to exercise philosophical force. It displays, in concentrated form, the insufficiency of formal satisfaction for securing intended reference.

At this point one can see more clearly why the issue cannot be resolved by appealing only to the formal notion of model. A model is any structure in which the axioms come out true under the relevant interpretation. But the question raised by Skolem’s paradox is not whether such models exist. It is rather which of them, if any, should count as the intended realization of the discourse. Why should the mathematician regard the standard conception of the set-theoretic universe as the true object of inquiry rather than some countable model that satisfies exactly the same first-order axioms? First-order logic itself does not answer this question.

One possible response is to accept the plurality of models and to deny that mathematics requires a uniquely intended structure. On such a view, the so called paradox loses its sting because set theory is simply the study of whatever structures satisfy the axioms. But this response comes at a cost. It no longer reflects the self-understanding of much mathematical practice, especially in foundational contexts where the cumulative hierarchy is treated not as one admissible model among others but as the universe toward which the theory is directed. The problem, then, is not dispelled. It is merely displaced into a philosophical reinterpretation of what mathematics is.

Skolem’s paradox thus brings into view a distinction that will govern the remainder of this essay. Formal theories admit internally coherent interpretations across multiple models. Mathematical inquiry, however, is not exhausted by the existence of such interpretations. It is oriented toward some structures as canonical, natural, or intended in a way that exceeds what first-order satisfiability can itself specify. The paradox shows that logical adequacy and mathematical directedness are not the same thing.

If that is right, then the question before us becomes unavoidable. What accounts for this directedness? If syntax yields a family of formally admissible structures, yet mathematical reason continues to privilege certain ones as the objects of genuine inquiry, then the source of that privilege must lie beyond syntax alone. The next step, therefore, is to examine more directly the gap between formal satisfaction and intended reference, and to ask why mathematical practice does not treat all satisfiers of a theory as equally about what the theory means.       

IV. Formal Satisfaction, Structuralism, and the Problem of Directedness

The preceding discussion has brought us to a decisive point. First-order logic can specify the conditions under which a structure counts as a model of a theory, but it cannot by its own resources determine which such structure is the intended object of inquiry. The issue is no longer whether formal reasoning is rigorous or powerful. It plainly is. The issue is whether formal satisfiability is sufficient to account for the directedness of mathematical discourse. The argument thus far suggests that it is not.

One possible response is formalism. On a strict formalist view, mathematics does not require any privileged intended structures beyond the manipulation of symbols according to explicit rules. The meaning of a mathematical theory consists in the transformations licensed within its formal system, and the notion of reference to an independently intended domain is either dispensable or derivative. If multiple structures satisfy the same theory, that is no philosophical problem, because the theory need not be about any one of them in particular. It is simply a calculus whose significance lies in its internal consistency, inferential fertility, or applicability.

There is a certain clarity to this position. It takes the autonomy of formal syntax with full seriousness and refuses to supplement it with metaphysical assumptions not already contained in the system itself. But it also fails to describe mathematical practice as it is actually lived. Mathematicians do not ordinarily experience themselves as merely transforming uninterpreted strings. They reason as though their symbols are directed toward structures, operations, magnitudes, spaces, and relations that are taken to be the objects of inquiry. Even in the most abstract settings, mathematical discourse presents itself as about something. The formalist may redescribe this directedness as dispensable, but in doing so he explains it away rather than accounts for it.

More importantly, formalism does not remove the question raised by the Löwenheim–Skolem theorems; it merely declines to answer it. If one says that there is no fact of the matter concerning which model is intended, one has not shown that directedness is illusory. One has simply abandoned the attempt to explain why mathematical discourse nevertheless exhibits stable practices of privileged interpretation. The formalist can describe derivability, but not why some derivable systems are taken to articulate arithmetic, others geometry, and still others set theory. The directedness of inquiry disappears from view, not because it has been refuted, but because the theory has rendered itself unable to speak about it.

A more sophisticated response is structuralism. Structuralism acknowledges that mathematics is not merely a game of symbols, but it relocates mathematical objectivity from individual objects to the structures in which those objects stand. On this view, mathematics studies patterns of relations abstractly rather than particular entities considered in isolation. The natural numbers, for example, are not a collection of independently given objects but positions within the structure determined by the successor relation and the Peano axioms. Likewise, many mathematical theories are understood as describing any system instantiating the relevant structural pattern.

Structuralism has considerable explanatory power, and in many cases it captures something essential about mathematical thought. It clarifies why isomorphic structures are often treated as equivalent, why mathematics exhibits a high degree of abstraction from material constitution, and why formal theories can be fruitfully understood as specifying structural conditions rather than naming independently identifiable things. It also seems, at first glance, well suited to absorb the lesson of Löwenheim–Skolem. If a theory has many models, then perhaps mathematics is simply concerned with the common structure they instantiate.

Yet structuralism, at least in its simpler forms, does not fully resolve the difficulty. For the issue raised by the Löwenheim–Skolem theorems is not merely that there are many models, but that mathematical practice does not treat all formally admissible models as equally natural realizations of the same discourse. Nonstandard models of arithmetic satisfy the first-order Peano axioms, yet they are not ordinarily regarded as equally intended instances of the natural numbers. Countable models of ZFC satisfy the axioms of set theory, yet they are not treated as interchangeable with the cumulative hierarchy in foundational reflection. The formal structure alone does not explain why some models appear canonical while others appear deviant, pathological, or derivative.

The structuralist may reply that mathematics concerns only structure up to isomorphism, and that where non-isomorphic models arise, one simply has different structures each satisfying the same first-order theory. But this is precisely the problem. First-order formalization does not tell us why inquiry is directed toward one such structure rather than another, nor why the mathematician takes certain non-isomorphic realizations to miss the intended target even while satisfying the same formal sentences. Structuralism can redescribe mathematical reference in relational terms, but it does not by itself explain the asymmetry of mathematical intention.

This becomes clearer when one considers the distinction between formal symmetry and mathematical privilege. A first-order theory distributes satisfiability across a family of models. From the standpoint of syntax alone, each model satisfying the theory is on equal footing. Yet mathematical practice introduces a hierarchy not given in the syntax itself. Some interpretations are treated as central, others as merely technical possibilities. Some constructions are regarded as canonical, others as artifacts of a formal apparatus. Some models are approached as revealing the subject matter of the discipline, others as useful for metatheoretic reflection precisely because they are not what the discourse is primarily about.

The point is not that formalism and structuralism are false in every respect. Each captures something important. Formalism rightly emphasizes the indispensability of explicit symbolic articulation. Structuralism rightly emphasizes the relational and pattern-governed character of mathematical objectivity. But neither, on its own, explains the directedness by which mathematical inquiry takes itself to be oriented toward certain structures as the privileged objects of thought. What remains unaccounted for is the horizon within which such privilege is possible.

That horizon cannot be identified with a further formal axiom, for the whole argument has been that formalization presupposes it. Nor can it be reduced to arbitrary convention, since the distinction between natural and deviant interpretation is not ordinarily experienced by mathematicians as merely a matter of communal taste. It appears, rather, as though mathematical thought moves within a field in which some possibilities show themselves as more fitting, more central, more intelligible, or more genuinely what is at issue than others. The formal system can be written down and its models enumerated, but the orientation toward one interpretation as the intended subject matter of inquiry belongs to another order.

It is here that the transcendental question sharpens. If mathematical reasoning is not exhausted by formal derivation, and if the plurality of formally admissible models does not dissolve the stable directedness of mathematical inquiry, then what makes such directedness possible? What is the condition under which symbols come to bear not merely inferential roles but orienting force? To answer that question we must move beyond the language of formal satisfiability alone and attend to the broader field within which mathematical thought actually lives.

V. Teleospace and the Horizon of Mathematical Meaning

The concept of teleospace is introduced to name precisely this broader field. By teleospace I mean the structured horizon of purposive intelligibility within which mathematical objects, concepts, and formal systems come to possess directed significance. A teleospace is not itself one more mathematical structure among others, nor is it reducible to a psychology of individual mathematicians, a sociology of professional consensus, or a merely historical accumulation of practices. It is the field within which mathematical discourse is oriented toward certain structures as canonical, certain problems as compelling, and certain modes of extension as natural or fitting.

The need for such a concept arises directly from the limitation exposed by the Löwenheim–Skolem theorems. First-order syntax can determine which structures count as admissible models, but it cannot determine which of those structures mathematical reason takes as its intended object. Yet in actual practice this intendedness is neither absent nor arbitrary. Mathematical inquiry proceeds within stable orientations. The natural numbers are not approached as a random satisfier of axioms but as a canonical structure. The real continuum is not treated as merely one complete ordered field among many formally equivalent possibilities, but as the privileged object of analysis. The cumulative hierarchy of sets is not ordinarily grasped as a dispensable model among others, but as the horizon within which foundational questions are posed.

Teleospace names the condition under which such privilege becomes intelligible. It is the field in which certain structures draw inquiry toward themselves as focal, normative, and naturally intended. In that sense teleospace is not an alternative to formal theory but the horizon within which formal theory acquires its directed use. A formal system may be precise, elegant, and deductively fruitful, yet its symbols are mathematically alive only within a teleospace that orients them toward determinate significance.

The notion bears comparison with phenomenological accounts of intentionality. In phenomenology, consciousness is always consciousness of something; acts of meaning are directed toward objects within horizons of possible fulfillment. What is meant is never exhausted by the explicit content of a single act, but is situated within a wider field in which further determinations, confirmations, and corrections become possible. The object is intended through this horizon, not as a bare datum but as that toward which thought is already oriented.

A similar structure is visible in mathematical life. A theorem, a definition, or a formal proof does not function in isolation. It belongs to a field of conceptual practices and orienting intentions in which some consequences matter more than others, some constructions count as natural, and some questions appear worth pursuing while others remain merely formal curiosities. This field is not subjective in the sense of being idiosyncratic to a particular thinker. It is shared, disciplined, and in important respects objective. Yet neither is it reducible to formal syntax. It is the horizon within which formal symbols become about the structures mathematicians take themselves to be investigating.

One can see this especially clearly in the distinction between canonical and noncanonical constructions. Category theory, for example, often values objects not merely by their existence but by the universal properties through which they occupy a determinate place within a web of morphisms. Such characterizations reveal that mathematical significance is frequently relational and purposive: what matters is not simply that an object satisfies some predicate, but that it arises in the right way, with the right mode of necessity, within the relevant conceptual field. This is one reason category theory often feels closer to mathematical practice than a bare enumeration of first-order models. It partially formalizes dimensions of directedness, naturality, and fittingness that first-order syntax alone leaves untouched.

Even here, however, the underlying horizon is not exhausted by the formalism. Universal properties are meaningful only within a prior field in which those patterns of relation count as mathematically illuminating. The teleospace of mathematics is thus not replaced by categorical structure; rather, categorical thinking may be understood as one especially powerful articulation of aspects already operative within that teleospace.

The transcendental claim can now be stated more explicitly. For formal mathematical discourse to function as discourse about determinate structures, there must already be a horizon within which some realizations of a theory count as the intended or canonical objects of inquiry. This horizon cannot be generated by first-order syntax alone, because first-order syntax underdetermines intended interpretation. Nor can it be dispensed with, because without it there would be no principled account of why mathematical practice distinguishes between standard and nonstandard, natural and artificial, canonical and merely possible. Teleospace is the name for this condition of possibility.

It is important to see that teleospace is not invoked as a mysterious supplement added when formal rigor fails. It is not a concession to irrationality, intuitionism, or conceptual vagueness. On the contrary, the point is that formal rigor itself presupposes a field of intelligibility within which its symbols are directed, interpreted, and normatively weighted. The teleospace does not compete with formalization. It makes formalization meaningful as a practice of inquiry rather than as the idle manipulation of marks.

The Löwenheim–Skolem theorems are philosophically decisive because they make this dependence visible. As long as one imagines that formal syntax can secure its own intended reference, the orienting horizon of mathematical thought remains easy to overlook. But once one sees that a first-order theory admits multiple non-isomorphic realizations without itself determining which of them it is about, the need for such a horizon becomes unmistakable. The underdetermination of model by syntax is not merely a curiosity of logic. It is the point at which the transcendental conditions of mathematical meaning come into view.

One may therefore say that the theorems reveal a double truth. First, mathematics can be articulated with extraordinary precision through formal means. Second, that very articulation does not suffice to generate the directedness by which mathematical discourse reaches its intended structures. Formal language gives conditions of satisfaction; teleospace gives orientation toward what is to count as the subject matter of inquiry. The former can be symbolized explicitly. The latter is the field within which such symbolization has point.

Conclusion

The Löwenheim–Skolem theorems demonstrate that first-order logic cannot, by its formal resources alone, determine the cardinality of its infinite models or uniquely isolate the structures it is intended to describe. Skolem’s paradox sharpens this point by exhibiting the gap between internal formal satisfaction and external interpretive standpoint. A first-order theory may be fully satisfied in a model without thereby securing that model as the intended object of mathematical discourse.

This limitation does not render formal reasoning defective, nor does it reduce mathematics to indeterminacy. It does, however, show that formal syntax cannot secure its own aboutness. The directedness of mathematical inquiry toward certain structures as canonical, natural, or privileged cannot be read off from first-order satisfiability alone. Neither strict formalism nor simple structuralism fully explains this directedness, because each leaves unaccounted for the asymmetry by which mathematical practice privileges some formally admissible realizations over others.

The concept of teleospace was introduced to name the horizon within which this privilege becomes possible. A teleospace is the structured field of purposive intelligibility within which mathematical symbols, constructions, and theories acquire orienting force. It is the condition under which formal systems can function as discourse about determinate structures rather than merely as calculi admitting many possible realizations.

The philosophical lesson is therefore not that first-order logic fails, but that its success presupposes more than it can itself say. Formal systems articulate mathematical reasoning with great precision, but they do so within a broader horizon of meaning that guides interpretation and fixes intended direction. The Löwenheim–Skolem theorems reveal this horizon negatively, by exposing the inability of syntax alone to determine reference. What they make visible is not the collapse of mathematical objectivity, but the deeper field of intelligibility within which such objectivity is possible.

The issue at stake is thus ultimately transcendental. What must already be the case for mathematical discourse to be meaningful, directed, and about determinate structures? The answer proposed here is that formal reasoning presupposes a teleospace: a horizon of intelligible orientation irreducible to syntax, yet indispensable for the functioning of syntax as mathematics. First-order logic cannot say what fixes the structures toward which mathematical reason is directed. But the necessity of such directedness is written into mathematical practice itself.

                 

Toward a Formal Theology of Teleo-Spaces VIII: Truth, Felicity, and Theological Performance

 Truth, Felicity, and Theological Performance

The previous post argued that finite subjects participate in teleo-spaces rather than constitute them. Intelligibility is extra nos before it is taken up interiorly. Determinables manifest donated loci within Logos-articulated teleo-spaces, and the Spirit orders these determinables by comparative fittingness without coercion. Subjects respond within this field, but they do not generate it. That clarification makes possible a further step. If intelligibility is real, extra-subjective, and normatively ordered, what does it mean for an utterance to be true within such a framework? And why is truth, though indispensable, still not the whole of theological discourse?

These questions force the present post. My claim is that truth and felicity must be distinguished without being separated. Truth concerns the adequacy of articulated content within a teleo-space. Felicity concerns the aptness, fittingness, and authorized performance of an utterance within that same field. In theology this distinction becomes especially important. Not every true sentence is theologically felicitous, and not every theologically serious utterance is exhausted by thin descriptive truth-conditions. Yet theology does not thereby become noncognitive. Theological performance remains answerable to truth. The proper formal and theological task, then, is to articulate the relation between truth and felicity without collapsing one into the other.

Why Truth Must Be Preserved

The first point must be stated firmly: any adequate theology of teleo-spaces must preserve truth. If intelligibility is real, if manifestation is real, if comparative fittingness is real, and if teleo-spaces are not projections of the subject, then it follows that what is said within such a field may be true or false. To give up truth at this point would be to surrender the realism the previous posts were designed to secure.

The temptation to do so is understandable. Once one begins to speak of performance, fittingness, and Spirit-ordering, some readers will suspect that the whole account is drifting toward expressivism. Theology will then be understood as a way of living, confessing, or being oriented rather than as a way of saying what is the case. But that conclusion would be mistaken. Theological speech does indeed involve performance, orientation, and authorization, but it does not cease for that reason to be answerable to truth.

In the present framework, truth cannot be reduced to correspondence in the crudest sense, as though a sentence simply mirrored a brute object in a flat world. Yet neither can truth be reduced to coherence within a discourse or to the force of subjective response. Truth must instead be understood within the layered ontology already established. A content is true when it adequately articulates what is manifested in a teleo-space and does so in a way answerable to the order of the real. That formula still requires clarification, but it already shows why truth is indispensable and why it cannot be understood in flattened terms.

The Limits of Thin Truth-Conditions

At the same time, truth alone is not enough. One may say something true and yet say it wrongly. One may say something true and yet say it in a manner, context, or performance that fails to accord with the field in which it is spoken. This is not peculiar to theology. Ordinary language already makes room for such distinctions. One may assert a true proposition sarcastically, irreverently, at the wrong time, or under conditions that render the performance inapt. But in theology the issue is intensified, because theological utterance is not only descriptive. It belongs within a field of intelligibility and fittingness already opened by the Logos and ordered by the Spirit.

For this reason we need a second category alongside truth: felicity. Felicity names the aptness of an utterance as a performance within a teleo-space. A felicitous utterance is not merely semantically interpretable. It is fittingly spoken, rightly ordered, and answerably situated within the field in which it occurs. This does not mean that felicity replaces truth. It means that utterance has a dimension irreducible to bare truth-conditions.

The point may be put sharply: a sentence may be true in content and yet infelicitous in performance. Theological discourse therefore cannot be fully analyzed by asking only whether the content is true. One must also ask whether the utterance belongs fittingly within the teleo-space in which it is spoken.

Expressions, Contents, and Teleo-Space

To clarify the matter, it is useful to distinguish between expressions and contents. An expression is the utterance or linguistic performance itself. A content is what that expression says. This distinction is familiar enough, but it matters especially here because truth and felicity attach differently. Strictly speaking, truth belongs first to content, while felicity belongs first to expression as performed within a teleo-space.

We may therefore introduce some simple formalization. Let e range over expressions and c over contents. Then one may write 'Art(e,c)' to mean that expression e articulates content c. Let 'Loc(c,t)' mean that content c is located within teleo-space t, and 'True(c,t)' that content c is true in teleo-space t.

Even this much already improves clarity. It shows that truth is not a property of free-floating propositions detached from intelligibility, but of contents located within teleo-space. A content is true in t if it adequately articulates what is manifested there. The full account of adequacy will require more work than can be given in the present post, but the direction is clear. Truth belongs to the order of articulated content within a field of manifestation.

Aboutness and Manifestation

This leads to a further distinction. If a content is true in a teleo-space, it must be about something in that teleo-space. That aboutness cannot be left vague, because the framework has already insisted that determinables manifest donated loci. A content is therefore not simply about an abstract object. It is about a determinable within a teleo-space, and that determinable is itself a manifestation of what has first been donated.

One may therefore write 'About(c,d,t)' to mean that content c is about determinable d in teleo-space t.

The importance of this formula is not merely technical. It secures the continuity of the whole account. Truth is not detached from manifestation. A content is true only insofar as it is answerable to a determinable in the field, and that determinable is itself downstream from donation and Logos-articulation. Without that continuity, truth would float free of the metaphysics already established.

This also explains why ordinary extensional equivalence is not enough. Two contents may concern determinables that are extensionally similar and yet differ in articulated mode, fittingness, or theological force. Truth, then, must remain sensitive not only to extension but to the hyperintensional structure of teleo-space. That issue will become even sharper in later discussions of theological reference and divine naming. For the present it is enough to note that truth in this framework is already richer than a simple assignment of truth-values to formulas in a model.

What Felicity Adds

If truth belongs first to content, felicity belongs first to performance. Let 'Fel(e,t)' mean that e xpression e is felicitous in teleo-space t.

This relation concerns the utterance as utterance. It asks whether the saying of the content is fittingly situated within the field in which it occurs. At the most general level, felicity requires that the utterance not merely have a content, but belong fittingly to the teleo-space in which it is spoken.

A felicitous theological utterance therefore cannot be merely semantically interpretable. It must also be appropriately ordered to the field of manifestation and fittingness. This means that an utterance may fail even when its content is true. One may speak what is true but in a way that is spiritually disordered, liturgically inapt, confessorily unserious, or theologically untimely. Truth remains, but performance misfires.

This distinction matters greatly because theology is not merely a system of detached propositions. It is confession, proclamation, prayer, teaching, absolution, warning, and promise. In each of these cases, the difference between saying something true and saying it felicitously becomes obvious once the matter is seen clearly. A sermon may contain true propositions and yet be profoundly infelicitous. A confessional statement may be true and yet spoken in bad faith. Theology, then, must account for performance as well as truth.

Why Felicity Must Not Be Subjective

The risk, of course, is that felicity will be treated as subjective. One might say that an utterance is felicitous when it is persuasive, moving, effective, or recognized by a community as appropriate. But that would simply reintroduce the modern reflex in another form. It would make felicity a function of reception rather than a property of utterance within a real teleo-space.

The present account must resist this. Felicity, like truth, is extra nos before it is recognized. A theological utterance may be felicitous even when no one receives it rightly. It may also fail to be felicitous even when it is applauded, embraced, or emotionally compelling. Felicity is not produced by uptake. It is judged in light of the teleo-space in which the utterance occurs.

This is where the Spirit's ordering becomes indispensable. If comparative fittingness is real and extra-subjective, then the aptness of an utterance can also be real and extra-subjective. The subject receives, resists, or misrecognizes felicity; it does not create it. This allows the framework to preserve both the performance-character of theology and its realism.

Spirit-Felicity

At this point one must distinguish ordinary felicity from a stronger theological form, which we may call Spirit-felicity. Let 'Fel_S(e,t)' mean that expression e is Spirit-felicitous in teleo-space t.

The point of introducing this stronger relation is not to create a mystical surplus beyond all formal articulation. It is rather to make visible that theology involves not only apt speech, but authorized speech. Spirit-felicity concerns utterance ordered by the Spirit within the teleo-space in such a way that it is not merely fitting in a general sense, but theologically authorized.

This is especially important for proclamation, confession, absolution, and promise. Theological utterance is not merely a successful linguistic act judged by ordinary social conventions. It occurs within a field already ordered by the Spirit. Thus Spirit-felicity names a distinctively theological intensification of felicity. An utterance may be generally apt, coherent, and meaningful, yet still fail to be Spirit-felicitous. Conversely, when an utterance is Spirit-felicitous, it belongs not only to the order of intelligibility but to the order of divine authorization within intelligibility.

The Relation Between Truth and Spirit-Felicity

We may now state the relation between truth and theological performance more carefully.

First, truth does not imply Spirit-felicity. One may say something true without speaking under the order of theological authorization. One may utter doctrinally correct content and yet do so in a way that fails to belong fittingly to the Spirit-ordered field of confession, proclamation, or promise.

Second, strong Spirit-felicity does imply truth. An utterance cannot count as properly theological and Spirit-felicitous while being false. If it is truly ordered by the Spirit within the teleo-space, then it must also be answerable to the truth of the content it bears. This asymmetry is crucial. It allows one to preserve the distinction between truth and felicity without reducing theology either to thin descriptivism or to expressive noncognitivism.

One might state the relation like this:

• True(c,t) does not imply Fel_S(e,t), even if Art(e,c).
• But TheoPerf(e,c,t) and Fel_S(e,t) do imply True(c,t).

These formulas are still only schematic, yet they show the shape of the account. Truth is necessary but not sufficient for Spirit-felicitous theological performance.

Theological Performance

It is therefore helpful to introduce one further formal relation 'TheoPerf(e,c,t)' meaning           that expression e, saying content c, functions as a theological performance in teleo-space t.

This relation is meant to gather together what has been emerging across the post. A theological performance is not merely an expression with a content. It is an utterance situated within teleo-space as proclamation, confession, prayer, witness, absolution, warning, or promise. Such performances are answerable both to truth and to felicity. They are not reducible to either in isolation.

This is one of the places where the series has now arrived at a recognizably theological formal grammar. Earlier posts established donation, articulation, manifestation, and fittingness. The present post shows how these prepare the way for speech that is not merely meaningful but theologically enacted. Theological language is not just one more regional discourse among others. It is speech performed within a teleo-space of Logos-articulation and Spirit-ordering.

Why Theology Is Not Merely Descriptive

The consequence is significant. Theology is not merely descriptive discourse about divine matters. It includes description, but it is not exhausted by it. To preach "Christ is risen" is not only to state a proposition. It is also to bear witness, confess, proclaim, and place one's hearers within a field of promise and demand. Yet none of this means that the utterance ceases to be truth-claiming. Theological discourse is both constative and performative, but in a way that ordinary speech-act theory by itself cannot fully capture.

That is why the distinction between truth and felicity must be theological from the outset. Theological utterances do not simply add devotional overtones to otherwise secular semantics. They arise within teleo-spaces in which manifestation, comparative fittingness, and Spirit-ordering already structure what can count as fittingly said. Theology therefore needs a thicker account of performance than generic pragmatics can offer.

A Formal Sketch

At this point it may be useful to gather the main formulas of the present post in plain text.

• Art(e,c) means expression e articulates content c.
• Loc(c,t) means content c is located in teleo-space t.
• About(c,d,t) means content c is about determinable d in teleo-space t.
• True(c,t) means content c is true in teleo-space t.
• Fel(e,t) means expression e is felicitous in teleo-space t.
• Fel_S(e,t) means expression e is Spirit-felicitous in teleo-space t.
• TheoPerf(e,c,t) means expression e, saying content c, functions as theological performance in teleo-space t.

One may then state:

• If True(c,t), then c is located in t and is about some determinable d in t.
• If Fel_S(e,t) and TheoPerf(e,c,t), then True(c,t).
• There exist e, c, and t such that Says(e,c), True(c,t), and not Fel_S(e,t).

These formulas are sufficient to display the key asymmetry: truth is not enough for strong theological performance, but strong theological performance requires truth.

Why This Matters for What Follows

The significance of this distinction will become clearer in the next stages of the series. Once truth and felicity have been distinguished, one can ask how reference functions in theological discourse. Is ordinary designation enough? Or must one distinguish between ordinary reference to determinables in a teleo-space and a deeper, Logos-disciplined reference answerable to the ground of that teleo-space? Likewise, once theological performance is in view, one may ask what makes a theological utterance not merely true but constitutively satisfied by the real. These questions cannot yet be fully answered, but the framework is now prepared for them.

Most importantly, the present post shows that theology can remain both truth-claiming and performative without contradiction. Theological discourse need not choose between descriptive realism and living enactment. It may speak truly and perform fittingly because teleo-spaces are already fields of manifestation and Spirit-ordering. This is one of the deepest gains of the whole formal project.

Summary

The argument of this post may now be stated briefly.

1. Truth must be preserved if theological realism is to remain intact.
2. Truth alone is not enough to account for theological utterance.
3. Expressions and contents must be distinguished.
4. Truth belongs first to content located within teleo-space and answerable to manifested determinables.
5. Felicity belongs first to utterance as performance within teleo-space.
6. Spirit-felicity names the stronger theological authorization of utterance within the Spirit-ordered field.
7. Finally, truth and Spirit-felicity stand in an asymmetrical relation: truth does not imply Spirit-felicity, but strong theological performance under Spirit-felicity does imply truth.

What Comes Next

The next question follows directly. If theological discourse can be true, felicitous, and Spirit-felicitous, how does it refer? Is ordinary semantic designation sufficient, or must one distinguish between ordinary reference and a stronger theological reference disciplined by Logos and ordered toward the ground of intelligibility itself? To answer that question, the series must now turn to divine naming and the two-layer structure of theological reference.

Next in the series: Toward a Formal Theology of Teleo-Spaces IX: Divine Naming and Two-Layer Theological Reference