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.

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)

Background: Interdisciplinarity is one of the current trends in the scientific world today, that began with the uneasiness about the loss of the unity of science. This trend also opens possibilities for explaining complex phenomena more comprehensively and creating more advanced applications and implementations of scientific theories. One of the biggest challenges to conducting interdisciplinary research is theoretical integration, how can we combine theories from various disciplines such that the combination is fruitful? Method: This dissertation attempts to answer this challenge (...) by analyzing the intertheoretical connections of some theories from various disciplines for some real interdisciplinary research. The structuralist metatheory of science is applied as the basic theory to model the intertheoretical connections formally. This research begins with modeling the scientific theories in question before modeling the intertheoretical connections and some modifications needed. This research focuses on some researches in cognitive science that involve psychology, neuroscience, and artificial intelligence. The first research is the research conducted by van Veen et al., who research the activity of neurons in a brain's field called dorsal Anterior Cingulate Cortex during a phase of dissonance between cognitions. This research serves as a context for the analysis of intertheoretical reduction between the Festinger theory of cognitive dissonance and the Hawkins-Kandel computational neuroscientific theory. The other research is the consonance model of simulation built by Shultz and Lepper, which implements the Hopfield network to build a simulation of the cognitive dissonance. The third research is the connectionist model of simulation built by van Overwalle and Jordens, which implements the two-layers feed-forward perceptron and the delta rule as its learning rule to build a simulation of forced compliance dissonance. Result: Through this research, the author concludes that the structuralist metatheory of science can be applied for modeling and analyzing intertheoretical connections in the same discipline and between disciplines in real scientific research. The structuralist metatheory of science enables us to model and analyze the structure of the theories and their intertheoretical connections with great detail and brings very fruitful results. This research delivers some results not only for the structuralist theory science itself but also for the philosophy of science in general and interdisciplinary researches, especially cognitive science. First, by analyzing the models, a revision of the definition of intertheoretical specialization, and specialization of the concept of theory-holon according to the structuralist theory of science, called the V-pattern and strategy for combining scientific theories, are proposed. These V-pattern and strategy can serve as a tool for combining scientific theories. Second, unlike other approaches on intertheoretical reduction such as the GNS model, the structuralist metatheory of science does not intend to formulate a generalized model of reduction nor focus only on intertheoretical reduction. It provides us powerful tools for modeling various intertheoretical relations, including intertheoretical reduction, case by case. Although the intertheoretical reduction in the structuralist model is more epistemological than ontological, the structuralist models show how the reduction has empirical claims and intended applications by applying the r* function that maps the T-theoretical level to T-non-theoretical level. Third, related to the notion of the unity of science, this dissertation still sees that the unity of science is still a plausible and essential agenda for the philosophy of science and the scientific world in general. This dissertation's idea of the unity of science proposed does not assume essentialism, reductionism, and epistemological monism. This dissertation sees that the unity of science is closely related to scientific practice. Fourth, for interdisciplinary research, primarily cognitive science, this dissertation proposes an approach to model and analyze intertheoretical connections for any scientific research or any philosophical school in philosophy of science related to the idea of intertheoretical relation. This dissertation is the first example of such modeling and analysis. (shrink)