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)

According to the received view, reduction is a deductive relation between two formal theories. In this paper, I develop an alternative approach, according to which reduction is a representational relation between models, rather than a deductive relation between theories; more specifically, I maintain that this representational relation is the one of emulation. To support this thesis, I focus attention on mathematical dynamical systems and I argue that, as far as these systems are concerned, the emulation relation is sufficient for reduction. (...) I then extend this representational model-based view of reduction to the case of empirically interpreted dynamical systems, as well as to a treatment of partial, approximate, and asymptotic reduction. (shrink)