Mind, Matter, and Meaning

Tag: functionalism

  • The Triviality Objection to Computationalism

    MIND · MATTER · MEANING No. 37 · May 2026

    The Triviality Objection to Computationalism

    If a wall computes everything, computation isn’t what minds are.

    An essay mindmatterandmeaning.com

    Sit in enough philosophy seminars and you will eventually hear someone announce, with a straight face, that the radiator beside them is running Microsoft Word. The claim sounds unhinged. It is also, in a narrow and revealing sense, true. A famous result holds that any sufficiently large physical object — a wall, a bucket of water, a rock warming in the sun — implements every computer program you care to name. Hilary Putnam pressed a version of this in 1988, and Searle pressed a related one in 1990.1 And the trick that makes it work turns out to embarrass the trickster. Grant yourself enough latitude in how you match up physical states with computational ones, and yes, the wall computes WordStar. By the same latitude it also computes the opposite of whatever it computes, and dreams of Provence on alternating Tuesdays.

    The interesting question is what to make of this. Functionalists, on first hearing, tend to flinch. Their whole picture rests on the idea that a mind consists in functional organization — patterns of input, internal state-change, and output — that can run on any material able to sustain it. If walls turn out to have whatever organization you like, the picture trivializes. The mind reduces to a permission slip you write for yourself. That cannot be what understanding amounts to.

    The temptation here is to reach for new gears. Maybe the right functional organization rules out the gerrymandered mappings. Maybe causal counterfactuals do it, or complexity, or some careful algebra over state-spaces. A respectable literature has grown up around saving functionalism from triviality by tightening these technical screws, and Peter Godfrey-Smith has written the patient article that sorts the repairs that hold from the ones that overreach.2 But the more revealing move is to step back and ask why the threat keeps recurring no matter how cleverly the screws get tightened.

    The diagnosis, once you let it through, has a faintly comic shape. The triviality arguments do not expose some fixable bug in functionalism. They expose something larger. Anything you characterize purely in terms of formal structure — purely in terms of what plays which role in a system of inputs, swaps, and outputs — admits arbitrary interpretation, because formal structure carries no built-in tether to anything in particular. Symbols do not, on their own, point at the world. Functional roles do not, on their own, mean anything. A string of zeroes and ones sits there with perfect indifference about whether it represents a chess position, a tax return, or nothing at all. The wall does run WordStar — in exactly the trivial sense in which it does anything else you can describe with enough slack. Under a creative enough reading the world becomes a Rorschach test, and Rorschach tests do not understand anything.

    This conclusion should feel familiar from a different street. Searle reached it from outside functionalism and pressed it in the Chinese Room.3 Putnam reached it from inside and pressed it in the triviality argument. They walked toward the same wall, and the wall is not running WordStar. It is the wall that says: formal structure cannot, by itself, fix meaning. Searle held that conclusion against the computationalist program loudly. Putnam held it differently. Having spent the 1960s as the founding parent of computational functionalism, he followed his own argument to the conclusion that the very feature he had prized — that minds could be realized in any substrate — was the feature that trivialized the theory, and he said so in print. That is the kind of intellectual courage that ought to embarrass anyone who has ever kept a position because of who else held it.4

    So the wall does not run WordStar in any sense worth wanting. What does the program-running, then? Not the formal structure alone. The structure has to come tethered. It has to be the structure of something that already, for some non-magical reason, picks out one interpretation over the infinite others.

    Here the embodiment story stops being a vague gesture about robots and starts doing real work. Consider a nervous system that evolved to track predators. It tracks predators rather than sandwich crumbs because evolution selected its ancestors for the former and not the latter. No interpreter hands it that mapping. It inherited the mapping from a long causal history in which getting the mapping right meant getting eaten less often. That is roughly what Millikan calls a proper function, and what Dretske connected to representation more broadly.5 Selection — biological, or learned, or both — does the work that pure formal structure cannot. It pins down one interpretation by making it the interpretation under which the system worked, which means, prosaically, the interpretation under which its bearers had children.

    Notice how this dissolves the triviality argument without saving functionalism on its old terms. It does not say the wall fails to run WordStar because some better-tuned functionalism rules the bad mapping out. It says no purely formal account can rule the bad mapping out, because formal accounts lack the resources. What rules it out is that the wall has no selection history picking one mapping over another. The brain has one. The wall does not. The radiator dreaming of Provence cannot dream of Provence at all, because no historical fact about the radiator makes Provence — rather than Pittsburgh, or pickle juice — the content of the dream. Content depends on grounding, grounding depends on history, and history does not show up in the formal organization. It shows up in bodies in worlds.

    The detour through Putnam matters because, without it, the conclusion sounds like Searle banging the lectern. From the outside, the claim that syntax cannot suffice for semantics looks like an anti-computationalist hobbyhorse. From the inside — when the founding theorist of computational functionalism follows his own argument honestly to the same wall — it stops looking like a hobbyhorse and starts looking like a result. The convergence carries weight that neither voice carries alone. And it lands the conclusion the right way: not as one camp dismissing a rival, but as something the rival camp’s best mind ended up affirming when he refused to flinch from his own work.

    The argument also carries a moral about current AI hype. When a language model produces fluent paragraphs about Provence, it does not thereby know about Provence. It performs a transformation of formal structure — a transformation, to be clear, of breathtaking sophistication and real practical value — and that transformation admits, in principle, arbitrary interpretation. Whatever tether it has to the world it speaks of comes from the human authors in its training corpus, who were embodied creatures with selection histories, and who therefore meant something when they wrote about Provence. A model riding on their meanings does not thereby have its own. The wall that allegedly runs WordStar stands to WordStar exactly as a stochastic parrot stands to its training corpus: in a relation conferred entirely from outside, by interpreters who already mean things.6

    What the wall lacks, the parrot also lacks, and what the parrot lacks, embodiment supplies. Not magically. There is no extra ingredient here, no quintessence, no special carbon, nothing Descartes would recognize. What embodiment supplies is the unromantic fact that bodies — evolved or otherwise selected — have histories of getting things right and wrong, and those histories pin down what their states are about. Subtract the history and the formal structure floats free, available for any interpretation and committed to none. That, finally, names what was always wrong with the picture of the mind as software running on the brain. Software does not run on anything by itself. It runs on something that, for non-software reasons, already meant.

    The wall does not run WordStar. The brain, blessedly, runs something — and the reason has nothing to do with the cleverness of the mapping and everything to do with a long, biological, world-involving fact: some patterns got selected for being about things, and the things they got selected for being about are still there, waiting outside the window where they always were.

    Notes

    1. The “every system implements every program” result is the technical engine the parlor game runs on. The cleanest statement of the worry — that any ordinary open physical system implements every finite-state automaton, given a permissive enough mapping from physical to computational states — is laid out by David Chalmers, “Does a Rock Implement Every Finite-State Automaton?,” Synthese 108 (1996), who states the problem sharply precisely in order to constrain it. Putnam’s own version appears as an appendix to Representation and Reality (MIT Press, 1988). Searle’s adjacent claim is that computation itself is observer-relative: syntax is not intrinsic to physics but assigned by an interpreter, so nothing is “intrinsically” a digital computer — see “Is the Brain a Digital Computer?,” Proceedings and Addresses of the American Philosophical Association 64 (1990). The two routes differ but arrive together: where Searle argues that the computational description is observer-relative from the start, the triviality results show that any purely formal description leaves the mapping wide open. ↩
    2. Peter Godfrey-Smith, “Triviality Arguments Against Functionalism,” Philosophical Studies 145 (2009). Godfrey-Smith supplies the careful inventory — which versions of the triviality argument succeed, which overreach, and what minimal additional structure functionalism must take on to survive. His verdict, that the strongest versions push functionalism toward grounding in causal and selection-historical facts, converges with the position defended here. ↩
    3. John Searle, “Minds, Brains, and Programs,” Behavioral and Brain Sciences 3 (1980). The Chinese Room is the better-known vehicle, but the deeper Searlean point is the one developed in the 1990 paper cited above: because the notion of computation is observer-relative, it cannot intrinsically characterize the brain. The triviality results reached from inside functionalism are, in effect, that same conclusion reached by a different route — which is why the convergence is worth pressing rather than merely noting. ↩
    4. Hilary Putnam, Representation and Reality (MIT Press, 1988). Putnam, who in the 1960s effectively founded computational functionalism, concludes here that the multiple-realizability which originally recommended the view in fact trivializes it once one sees how unconstrained the realization relation really is — the formal organization that was supposed to be substrate-neutral turns out to be interpretation-neutral as well, and that is fatal. See also Oron Shagrir, “Putnam and Computational Functionalism,” in Hilary Putnam on Logic and Mathematics (Springer, 2018), on the philosophical significance of an arch-functionalist reaching this verdict. ↩
    5. For the locus classicus connecting selection history to representational content, see Ruth Garrett Millikan, Language, Thought, and Other Biological Categories (MIT Press, 1984), especially chapters 1–2 on proper functions; and Fred Dretske, Explaining Behavior: Reasons in a World of Causes (MIT Press, 1988), for the parallel project run through learning history rather than evolutionary history. Both share the structural claim the argument leans on: what a state represents is fixed by the history that selected it, not by its current formal profile. ↩
    6. Whether artificial systems trained on human corpora might inherit learning-historical proper functions in Millikan’s sense is a live question, taken up by Jumbly Grindrod, “Large Language Models and Linguistic Intentionality,” Synthese 204:71 (2024). Millikan’s own writings suggest she would resist the extension: the histories she has in mind run through generations and natural selection, not through gradient descent over a fixed dataset. The disagreement marks the live frontier of teleosemantic theorizing about AI, and nothing here forecloses it — the claim is only that formal structure alone never settles content, not that gradient descent could never be a grounding history of the relevant kind. ↩

  • What the Wiring Diagram Leaves Out

    MIND · MATTER · MEANING No. 26 · May 2026

    What the Wiring Diagram Leaves Out

    What the wiring leaves out isn’t a soul. It’s a world.

    An essay mindmatterandmeaning.com

    We now live among machines that behave, in narrow stretches, exactly as though someone were home. They answer the question, finish the sentence, console the griever. And a tempting thought follows hard behind: if a system is organized the right way — the same inputs producing the same outputs, the same inner states feeding into one another in the same pattern — then it doesn’t matter what the system is built from. Get the organization right and the mind comes along for free. The hardware is incidental. The wiring diagram is the whole story.

    That thought has a respectable name and a distinguished pedigree. Philosophers call it functionalism, and for several decades it was the closest thing the philosophy of mind had to an orthodoxy.1 It deserves the respect. Functionalism solved a real problem, and any account of the mind that ignores what it got right will be poorer for it. The trouble is only that it stops one step short — and the step it skips is the one that matters most for the question we now keep asking about machines.

    Start with what functionalism got right, because it is genuinely a lot. Its founding move, due to Hilary Putnam, was to define mental states by their roles rather than their materials.2 A pain is not, on this view, a particular kind of stuff in the head — not “C-fibers firing,” as the old identity theory had it. A pain is whatever state gets caused by bodily damage, causes wincing and avoidance, and interacts with your beliefs and desires in the way pain does. Define it by the job it does, and you free the mind from any particular substrate. An octopus, with its alien nervous system, can be in pain. So could a Martian, or — the live question — a machine, provided its internal organization plays the same role. This is multiple realizability, and it is almost certainly true. There is no good reason to think only carbon can mind. Functionalism earned its dominance by saying so first and saying it clearly.3

    So the wiring-diagram picture starts out looking not naive but sophisticated. Then Ned Block built a machine that breaks it.

    Imagine replacing each neuron in your brain with a tiny person — billions of them — each doing the one small job that neuron did, signaling to its neighbors on cue.4 Or scale it up: recruit the population of a large nation, hand each citizen a two-way radio and a simple rule about whom to call when, and have them collectively implement, for one hour, the exact functional organization of a human brain in pain. The input-output profile is right. The internal state-transitions are right. By functionalism’s own criterion, the system as a whole is in pain. Now look at it and ask the plain question: is anyone home? Does the nation hurt?

    The intuition that it does not is hard to shake. And that is the trouble, stated precisely: functionalism, by its own definition, must say the nation feels pain, while most of us find it nearly impossible to believe. The wiring is perfect and the lights seem to be off. Block called these absent qualia cases, and their point is not that functionalism is obviously false but that it has left something out. It specified the form of the organization and said nothing about what, if anything, fills it.

    Here is where the diagnosis matters, because there are two ways to react and only one of them is right. The dualist reacts by concluding that the missing ingredient is a non-physical extra — a glow, a soul, a spark of consciousness that the wiring fails to capture and that no physical story ever could. Resist that. The absent-qualia case does not show that what’s missing floats outside nature. It shows something more specific and more useful: the homunculus-nation’s states are not about anything.5 A real pain represents damage to a particular body. A real perception of red represents a feature of a surveyed world. The nation’s frantic radio traffic represents nothing; it is a pattern of signaling with no answering object, syntax with no semantics, a role played in a vacuum. Functionalism gives you the grammar of a mind and forgets that grammar is not yet meaning.6

    And meaning is not the kind of thing you can install by tightening the diagram, because what a state means is not fixed inside the system at all. It is fixed by the system’s history of commerce with a world — by the fact that this state has been reliably caused by that feature of the environment, in a body that could be harmed and a creature that had stakes in the outcome.7 This is why the fix for functionalism is not a retreat to dualism but an advance into the world. It also welds the two halves of the argument together — for the slide from “the nation’s states are about nothing” to “the nation feels nothing” needs a premise, and here it is: on the view I defend, the felt character of an experience is not something added to its content but identical with it, representational content of the right embodied kind. To settle what a state is about is therefore already to settle whether there is anything it is like to be in it. Add genuine, world-directed content to the functional story — let the states actually represent damage, actually track red, through the right embodied causal engagement — and the absent-qualia worry loosens its grip. A system whose states really are about the world, in the way an embodied animal’s states are, is no longer a nation passing meaningless notes. The missing ingredient was never a ghost. It was a world.8

    The committed functionalist has a reply, and it deserves a hearing at full strength. Bite the bullet, he says: the nation does feel pain, however bizarre that sounds, and your refusal to believe it is mere parochialism. Our intuitions were trained on creatures with faces; they are unreliable witnesses about radios and populations, and “it just seems obvious that nobody’s home” is feeble evidence on which to sink a theory. He is half right, and the honest thing is to grant it: intuition-pumping about exotic systems proves little by itself, and if absent qualia were the whole case against functionalism, the bullet-biter could chew his way out.

    But notice what the reply does not supply. It does not explain why the right organization should bring experience along — it simply insists that it must, and then dares you to deny it. That is not an answer to the absent-qualia case; it is a refusal to feel its force. The case was never meant to prove by gut reaction that the nation is dark. It was meant to expose that functionalism stipulates the sufficiency of organization without ever earning it — and that the moment you ask what would actually make the difference between a system that feels and one that merely computes, the functionalist has nothing to point to, while the rest of us can point to something definite: whether the states are anchored to a world in the way that gives them content. The bullet-biter keeps the wiring and waves away the question. The better view keeps the question and answers it.

    Which returns us to the machines. The interesting question about an artificial system was never whether its organization is complex enough — a large model’s organization is complex past anyone’s grasp. The question is whether that organization is grounded: whether its states have been fixed by the right kind of traffic with a world, in something with a body and a history and something at stake, or whether they are the most elaborate radio network ever assembled, signaling in a vacuum. Get the wiring perfect and you have built the syntax of a mind. Whether anyone is home depends on something the diagram has never shown — and what it leaves out is not a soul. It is a world.

    References

    Block, Ned. (1978). “Troubles with Functionalism.” In Perception and Cognition: Issues in the Foundations of Psychology, edited by C. Wade Savage, 261–325. Minnesota Studies in the Philosophy of Science, vol. 9. Minneapolis: University of Minnesota Press.

    Putnam, Hilary. (1967). “Psychological Predicates.” In Art, Mind, and Religion, edited by W. H. Capitan and D. D. Merrill. Pittsburgh: University of Pittsburgh Press. (Reprinted as “The Nature of Mental States.”)

    Searle, John. (1980). “Minds, Brains, and Programs.” Behavioral and Brain Sciences 3(3): 417–457.

    Searle, John. (1990). “Is the Brain a Digital Computer?” Proceedings and Addresses of the American Philosophical Association 64(3): 21–37.

    Tye, Michael. (1995). Ten Problems of Consciousness: A Representational Theory of the Phenomenal Mind. Cambridge, MA: MIT Press.

    Tye, Michael. (2006). “Absent Qualia and the Mind-Body Problem.” The Philosophical Review 115(2): 139–168.

    Notes

    1. Block opens “Troubles with Functionalism” (1978) by noting that functionalism “may now be dominant,” and immediately observes that the label covers several distinct projects — reformulations of behaviorism, mind-machine analogies, applications of empirical psychology, and arguments about mind-brain identity. The version pressed here, and the version Block targets, treats each mental state as identical to a functional state: a state defined by its causal relations to inputs, outputs, and other inner states. Nothing in the argument turns on the machine-table formalism specifically; it turns on the claim that functional role is sufficient for mentality. ↩
    2. Putnam (1967). The functional-state hypothesis individuates mental states by their place in a causal network — sensory input, behavioral output, and relations to other states — rather than by physical composition. This is the sense in which a mind, on the strong reading, is like a program: specifiable independently of the hardware that runs it. (Putnam himself later abandoned functionalism, partly on externalist grounds congenial to the diagnosis offered below.) ↩
    3. Multiple realizability is the part of functionalism this argument keeps. The objection here is not that mind requires a special substrate — that would be to trade functionalism’s error for the identity theory’s chauvinism, or for a biological essentialism about neurons. The claim is narrower: functional organization is necessary but not sufficient, and what must be added is not a substrate but a relation to a world. Substrate-independence survives; organization-sufficiency does not. ↩
    4. Block’s “homunculi-head” and the “Chinese nation” (or “China-body system”) cases, both from “Troubles with Functionalism” (1978). The scenarios are constructed so that the system’s functional organization is, by stipulation, identical to a human’s, isolating the question of whether that organization suffices for phenomenal consciousness. A parallel pressure comes from the inverted spectrum: two subjects functionally identical but with systematically swapped color experience, which would show phenomenal character outrunning functional role. I leave inversion aside here because turning it against a representational theory of consciousness (rather than against functionalism) opens a separate and harder debate; against functionalism specifically, the absent-qualia case is enough. ↩
    5. This is the load-bearing move, and it is worth marking that it cuts against the dualist as sharply as against the functionalist. The dualist and the bare functionalist share a premise — that the only thing the wiring could be missing is an intrinsic felt quality — and disagree only about whether wiring supplies it. The diagnosis here rejects the shared premise: what the homunculus-nation lacks is not an inner glow but intentional content, states that are genuinely about a world. Cf. the project’s general anti-reification line: “consciousness” and “qualia” name relational, world-involving achievements, not inner substances that organization either secretes or fails to. ↩
    6. That formal organization, however elaborate, does not by itself constitute aboutness is Searle’s point, made sharpest in “Minds, Brains, and Programs” (1980) — the Chinese Room — and extended in “Is the Brain a Digital Computer?” (1990), which argues that syntax itself is not intrinsic to the physics of a system but assigned by an interpreter. The present essay borrows Searle’s diagnosis of the gap while declining his further moral: Searle concludes that the missing ingredient is the brain’s specific biological causal powers; the view here holds that it is grounding — the right causal-historical engagement with an environment — which is substrate-neutral. One can keep Searle’s gap without his biology. ↩
    7. This is semantic externalism applied to the theory of consciousness: what a state represents is not settled by anything internal to the system at a time, but by its causal-historical relations to the environment. Two systems can be internally, functionally identical while differing in what their states are about, because they are embedded in different worlds with different histories. This is precisely the resource functionalism lacks: it specifies internal role exhaustively and says nothing about the world-relations that fix content. ↩
    8. Tye’s response to the absent-qualia objection (Tye 2006; the positive theory is developed in Ten Problems of Consciousness, 1995, as the PANIC theory — Poised, Abstract, Nonconceptual, Intentional Content). Tye’s point is that the homunculus-head with absent qualia does not refute a representational theory of consciousness, because such a theory requires the functional states to carry the right intentional content, not merely to occupy the right role. A system that genuinely represented damage in the right way would feel pain; Block’s case earns its intuitive force precisely by describing a system whose states are not genuinely about anything. Functional role plus world-directed content, not functional role alone. ↩