Four current accounts of theory reduction are presented, first informally and then formally: (1) an account of direct theory reduction that is based on the contributions of Nagel, Woodger, and Quine, (2) an indirect reduction paradigm due to Kemeny and Oppenheim, (3) an "isomorphic model" schema traceable to Suppes, and (4) a theory of reduction that is based on the work of Popper, Feyerabend, and Kuhn. Reference is made, in an attempt to choose between these schemas, to the explanation of (...) physical optics by Maxwell's electromagnetic theory, and to the revisions of genetics necessitated by partial biochemical reductions of genetics. A more general reduction schema is proposed which: (1) yields as special cases the four reduction paradigms considered above, (2) seems to be in better accord with both the canons of logic and actual scientific practice, and (3) clarifies the problems of meaning variance and ontological reduction. (shrink)

Advances in molecular biology have generally been taken to support the claim that biology is reducible to chemistry. I argue against that claim by looking in detail at a number of central results from molecular biology and showing that none of them supports reduction because (1) their basic predicates have multiple realizations, (2) their chemical realization is context-sensitive and (3) their explanations often presuppose biological facts rather than eliminate them. I then consider the heuristic and confirmational implications of irreducibility and (...) argue that purely biochemical approaches are likely to be unsound and to be unable to confirm an important range of statements. I conclude by sketching criteria for scientific unity that do not entail reducibility and yet leave an important place for identifying underlying mechanisms. Molecular biology, properly understood, provides an excellent paradigm of non-reductive unity between different explanatory levels. (shrink)

It is here argued that functionalist constraints on psychology do not preclude the applicability of classic forms of reduction and, therefore, do not support claims to a principled, or de jure, autonomy of psychology. In Part I, after isolating one minimal restriction any functionalist theory must impose on its categories, it is shown that any functionalism imposing an additional constraint of de facto autonomy must also be committed to a pure functionalist--that is, a computationalist--model for psychology. Using an extended parallel (...) to the reduction of Mendelian to molecular genetics, it is shown in Parts II and III that, contrary to the claims of Hilary Putnam and Jerry Fodor, there is no inconsistency between computational models and classical reductionism: neither plurality of physical realization nor plurality of function are inconsistent with reductionism as defended by Ernest Nagel. Employing the results of Part I, the conclusions of Parts II and III are generalized in Part IV to cover any version of functionalism whatsoever; thus, functionalism and reductionism are shown to be consistent. It is urged in conclusion that although a de facto form of autonomy is defensible, there are sound methodological grounds for unconditionally rejecting any principled version of the autonomy of psychology. (shrink)

I critically evaluate the influential new wave account of theory reduction in science developed by Paul Churchland and Clifford Hooker. First, I cast doubt on claims that the new wave account enjoys a number of theoretical virtues over its competitors, such as the ability to represent how false theories are reduced by true theories. Second, I argue that the genuinely novel claim that a corrected theory must be specified entirely by terms from the basic reducing theory is in fact too (...) restrictive for scientific practice and should be rejected. Basic theories co-evolve with nonbasic theories in a mutually interactive way, and thus the basic theories incorporate the concepts and concerns of nonbasic theories. Third, I show that once its ontological consequences are duly noted, the reductive part the new wave account collapses into the classical theory developed within the logical empiricist tradition. As such, it still falls prey to standard anti-reductionist argument based upon multiple realizability and the cross-classification of special science and physical science terms. (shrink)

Some scientists and philosophers claimed that there is a converse to multiple realizability. While a given higher-level property can be realized by different lower-level properties (multiple realizability), a given lower-level property can in turn serve to realize different higher-level properties (this converse I dubbed the unfortunately obscure "constructival plasticity" to emphasize the constructive metaphysics involved in this converse to multiple realizability). I began by defining multiple realizabilty in a formal way. (Looking back, one point of interest is that I defined (...) modally weak and strong versions of realization, which is relevant to later views about contingent versus necessitarian grounding.) I then turned to the relation in question. By my analysis, for the converse claim to be true, a lower-level property G1 that realizes a higher-level F must be taken in conjunction with some other base condition G2 so that a difference in G2 allows G1 to determine some other higher-level property E but not F (otherwise there would be violations of supervenience). The realization law thus has the form: (G1 & G2) => F. As such, the base property G1 is insufficient by itself to produce F. It is an insufficient but necessary part of a sufficient condition. I also point out that this makes the realization base property an INUS condition, if combined with multiple realizability. Specifically, if F is multiply realized by properties other than the pair G1 and G2, then G1 is an insufficient but necessary part of an unnecessary but sufficient condition. This is just the first clear and explicit INUS condition view of realization in the literature. Looking back, this converse is also relevant to later views, such as Robert Wilson's view about metaphysically contextual realization. (shrink)

In light of the phenomenon of multiple realizability, many philosophers wanted to preserve the mind-brain identity theory by resorting to a “narrow reductive strategy” whereby one (a) finds mental properties which are (b) sufficiently narrow to avoid the phenomenon of multiple realization, while being (c) explanatorily adequate to the demands of psychological theorizing. That is, one replaces the conception of a mental property as more general feature of cognitive systems with many less general properties, for example, replacing the conception of (...) pain as a general property across different species with a number of species-specific kinds of pain. Many critics focused on (c), arguing that species-specific properties are not explanatorily adequate because they do not capture what is common in pain across species. In this paper I focused on (b). I argued that if one carries the narrow reductive strategy out in such a way to avoid all multiple realizability that occurs within a species, for example, accommodating individual differences by postulating a more narrow pain-relative-to-an-individual-at-a-time, then the result is for all intents and purposes a claim about tokens and not types or properties at all (the position is now about individuals having properties at times, a structured token event). I also added an important point about explanation, viz., that properties-relative-to-individuals-at-times would not serve the explanatory goals of science by failing to generalize to other individuals. (shrink)

This paper explores the explanatory adequacy of lower-level theories when their higher-level counterparts are irreducible. If some state or entity described by a high-level theory supervenes upon and is realized in events, entities, etc. described by the relevant lower-level theory, does the latter fully explain the higher-level event even if the higher-level theory is irreducible? While the autonomy of the special sciences and the success of various eliminativist programs depends in large part on how we answer this question, neither the (...) affirmative or negative answer has been defended in detail. I argue, contra Putnam and others, that certain facts about causation and explanation show that such lower-level theories do explain. I also argue, however, that there may be important questions about counterfactuals and laws that such explanations cannot answer, thereby showing their partial inadequacy. I defend the latter claim against criticisms based on eliminativism about higher-level explanations and sketch a number of empirical conditions that lower-level explanations would have to meet to fully explain higher-level events. (shrink)

The functionalist view of the nature of the mind is now widely accepted. Like behaviorism and physicalism, functionalism seeks to answer the question "What are mental states?" I shall be concerned with identity thesis formulations of functionalism. They say, for example, that pain is a functional state, just as identity thesis formulations of physicalism say that pain is a physical state.

The Three Papers comprising this series, together with my earlier [34] also published in this journal, constitute an attempt to set out the major issues in the theoretical domain of reduction and to develop a general theory of theory reduction. The fourth paper, [34], though published separately from this trio, is integral to the presentation and should be read in conjunction with these papers. Even so, the presentation is limited in scope – roughly, to intertheoretic reduction among empirical theories – (...) and informal in presentation – not least because a satisfying formal account of theories has yet to be offered. And despite the length, the treatment is still condensed; often corroborating and/or intuitively helpful detail has had to be consigned to footnotes or omitted. I approach the problem from within my own naturalistic realist philosophy of science and formal analysis of abstract hierarchy in theory. The sources for the former are [25], [29], [31], and [32] and those for the latter essentially [27] and [30]. Hierarchical notions played a significant role in the already published [34]. (shrink)

Davidson's principle of the anomalousness of the mental was instrumental in discrediting once-popular versions of mind-brain reductionism. In this essay I argue that a novel account of intertheoretic reduction, which does not require the sort of cross-theoretic bridge laws that Davidson's principle rules out, allows a version of mind-brain reductionism which is immune from Davidson's challenge. In the final section, I address a second worry about reductionism, also based on Davidson's principle, that survives this response. I argue that new reductionists (...) should revise some significant details of the program, particularly the conception of theories, to circumvent this more potent Davidson-inspired worry. (shrink)

A study in the philosophy of science, proposing a strong form of the doctrine of scientific realism' and developing its implications for issues in the philosophy of mind.

A number of influences have combined to make reductionism an unpopular position in recent philosophy of mind and psychology. Davidson’s Principle of the Anomalousness of the Mental, the multiple realizability arguments of Putnam, Fodor, and others, and attempts to characterize supervenience or dependency as the appropriate nonreductive relation to seek between psychological and physical kinds are the most well-known objections. And these have found their mark. Being a psychophysical reductionist nowadays, as Jaegwon Kim aptly puts it, “is a bit like (...) being a logical positivist or a member of the Old Left—an aura of doctrinaire naiveté hangs over such a person”. (shrink)

Inter-theoretical reduction has always been a major topic in the structuralist philosophy of science. This paper reviews criteria of adequacy which were put forward by Adams, Sneed, Stegmuller, Mayr, Pearce, Kamlah, and Mormann. The criteria are formalized in a simplified structuralist model, and the logical relations between them are investigated. It turns out that various parts of these criteria are incompatible.