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 aim of this paper is to characterize the various structuralist reduction concepts as structure-preserving maps in a succinct and unifying way. To begin with, some important intuitive adequacy conditions are discussed that a good (structuralist) reduction concept should satisfy. Having reconstructed these intuitive conditions in the structuralist framework, it turns out that they divide into two mutually incompatible sets of requirements. Accordingly there exist (at least) two essentially different types of structuralist reduction concepts: the first type stresses the existence (...) of a deductive or inferential link between the reducing and the reduced theory; the second type emphasizes the greater explanatory power the reducing theory should have in comparison with the reduced theory. The problem of the incompatibility of equally plausible reduction concepts is treated in the last section and a proposal is made for its solution consisting in the definition of a multiple synthetizing reduction relation. (shrink)