On Meta-Theoretical Discourse and Formal Intelligibility
Why an Intermezzo?
This disputation is designated an Intermezzo because it does not advance a new doctrinal locus but clarifies the conditions under which all doctrinal discourse is intelligible. It marks a structural pause in the argument, making explicit what has thus far been presupposed: the irreducible horizon of intelligibility within which formal, scientific, philosophical, and theological speech can occur. By naming this horizon, the Intermezzo secures the transition from questions of meaning and participation to questions of order and law.
Quaeritur
Utrum intelligibilitas formalis systematum logicorum et mathematicorum praesupponat discursum metalinguisticum irreducibilem ad linguam obiectivam; et utrum hic excessus non solum epistemicus sed ontologicus sit, ita ut ipsa possibilitas significationis in rebus fundetur; et utrum hic fundus intelligibilitatis recte intelligatur ut spatium teleologicum, quod systemata formalia non efficiunt sed quod ipsa attrahit et constituit.
Whether the formal intelligibility of logical and mathematical systems presupposes a metalinguistic discourse irreducible to object language; and whether this excess is not merely epistemic but ontological, such that the very possibility of signification is grounded in things themselves; and whether this ground of intelligibility is rightly understood as a teleological space which formal systems do not produce but which draws them forth and constitutes them.
Thesis
Formal systems do not generate intelligibility. They presuppose it. Every object language capable of truth conditions relies upon a meta-discourse that cannot be fully internalized without loss of the very properties that render the system intelligible. This excess is not merely epistemic but ontological. The possibility of meaning precedes formalization and belongs to the structure of reality itself.
This irreducible space of intelligibility may be described as teleological: not as an imposed purpose or subjective projection, but as the permanent possibility of meaningful determination that draws formal systems into being and coordinates their interpretation. Metalanguage thus testifies to an order of meaning that no formal system can exhaust, yet without which no formal system can be what it is.
Locus classicus
Gödel, Über formal unentscheidbare Sätze (1931)
“Es gibt innerhalb eines jeden hinreichend mächtigen formalen Systems wahre Sätze, die innerhalb dieses Systems nicht beweisbar sind.”
“There are, within every sufficiently powerful formal system, true propositions that cannot be proven within that system.”
Gödel’s result is not merely technical. It reveals that truth outruns formal derivability and that the conditions for recognizing truth are not fully capturable by the system whose truths are in question.
Peirce, Collected Papers 5.121
“Thirdness is the mode of being of that which is such as it is, in bringing a second and a first into relation.”
Peirce’s category of Thirdness names mediation, lawfulness, and intelligible continuity. It points beyond dyadic relations to the conditions under which relations can be meaningful at all.
Aristotle, Metaphysics Γ.4 (1006a)
τὸ αὐτὸ ἅμα ὑπάρχειν τε καὶ μὴ ὑπάρχειν ἀδύνατον
“It is impossible for the same thing to belong and not belong to the same thing at the same time.”
The principle of non-contradiction is not derived from a system; it governs the possibility of systemhood itself.
Explicatio
The inquiry into metalanguage arises not from philosophical curiosity but from the internal limits of formalization itself. Whenever a formal system is sufficiently expressive to represent arithmetic, syntax, or inference, it becomes possible to ask questions about the system as a system: about its consistency, its completeness, its interpretability, and its truth conditions. These questions are not posed within the object language alone but from a vantage that speaks about the system. This vantage is meta-discourse.
Gödel’s incompleteness theorems make this structural distinction unavoidable. The encoding of syntactic relations by Gödel numbering allows statements about provability to be represented within arithmetic. Yet the recognition of undecidable truths still requires a standpoint that distinguishes truth from provability. That distinction is not eliminable. Even when meta-statements are formalized, the act of recognizing the adequacy of that formalization occurs at a higher level still. The meta recedes as it is formalized. What is gained in rigor is offset by a renewed excess.
This phenomenon is not accidental. It reveals something essential about intelligibility itself. Formal systems can model relations, generate derivations, and define extensions. What they cannot do is generate the conditions under which their own operations are meaningful. The possibility of interpretation is not a theorem of the system; it is the horizon within which the system can appear as intelligible at all.
This horizon is not merely epistemic. It is not simply a limitation of human cognition or a defect in symbolic manipulation. It belongs to the nature of formal structures themselves. A system that could exhaustively account for its own intelligibility would collapse the distinction between object language and metalanguage, thereby eliminating the very conditions that make interpretation possible. Meaning would be flattened into mechanism, and truth into derivability.
To say this is not to disparage formal rigor. On the contrary, it is formal rigor that reveals the necessity of this distinction. Logic itself teaches that intelligibility cannot be fully objectified without remainder. The meta is not an embarrassment to formalism; it is its condition.
This irreducible excess may be clarified by reconstructing Peirce’s notion of Thirdness. Thirdness is not merely a category of mediation within thought. It names the lawful continuity that makes relations intelligible. It is that by virtue of which signs signify, laws govern, and inference is possible. In this sense Thirdness is not added to dyadic relations; it is what allows relations to be relations rather than brute collisions.
What Peirce names phenomenologically, we may here name ontologically. The intelligibility that coordinates formal systems is not imposed from outside but belongs to the structure of reality. Formal systems are not self-originating. They are drawn into being by the possibility of meaning that precedes them. This possibility is not itself formal, yet it is not indeterminate. It orders, constrains, and directs formalization without being reducible to it.
Whitehead’s notion of prehension may serve as an analogy. Prehensions are not actual entities but the permanent possibilities of actualization. They are not events but the conditions under which events can occur meaningfully. In an analogous way, intelligibility is not itself a formal structure but the permanent possibility of formal meaning. It is that by which formal systems can be interpreted, related, and evaluated.
This is why attempts to algorithmize theory change inevitably fail. To formalize the rules by which theories are revised presupposes a prior understanding of relevance, adequacy, and success—concepts that themselves resist algorithmic capture. The criteria of revision always exceed the system being revised. The ladder by which the system ascends cannot be retained within the system without contradiction.
Wittgenstein’s Tractatus gestures toward this limit. What cannot be said must be shown. Yet showing is not mute. It is a mode of intelligibility that precedes explicit articulation. There is no seeing that could not, in principle, be spoken—but the speaking presupposes the very space it attempts to articulate. The ladder cannot be climbed unless it already stands.
Kant’s distinction between determining and reflecting judgment clarifies this further. Determining judgment subsumes particulars under given rules. Reflecting judgment seeks the rule under which particulars may be unified. The former may be formalized. The latter resists algorithmic closure. Reflecting judgment operates within a teleological space: it seeks coherence, purposiveness, and meaning without presupposing a determinate schema. This space is not subjective whim. It is the condition under which object languages can be coordinated at all.
Thus intelligibility is teleological not because it aims at a humanly imposed end, but because it orients formal structures toward meaning. Formal systems are “pulled into being” by this space. They do not emerge ex nihilo. They are responses to a prior call of intelligibility that is written into the structure of reality itself.
Objectiones
Ob I. If intelligibility exceeds formal systems, then rigor is compromised and mathematics collapses into metaphysics.
Ob II. Metalanguage reflects only human cognitive limitation, not any ontological feature of reality.
Ob III. Teleology introduces purpose into domains governed solely by efficient causality.
Ob IV. If intelligibility cannot be formalized, then it cannot be known or discussed without contradiction.
Responsiones
Ad I. Rigor is not compromised but clarified. Formal precision reveals the limits of formalization. To acknowledge these limits is not to abandon rigor but to respect its conditions.
Ad II. The recurrence of metalanguage is not contingent upon human psychology. It arises from the structure of formal systems themselves. Any intelligence capable of truth would confront the same distinction.
Ad III. Teleology here names orientation toward meaning, not extrinsic purpose. It does not replace efficient causality but grounds the intelligibility of causal explanation.
Ad IV. Intelligibility can be discussed analogically and architectonically without being reduced to an object language. Such discourse does not eliminate the meta; it inhabits it knowingly.
Nota
This disputation functions as an intermezzo within the Disputationes Theologicae. It neither advances a new doctrinal locus nor resolves a previously posed theological question. Rather, it renders explicit the conditions of intelligibility presupposed by everything that precedes and everything that follows.
Up to this point, the inquiry has examined language, truth, relation, participation, causality, and manifestation within the horizon of theological discourse. What has remained implicit, however, is the space within which such discourse can appear as intelligible at all. Here that space is named. The question is no longer what theology says, but what must already be the case for saying anything meaningfully.
The significance of Kurt Gödel is therefore not merely technical. His results disclose a structural excess that no formal system can eliminate: truth outruns derivability, and intelligibility cannot be fully internalized without remainder. Logic thus bears witness to a distinction it cannot overcome. Far from displacing metaphysics, formal rigor summons it by revealing the conditions it cannot itself supply.
The appeal to Charles Sanders Peirce clarifies the ontological character of this excess. Thirdness is not invoked here as a semiotic category but as the mode of being through which relations are intelligible rather than merely given. It names lawful continuity, mediation, and normativity as features of reality itself. Formal systems do not generate these features. They presuppose them.
Likewise, the principle articulated by Aristotle does not arise from within a system but governs the very possibility of systemhood. Non-contradiction is not an axiom among others. It is the condition under which axioms can function at all. In this sense, logic testifies to an order it inhabits but does not constitute.
What emerges is an account of intelligibility as teleological. This does not introduce purpose as an extrinsic aim or subjective projection. It names the orientation of reality toward meaning, coherence, and determination. Formal systems are drawn into articulation by this orientation. They are responses to intelligibility, not its source.
This recognition decisively blocks both reductionism and voluntarism. Meaning is neither manufactured by minds nor imposed by decree. It is discovered as a feature of reality that precedes formalization and renders it possible. The humanities and the formal sciences converge here, not in method but in vocation: both seek the conditions under which truth can appear as truth.
The theological implications are now unavoidable, though they remain deliberately unasserted. If intelligibility belongs to the structure of reality, then meaning is not accidental. If meaning is not accidental, then the question of Logos presses forward, not as a speculative hypothesis, but as the name for the ground of intelligibility itself. The inquiry is thus poised to move from the conditions of meaning to the structures of order through which meaning abides.
Determinatio
-
Formal systems presuppose intelligibility and do not generate it.
-
No sufficiently expressive system can internalize the conditions of its own truth.
-
The distinction between object language and metalanguage is irreducible.
-
This irreducibility is ontological, not merely epistemic.
-
Intelligibility constitutes a teleological space of meaning.
-
Formal systems are drawn into being by this space rather than constituting it.
Transitus
If the intelligibility of formal systems presupposes an irreducible metadiscursive horizon, and if this horizon belongs not merely to cognition but to the being of things themselves, then intelligibility cannot be treated as an incidental feature of formalization. It must instead be understood as a stable orientation of reality toward meaning.
Yet intelligibility that remains merely excess would be indeterminate. If meaning is to be communicable, repeatable, and answerable to truth, then it must assume a form capable of persistence without exhaustion. The question therefore presses beyond the conditions of meaning toward the mode by which meaning abides.
What is now required is an account of order that neither collapses into mechanism nor dissolves into abstraction. Such order cannot arise from formal systems alone, nor can it be reduced to patterns of occurrence. It must instead name the way intelligibility attains stability within reality itself.
We are therefore compelled to consider law. Not law as a descriptive regularity, nor as an axiom internal to a formal system, but as a mode of being through which intelligibility is sustained, communicated, and made normative.
Accordingly, the inquiry now turns to the nature of law and regularity, and to the question whether the order they express belongs merely to phenomena or to the ontological ground of intelligibility itself.