Where Have the Theologians Gone? Christ School of Theology and the Changing Geography of Doctoral Theological Education

I recently asked myself what I thought was a fairly straightforward question: How large is the PhD program at Christ School of Theology (CST) when compared with doctoral programs at the institutions that have traditionally trained systematic, philosophical, and historical theologians?

The question arose because CST has 42 PhD students enrolled in 2026–27. They are concentrated in three areas: Philosophical Theology, Systematic Theology, and Historical Theology. Forty-two seemed to me like a substantial number, but substantial compared with what?

When I entered academic theology, the geography was familiar. Yale, Chicago, Harvard, Princeton, Duke, Notre Dame, and the Hyde Park consortium immediately came to mind. If one wanted to become a systematic theologian, historian of theology, or philosopher of religion, these were among the places one considered. They possessed distinguished faculties and large communities of doctoral students. Their graduates populated university and seminary faculties throughout North America.

I assumed that CST's 42 students would still constitute a relatively small program measured against these older centers. That assumption appears to be wrong.

Comparing the Same Thing

One has to be careful with the numbers. A PhD in Religion is not necessarily a PhD in theology.

Consider Duke. Duke currently reports 45 students in its entire PhD program in Religion. Those students are distributed among Asian Religions, Christian Theological Studies, Early Christianity, Hebrew Bible/Old Testament, History of Judaism, Islamic Studies, New Testament, Religion, Aesthetics & Society, and World Christianity. CST has forty-two students in three areas of theology alone.

Harvard supplies another revealing comparison. Harvard Divinity School currently reports 63 students in the PhD program. Yet this is the Harvard Graduate School doctorate administered through the Committee on the Study of Religion, encompassing the broader academic study of religion rather than sixty-three students doing Christian theology.

Yale has undergone a similar development. Its Religious Studies doctorate now contains ten fields of study. Theology remains one of them, and Philosophy of Religion remains another. Indeed, Yale's Philosophy of Religion program explicitly includes philosophical theology and requires engagement with both analytic and continental philosophical traditions.

These remain extraordinary doctoral programs. The point concerns what they are programs in. Much of what was once concentrated in theology has become part of the broader academic study of religion. That changes the comparison.

Notre Dame Is Particularly Interesting

Notre Dame provides a cleaner case because its doctorate remains explicitly a PhD in Theology. Its current public roster lists 77 PhD students. I counted the students according to Notre Dame's own classifications. Twenty-two are in Systematic Theology and twelve are in History of Christianity. That gives 34 students in the two fields most directly comparable with CST's Systematic and Historical Theology programs. CST currently has 42 across Systematic Theology, Historical Theology, and Philosophical Theology.

This does not tell us that CST has somehow overtaken Notre Dame. It tells us something much more precise and, to my mind, more interesting. The concentration of doctoral students at CST in these traditional theological disciplines is already on the same numerical order as the corresponding concentration at one of North America's premier departments of theology. I did not expect that.

Princeton and Chicago

Princeton Theological Seminary remains another important comparison because its doctorate still bears a recognizably theological shape. Its current students work in Theology, Ethics, and Politics; History and Ecumenics; Biblical Studies; Practical Theology; and Religion and Society. Current profiles confirm active doctoral work in systematic and constructive theology as well as the several historical fields.

Our preliminary count of Princeton's current public profiles produced roughly eighteen students across Theology, Ethics, and Politics and the broadest possible construction of History and Ecumenics. Even that comparison is generous, since Religion in the Americas and World Christianity do not always constitute historical theology in the sense in which CST uses the term.

Chicago may display the historical shift still more dramatically.

The University of Chicago Divinity School remains one of the world's distinguished places for the study of religion. Its current PhD describes itself as interdisciplinary research into the “human phenomenon of religion,” encompassing constructive, historical, social-scientific, literary, and other approaches. Its current directory shows students across a wide range of areas. Theology and Philosophy of Religions continue, but they now occupy places within a much broader conception of the discipline.

Anyone who remembers Hyde Park several decades ago will recognize how significant the change is. The Chicago theological ecosystem once concentrated an extraordinary number of theologians within a few blocks. The institutions remain, but the distribution of doctoral work has changed.

So What Has Happened?

I think at least two developments are visible.

First, many of the strongest university programs have moved toward the academic study of religion conceived very broadly. That move has intellectual justification. Religion is a global human phenomenon, and serious scholarship cannot simply identify the study of religion with the study of Christianity.

Yet there is an institutional consequence. Forty or sixty doctoral students distributed among Christianity, Judaism, Islam, Asian religions, biblical studies, anthropology, ethics, history, philosophy, and other fields do not constitute forty or sixty systematic, philosophical, and historical theologians.

Second, seminary contraction has reduced the number of institutions maintaining large research doctorates in the classical theological disciplines. Programs have closed, contracted, consolidated, or broadened their purposes.

The result is a curious situation. There may now be fewer places in North America where a substantial number of doctoral students gather specifically to do theology. However, CST has moved in precisely the opposite direction.

What CST Has Accidentally—or Deliberately—Become

Our forty PhD students are concentrated in three neighboring disciplines. A student working in philosophical theology regularly encounters systematic theologians. A systematician encounters historians of doctrine. Historical work raises constructive questions; constructive work encounters philosophical ones. That density matters.

There is a considerable difference between enrolling forty people pursuing doctorates and possessing a community of forty doctoral theologians. The latter can become an intellectual environment. But what follows from the numbers?

Certainly not that CST is now “better than” Yale, Harvard, Princeton, Chicago, Duke, or Notre Dame. Such a claim would be silly. These institutions possess resources accumulated over generations: great libraries, endowed faculties, enormous universities, selective admissions, funding structures, placement networks, and reputations generated through thousands of graduates. Reputation is real, and so is institutional capital. But another fact is real as well:

Christ School of Theology has achieved doctoral scale before it has achieved commensurate reputation. That is what surprised me in looking at the numbers.

I think we can now say, with reasonable caution, that CST has developed one of the larger concentrated communities of PhD students in North America working specifically in systematic, philosophical, and historical theology.

Perhaps further research will reveal several programs we have overlooked. I would welcome the correction. This is an empirical question. One must count the students, identify their fields, and compare like with like.

But Duke has forty-five doctoral students in its entire Religion program. Harvard has sixty-three. Notre Dame has thirty-four in Systematic Theology and History of Christianity combined. Yale organizes its doctorate across ten fields. Once those facts are placed beside forty students concentrated in CST's three theological fields, something worth noticing has happened.

Scale Is Only the Beginning

Numbers do not produce scholarship, because 42 disconnected students are simply 42 students. The next question for CST is therefore more important than the enrollment question: What must happen for these students to become a genuine community of theological scholarship?

They must read one another's work. They must present dissertation chapters and defend arguments before colleagues. Philosophical theologians must learn enough historical theology to know when a supposedly new problem is an old one. Historical theologians must be pressed about what follows from the texts they study. Systematic theologians must learn to state clearly what they claim, what makes the claim true, and what follows if it is.

They should meet major scholars. They should publish. They should participate in conferences. Their dissertations should matter. Their graduates should eventually teach the next generation. At this point enrollment begins to generate intellectual capital.

This also suggests why CST should be cautious about proliferating doctoral concentrations. There is nothing inherently wrong with PhDs in practical theology, leadership studies, biblical studies, missiology, or other fields. But institutional identity comes partly from decisions about what one will not do. CST presently possesses something unusual: a large doctoral program centered quite deliberately upon theology. We ought to know what we have.

A Changed Map

The most interesting conclusion therefore concerns neither CST nor enrollment statistics by themselves. The map has clearly changed.

The great institutions remain great. Yale is still Yale. Harvard is still Harvard. Notre Dame, Princeton, Duke, and Chicago remain institutions with extraordinary scholars and enormous intellectual resources. Yet the concentration of doctoral students within the classical theological disciplines is no longer distributed as it once was.

New centers can consequently emerge. Whether CST becomes one of them will not be settled by enrollment numbers. It will be settled by the quality of the scholarship produced by its faculty and students, by the rigor of its dissertations, by publications, by intellectual exchange, and ultimately by the scholars its PhD program sends into the church and academy.

But one necessary condition is already present. There are enough theologians in the room, and that is something I had not fully realized until I counted them.

Model Theory in Theology: From Descartes to Luther

This short talk given on August 12, 2026, at the 15th International Luther Congress in Aarhus, Denmark, introduces model theory to historians. Like all my papers, it arises from work done at the Department of Philosophical Theology, ILT Christ School of Theology. 

Two Problems We Have Not Escaped

I want to begin some distance from model theory, with two problems associated above all with Descartes. The first is the problem of the external world. How do I know what the world is like apart from my representations of it? The second is the problem of other minds. How do I know what another person thinks, means, intends, believes, or experiences when I never occupy that person’s consciousness?

Descartes formulated these problems with unusual clarity. Four centuries later, we have not made them disappear. We have mostly learned how to live intelligently with them. We do not solve either problem by somehow getting outside ourselves. Rather, we encounter something over against us, something that resists us, and we try to render it intelligible. The world does not always behave as our theories predict. Other persons say and do things our accounts of them do not anticipate. Our interpretations can fail because something confronts us that is not simply at our disposal.

We cannot solve either problem by looking down at reality from nowhere, as though we could step outside ourselves and check our account against the thing itself. But we are remarkably good at a more modest maneuver: looking left and right, comparing one account with another and both with what resists them. That is the maneuver this essay is about.

Historians Live with the Problem of Other Minds

Historians confront the second Cartesian problem every day. At a Luther Congress we ask what Luther meant, what Melanchthon believed, what a late-medieval logician was doing with suppositio, or what theological possibilities were available to an author in 1517. But we cannot climb into Luther’s mind. We have texts, vocabulary, grammatical practices, controversies, other authors, institutional settings, manuscripts, and subsequent writings.

What historians actually do is reconstruct. We construct an account under which this evidence becomes intelligible together. Different historians may agree about the words on the page and nevertheless disagree about the best account of what those words are doing. The text and its historical setting constrain us: they possess what, borrowing loosely from Charles Peirce’s language of Secondness, I shall call an over-and-againstness or “bump-up-againstness.” They do not allow us responsibly to make them say whatever we wish.

This means that the mens auctoris need not function as an independently accessible semantic court of appeal. Authorial intention remains a legitimate historical hypothesis, but what we can reconstruct is the intentionality of a textual act from publicly available historical evidence. Our reconstruction may be excellent without becoming incorrigible.

The Special Sciences Face the External-World Version

The special sciences confront an analogous problem from the other Cartesian direction. The physicist does not have uninterpreted physical reality sitting on one side of the laboratory and a theory on the other. The biologist does not inspect life in itself. Scientists encounter phenomena, measurements, regularities, anomalies, and recalcitrant observations, and they construct theoretical structures that make these intelligible.

The historian’s problem and the scientist’s problem are not identical. A manuscript, another mind, and a physical process are not the same kind of object. But structurally the inquiries share something important: neither historian nor scientist possesses a God’s-eye standpoint. Both construct accounts of something that confronts them and is capable of proving those accounts inadequate. Theories are answerable to what they seek to understand without our having to suppose that finite knowers can compare their theories with an entirely uninterpreted world.

Theology Has Both Problems at Once

Theology inherits both problems. Theologians are historians. We ask what Paul meant, what Augustine meant, what Luther meant, what Nicaea meant, and what inherited doctrinal language was doing in its original settings. But theologians also make assertions about reality: God raised Jesus from the dead; God justifies the ungodly; Christ is present in the Supper.

Theology therefore interprets witnesses to other minds while also speaking about a world in which God is soteriologically ingredient. It asks both what inherited theological assertions meant and what account of God, world, Christ, sinner, promise, sacrament, and salvation renders the subject matter intelligible. The two Cartesian problems meet inside theological inquiry.

This is why theology cannot simply borrow its method from the historian or the scientist alone. It needs a single account of inquiry general enough to cover both tasks at once—one that tells us what we are doing when we build a model of a mind we cannot enter and a model of a God we cannot view from above. That is the account model theory can supply, and it is why I turn to it now.

A Small Luther and Trutvetter Example

Let me give one small example from another paper I presented here. Luther entered the University of Erfurt in 1501, the year Jodocus Trutvetter’s Summule totius logice appeared. We possess Trutvetter’s texts and Luther’s texts. The historical question is not merely whether Luther remembered particular sentences from Trutvetter. It is what semantic and inferential possibilities belonged to the intellectual world within which Luther’s later disputation became intelligible.

Consider a Trinitarian inference discussed by Trutvetter:

This divine essence is the Father.
This divine essence is the Son.
∴ The Son is the Father.

If I assign the copula est strict numerical identity throughout, the inference is valid. If this divine essence is numerically identical with the Father and numerically identical with the Son, then Father and Son are numerically identical with one another. There is no problem with the logic, but the theology is disastrous.

So what must est, essentia, Father, and Son be doing semantically for Trutvetter’s discussion to become intelligible? And when Luther later reasons with inherited scholastic logical vocabulary, what larger structure of interpretation makes both Trutvetter and Luther intelligible?

Here I need to point out that I am using the word interpretation in a way different from its hermeneutical use familiar to many of us. In formal semantics an interpretation assigns semantic values to the non-logical vocabulary of a language—in the simplest cases, the things to which its terms apply. Two readers may agree completely on the visible words and disagree about the meanings being assigned to them.

In historical work we are not pretending that Trutvetter’s or Luther’s prose is itself a formal language. We construct structured interpretations of the texts, and where useful we can regiment selected claims formally. One historian may model the relevant predication one way, another differently. We can then ask which model makes more of Trutvetter’s text, Luther’s text, and the historical relation between them intelligible. We can even ask whether a larger space of intelligibility can accommodate both without erasing their differences.

Theological Language Presents the Same Problem

The same issue appears when we turn from the historical reconstruction of theologians to the theological tradition and the Word of God that confront us. People of good will can agree on the language of theology while interpreting its terms very differently.

Lutherans may say, “We are justified by grace through faith.” But what is the semantic work of justification? What is grace? What sort of relation between God and the sinner is being asserted? Or Christians may agree that “Christ is present in the Eucharist” while operating with very different understandings of Christ, presence, body, sign, promise, and sacrament.

Theological disagreement therefore frequently occurs because the same sentences are satisfied under different models. A model may preserve familiar vocabulary while changing the larger structure in which the vocabulary functions. The question then becomes whether one model preserves more of the theological subject matter, whether another changes the subject, and whether several admissible models remain possible.

Model Theory Makes the Structure Explicit

Only now do I want to introduce model theory in its technical sense—and I will keep the symbols to the minimum that actually does work for us.

A theory, syntactically understood, is simply a set of sentences. Call it T:

T={φ1​,φ2​,φ3​,…}

Read this as: T is just the set of claims the theory makes.

An interpretation assigns semantic values to the non-logical terms of a language. A model is a structure under such an interpretation in which the relevant sentence or theory is true. When a structure M makes a sentence φ true under the interpretation supplied by M, we say that M satisfies φ, and we write:

$$M\models \phi$$

Read ⊨ simply as “satisfies” or, less technically, “makes true.”

A model of a theory satisfies every sentence in it. The collection of all such models is what logicians call Mod(T):

$$Mod(T)=\{M\mid M\models T\}$$

Read this as: Mod(T) is the class of models that make all of T’s sentences true.

And now we can state formally something historians and theologians encounter constantly. One theory can admit more than one model:

M1​⊨T

and

M2​⊨T,

while

~(M1​ = M2​).

The final expression says only that the two models are not numerically identical. More importantly for our purposes, they may differ substantially in the structures under which the same sentences are true. Both can satisfy the theory without representing its subject matter in the same way.

Satisfaction alone therefore does not tell us which model should be preferred. Some candidate models can be excluded because they violate constraints constitutive of the subject matter. An interpretation of a text that cannot accommodate its actual wording may cease to be an interpretation of that text. A theological model that preserves the word resurrectiononly by abandoning the identity of the one said to have been raised may have changed the subject rather than merely offered a less attractive account.

Among the models that remain admissible, we compare. We ask about consistency, coherence, explanatory scope, fecundity, parsimony, applicability, historical adequacy, capacity to accommodate recalcitrant evidence, and sometimes elegance or beauty. These virtues are not mechanically commensurable. There is no algorithm that adds them together and announces the correct model.

This is where I find Kant’s reflektierende Urteilskraft—reflecting judgment—useful. We compare, discriminate, and judge without pretending that an antecedently possessed universal rule mechanically determines the result. I call the structured field within which such comparative judgments occur teleo-space.

The position is fallibilist. Further texts, evidence, experiences, arguments, or distinctions may force us to reorder the models. But fallibility does not imply that every model has equal epistemic standing. We can give reasons why one is better than another.

Nor do we need a God’s-eye standpoint from which model and uninterpreted reality can be placed side by side. We cannot look down from nowhere. But we are remarkably good at looking left and right. We can compare models. We can see that one explains something another leaves obscure, preserves a distinction another destroys, or accommodates an obstinate text or experience another must suppress.

Model theory therefore does not solve Descartes’ problems by giving finite creatures access to reality without mediation. It does something more useful. It clarifies the structure of responsible inquiry when such access is unavailable.

The historian constructs models of other minds from texts that resist interpretation. The scientist constructs models of a world that resists theory. The theologian does both: we interpret witnesses, and we make claims about a reality in which God is soteriologically ingredient.

Our models are fallible. More than one may satisfy the assertions with which we begin. Some can nevertheless be excluded; others can be comparatively ordered. We can offer what I would call a reasoned account: a publicly criticizable, corrigible judgment about how the subject matter may be independently of our present act of modeling it.

We cannot look down from nowhere. But we can look left and right. And perhaps model theory can help theology become clearer about what it is doing when it does.

Reality Does More than Resist; It Corrects

This essay continues an ongoing series in philosophical theology from the Department of Philosophical Theology at Christ School of Theology. The series asks a few basic but demanding questions: What makes reality intelligible? How does theological language work? What philosophical assumptions support Christian belief? Behind it stands a simple conviction: theology exists because these questions exist, and its first task is to make Christian doctrine intelligible without reducing, replacing, or explaining away the reality to which that doctrine points.

The previous essay argued that reality has the first word. Inquiry does not begin because an isolated subject decides to direct its attention toward an otherwise indifferent world. It begins because something has already presented itself, interrupted our expectations, resisted our descriptions, or called our understanding into question. Before we formulate a hypothesis, devise an experiment, or construct a theory, something has already occasioned the inquiry.

That claim reverses an order of explanation deeply embedded in modern thought, which imagines us first as active knowers who subsequently turn toward reality as an object of intellectual activity. The actual experience of inquiry suggests otherwise. Reality does not enter the process only after we have begun asking questions; the questions arise because reality has already refused to remain unnoticed.

From resistance to correction

Resistance alone, however, does not explain inquiry. A locked door resists the body. A steep hill resists the traveler. A malfunctioning machine resists its operator's intentions. Such resistance may frustrate us, delay us, or force a change of behavior, but it does not yet constitute correction.

Intellectual inquiry requires something more: reality must be capable not merely of impeding our purposes but of showing that an account of it is inadequate. A scientist whose prediction fails does not conclude that nature has simply been uncooperative; she asks whether the theory, the measurement, or the experimental design was mistaken. A historian who discovers a document inconsistent with a familiar narrative does not treat it as an obstacle to a preferred interpretation; he asks whether the narrative must be revised. A philosopher who finds a contradiction within an argument does not treat it as an unfortunate collision of equally acceptable possibilities; she recognizes that something has gone wrong. In each case, reality does more than resist. It corrects.

To be corrected is not merely to be pushed in a different direction. It is to discover that one ought to think differently because one's previous account has failed to do justice to its object. This "ought" is already present in every serious inquiry. We do not prefer a revised theory merely because it is newer; we judge it more adequate. We do not abandon a historical interpretation because another has become fashionable; we abandon it because the evidence no longer supports it. We do not reject an argument because it is rhetorically inconvenient; we reject it because its conclusion does not follow or its premises cannot be sustained.

Inquiry is therefore normative from the beginning, for it distinguishes better from worse descriptions, more and less adequate explanations, responsible from irresponsible judgments. Without such distinctions there may still be curiosity, experimentation, or invention, but there is no disciplined search for understanding.

The limits of construction

This is where many contemporary accounts of knowledge become unstable. They rightly emphasize that human knowing is historically situated, linguistically mediated, socially conditioned, and conceptually structured. No one encounters reality from nowhere; every observation occurs within practices of interpretation, and every judgment employs concepts inherited from particular traditions. Yet none of this explains how those practices, concepts, and traditions can themselves be corrected. A community may share an interpretation and still be mistaken. An inherited narrative may organize experience powerfully while concealing what actually occurred. A conceptual scheme may be internally coherent while systematically misdescribing its object. Even a theory of knowledge that insists all knowledge is socially constituted must distinguish a more adequate account of that constitution from a less adequate one.

The language of construction, then, cannot be the final word. Human beings undoubtedly construct theories, models, narratives, and conceptual frameworks. The planetary model, the economic model, the historical narrative, and the theological system all result from acts of selection, abstraction, and representation; no model reproduces its object without mediation. Construction is therefore not the enemy of realism—it is one of the conditions under which finite beings become capable of understanding anything at all. The relevant question is not whether our models are constructed, but whether they remain answerable to what they seek to understand.

The difficulty arises when the constructed character of a model is taken to mean that it owes nothing beyond itself. At that point coherence replaces adequacy, usefulness replaces truth, and a model's capacity to organize discourse matters more than its capacity to disclose its object. A model may be coherent and still false. It may be useful and still distort what it represents. It may secure agreement among those who employ it while excluding every consideration that would expose its inadequacy. That a model works for some purpose does not establish that it has understood the reality with which it deals.

This becomes especially clear when models meet anomalies. An anomaly is not simply something unexpected; it is something that ought not to have occurred if the model were adequate. Its significance lies in the tension between what the model permits us to expect and what reality actually presents. Yet even anomalies do not automatically correct us—human beings are remarkably skilled at protecting favored explanations from inconvenient evidence, whether by dismissing exceptions, redefining terms, altering standards of evidence, questioning a critic's motives, or introducing auxiliary explanations whose real function is to prevent the original account from being tested. A model becomes intellectually responsible only when it permits reality to count against it.

That sentence sounds obvious, but much depends on it. Inquiry requires more than the availability of evidence; it requires a willingness to let evidence exercise normative force. Reality must be granted the authority to expose not only that our expectations have failed, but that our descriptions must change.

The third partner

This is why inquiry always includes what might be called a third partner. There is the knowing subject, with a history, language, community, and set of intellectual practices. There is the theory, model, or interpretation through which the subject seeks understanding. And there is the reality the model intends to disclose.

This third partner cannot be absorbed into either of the others. It is not merely a projection of the knowing subject, because it continually resists what the subject would prefer to find. Nor is it identical with the model, since competing models may address the same reality, and every model remains open to correction by what it fails to preserve.

Once this third partner disappears, inquiry changes character. Disagreement becomes a contest between perspectives rather than a shared attempt to understand something that exceeds them both. Theories are assessed by the identities they sustain, the interests they serve, or the effects they produce, and questions of truth are gradually redescribed as questions of power, coherence, usefulness, or social location. These considerations are not illegitimate—intellectual practices do involve power, interpretations do arise from particular social locations, theories do have consequences—but none of them explains why an account of power, location, or consequence should itself be accepted as more adequate than its alternatives. Even the critique of truth must present itself as a truthful critique.

This inescapability suggests that correction belongs more deeply to inquiry than any particular theory of knowledge does. Before we decide whether we are realists, idealists, pragmatists, or constructivists, we have already distinguished claims that illuminate reality from claims that obscure it, and assumed that inquiry can disclose why one judgment should replace another. The phenomenon is familiar enough that we scarcely notice it: a physician changes a diagnosis because the patient's condition does not fit the original account; a mechanic abandons one explanation of an engine failure because the parts do not behave as predicted; a child revises an assumption about another person because that person's actions keep contradicting it. In each case, understanding advances when the object is permitted to instruct the one seeking to understand it.

This instruction need not arrive as a complete answer. Reality seldom interprets itself in finished form; it confronts us through anomalies, contradictions, absences, patterns, and unexpected relations. We must still reason, imagine, compare, and construct. Correction does not eliminate the active work of the knower—it places that work under judgment.

Creativity and humility

Genuine inquiry therefore requires both creativity and humility. Creativity, because reality does not hand us ready-made conceptual schemes; we must devise models capable of rendering its order intelligible. Humility, because no model can claim immunity from the reality it seeks to understand. The deepest intellectual failure occurs when creativity is preserved but humility is lost—when inquiry becomes the art of producing ever more sophisticated constructions without allowing anything outside those constructions to judge them. The result may be ingenious, influential, even institutionally successful. It will not be understanding.

What correction requires of reality

The claim that reality corrects us goes beyond asserting that a world exists independently of human thought. A merely independent reality could remain mute, chaotic, or wholly unintelligible; it might resist our actions without providing any basis for distinguishing a better description from a worse one. Correction requires more than independence. It requires order.

Reality must possess determinate features and relations that our descriptions can preserve or distort. It must be stable enough that inquiry can discover patterns, rich enough that our first descriptions remain incomplete, and intelligible enough that failure can become the occasion for improved understanding. The normativity of inquiry is not imposed on reality from outside; it arises within the encounter between finite understanding and an order that exceeds it. We discover that we ought to revise our judgments because reality has shown them to be inadequate.

None of this makes correction final. Later inquiry may expose weaknesses in what presently appears to be the better account, and reality does not speak unambiguously—evidence must be interpreted, and reasonable people may disagree about what a given anomaly requires. But fallibility does not abolish correction; it makes correction necessary. The possibility of error presupposes a difference between what we believe and what is the case. The possibility of learning presupposes that this difference need not remain permanent. Inquiry inhabits the space between them—the space in which reality can unsettle our judgments and call forth more adequate ones.

Toward the next question

We can now state the advance beyond the previous essay. Reality has the first word because inquiry begins in response to what confronts us. But that first word is not merely the brute announcement of presence—it is also a claim upon our understanding. Reality does not merely say, "I am here." It says, "You have not yet understood me."

That claim gives inquiry its peculiar dignity. Human beings do not merely adjust themselves to their environments; they seek to become answerable to what is real. They recognize, however imperfectly, that an inadequate description ought to be revised, and that understanding bears responsibilities not exhausted by usefulness or success.

The question that now emerges is deeper still. Norms such as truth, adequacy, and explanatory superiority are not objects situated alongside other objects. We do not observe adequacy as we observe a tree, a molecule, or a distant planet. Yet without such norms, no observation becomes evidence and no theory becomes corrigible. What kind of reality can call forth not merely causal reactions but responsible judgments? What must the world be like if it not only resists our constructions but teaches us how those constructions have failed?

Reality has the first word. We must now ask how that word becomes intelligible as correction.