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)

Perhaps the hottest topic in the philosophy of chemistry is that of the relationship between chemistry and physics. The problem finds one of its main manifestations in the debate about the nature of molecular structure, given by the spatial arrangement of the nuclei in a molecule. The traditional strategy to address the problem is to consider chemical cases that challenge the definition of molecular structure in quantum–mechanical terms. Instead of taking that top-down strategy, in this paper we face the problem (...) of the reduction of molecular structure to quantum mechanics from a bottom-up perspective: our aim is to show how the theoretical peculiarities of quantum mechanics stand against the possibility of molecular structure, defined in terms of the spatial relations of the nuclei conceived as individual localized objects. We will argue that, according to the theory, quantum “particles” are not individuals that can be identified as different from others and that can be reidentified through time; therefore, they do not have the ontological stability necessary to maintain the relations that can lead to a spatially definite system with an identifiable shape. On the other hand, although quantum chemists use the resources supplied by quantum mechanics with successful results, this does no mean reduction: their “approximations” add certain assumptions that are not justified in the context of quantum mechanics or are even inconsistent with the very formal structure of the theory. (shrink)

Scientific discourse is rife with passages that appear to be ordinary descriptions of systems of interest in a particular discipline. Equally, the pages of textbooks and journals are filled with discussions of the properties and the behavior of those systems. Students of mechanics investigate at length the dynamical properties of a system consisting of two or three spinning spheres with homogenous mass distributions gravitationally interacting only with each other. Population biologists study the evolution of one species procreating at a constant (...) rate in an isolated ecosystem. And when studying the exchange of goods, economists consider a situation in which there are only two goods, two perfectly rational agents, no restrictions on available information, no transaction costs, no money, and dealings are done immediately. Their surface structure notwithstanding, no competent scientist would mistake descriptions of such systems as descriptions of an actual system: we know very well that there are no such systems. These descriptions are descriptions of a model-system, and scientists use model-systems to represent parts or aspects of the world they are interested in. Following common practice, I refer to those parts or aspects as target-systems. What are we to make of this? Is discourse about such models merely a picturesque and ultimately dispensable façon de parler? This was the view of some early twentieth century philosophers. Duhem (1906) famously guarded against confusing model building with scientific theorizing and argued that model building has no real place in science, beyond a minor heuristic role. The aim of science was, instead, to construct theories, with theories understood as classificatory or representative structures systematically presented and formulated in precise symbolic.. (shrink)

In the conventional approach to quantum mechanics, indeterminism is an axiom and nonlocality is a theorem. We consider inverting the logical order, making nonlocality an axiom and indeterminism a theorem. Nonlocal “superquantum” correlations, preserving relativistic causality, can violate the CHSH inequality more strongly than any quantum correlations.

This paper addresses a relatively common scientific (as opposed to philosophical) conception of intertheoretic reduction between physical theories. This is the sense of reduction in which one (typically newer and more refined) theory is said to reduce to another (typically older and coarser) theory in the limit as some small parameter tends to zero. Three examples of such reductions are discussed: First, the reduction of Special Relativity (SR) to Newtonian Mechanics (NM) as (v/c)20; second, the reduction of wave optics to (...) geometrical optics as 0; and third, the reduction of Quantum Mechanics (QM) to Classical Mechanics (CM) as0. I argue for the following two claims. First, the case of SR reducing to NM is an instance of a genuine reductive relationship while the latter two cases are not. The reason for this concerns the nature of the limiting relationships between the theory pairs. In the SR/NM case, it is possible to consider SR as a regular perturbation of NM; whereas in the cases of wave and geometrical optics and QM/CM, the perturbation problem is singular. The second claim I wish to support is that as a result of the singular nature of the limits between these theory pairs, it is reasonable to maintain that third theories exist describing the asymptotic limiting domains. In the optics case, such a theory has been called catastrophe optics. In the QM/CM case, it is semiclassical mechanics. Aspects of both theories are discussed in some detail. (shrink)

The relationship whereby one physical theory encompasses the domain of empirical validity of another is widely known as “reduction.” Elsewhere I have argued that one influential methodology for showing that one physical theory reduces to another, associated with the so-called “Bronstein cube” of theories, rests on an oversimplified and excessively vague characterization of the mathematical relationship between theories that typically underpins reduction. I offer what I claim is a more precise characterization of this relationship, which here is based on a (...) more basic notion of reduction between distinct models of a single physical system. Reduction between two such models, I claim, rests on a particular type of approximation relationship between group actions over the models’ state spaces, characterized by a particular function between the model state spaces and a particular subset of the more encompassing model’s state space. Within this approach, I show formally in what sense and under what conditions reduction is transitive, so that reduction of a model 1 to another model 2 and reduction of model 2 to a third model 3 entails direct reduction of model 1 to model 3. Building on this analysis, I consider cases in which reduction of a model 1 to a model 3 may be effected via distinct intermediate models 2a and 2b, and motivate a set of formal consistency requirements between distinct “reduction paths” having the same models as their “end points”. These constraints are explicitly shown to hold in the reduction of a model of non-relativistic classical mechanics to a model of relativistic quantum mechanics, which may be effected by a composite reduction that proceeds either via a model of non-relativistic quantum mechanics or a model of relativistic classical mechanics. I offer some brief speculations as to whether and how this sort of consistency requirement might serve to constrain the reductions relating other theories and models, including the relationship that the Standard Model and general relativity must bear to any viable unification of these frameworks. (shrink)

Understanding scientific modelling can be divided into two sub-projects: analysing what model-systems are, and understanding how they are used to represent something beyond themselves. The first is a prerequisite for the second: we can only start analysing how representation works once we understand the intrinsic character of the vehicle that does the representing. Coming to terms with this issue is the project of the first half of this chapter. My central contention is that models are akin to places and characters (...) of literary fictions, and that therefore theories of fiction play an essential role in explaining the nature of model-systems. This sets the agenda. Section 2 provides a statement of this view, which I label the fiction view of model-systems, and argues for its prima facie plausibility. Section 3 presents a defence of this view against its main rival, the structuralist conception of models. In Section 4 I develop an account of model-systems as imagined objects on the basis of the so-called pretence theory of fiction. This theory needs to be discussed in great detail for two reasons. First, developing an acceptable account of imagined objects is mandatory to make the fiction view acceptable, and I will show that the pretence theory has the resources to achieve this goal. Second, the term ‘representation’ is ambiguous; in fact, there are two very different relations that are commonly called ‘representation’ and a conflation between the two is the root of some of the problems that beset scientific representation. Pretence theory provides us with the conceptual resources to articulate these two different forms of representation, which I call p-representation and t-representation respectively. Putting these elements together provides us with a coherent overall picture of scientific modelling, which I develop in Section 5. (shrink)

Scientists employ a variety of procedures to eliminate degrees of freedom from computationally and/or analytically intractable equations. In the process, they often construct new models and discover new concepts, laws and functional relations. I argue these procedures embody a central notion of reduction, namely, the containment of one structure within another. However, their inclusion in the philosophical concept of reduction necessitates a reevaluation of many standard assumptions about the ontological, epistemological and functional features of a reduction. On the basis of (...) the reevaluation, I advocate a continuum of reduction which proceeds from the eliminative to the constructive. The metaphysical aspects of theory use in constructive reductions are sketched. (shrink)

It is shown how the development of physics has involved making explicit what were homocentric projections which had heretofore been implicit, indeed inexpressible in theory. This is shown to support a particular notion of the invariant as the real. On this basis the divergence in ideals of physical intelligibility between Bohr and Einstein is set out. This in turn leads to divergent, but explicit, conceptions of objectivity and completeness for physical theory. *I am indebted to Dr. G. McLelland. Professor F. (...) Rohrlich and an anonymous referee of this journal for several improvements in the formulation of the paper. (shrink)

A vast amount of ink has been spilled in both the physics and the philosophy literature on the measurement problem in quantum mechanics. Important as it is, this problem is but one aspect of the more general issue of how, if at all, classical properties can emerge from the quantum descriptions of physical systems. In this paper we will study another aspect of the more general issue-the emergence of classical chaos-which has been receiving increasing attention from physicists but which has (...) largely been neglected by philosophers of science. (shrink)

Theory reduction is analyzed and examples are presented from various branches of physics. The procedure takes different forms in different theories. Examples from various theories are arranged in increasing order of difficulty. Special emphasis is placed on the quantum to classical reduction. It is argued that there is good and interesting physics in theory reduction and that it deserves more attention than it has been receiving in the past.

In a recent article entitled “The problem of molecular structure just is the measurement problem”, Alexander Franklin and Vanessa Seifert argue that insofar as the quantum measurement problem is solved, the problems of molecular structure are resolved as well. The purpose of the present article is to show that such a claim is too optimistic. Although the solution of the quantum measurement problem is relevant to how the problem of molecular structure is faced, such a solution is not sufficient to (...) account for the structure of molecules as understood in the field of chemistry. (shrink)

Organizational research constitutes a differentiated, complex and fragmented field with multiple contradicting and incommensurable theories that make fundamentally different claims about the social and organizational reality. In contrast to natural sciences, the progress in this field can’t be attributed to the principle of truthlikeness where theories compete against each other and only best theories survive and prove they are closer to the truth and thus demonstrate scientific knowledge accumulation. We defend the structural realist view on the nature of organizational theories (...) in order to demonstrate that despite the multiplicity of isolated and competing explanations of organization-environment relations these theories are still logically compatible and mutually consistent which, in turn, assures theoretical progress in the field. Although postulating different and incompatible ontologies, three most successful organization-environments theories, namely, contingency theory, new institutionalism and population ecology share the same explanations of the relations between organizations and environments at the structural level. Without this principle one would say that what occurs in the field of organization theory is a change rather than a progress. (shrink)

Our cognitive capabilities force us into a description of the world by levels. But theories on different levels result in descriptions that differ qualitatively. Therefore, the resulting incommensurability requires ontological bridges between such theories. These are obtained uniquely when the equations of the reduced theory are compared with a suitable limit of the equations of the reducing theory. Four case studies from theoretical physics and astronomy support this claim, two for theories of composites and two for non-composites (field theories). These (...) results a coherent view of a single real world despite its ontological pluralism. The cumulativity of scientific knowledge is thus ensured and realism is supported. (shrink)

The aim of this paper is to illustrate four properties of the non-relativistic limits of relativistic theories: that a massless relativistic field may have a meaningful non-relativistic limt, that a relativistic field may have more than one non-relativistic limit, that coupled relativistic systems may be "more relativistic" than their uncoupled counterparts, and that the properties of the non-relativistic limit of a dynamical equation may differ from those obtained when the limiting equation is based directly on exact Galilean kinematics. These properties (...) are demonstrated through an examination of the non-relativistic limit of the familiar equations of first-quantized QED, i.e., the Dirac and Maxwell equations. The conditions under which each set of equations admits non-relativistic limits are given, particular attention being given to a gauge-invariant formulation of the limiting process especially as it applied to the electromagnetic potentials. The difference between the properties of a limiting theory and an exactly Galilean covariant theory based on the same dynamical equation is demonstrated by examination of the Pauli equation. (shrink)

Examination of attempts at theory reduction shows that a process of cognitive emergence is involved in which concepts of S, Cs, emerge from T. This permits the ‘bridge laws’ to be stated. These are not in conflict with incommensurability of the Cs with the CT. Cognitive emergence may occur asymptotically or because of similarities of mathematical expressions; it is not necessarily holistic. Mereologically and nonmereologically related theory pairs are considered. Examples are chosen from physics. An important distinction is made between (...) ‘theory reduction’ and ‘reductive explanation’. (shrink)

Abstract Philosophers have paid little attention to the kind of reduction involved in transforming an analytically intractable equation into solvable form. I argue that this practice is important because it involves the design of a basic level theory for use in a specific domain. The design process can lead to the construction of a new theory. As a result of my analysis, theory design emerges as an important category of analysis for scientific methodology. Similarities between design in technology and science (...) are explored to illuminate the heuristic function of such reductions. (shrink)

The concept of molecular structure is one of the most important concepts of chemistry. In fact, molecular structure is closely related to the concept of chemical substance and its set of properties, and it is the main factor in the explanation of reactivity. In fact, much of the behavior of substances is explained in terms of the structure of their component molecules. This may explain why people tend to take the notion of molecular structure for granted. However, the problem begins (...) already when it comes to specifying the concept, since there is no clear definition of ‘molecular structure’ valid for all chemistry. The purpose of the present article is to show that the term ‘molecular structure’ subsumes very different notions, which depend on how the molecule and its components are conceived, and each of which brings its own difficulties. In particular, we will focus on how the molecule and its structure are devised from a classical view and from a quantum–mechanical view, and will discuss the different problems related with molecular structure that arise in each case. (shrink)

This paper attempts to make sense of a notion of ``approximation on certain scales'' in physical theories. I use this notion to understand the classical limit of ordinary quantum mechanics as a kind of scaling limit, showing that the mathematical tools of strict quantization allow one to make the notion of approximation precise. I then compare this example with the scaling limits involved in renormalization procedures for effective field theories. I argue that one does not yet have the mathematical tools (...) to make a notion of ``approximation on certain scales" precise in extant mathematical formulations of effective field theories. This provides guidance on the kind of further work that is needed for an adequate interpretation of quantum field theory. (shrink)

In his bookMinimal Rationality (1986), Christopher Cherniak draws deep and widespread conclusions from our finitude, and not only for philosophy but also for a wide range of science as well. Cherniak's basic idea is that traditional philosophical theories of rationality represent idealisations that are inaccessible to finite rational agents. It is the purpose of this paper to apply a theory of idealisation in science to Cherniak's arguments. The heart of the theory is a distinction between idealisations that represent reversible, solely (...) quantitative simplifications and those that represent irreversible, degenerate idealisations which collapse out essential theoretical structure. I argue that Cherniak's position is best understood as assigning the latter status to traditional rationality theories and that, so understood, his arguments may be illuminated, expanded, and certain common criticisms of them rebutted. The result, however, is a departure from traditional, formalist theories of rationality of a more radical kind than Cherniak contemplates, with widespread ramifications for philosophical theory, especially philosophy of science itself. (shrink)

If a physicist claims to be a realist, he or she must face at least the three problems outlined here: the careful specification of the validity limits of every theory and model used, the coherence relationships that must hold between two theories of the same physical system but on different cognitive levels, and the ambiguity in the ontology of two different formulations of empirically equivalent theories.