Nonreductive Materialism
Nonreductive materialists generally follow functionalists in emphasizing the importance of multiple realizability. Before we can appreciate the evidence for multiple realizability, we need an appropriate vocabulary. A type of state, property, process, object, or event (hereafter, simply "object"), is a class or kind of object that admits of instances. An egg, for example, is a type of single-celled organism. There are many concrete instances of eggs: for instance, in humans, in hatcheries, and in many refrigerators. These individual eggs are tokens. We understand an object as a type or a token relative to a taxonomy, a means of classification—although it does not follow that the existence of all tokens depends on language. A particular mastiff may be a token of the type mastiff, but it is also a token of the type dog, mammal, animal, domesticated animal, and slobbering thing. Types may be scientifically taxonomic, but are not so automatically; whether they are such depends on their role in a scientific theory. With these concepts in hand, let us turn to the issue of type-type, or "smooth," reduction.
The smooth reduction of one theoretical description to another preserves causal/explanatory role. This preservation of causal/explanatory role is reflected in at least one of two ways: (a) the laws in the reduced and reducing theories are similar (this concerns whether they isolate the same covariations in the world) and (b) theoretical-predicate pairs across the reduced and reducing theories isolate, or pick out, the same objects. (Cf. Churchland 1989, chaps. 1, 3, and Hooker 1981.) Traditional accounts of reduction imply that theories, laws, and terms can be objects of reduction. One law, for instance, is reducible to another if the law targeted for reduction is logically derivable from the corresponding law in the reducing domain. Reduction, construed ontologically, is a relation between two theoretically characterized domains of entities, whether postulated objects, properties, processes, states, events, or laws. (A postulated entity need not, of course, be an actual entity.)
The type-type identity theory has the disadvantage that, as a formulation of materialism, there is inadequate evidence for it. For example, there is no evidence that it is generally the case that, for every type of psychological process (relative to the best psychological taxonomy), there is a corresponding type of neural process (relative to the best neuroscientific theory). Many materialists hold that there is evidence instead for a weaker, token-token identity theory, according to which any individual or token—a particular dog, a particular NaCl molecule, a particular cultural ritual—is entirely composed of physical phenomena. We might assure ourselves of this fact by a strategy of decomposition: Analyze all the constituents of the token, and determine whether any nonphysical phenomena are present. There is, of course, an epistemological question about how we might detect (and thus interact with) nonphysical phenomena. Awaiting evidence for nonphysical phenomena, materialists can perhaps be excused for withholding assent to such phenomena.
Endorsing the aforementioned multiple realizability functionalists may acknowledge token-token identity, but they challenge type-type reduction. Relative to dualism, acknowledgment of mind-body token identity may itself seem reductive because it rejects dependence of minds on nonphysical substances. Nonetheless, acknowledgment of just token identity is, as materialist doctrines go, a nonreductive formulation of materialism. Another nonreductive version of materialism, compositional materialism, casts even token-identity theories as too demanding.
Compositional materialism implies that physical (and thus, for the physicalist, psychological) events are not typically identical to their smaller constituent features. There is, according to compositional materialism, plasticity (or, multiple realizability) even within a single physical token, just as there is within a type susceptible to instantiation by different physical tokens. An example from some influential work on compositional materialism states that an individual car remains the same car even if its generator is replaced, at least on our ordinary criteria of car identity (Boyd 1980, p. 100). A difference in molecular constituents of the car in two possible worlds does not preclude, on this view, sameness of car. (For an analysis of this and other accounts, see Moser and Trout 1995a).