This chapter defends a (minimal) realist conception of progress in scientific understanding in the face of the ubiquitous plurality of perspectives in science. The argument turns on the counterfactual-dependence framework of explanation and understanding, which is illustrated and evidenced with reference to different explanations of the rainbow.

Detailed examinations of scientific practice have revealed that the use of idealized models in the sciences is pervasive. These models play a central role in not only the investigation and prediction of phenomena, but in their received scientific explanations as well. This has led philosophers of science to begin revising the traditional philosophical accounts of scientific explanation in order to make sense of this practice. These new model-based accounts of scientific explanation, however, raise a number of key questions: Can the (...) fictions and falsehoods inherent in the modeling practice do real explanatory work? Do some highly abstract and mathematical models exhibit a noncausal form of scientific explanation? How can one distinguish an exploratory "how-possibly" model explanation from a genuine "how-actually" model explanation? Do modelers face tradeoffs such that a model that is optimized for yielding explanatory insight, for example, might fail to be the most predictively accurate, and vice versa? This chapter explores the various answers that have been given to these questions. (shrink)

The authors survey some debates about the nature and structure of physical theories and about the connections between our physical theories and naturalized metaphysics. The discussion is organized around an “ideal view” of physical theories and criticisms that can be raised against it. This view includes controversial commitments regarding the best analysis of physical modalities and intertheory relations. The authors consider the case in favor of taking laws as the primary modal notion, discussing objections related to alleged violations of the (...) laws, the apparent need to appeal to causality, and the status of probability. The “ideal view” includes a commitment that fundamental physical theories are explanatorily sufficient. The authors discuss several challenges to recovering the manifest image from fundamental physics, along with a distinct challenge to reductionism based on acknowledging the contributions of less fundamental theories in physical explanations. (shrink)

Explanations in physics commonly appeal to data drawn from different length or time scales, as when a “top-down” macroscopic constraint such as rigidity is used to evade the complexities one would confront in attempting to model the situation in a purely “bottom-up” fashion. Such techniques commonly embody rather complex shifts in explanatory strategy.

This paper begins by tracing interest in emergence in physics to the work of condensed matter physicist Philip Anderson. It provides a selective introduction to contemporary philosophical approaches to emergence. It surveys two exciting areas of current work that give good reason to re-evaluate our views about emergence in physics. One area focuses on physical systems wherein fundamental theories appear to break down. The other area is the quantum-to-classical transition, where some have claimed that a complete explanation of the behaviors (...) and features of the objects of classical physics entirely in quantum terms is now within our grasp. We suggest that the most useful way to approach the emergent/non-emergent distinction is in epistemic terms, and more specifically that the failure of reductive explanation is constitutive of emergence in physics. (shrink)

Many explanations in physics rely on idealized models of physical systems. These explanations fail to satisfy the conditions of standard normative accounts of explanation. Recently, some philosophers have claimed that idealizations can be used to underwrite explanation nonetheless, but only when they are what have variously been called representational, Galilean, controllable or harmless idealizations. This paper argues that such a half-measure is untenable and that idealizations not of this sort can have explanatory capacities.

Many philosophers now regard causal approaches to explanation as highly promising, even in physics. This is due in large part to James Woodward's influential argument that a wide variety of scientific explanations are causal, based on his interventionist approach to causation. This article argues that some derivations describing causal relations and satisfying Woodward's criteria for causal explanation fail to be explanatory. Further, causal relations are unnecessary for a range of explanations, widespread in physics, involving highly idealized models. These constitute significant (...) limitations on the scope of causal explanation. We have good reason to doubt that causal explanation is as widespread or important in physics as Woodward and other proponents maintain. (shrink)

Recent work by Robert Batterman and Alexander Rueger has brought attention to cases in physics in which governing laws at the base level “break down” and singular limit relations obtain between base- and upper-level theories. As a result, they claim, these are cases with emergent upper-level properties. This paper contends that this inference—from singular limits to explanatory failure, novelty or irreducibility, and then to emergence—is mistaken. The van der Pol nonlinear oscillator is used to show that there can be a (...) full explanation of upper-level properties entirely in base-level terms even when singular limits are present. Whether upper-level properties are emergent depends not on the presence of a singular limit but rather on details of the ampliative approximation methods used. The paper suggests that focusing on explanatory deficiency at the base level is key to understanding emergence in physics. (shrink)

Robert Batterman and others have argued that certain idealizing explanations have an asymptotic form: they account for a state of affairs or behavior by showing that it emerges “in the limit”. Asymptotic idealizations are interesting in many ways, but is there anything special about them as idealizations? To understand their role in science, must we augment our philosophical theories of idealization? This paper uses simple examples of asymptotic idealization in population genetics to argue for an affirmative answer and proposes a (...) general schema for asymptotic idealization, drawing on insights from Batterman’s treatment and from John Norton’s subsequent critique. (shrink)

We argue against claims that the classical ℏ → 0 limit is “singular” in a way that frustrates an eliminative reduction of classical to quantum physics. We show one precise sense in which quantum mechanics and scaling behavior can be used to recover classical mechanics exactly, without making prior reference to the classical theory. To do so, we use the tools of strict deformation quantization, which provides a rigorous way to capture the ℏ → 0 limit. We then use the (...) tools of category theory to demonstrate one way that this reduction is explanatory: it illustrates a sense in which the structure of quantum mechanics determines that of classical mechanics. (shrink)

Matthias Egg argues that scientific realism can be reconciled with quantum mechanics and its foundational underdetermination by focusing realist commitments on ‘effective’ ontology. I argue in general terms that Egg’s effective realism is ontologically overly promiscuous. I illustrate the issue in relation to both Newtonian mechanics and quantum mechanics.

I distinguish two types of reduction within the context of quantum-classical relations, which I designate “formal” and “empirical”. Formal reduction holds or fails to hold solely by virtue of the mathematical relationship between two theories; it is therefore a two-place, a priori relation between theories. Empirical reduction requires one theory to encompass the range of physical behaviors that are well-modeled in another theory; in a certain sense, it is a three-place, a posteriori relation connecting the theories and the domain of (...) physical reality that both serve to describe. Focusing on the relationship between classical and quantum mechanics, I argue that while certain formal results concerning singular \ limits have been taken to preclude the possibility of reduction between these theories, such results at most provide support for the claim that singular limits block reduction in the formal sense; little if any reason has been given for thinking that they block reduction in the empirical sense. I then briefly outline a strategy for empirical reduction that is suggested by work on decoherence theory, arguing that this sort of account remains a fully viable route to the empirical reduction of classical to quantum mechanics and is unaffected by such singular limits. (shrink)

Explanations of three different aspects of the rainbow are considered. The highly mathematical character of these explanations poses some interpretative questions concerning what the success of these explanations tells us about rainbows. I develop a proposal according to which mathematical explanations can highlight what is relevant about a given phenomenon while also indicating what is irrelevant to that phenomenon. This proposal is related to the extensive work by Batterman on asymptotic explanation with special reference to Batterman’s own discussion of the (...) rainbow. (shrink)

Idealized scientific representations result from employing claims that we take to be false. It is not surprising, then, that idealizations are a prime example of allegedly inconsistent scientific representations. I argue that the claim that an idealization requires inconsistent beliefs is often incorrect and that it turns out that a more mathematical perspective allows us to understand how the idealization can be interpreted consistently. The main example discussed is the claim that models of ocean waves typically involve the false assumption (...) that the ocean is infinitely deep. While it is true that the variable associated with depth is often taken to infinity in the representation of ocean waves, I explain how this mathematical transformation of the original equations does not require the belief that the ocean being modeled is infinitely deep. More generally, as a mathematical representation is manipulated, some of its components are decoupled from their original physical interpretation. (shrink)

1. Approximations of arbitrarily large but finite systems are often mistaken for infinite idealizations in statistical and thermal physics. The problem is illustrated by thermodynamically reversible processes. They are approximations of processes requiring arbitrarily long, but finite times to complete, not processes requiring an actual infinity of time.2. The present debate over whether phase transitions comprise a failure of reduction is confounded by a confusion of two senses of “level”: the molecular versus the thermodynamic level and the few component versus (...) the many component level. (shrink)

It is proposed that we use the term “approximation” for inexact description of a target system and “idealization” for another system whose properties also provide an inexact description of the target system. Since systems generated by a limiting process can often have quite unexpected, even inconsistent properties, familiar limit systems used in statistical physics can fail to provide idealizations, but are merely approximations. A dominance argument suggests that the limiting idealizations of statistical physics should be demoted to approximations.

I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must include axioms for the mathematics used in the scientific theories. Next, I contend that models are important according to the Received View. Finally, I argue against the claim that the Received View is intended to (...) make the concept of a theory more precise. Rather, it is meant as a generalizable framework for explicating specific theories. (shrink)

Two alternative accounts of quantum spontaneous symmetry breaking (SSB) are compared and one of them, the decompositional account in the algebraic approach, is argued to be superior for understanding quantum SSB. Two exactly solvable models are given as applications of our account -- the Weiss-Heisenberg model for ferromagnetism and the BCS model for superconductivity. Finally, the decompositional account is shown to be more conducive to the causal explanation of quantum SSB.

Scientists appeal to models when explaining phenomena. Such explanations are often dubbed model explanations or model-based explanations. But what are the precise conditions for ME? Are ME special explanations? In our paper, we first rebut two definitions of ME and specify a more promising one. Based on this analysis, we single out a related conception that is concerned with explanations that are induced from working with a model. We call them ‘model-induced explanations’. Second, we study three paradigmatic cases of alleged (...) ME. We argue that all of them are MIE, upon closer examination. Third, we argue that this undermines the building consensus that model explanations are special explanations that, e.g., challenge the factivity of explanation. Instead, it suggests that what is special about models in science is the epistemology behind how models induce explanations. (shrink)

Beginning with Anderson, spontaneous symmetry breaking in infinite quantum systems is often put forward as an example of emergence in physics, since in theory no finite system should display it. Even the correspondence between theory and reality is at stake here, since numerous real materials show ssb in their ground states, although they are finite. Thus against what is sometimes called ‘Earman's Principle’, a genuine physical effect seems theoretically recovered only in some idealisation, disappearing as soon as the idealisation is (...) removed.We review the well-known arguments that no finite system can exhibit ssb, using the formalism of algebraic quantum theory in order to control the thermodynamic limit and unify the description of finite- and infinite-volume systems. Using the striking mathematical analogy between the thermodynamic limit and the classical limit, we show that a similar situation obtains in quantum mechanics versus classical mechanics.This discrepancy between formalism and reality is quite similar to the measurement problem, and hence we address it in the same way, adapting an argument of the Landsman and Reuvers that was originally intended to explain the collapse of the wave-function within conventional quantum mechanics. Namely, exponential sensitivity to perturbations of the dynamics as the system size increases causes symmetry breaking already in finite but very large quantum systems. This provides continuity between finite- and infinite-volume descriptions of quantum systems featuring ssb and hence restores Earman's Principle. (shrink)

Several modern accounts of explanation acknowledge the importance of abstraction and idealization for our explanatory practice. However, once we allow a role for abstraction, questions remain. I ask whether the relation between explanations at different theoretical levels should be thought of wholly in terms of abstraction, and argue that changes of the quantities in terms of which we describe a system can lead to novel explanations that are not merely abstractions of some more detailed picture. I use the example of (...) phase transitions as described by statistical mechanics and thermodynamics to illustrate this, and to demonstrate some details of the relationship between abstraction, idealization, and novel explanation. (shrink)

Despite the increasing recognition that heuristics may be involved in myriad scientific activities, much about how to use them prudently remains obscure. As typically defined, heuristics are efficient rules or procedures for converting complex problems into simpler ones. But this increased efficiency and problem-solving power comes at the cost of a systematic bias. As Wimsatt showed, biased modelling heuristics can conceal errors, leading to poor decisions or inaccurate models. This liability to produce errors presents a fundamental challenge to the philosophical (...) value of heuristic analyses. Heuristics may be powerful and efficient procedures, but their practical value for science and epistemology is significantly mitigated if we do not have a principled methodology for knowing how to use them wisely. In this essay, I extend Wimsatt’s analyses to argue that this challenge for a heuristic methodology can be met by appealing to second-order, or meta-, heuristics—that is, practical guidelines that prescribe the appropriate conditions for a first-order heuristic’s use. 1 Introduction2 Background3 Heuristics and Meta-heuristics4 A Hierarchical Model and Three Applications4.1 Decision making in emergency medicine4.2 Mathematical explanation in physics4.3 Resilience in ecological management5 Conclusion. (shrink)

This is a companion to another paper. Together they rebut two widespread philosophical doctrines about emergence. The first, and main, doctrine is that emergence is incompatible with reduction. The second is that emergence is supervenience; or more exactly, supervenience without reduction.In the other paper, I develop these rebuttals in general terms, emphasising the second rebuttal. Here I discuss the situation in physics, emphasising the first rebuttal. I focus on limiting relations between theories and illustrate my claims with four examples, each (...) of them a model or a framework for modelling, from well-established mathematics or physics.I take emergence as behaviour that is novel and robust relative to some comparison class. I take reduction as, essentially, deduction. The main idea of my first rebuttal will be to perform the deduction after taking a limit of some parameter. Thus my first main claim will be that in my four examples (and many others), we can deduce a novel and robust behaviour, by taking the limit N→∞ of a parameter N.But on the other hand, this does not show that the N=∞ limit is “physically real”, as some authors have alleged. For my second main claim is that in these same examples, there is a weaker, yet still vivid, novel and robust behaviour that occurs before we get to the limit, i.e. for finite N. And it is this weaker behaviour which is physically real.My examples are: the method of arbitrary functions (in probability theory); fractals (in geometry); superselection for infinite systems (in quantum theory); and phase transitions for infinite systems (in statistical mechanics). (shrink)

Batterman raises a number of concerns for the inferential conception of the applicability of mathematics advocated by Bueno and Colyvan. Here, we distinguish the various concerns, and indicate how they can be assuaged by paying attention to the nature of the mappings involved and emphasizing the significance of interpretation in this context. We also indicate how this conception can accommodate the examples that Batterman draws upon in his critique. Our conclusion is that ‘asymptotic reasoning’ can be straightforwardly accommodated within the (...) inferential conception. 1 Introduction2 Immersion, Inference and Partial Structures3 Idealization and Surplus Structure4 Renormalization and the Stability of Mathematical Representations5 Explanation and Eliminability6 Requirements for Explanation7 Interpretation and Idealization8 Explanation, Empirical Regularities and the Inferential Conception9 Conclusion. (shrink)

In semiclassical mechanics one finds explanations of quantum phenomena that appeal to classical structures. These explanations are prima facie problematic insofar as the classical structures they appeal to do not exist. Here I defend the view that fictional structures can be genuinely explanatory by introducing a model-based account of scientific explanation. Applying this framework to the semiclassical phenomenon of wavefunction scarring, I argue that not only can the fictional classical trajectories explain certain aspects of this quantum phenomenon, but also that (...) an explanation that does not make reference to these classical structures is, in a certain sense, deficient. (shrink)

This paper discusses a conception of physics as a collection of theories that, from a logical point of view, is inconsistent. It is argued that this logical conception of the relations between physical theories is too crude. Mathematical subtleties allow for a much more nuanced and sophisticated understanding of the relations between different physical theories.

This paper examines contemporary attempts to explicate the explanatory role of mathematics in the physical sciences. Most such approaches involve developing so-called mapping accounts of the relationships between the physical world and mathematical structures. The paper argues that the use of idealizations in physical theorizing poses serious difficulties for such mapping accounts. A new approach to the applicability of mathematics is proposed.

The discussion on mathematical explanation has inherited the same sense of dissatisfaction that philosophers of science expressed, in the context of scientific explanation, towards the deductive-nomological model. This model is regarded as unable to cover cases of bona fide mathematical explanations and, furthermore, it is largely ignored in the relevant literature. Surprisingly, the reasons for this ostracism are not sufficiently manifest. In this paper I explore a possible extension of the model to the case of mathematical explanations and I claim (...) that there are at least two reasons to judge the deductive-nomological picture of explanation as inadequate in that context. (shrink)

The attempts of theoretically solving the famous puzzle-dictum of physicist Eugene Wigner regarding the “unreasonable” effectiveness of mathematics as a problem of analytical philosophy, started at the end of the 19th century, are yet far from coming out with an acceptable theoretical solution. The theories developed for explaining the empirical “miracle” of applied mathematics vary in nature, foundation and solution, from denying the existence of a genuine problem to structural theories with an advanced level of mathematical formalism. Despite this variation, (...) methodologically fundamental questions like “Which is the adequate theoretical framework for solving Wigner’s conjecture?” and “Can the logico-mathematical formalism solve it and is it entitled to do it?” did not receive answers yet. The problem of the applicability of mathematics in the physical reality has been treated unitarily in some sense, with respect to the semantic-conceptual use of the constitutive terms, within both the structural and non-structural theories. This unity (of consistency) applied to both the referred objects and concepts per se and the aims of the investigations. For being able to make an objective study of the possible alternatives of the existent theories, a foundational approach of them is needed, including through semantic-conceptual distinctions which to weaken the unity of consistency. (shrink)

This thesis starts with three challenges to the structuralist accounts of applied mathematics. Structuralism views applied mathematics as a matter of building mapping functions between mathematical and target-ended structures. The first challenge concerns how it is possible for a non-mathematical target to be represented mathematically when the mapping functions per se are mathematical objects. The second challenge arises out of inconsistent early calculus, which suggests that mathematical representation does not require rigorous mathematical structures. The third challenge comes from renormalisation group (...) (RG) explanations of universality. It is argued that the structural mapping between the world and a highly abstract minimal model adds little value to our understanding of how RG obtains its explanatory force. I will address the first and second challenges from the similarity perspective. The similarity account captures representations as similarity relations, providing a more flexible and broader conception of representation than structuralism. It is the specification of the respect and degree of similarity that forges mathematics into a context of representation and directs it to represent a specific system in reality. Structuralism is treatable as a tool for explicating similarity rela-tions set-theoretically. The similarity account, combined with other approaches (e.g., Nguyen and Frigg’s extensional abstraction account and van Fraassen’s pragmatic equivalence), can dissolve the first challenge. Additionally, I will make a structuralist response to the second challenge, and suggestions regarding the role of infinitesimals from the similarity perspective. In light of the similarity account, I will propose the “hotchpotch picture” as a method-ological reflection of our study of representation and explanation. Its central insight is to dissect a representation or an explanation into several aspects and use different theories (that are usually thought of competing) to appropriate each of them. Based on the hotchpotch picture, RG explanations can be dissected to the “indexing” and “inferential” conceptions of explanation, which are captured or characterised by structural mappings. Therefore, structuralism accommodates RG explanations, and the third challenge is resolved. (shrink)

Though some influentially critical objections have been raised during the ‘classical’ pre-computational simulation philosophy of science tradition, suggesting a more nuanced methodological category for experiments, it safe to say such critical objections have greatly proliferated in philosophical studies dedicated to the role played by computational simulations in science. For instance, Eric Winsberg suggests that computer simulations are methodologically unique in the development of a theory’s models suggesting new epistemic notions of application. This is also echoed in Jeffrey Ramsey’s notions of (...) “transformation reduction,”—i.e., a notion of reduction of a more highly constructive variety. Computer simulations create a broadly continuous arena spanned by normative and descriptive aspects of theory-articulation, as entailed by the notion of transformation reductions occupying a continuous region demarcated by Ernest Nagel’s logical-explanatory “domain-combining reduction” on the one hand, and Thomas Nickels’ heuristic “domain-preserving reduction,” on the other. I extend Winsberg’s and Ramsey’s points here, by arguing that in the field of computational fluid dynamics as well as in other branches of applied physics, the computer plays a constitutively experimental role—supplanting in many cases the more traditional experimental methods such as flow-visualization, etc. In this case, however CFD algorithms act as substitutes, not supplements when it comes to experimental practices. I bring up the constructive example involving the Clifford-Algebraic algorithms for modeling singular phenomena in CFD by Gerik Scheuermann and Steven Mann & Alyn Rockwood who demonstrate that their algorithms offer greater descriptive and explanatory scope than the standard Navier-Stokes approaches. The mathematical distinction between Navier-Stokes-based and Clifford-Algebraic based CFD has essentially to do with the regularization features exhibited to a far greater extent by the latter, than the former. Hence, CACFD indicate that the utilization of computational techniques can be based on principled reasons, as opposed to merely practical. CACFD hence exhibit a new generative role in the field of fluid mechanics, by offering categories of experimental evidence that are optimally descriptive and explanatory—i.e., pace Batterman can be both ontologically and epistemically fundamental. (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)

In this dissertation, I consider from a philosophical perspective three related questions concerning the contribution of mathematics to scientific representation. In answering these questions, I propose and defend Carnapian frameworks for examination into the nature and role of mathematics in science. The first research question concerns the varied ways in which mathematics contributes to scientific representation. In response, I consider in Chapter 2 two recent philosophical proposals claiming to account for the explanatory role of mathematics in science, by Philip Kitcher, (...) and Otavio Bueno and Mark Colyvan. My novel and detailed critique of these accounts shows that they are too limited to encompass the diverse roles of mathematics in science in historical and contemporary scenarios. The conclusion is that any such philosophical account should aim to faithfully capture the structure of our theories and their use in applied contexts. This insight prompts the second question guiding this dissertation that I consider in Chapter 3, regarding a viable philosophical account of the role of mathematics in scientific theories. I respond by proposing a modified form of the reconstructive frameworks for philosophical analysis developed by Rudolf Carnap for theoretical entities. I propose three amendments to Carnap’s account: i) a semantic view for the representation of theories, ii) a careful consideration of instances of the use of theory in representing target systems, and iii) consideration of the practical complexity of relating theory to experimental data. The final research question for this dissertation asks what, if anything, we can legitimately conclude about the nature of theoretical entities invoked by a theory in light of its success in representing phenomena. In the backdrop of the Carnapian frameworks proposed in Chapter 3, I argue that contemporary ontological debates in the philosophy of science are largely premised on an acceptance of Willard Quine’s epistemological outlook on the world and a dismissal of Carnap’s approach, which can be used to offer a satisfactory deflationary resolution. This is in the service of my contention that a Carnapian attitude to central issues in the philosophy of science is decidedly preferable to the route championed by Quine. (shrink)

I argue that the distinctions Robert Batterman (2004) presents between ‘epistemically fundamental’ versus ‘ontologically fundamental’ theoretical approaches can be subsumed by methodologically fundamental procedures. I characterize precisely what is meant by a methodologically fundamental procedure, which involves, among other things, the use of multilinear graded algebras in a theory’s formalism. For example, one such class of algebras I discuss are the Clifford (or Geometric) algebras. Aside from their being touted by many as a “unified mathematical language for physics,” (Hestenes (1984, (...) 1986) Lasenby, et. al. (2000)) Finkelstein (2001, 2004) and others have demonstrated that the techniques of multilinear algebraic ‘expansion and contraction’ exhibit a robust regularizablilty. That is to say, such regularization has been demonstrated to remove singularities, which would otherwise appear in standard field-theoretic, mathematical characterizations of a physical theory. I claim that the existence of such methodologically fundamental procedures calls into question one of Batterman’s central points, that “our explanatory physical practice demands that we appeal essentially to (infinite) idealizations” (2003, 7) exhibited, for example, by singularities in the case of modeling critical phenomena, like fluid droplet formation. By way of counterexample, in the field of computational fluid dynamics (CFD), I discuss the work of Mann & Rockwood (2003) and Gerik Scheuermann, (2002). In the concluding section, I sketch a methodologically fundamental procedure potentially applicable to more general classes of critical phenomena appearing in fluid dynamics. (shrink)