s in which human minds happen to be embodied, allowing them to be “multiply realized” in any number of substances and bodies, including machines, extraterrestrials, and perhaps even angels and ghosts (in this way, functionalism is also compatible with the denial of type identities and the endorsement of token identities); and, most important, (3) it allows philosophers of mind to recognize a complex psychological level of explanation, one that may not be straightforwardly reducible to a physical level, without denying that every psychological embodiment is in fact physical. Functionalism thus vindicated the reasonable insistence that psychology not be replaced by physics while avoiding the postulation of any mysterious nonphysical entities as psychology’s subject matter.
However, as will emerge in the discussion that follows, these very attractions brought with them a number of risks. One worry was whether the apparent detachment of functional mental properties from physical properties would render mental properties explanatorily inert. In a number of influential articles, the American philosopher Jaegwon Kim argued for an “exclusion principle” according to which, if a functional property is in fact different from the physical properties that are causally sufficient to explain everything that happens, then it is superfluous, just as are the epiphenomenal angels that push around the planets. Whether something like the exclusion principle is correct would seem to depend upon exactly what relation functional properties bear to their various physical realizations. Although this relation is obviously a good deal more intimate than that between angels and gravitation, it is unclear how intimate the relation needs to be in order to ensure that functional properties play some useful explanatory role.
It is important to appreciate the many different ways in which a functionalist approach can be deployed, depending on the specific kind of functionalist account of the mind one thinks is constitutive of the meaning of mental terms. Some philosophers—e.g., Lewis and Jackson—think that the account is provided simply by common “folk” beliefs, or beliefs that almost everyone believes that everyone else believes (e.g., in the case of the mental, the beliefs that people scratch itches, that they assert what they think, and that they avoid pain). Others—e.g., Sidney Shoemaker—think that one should engage in philosophical analysis of possible cases (“analytical functionalism”); and still others—e.g., William Lycan and Georges Rey—look to empirical psychological theory (“psychofunctionalism”). Although most philosophers construe such functional talk realistically, as referring to actual states of the brain, some (e.g., Dennett) interpret it irreferentially—indeed, as merely an instrument for predicting people’s behaviour or as an “intentional stance” that one may (or equally may not) take toward humans, animals, or computers and about whose truth there is no genuine “fact of the matter.” In each case, definitions vary according to whether they are derived from an account of the whole system at once (“holistic” functionalism) or from an account of specific subparts of the system (“molecular” functionalism) and according to whether the terms to be defined must refer to observable behaviour or may refer also to specific features of human bodies and their environments (“short-armed” versus “long-armed” functionalism). Thus, there may be functional definitions of states of specific subsystems of the mind, such as those involved in sensory reception (hearing, vision, touch) or in capacities such as language, memory, problem solving, mathematics, and interpersonal empathy. The most influential form of functionalism is based on the analogy with computers, which, of course, were independently developed to solve problems that require intelligence.