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)

A belief common among philosophers and biologists alike is that Mendelian genetics has been or is in the process of being reduced to molecular genetics, in the sense of formal theory reduction current in the literature. The purpose of this paper is to show that there are numerous empirical and conceptual difficulties which stand in the way of establishing a systematic inferential relation between Mendelian and molecular genetics. These difficulties, however, have little to do with the traditional objections which have (...) been raised to reduction. (shrink)