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)

Recently some philosophers have urged that connectionist artificial intelligence is (potentially) eliminative for the propositional attitudes of folk psychology. At the same time, however, these philosophers have also insisted that since philosophy of science has failed to provide criteria distinguishing ontologically retentive from eliminative theory changes, the resulting eliminativism is not principled. Application of some resources developed within the semantic view of scientific theories, particularly recent formal work on the theory reduction relation, reveals these philosophers to be wrong in this (...) second contention, yet by and large correct in the first. (shrink)

The incommensurability thesis, as introduced by T.S. Kuhn and P.K. Feyerabend, states that incommensurable theories are conceptually incompatible theories which share a common domain of application. Such claim has often been regarded as incoherent, since it has been understood that the determination of a common domain of application at least requires a certain degree of conceptual compatibility between the theories. The purpose of this work is to contribute to the defense of the notion of local or gradual incommensurability, as proposed (...) by late Kuhn. The application of this notion would allow to render the incommensurability thesis coherent. To support this view, a typical example of incommensurability will be formally analyzed by applying the structuralist metatheory developed, among others by W. Balzer, C.U. Moulines and J.D. Sneed. The structural reconstruction of the relation between the phlogiston theory and the oxygen theory offered here will reveal that they are locally incommensurable, and will even make possible to determine the ontological reduction relation that they also exemplify. (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.

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)

Theories in the usual sense, as characterized by a language and a set of theorems in that language ("statement view"), are related to theories in the structuralist sense, in turn characterized by a set of potential models and a subset thereof as models ("non-statement view", J. Sneed, W. Stegmüller). It is shown that reductions of theories in the structuralist sense (that is, functions on structures) give rise to so-called "representations" of theories in the statement sense and vice versa, where representations (...) are understood as functions that map sentences of one theory into another theory. It is argued that commensurability between theories should be based on functions on open formulas and open terms so that reducibility does not necessarily imply commensurability. This is in accordance with a central claim by Stegmüller on the compatibility of reducibility and incommensurability that has recently been challenged by D. Pearce. (shrink)

In this paper we give the gist of our reconstructed notion of (limiting case) correspondence. Our notion is very general, so that it should be applicable to all the cases in which a correspondence has been said to exist in actual science.