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)

The view that scientific reduction succeeds by establishing property identities is challenged. it is argued that, instead of identity statements making reductions successful, the fact that a reduction is successful makes the identity statements possible. the argument proceeds first by showing that an explanatory asymmetry is generated by statements expressing property identities, second by locating the source of the asymmetry in a "generative relation" that obtains between the two properties. it is then argued that reduction succeeds only if the reducing (...) theory embodies a mechanism which accounts for such a generative relation. since this view of reduction is incompatible with the traditional view, an alternate account is outlined. (shrink)