Unity of science was once a very popular idea among both philosophers and scientists. But it has fallen out of fashion, largely because of its association with reductionism and the challenge from multiple realisation. Pluralism and the disunity of science are the new norm, and higher-level natural kinds and special science laws are considered to have an important role in scientific practice. What kind of reductionism does multiple realisability challenge? What does it take to reduce one phenomenon to another? How (...) do we determine which kinds are natural? What is the ontological basis of unity? In this Element, Tuomas Tahko examines these questions from a contemporary perspective, after a historical overview. The upshot is that there is still value in the idea of a unity of science. We can combine a modest sense of unity with pluralism and give an ontological analysis of unity in terms of natural kind monism. This title is available as Open Access on Cambridge Core. (shrink)

In this paper, I discuss a view proposed by Carl Hempel in his paper Reduction: Ontological and Linguistic Facets, published in 1969. Here, Hempel suggested that questions regarding the identification of mental states with physiological states, the relation between sociological phenomena and individual behavioral states, and between biological and physicochemical states should be given what he calls a ‘linguistic’ interpretation. His main point is that whether or not an object is physical or biological depends on how it is, or can (...) be, described. In this paper, I wish to, firstly, explicate Hempel's suggestion, and, secondly, explore one argument in favor of Hempel's account. I will suggest that there is at least one use of the term ‘physical’ in philosophical discourse (and, for that matter, of related terms such as ‘biological’, ‘mental’, ‘natural’ etc.) that should be cashed out in linguistic or representational terms. (shrink)

Assume that water reduces to H2O. If so water is identical to H2O. At the same time, if water reduces to H2O then H2O does not reduce to water–the reduction relation is asymmetric. This generates a puzzle–if water just is H2O it is hard to see how we can account for the asymmetry of the reduction relation. The paper proposes a solution to this puzzle. It is argued that the reduction predicate generates intensional contexts and that in order to account (...) for the asymmetry, we should develop conditions on the meanings of expressions that flank the reduction predicate in true reduction statements. Finally, it is argued that if we adopt this interpretation, we can illuminate the epistemological difference between reduced and reducing item commonly referred to in the literature. (shrink)

In their 2010 paper, Dizadji-Bahmani, Frigg, and Hartmann argue that the generalized version of the Nagel–Schaffner model that they have developed is the right one for intertheoretic reduction, i.e. the kind of reduction that involves theories with largely overlapping domains of application. Drawing on the GNS, DFH presented a Bayesian analysis of the confirmatory relation between the reducing theory and the reduced theory and argued that, post-reduction, evidence confirming the reducing theory also confirms the reduced theory and evidence confirming the (...) reduced theory also confirms the reducing theory, which meets the expectations one has about theories with largely overlapping domains. In this paper, I argue that the Bayesian analysis presented by DFH faces difficulties. In particular, I argue that the conditional probabilities that DFH introduce to model the bridge law entail consequences that run against the GNS. However, I also argue that, given slight modifications of the analysis that are in agreement with the GNS, one is able to account for these difficulties and, moreover, one is able to more rigorously analyse the confirmatory relation between the reducing and the reduced theory. (shrink)

This paper attempts a critical reappraisal of Nagel's (1961, 1970) model of reduction taking into account both traditional criticisms and recent defenses. This model treats reduction as a type of explanation in which a reduced theory is explained by a reducing theory after their relevant representational items have been suitably connected. In accordance with the deductive-nomological model, the explanation is supposed to consist of a logical deduction. Nagel was a pluralist about both the logical form of the connections between the (...) reduced and reducing theories (which could be conditionals or biconditionals) and their epistemological status (as analytic connections, conventions, or synthetic claims). This paper defends Nagel's pluralism on both counts and, in the process, argues that the multiple realizability objection to reductionism is misplaced. It also argues that the Nagel model correctly characterizes reduction as a type of explanation. However, it notes that logical deduction must be replaced by a broader class of inferential techniques that allow for different types of approximation. Whereas Nagel (1970), in contrast to his earlier position (1961), recognized the relevance of approximation, he did not realize its full import for the model. Throughout the paper two case studies are used to illustrate the arguments: the putative reduction of classical thermodynamics to the kinetic theory of matter and that of classical genetics to molecular biology. (shrink)

Currently, there are almost as many conceptions of emergence as authors who address the issue. Most literature on the matter focuses either on discussing, evaluating and comparing particular contributions or accounts of emergence, or on assessing a particular case study. Our aim in this paper is rather different. We here set out to introduce a distinction that has not been sufficiently taken into account in previous discussions on this topic: the distinction between inter-domain emergence—a relation between items belonging to different (...) ontic domains—and intra-domain emergence—a relation between items belonging to a same ontic domain. Our final purpose is not to assume and defend a definite stance on emergence, but to stress the relevance of such distinction when attempting to argue for or against emergence, in the first place. We will also address the connections between emergence so distinguished and more general philosophical perspectives, suggesting where would reductionists and pluralists stand with respect to intra- and inter-domain emergence. (shrink)

In this paper, I explore the possibilities for arriving at a useful conception of methodological reductionism. Some participants in the debate talk about methodological reductionism as a research program. I argue that the concept of a research program, at least in Lakatos’ sense, cannot account for the diverse nature of methodological reductionism. I then present my own concept of a research directive as a useful alternative and elaborate on this by drawing on Hasok Chang’s theory of ontological principles and epistemic (...) activities. According to my view, the reductionist research directive can be characterized as consisting of the principles fundamental ontological homogeneity, part-whole asymmetry, and orderliness, together with the corresponding activities construction of identities, decomposition, and unification. I suggest that looking at reductionism in this way enables us to understand it as a gradual concept and thus go beyond the simplistic yes-or-no-questions that dominate many current debates on this topic. (shrink)

In this paper I reply to Olimpia Lombardi’s comment on my recent book Reducing Chemistry to Physics: Limits, Models, Consequences.

Currently, there are almost as many conceptions of emergence as authors who address the issue. Most literature on the matter focuses either on discussing, evaluating and comparing particular contributions or accounts of emergence, or on assessing a particular case study. Our aim in this paper is rather different. We here set out to introduce a distinction that has not been sufficiently taken into account in previous discussions on this topic: the distinction between inter-domain emergence—a relation between items belonging to different (...) ontic domains—and intra-domain emergence—a relation between items belonging to a same ontic domain. Our final purpose is not to assume and defend a definite stance on emergence, but to stress the relevance of such distinction when attempting to argue for or against emergence, in the first place. We will also address the connections between emergence so distinguished and more general philosophical perspectives, suggesting where would reductionists and pluralists stand with respect to intra- and inter-domain emergence. (shrink)

Recently the functional model of reduction has become something like the standard model of reduction in philosophy of mind. In this paper, I argue that the functional model fails as an account of reduction due to problems related to three key concepts: functionalization, realization and causation. I further argue that if we try to revise the model in order to make it more coherent and scientifically plausible, the result is merely a simplified version of what in philosophy of science is (...) known as mechanistic explanation. Hence, instead of analyzing reduction in philosophy of mind in terms of functional reduction, it should be analyzed in terms of mechanistic explanation. (shrink)

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...) of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

A longstanding criticism of Ernest Nagel's model of reduction is that it fails to take theory change into account. This criticism builds on the received view that Nagelian reductions are incompatible with theory change. This article challenges the received view by showing that Nagel's model can easily accommodate theory change. Indeed, Nagel's model is essentially static as it only gives unchanging formal and nonformal conditions for reduction; in contrast, theory change belongs to the dynamic history of science; as a result, (...) the application of Nagel's model to scientific knowledge from different historical periods yields a series of Nagelian reductions of different degrees of reductive success. This Nagelian treatment of theory change is illustrated by considering the enterprise of reducing thermodynamics to statistical mechanics in the late nineteenth century. It is also contended that, in handling theory change Nagel's model has greater merits than subsequent models (exemplified by Kenneth Schaffner's general reduction-replacement model). This article concludes by suggesting that Nagel's model of reduction deals with theory change exactly in the same way as logical empiricism does with historicism. (shrink)

Despite the ubiquity of “levels of organization” in the scientific literature, a nascent “levels skepticism” now claims that the concept of levels is an inherently flawed, misleading, or otherwise inadequate notion for understanding how life scientists produce knowledge about the natural world. However, levels skeptics rely on the maligned “layer-cake” account of levels stemming from Oppenheim and Putnam’s defense of the unity of science for their critical commentary. Recourse to layer-cake levels is understandable, as it is arguably the default conception (...) of levels in philosophy. However, relying on this conception of levels undermines the initial plausibility of general dismissals of the concept, because the problems skeptics identify within the “basic idea” of the concept “levels” are merely ones already widely acknowledged in this conception. I illustrate this “guilt by association” by looking at the embedded role of “levels” in articulating intertheoretical reductionism during the latter part of the 20th century. I conclude by suggesting a methodological framework focusing on local usage patterns as a promising means for future analysis of the levels concept. (shrink)

The current view of the relationship between areas of the mind-brain sciences is one where cross-disciplinary collaboration is required to advance claims about the mind-brain that stand on firm epistemic footing. My goal in this dissertation is to analyze what it means for information from different areas of science to fit together to produce strong epistemic claims by addressing how and to what extent claims about the mind-brain are corroborated in scientific practice. Philosophers of science have advanced various concepts of (...) the notion of fitting together information from different areas of science and its relation to scientific progress (e.g., Bickle, 1998, 2003, 2006; Darden and Maull, 1977; Mitchell, 2002, 2003; Mitchell and Dietrich, 2006; Nagel 1949, 1970, 1979; Piccinini and Craver, 2011; and Roskies, 2010). However, each concept of fitting together is vague and subject to multiple clarificatory questions. To get a handle on the notion of fitting together, I introduce the term ‘interdisciplinary corroboration’ as a placeholder for the various accounts of fitting together to facilitate my investigation of how claims about the mind-brain are corroborated in scientific practice. I argue review papers are a good place to begin analyzing interdisciplinary corroboration; accordingly, I conduct a two-part analysis of a review paper by Eichenbaum (2013) entitled ‘Memory on Time’. I use the lessons from my analysis to develop and advance a methodology for philosophers of science interested in knowledge production for evaluating review papers for corroboration in the mind-brain sciences. (shrink)

“Dialectic” has been a matter of growing interest in contemporary philosophy. The present article analyzes dialectical methods and positions them by reference to two paradigmatic texts of German idealism and analytic philosophy, i.e. J.G. Fichte’s Science of Knowing (1804) and J. McDowell’s Mind and World. Both dialectical approaches will be interpreted with regard to their contribution in the debate on reductionism and anti-reductionism: both Fichte and McDowell claim that philosophical positions and logical terms stand in a dualistic relationship to one (...) another, on the one hand, but are separated by a gulf, on the other. I will argue that for McDowell dialectic seems to be an alternative to one-sided reductionisms as well as to normal anti-reductionistic holism. Furthermore, for Fichte dialectic is an adequate method for describing the relationship of reductionism and anti-reductionism itself. Both see in dialectic a technique for bridging the gulf between binary opposite terms of logic as well as mutually exclusive positions, such as mind and world, subject and object, or idealism and realism. (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)

This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)