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.

Both physicists and philosophers claim that quantum mechanics reduces to classical mechanics as 0, that classical mechanics is a limiting case of quantum mechanics. If so, several formal and non-formal conditions must be satisfied. These conditions are satisfied in a reduction using the Wigner transformation to map quantum mechanics onto the classical phase plane. This reduction does not, however, assist in providing an adequate metaphysical interpretation of quantum theory.

This article is about structural realism, historical continuity, laws of nature, and \emph{ceteris paribus} clauses. Fresnel's Laws of optics support Structural Realism because they are a scientific structure that has survived theory change. However, the history of Fresnel's Laws which has been depicted in debates over realism since the 1980s is badly distorted. Specifically, claims that J.~C. Maxwell or his followers believed in an ontologically-subsistent electromagnetic field, and gave up the aether, before Einstein's \emph{annus mirabilis} in 1905 are indefensible. Related (...) claims that Maxwell himself did not believe in a luminiferous aether are also indefensible. This paper corrects the record. In order to trace Fresnel's Laws across significant ontological changes, they must be followed past Einstein into modern physics and nonlinear optics. I develop the philosophical implications of a more accurate history, and analyze Fresnel's Laws' historical trajectory in terms of dynamic ceteris paribus clauses. Structuralists have not embraced ceteris paribus laws, but they continue to point to Fresnel's Laws to resist anti-realist arguments from theory change. Fresnel's Laws fit the standard definition of a ceteris paribus law as a law applicable only in particular circumstances. Realists who appeal to the historical continuity of Fresnel's Laws to combat anti-realists must incorporate ceteris paribus laws into their metaphysics. (shrink)

Experimental engineering models have been used both to model general phenomena, such as the onset of turbulence in fluid flow, and to predict the performance of machines of particular size and configuration in particular contexts. Various sorts of knowledge are involved in the method - logical consistency, general scientific principles, laws of specific sciences, and experience. I critically examine three different accounts of the foundations of the method of experimental engineering models (scale models), and examine how theory, practice, and experience (...) are involved in employing the method to obtain practical results. Models of machines and mechanisms can be (and generally are) involved in establishing criteria for similar phenomena, which provide guidance in using events to model other events. Conversely, models of phenomena such as events that model other events can be (and generally are) involved in experimentation on models of machines. I conclude that often it is not more detailed models or the more precise equations they engender that leads to better understanding, but rather an insightful use of knowledge at hand to determine which similarity principles are appropriate in allowing us to infer what we do not know from what we are able to observe. (shrink)

We revive the idea that a deductive-nomological explanation of a scientific theory by its successor may be defensible, even in those common and troublesome cases where the theories concerned are mutually incompatible; and limiting, approximating and counterfactual assumptions may be required in order to define a logical relation between them. Our solution is based on a general characterization of limiting relations between physical theories using the method of nonstandard analysis.

Multiply realizable kinds are scientifically problematic, for it appears that we should not expect discoveries about them to hold of other members of that kind. As such, it looks like MR kinds should have no place in the ontology of the special sciences. Many resist this conclusion, however, because we lack a positive account of the role that certain realization-unrestricted terms play in special science explanations. I argue that many such terms actually pick out idealizing models. Idealizing explanation has many (...) of the features normally associated with explanation by MR kinds. As idealized models are usually mere possibilia, such explanations do not run afoul of the metaphysical problems that plague MR kinds. (shrink)

The aim of this essay is a criticism of reductionism ? both in its ?static? interpretation (usually referred to as the layer model or level?picture of science) and in its ?dynamic? interpretation (as a theory of the growth of scientific knowledge), with emphasis on the latter ? from the point of view of Popperian fallibilism and Feyerabendian pluralism, but without being committed to the idiosyncrasies of these standpoints. In both aspects of criticism, the rejection is based on the proposal of (...) a global alternative. Hummell and Opp's research programme for the reduction of sociology to psychology is used as a starting?point and taken as the primary object of criticism. Following the introductory Section I, Section II analyses the three crucial notions of Hummell and Opp's research programme ? their explications of the notions of ?sociology?, ?psychology? and the concept of reduction itself ? and criticizes the authors? deficient ?logic of reduction?. Although the ?local? shortcomings of our authors? ?logic of reduction? do not affect reductionism as such, i.e. logically sound versions of reductionism as devised by Kemeny, Nagel, Oppenheim, Putnam, Woodger et al., it is argued that the logical soundness of sophisticated reductionism cannot compensate for its additional epistemological and methodological deficiencies. Section III analyses the ?dynamic? interpretation of reductionism as a particular developmental pattern of scientific growth. It is argued that even reductionism at its best can produce only cumulative progress, thus ?a priori? excluding scientific revolutions which are inevitably counter?inductive as well as counter?reductive. Section IV discusses the philosophical background of modern reductionism, and examines the effects both of reductionism and of anti?reductionistic pluralism on the autonomy of scientific fields. It is argued that pluralistic anti?reductionism undermines spurious claims for autonomy much more effectively than reductionism. As a ?local? improvement of the reductionistic research programme, the replacement of the predominant one?way reductionism by a less restrictive many?way reductionism is proposed. It is argued that the appropriate treatment for an allegedly backward science (say sociology) is not its reduction to an allegedly more advanced science (say psychology) but its non?reductive replacement by new theories (of the same or of another field) that do not incorporate the older ones. As a ?global? alternative to the reduction of sociology to psychology, the frontier?crossing direct application of psychological theories to sociological phenomena is proposed. A plea is made for a pluralistic science without reduction, based on intra? and interscientific criticism as the proper method for the advancement of knowledge. (shrink)

The thesis proposes, defends, and applies a new model of inter-theoretic reduction, called "Neo-Nagelian" reduction. There are numerous accounts of inter-theoretic reduction in the philosophy of science literature but the most well-known and widely-discussed is the Nagelian one. In the thesis I identify various kinds of problems which the Nagelian model faces. Whilst some of these can be resolved, pressing ones remain. In lieu of the Nagelian model, other models of inter-theoretic reduction have been proposed, chief amongst which are so-called (...) "New Wave" models. I show these to be no more adequate than the original Nagelian model. I propose a new model of inter-theoretic reduction, Neo-Nagelian reduction. This model is structurally similar to the Nagelian one, but differs in substantive ways. In particular I argue that it avoids the problems pertaining to both the Nagelian and New Wave models. Multiple realizability looms large in discussions about reduction: it is claimed that multiply realizable properties frustrate the reduction of one theory to another in various ways. I consider these arguments and show that they do not undermine the Neo-Nagelian of reduction of one theory to another. Finally, I apply the model to statistical mechanics. Statistical mechanics is taken to be a reductionist enterprise: one of the aims of statistical mechanics is to reduce thermodynamics. Without an adequate model of inter-theoretic reduction one cannot assess whether it succeeds; I use the Neo-Nagelian model to critically discuss whether it does. Specifically, I consider two very recent derivations of the Second Law of thermodynamics, one from Boltzmannian classical statistical mechanics and another from quantum statistical mechanics. I argue that they are partially successful, and that each makes for a promising line of future research. (shrink)

After a brief comparison of Aliseda’s account with different approaches to abductive reasoning, I try to relate abduction, understood in terms like those of Aliseda, to another concept which also occupies a very important role in scientific change: idealization. In particular, I try to reveal some interesting aspects related to notions like approximation and empirical progress.

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)

Drawing inspiration from Lakatos’s philosophy of science, the paper presents a notion of intertheory explanation that is suitable to explain, from the point of view of a successor theory, its predecessor theory’s success (where it is successful) as well as the latter’s failure (where it fails) at the same time. A variation of the Ramsey-test is used, together with a standard AGM belief revision model, to give a semantics for open and counterfactual conditionals and ’because’-sentences featuring in such intertheory explanations. (...) Pre-theoretically described idealizing assumptions play a crucial role in this model, especially when the predecessor theory and the successor theory contradict each other. (shrink)

Summary The concept of unified theory is defined in logical and abstract semantic terms, and employed in the analysis of relations between empirical scientific theories. The conceptual framework of the approach applies to binary relations such as the reduction or replacement of one theory by another, and to multiple intertheory relations. Historically, unified theories tend to arise within the contexts of scientific conflicts which they may show susceptible of solution even in the most controversial cases of the logical incompatibility or (...) conceptual incommensurability of competing theories. These conclusions are exemplified by the Planck-Einstein quantum theory of thermal radiation. The analysis shows in which sense it can, and in which it cannot, be said that this theory unifies Wien's law and the Rayleigh-Jeans law of black-body radiation. (shrink)