This paper explores the epistemological challenges in using computer simulations for two distinct goals: explanation via hypothesis-testing and prediction. It argues that each goal requires different strategies for justifying inferences drawn from simulation results due to different practical and conceptual constraints. The paper identifies unique and shared strategies researchers employ to increase confidence in their inferences for each goal. For explanation via hypothesis-testing, researchers need to address the underdetermination, interpretability, and attribution challenges. In prediction, the emphasis is on the model's (...) ability to generalize across multiple domains. Shared strategies researchers employ to increase confidence in inferences are empirical corroboration of theoretical assumptions and adequacy of computational operationalizations, and this paper argues that these are necessary for explanation via hypothesis-testing but not for prediction. This paper emphasizes the need for a nuanced approach to the epistemology of computer simulation, given the diverse applications of computer simulation in scientific research. Understanding these differences is crucial for both researchers and philosophers of science, as it helps develop appropriate methodologies and criteria for assessing the trustworthiness of computer simulation. (shrink)

'The arrow of time' refers to the curious asymmetry that distinguishes the future from the past. Reversing the Arrow of Time argues that there is an intimate link between the symmetries of 'time itself' and time reversal symmetry in physical theories, which has wide-ranging implications for both physics and its philosophy. This link helps to clarify how we can learn about the symmetries of our world, how to understand the relationship between symmetries and what is real, and how to overcome (...) pervasive illusions about the direction of time. Roberts explains the significance of time reversal in a way that intertwines physics and philosophy, to establish what the arrow of time means and how we can come to know it. This book is both mathematically and philosophically rigorous yet remains accessible to advanced undergraduates in physics and the philosophy of physics. This title is also available as Open Access on Cambridge Core. (shrink)

Phylogenetic models traditionally represent the history of life as having a strictly-branching tree structure. However, it is becoming increasingly clear that the history of life is often not strictly-branching; lateral gene transfer, endosymbiosis, and hybridization, for example, can all produce lateral branching events. There is thus motivation to allow phylogenetic models to have a reticulate structure. One proposal involves the reconciliation of genealogical discordance. Briefly, this method uses patterns of disagreement – discordance – between trees of different genes to add (...) lateral branching events to phylogenetic trees of taxa, and to estimate the most likely cause of these events. I use this practice to argue for: (1) a need for expanded accounts of multiple-models idealization, (2) a distinction between automatic and manual de-idealization, and (3) recognition that idealization may serve the meso-level aims of science in a different way than hitherto acknowledged. (shrink)

Why is gauge symmetry so important in modern physics, given that one must eliminate it when interpreting what the theory represents? In this paper we discuss the sense in which gauge symmetry can be fruitfully applied to constrain the space of possible dynamical models in such a way that forces and charges are appropriately coupled. We review the most well-known application of this kind, known as the 'gauge argument' or 'gauge principle', discuss its difficulties, and then reconstruct the gauge argument (...) as a valid theorem in quantum theory. We then present what we take to be a better and more general gauge argument, based on Noether's second theorem in classical Lagrangian field theory, and argue that this provides a more appropriate framework for understanding how gauge symmetry helps to constrain the dynamics of physical theories. (shrink)

Science and mathematics continually change in their tools, methods, and concepts. Many of these changes are not just modifications but progress---steps to be admired. But what constitutes progress? This dissertation addresses one central source of intellectual advancement in both disciplines: reformulating a problem-solving plan into a new, logically compatible one. For short, I call these cases of compatible problem-solving plans "reformulations." Two aspects of reformulations are puzzling. First, reformulating is often unnecessary. Given that we could already solve a problem using (...) an older formulation, what do we gain by reformulating? Second, some reformulations are genuinely trivial or insignificant. Merely replacing one symbol with another does not lead to intellectual progress. What distinguishes significant reformulations from trivial ones? According to what I call "conceptualism" (or "conceptual empiricism"), reformulations are intellectually significant when they provide a different plan for solving problems. Significant reformulations provide inferentially different routes to the same solution. In contrast, trivial reformulations provide exactly the same problem-solving plans, and hence they do not change our understanding. This answers the second question about what distinguishes trivial from significant reformulations. However, the first question remains: what makes a new way of solving an old problem valuable? Here, a bevy of practical considerations come to mind: one formulation might be faster, less complicated, or use more familiar concepts. According to "instrumentalism," these practical benefits are all there is to reformulating. Some reformulations are simply more instrumentally valuable for meeting the aims of science than others. At another extreme, "fundamentalism" contends that a reformulation is valuable when it provides a more fundamental description of reality. According to this view, some reformulations directly contribute to the metaphysical aim of carving reality at its joints. Conceptualism develops a middle ground between instrumentalism and fundamentalism, preserving their benefits without their costs. I argue that the epistemic value of significant reformulations does not reduce to either practical or metaphysical value. Reformulations are valuable because they are a constitutive part of problem-solving. Both science and mathematics aim at solving all possible problems within their respective domains. Meeting this aim requires being able to plan for any possible problem-solving context, and this requires reformulating. By reformulating, we clarify what we need to know to solve problems. Still, one might wonder whether the value of reformulations requires underlying differences in explanatory power. According to "explanationism," a reformulation is valuable only when it provides a better explanation. Explanationism stands as a rival middle ground position to my own. However, it faces numerous counterexamples. In many cases, two reformulations provide the same explanation while nonetheless providing different ways of understanding a phenomenon. Hence, reformulating can be valuable even when neither formulation is more explanatory. Methodologically, I draw on a variety of case studies to support my account of reformulation. These range from classical mechanics to quantum chemistry, along with examples from mathematics. Symmetry arguments provide a paradigmatic example: the mathematics of symmetry groups radically recasts quantum mechanics and quantum chemistry. Nevertheless, elementary approaches exist that eschew this additional mathematical apparatus, solving problems in a more tedious but less mathematically-demanding manner. Further examples include reformulations of quantum field theory, Arabic vs. Roman numerals, and Fermat's little theorem in number theory. In each case, my account identifies how reformulations change and improve our understanding of science and mathematics. (shrink)

Determinism and unpredictability are compatible since deterministic flows can produce, if sensitive to initial conditions, unpredictable behaviors. Within this perspective, the notion of scenario to chaos transition offers a new form of predictability for the behavior of sensitive to initial condition systems under the variation of a control parameter. In this paper I first shed light on the genesis of this notion, based on a dynamical systems approach and on considerations of structural stability. I then suggest a link to the (...) figure of epigenetic landscape, partially inspired by a dynamical systems perspective, and offering a theoretical framework to apprehend developmental noise. (shrink)

Singularities in general relativity and quantum field theory are often taken not only to motivate the search for a more-fundamental theory (quantum gravity, QG), but also to characterise this new theory and shape expectations of what it is to achieve. Here, we first evaluate how particular types of singularities may suggest an incompleteness of current theories. We then classify four different 'attitudes' towards singularities in the search for QG, and show, through examples in the physics literature, that these lead to (...) different scenarios for the new theory. Two of the attitudes prompt singularity resolution, but only one suggests the need for a theory of QG. Rather than evaluate the different attitudes, we close with some suggestions of factors that influence the choice between them. (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.

Several approaches to developing a theory of quantum gravity suggest that spacetime—as described by general relativity—is not fundamental. Instead, spacetime is supposed to be explained by reference to the relations between more fundamental entities, analogous to `atoms' of spacetime, which themselves are not (fully) spatiotemporal. Such a case may be understood as emergence of \textit{content}: a `hierarchical' case of emergence, where spacetime emerges at a `higher', or less-fundamental, level than its `lower-level' non-spatiotempral basis. But quantum gravity cosmology also presents us (...) with the possibility of emergence of \textit{context}: where spacetime emerges from some `prior' non-spatiotemporal state (replacing the Big Bang), due to particular conditions in the early universe. I present a general conception of emergence which is plausibly able to accommodate both pictures. This is a positive conception that does not rely on a failure of reduction or explanation in any sense (indeed, reduction is a necessary feature of quantum gravity, and is useful in understanding emergence in this case). I also consider the possibility that the distinction between content- and context- based explanations is blurred, or usefully `collapsed', in the case of spacetime emergence. (shrink)

I analyze the role of infinite idealizations used in the renormalization group (RG hereafter) method in explaining universality across microscopically different physical systems in critical phenomena. I argue that despite the reference to infinite limit systems such as systems with infinite correlation lengths during the RG process, the key to explaining universality in critical phenomena need not involve infinite limit systems. I develop my argument by introducing what I regard as the explanatorily relevant property in RG explanations: linearization* property; I (...) then motivate and prove a proposition about the linearization* property in support of my view. As a result, infinite limit systems in RG explanations are dispensable. (shrink)

This article examines the distinction between active matter and active materials, and it offers foundational remarks toward a system of classification for active materials. Active matter is typically identified as matter that exhibits two characteristic features: self-propelling parts, and coherent dynamical activity among the parts. These features are exhibited across a wide range of organic and inorganic materials, and they are jointly sufficient for classifying matter as active. Recently, the term “active materials” has entered scientific use as a complement, supplement, (...) and extension of “active matter.” At the same time, new work in the philosophy of science has considered the problem of how to classify the products of synthetic and laboratory processes, and the extent to which the aims of classifying natural kinds compare and contrasts with the aims of classifying these synthetic kinds. In this article, I apply those considerations to the problems of classifying and characterizing active materials. In doing so, I also argue for a conception of active materials’ coherent dynamical activity as multiscale, rather than emergent, and I discuss how the special non-equilibrium status of active materials factors in to classificatory concerns. (shrink)

Climate modelling plays a crucial role for understanding and addressing the climate challenge, in terms of both mitigation and adaptation. It is therefore of central importance to understand to what extent climate models are adequate for relevant purposes, such as providing certain kinds of climate change projections in view of decision-making. In this perspective, the issue of the stability of climate models under small relevant perturbations in their structure seems particularly important. Within this framework, a debate has emerged in the (...) philosophy of science literature about the relevance for climate modelling of the mathematical notion of structural stability. This paper adresses several important foundational and epistemological questions that arise in this context, in particular about the the role of abstract mathematical considerations of a qualitative nature for concrete modelling projects with mainly quantitative purposes. (shrink)

Mark Wilson presents a highly original account of conceptual behavior that challenges many received views about concepts in analytic philosophy. Few attempts have been made to rationally reconstruct Wilson’s framework of patches and facades within a precise semantic framework. I will show how a modified version of the structuralist framework offers a semantic reconstruction of scientific theories capable of modeling Wilson’s ideas about conceptual behavior. Specifically, I will argue that Theory-Elements and a modified version of Theory-Nets explicate respectively Wilson’s patches (...) and facades. I will also demonstrate how several wandering phenomena described by Wilson can be adequately reconstructed within my framework. (shrink)

According to the free energy principle, life is an “inevitable and emergent property of any random dynamical system at non-equilibrium steady state that possesses a Markov blanket” :20130475, 2013). Formulating a principle for the life sciences in terms of concepts from statistical physics, such as random dynamical system, non-equilibrium steady state and ergodicity, places substantial constraints on the theoretical and empirical study of biological systems. Thus far, however, the physics foundations of the free energy principle have received hardly any attention. (...) Here, we start to fill this gap and analyse some of the challenges raised by applications of statistical physics for modelling biological targets. Based on our analysis, we conclude that model-building grounded in the free energy principle exacerbates a trade-off between generality and realism, because of a fundamental mismatch between its physics assumptions and the properties of actual biological targets. (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)

Catherine Elgin has recently argued that a nonfactive conception of understanding is required to accommodate the epistemic successes of science that make essential use of idealizations and models. In this paper, I argue that the fact that our best scientific models and theories are pervasively inaccurate representations can be made compatible with a more nuanced form of scientific realism that I call Understanding Realism. According to this view, science aims at (and often achieves) factive scientific understanding of natural phenomena. I (...) contend that this factive scientific understanding is provided by grasping a set of true modal information about the phenomenon of interest. Furthermore, contrary to Elgin’s view, I argue that the facticity of this kind of scientific understanding can be separated from the inaccuracy of the models and theories used to produce it. (shrink)

Philosophy of Physics has emerged recently as a scholarly important subfield of philosophy of science. However outside the small community of experts it is not a well-known field. It is not clear even to experts the exact nature of the field: how much philosophical is it? What is its relation to physics? In this work it is presented an overview of philosophy of physics that tries to answer these and other questions.

Mesoscale modeling is often considered merely as a practical strategy used when information on lower-scale details is lacking, or when there is a need to make models cognitively or computationally tractable. Without dismissing the importance of practical constraints for modeling choices, we argue that mesoscale models should not just be considered as abbreviations or placeholders for more “complete” models. Because many systems exhibit different behaviors at various spatial and temporal scales, bottom-up approaches are almost always doomed to fail. Mesoscale models (...) capture aspects of multi-scale systems that cannot be parameterized by simple averaging of lower-scale details. To understand the behavior of multi-scale systems, it is essential to identify mesoscale parameters that “code for” lower-scale details in a way that relate phenomena intermediate between microscopic and macroscopic features. We illustrate this point using examples of modeling of multi-scale systems in materials science and biology, where identification of material parameters such as stiffness or strain is a central step. The examples illustrate important aspects of a so-called “middle-out” modeling strategy. Rather than attempting to model the system bottom-up, one starts at intermediate scales where systems exhibit behaviors distinct from those at the atomic and continuum scales. One then seeks to upscale and downscale to gain a more complete understanding of the multi-scale system. The cases highlight how parameterization of lower-scale details not only enables tractable modeling but is also central to understanding functional and organizational features of multi-scale systems. (shrink)

As the demand for explainable deep learning grows in the evaluation of language technologies, the value of a principled grounding for those explanations grows as well. Here we study the state-of-the-art in explanation for neural models for natural-language processing (NLP) tasks from the viewpoint of philosophy of science. We focus on recent evaluation work that finds brittleness in explanations obtained through attention mechanisms.We harness philosophical accounts of explanation to suggest broader conclusions from these studies. From this analysis, we assert the (...) impossibility of causal explanations from attention layers over text data. We then introduce NLP researchers to contemporary philosophy of science theories that allow robust yet non-causal reasoning in explanation, giving computer scientists a vocabulary for future research. (shrink)

In this dissertation, I present a novel account of the components that have a peculiar epistemic role in our scientific inquiries, since they contribute to establishing a form of coordination. The issue of coordination is a classic epistemic problem concerning how we justify our use of abstract conceptual tools to represent concrete phenomena. For instance, how could we get to represent universal gravitation as a mathematical formula or temperature by means of a numerical scale? This problem is particularly pressing when (...) justification for using these abstract tools comes, in part or entirely, from knowledge which is not independent from them, thus leading to threats of circularity. Achieving coordination between some abstract conceptual tools and the concrete phenomena that they are supposed to represent is usually a complex process, which involves several epistemic components. Some of these components eventually provide stable conditions for applying those abstract representations to concrete phenomena. It is in this sense of providing certain conditions of applicability that different philosophical traditions, as well as some contemporary reappraisals, view these components as constitutive or a priori. In this work, I present a new gradualist, contextualist, and relational approach to understand these constitutive components of scientific inquiry. It is gradualist inasmuch as the degree to which some component is constitutive depends on three quantifiable features: quasi-axiomaticity, generative potential, and empirical shielding. Since the quantification of these three features impinges on the history and practice of using these components in a scientific context, my approach is a contextualist one. Finally, my approach is relational in a double sense: first, it identifies ordinal relationships among epistemic components with respect to their constitutive character; second, these relationships are relative to a scientific framework of inquiry. After introducing my account and a classic example of constitutively a priori principles, i.e., Friedman’s (2001) analysis of Newtonian mechanics, I turn to my own case studies to demonstrate the advantages of my approach. Firstly, I discuss Okasha’s (2018) view of endogenization as a pervasive theoretical strategy in evolutionary biology and suggest that the constitutive character of the core Darwinian principles progressively increases with endogenization. Secondly, I apply a conceptual distinction between two varieties or scopes of coordination – general coordination and coordination in measurement – to Ohm’s work on electrical conductivity. This distinction allows me to pinpoint to what extent components along different dimensions (e.g., instrumentation, measurement, theorising, etc.) were constitutive of the forms of coordination which Ohm relied on. Thirdly, I discuss the epistemic function of the Hardy-Weinberg principle in the history and practice of population genetics. I assess this principle in terms of my account and identify approximation and stability as two components that are highly constitutive, in that they contribute to justifying its use in population genetics. Finally, applying my account to these case studies enables me to identify at least three qualitatively different types of constitutive components: domain-specific theoretical principles, material components, and domain-independent assumptions underlying reasoning abilities. In the light of my results, I draw some general conclusions on epistemic justification and scientific knowledge. (shrink)

The book is addressed to all readers interested in cognitive science, and especially in research combining a logical analysis with psychological, linguistic and neurobiological approaches. The publication is the result of a collaboration between the Department of Cognitive Science at University of Lodz and the Department of Cognitive Science at Lund University. It is intended to provide a comprehensive presentation of the key research issues undertaken in both Departments, including considerations on meaning, natural language and reasoning, linguistic as well as (...) numerical competence, the theory of decision making, modelling of conceptual representations, cognitive and game theoretic approach to social interactions. (shrink)

There is a vast literature within philosophy of mind that focuses on artificial intelligence, but hardly mentions methodological questions. There is also a growing body of work in philosophy of science about modeling methodology that hardly mentions examples from cognitive science. Here these discussions are connected. Insights developed in the philosophy of science literature about the importance of idealization provide a way of understanding the neural implausibility of connectionist networks. Insights from neurocognitive science illuminate how relevant similarities between models and (...) targets are picked out, how modeling inferences are justified, and the metaphysical status of models. (shrink)

Foundational puzzles surround gravitational thermal physics—a realm in which stars are treated as akin to molecules in a gas. Whether such an enterprise is successful and the domain of thermal physics extends beyond our terrestrial sphere is disputed. There are successes and paradoxical features. Callender :960–981, 2011) advocates reconciling the two sides of the dispute by taking a broader view of thermodynamics. Here I argue for an alternative position: if we are careful in distinguishing statistical mechanics and thermodynamics, then no (...) reconciliation is required. Both sides can live in harmony because whilst statistical mechanics applies, thermodynamics does not. This state of affairs—the applicability of statistical mechanics without the emergence of thermodynamic behaviour—can be explained in terms of an infamous infinite idealisation: the thermodynamic limit. (shrink)

Proponents of the explanatory indispensability argument for mathematical platonism maintain that claims about mathematical entities play an essential explanatory role in some of our best scientific explanations. They infer that the existence of mathematical entities is supported by way of inference to the best explanation from empirical phenomena and therefore that there are the same sort of empirical grounds for believing in mathematical entities as there are for believing in concrete unobservables such as quarks. I object that this inference depends (...) on a false view of how abductive considerations mediate the transfer of empirical support. More specifically, I argue that even if inference to the best explanation is cogent, and claims about mathematical entities play an essential explanatory role in some of our best scientific explanations, it doesn’t follow that the empirical phenomena that license those explanations also provide empirical support for the claim that mathematical entities exist. (shrink)

Toy models are highly idealized and extremely simple models. Although they are omnipresent across scientific disciplines, toy models are a surprisingly under-appreciated subject in the philosophy of science. The main philosophical puzzle regarding toy models concerns what the epistemic goal of toy modelling is. One promising proposal for answering this question is the claim that the epistemic goal of toy models is to provide individual scientists with understanding. The aim of this article is to precisely articulate and to defend this (...) claim. In particular, we will distinguish between autonomous and embedded toy models, and then argue that important examples of autonomous toy models are sometimes best interpreted to provide how-possibly understanding, while embedded toy models yield how-actually understanding, if certain conditions are satisfied. _1_ Introduction _2_ Embedded and Autonomous Toy Models _2.1_ Embedded toy models _2.2_ Autonomous toy models _2.3_ Qualification _3_ A Theory of Understanding for Toy Models _3.1_ Preliminaries and requirements _3.2_ The refined simple view _4_ Two Kinds of Understanding with Toy Models _4.1_ Embedded toy models and how-actually understanding _4.2_ Against a how-actually interpretation of all autonomous toy models _4.3_ The how-possibly interpretation of some autonomous toy models _5_ Conclusion. (shrink)

This book examines the philosophical conception of abductive reasoning as developed by Charles S. Peirce, the founder of American pragmatism. It explores the historical and systematic connections of Peirce's original ideas and debates about their interpretations. Abduction is understood in a broad sense which covers the discovery and pursuit of hypotheses and inference to the best explanation. The analysis presents fresh insights into this notion of reasoning, which derives from effects to causes or from surprising observations to explanatory theories. The (...) author outlines some logical and AI approaches to abduction as well as studies various kinds of inverse problems in astronomy, physics, medicine, biology, and human sciences to provide examples of retroductions and abductions. The discussion covers also everyday examples with the implication of this notion in detective stories, one of Peirce’s own favorite themes. The author uses Bayesian probabilities to argue that explanatory abduction is a method of confirmation. He uses his own account of truth approximation to reformulate abduction as inference which leads to the truthlikeness of its conclusion. This allows a powerful abductive defense of scientific realism. This up-to-date survey and defense of the Peircean view of abduction may very well help researchers, students, and philosophers better understand the logic of truth-seeking. (shrink)

In epistemology and philosophy of science, there has been substantial debate about truth’s relation to understanding. “Non-factivists” hold that radical departures from the truth are not always barriers to understanding; “quasi-factivists” demur. The most discussed example concerns scientists’ use of idealizations in certain derivations of the ideal gas law from statistical mechanics. Yet, these discussions have suffered from confusions about the relevant science, as well as conceptual confusions. Addressing this example, we shall argue that the ideal gas law is best (...) interpreted as favoring non-factivism about understanding, but only after delving a bit deeper into the statistical mechanics that has informed these arguments and stating more precisely what non-factivism entails. Along the way, we indicate where earlier discussions have gone astray, and highlight how a naturalistic approach furnishes more nuanced normative theses about the interaction of rationality, understanding, and epistemic value. (shrink)

Spontaneous symmetry breaking in quantum systems, such as ferromagnets, is normally described as degeneracy of the ground state; however, it is well established that this degeneracy only occurs in spatially infinite systems, and even better established that ferromagnets are not spatially infinite. I review this well-known paradox, and consider a popular solution where the symmetry is explicitly broken by some external field which goes to zero in the infinite-volume limit; although this is formally satisfactory, I argue that it must be (...) rejected as a physical explanation of SSB since it fails to reproduce some important features of the phenomenology. Motivated by considerations from the analogous classical system, I argue that SSB in finite systems should be understood in terms of the approximate decoupling of the system's state space into dynamically-isolated sectors, related by a symmetry transformation; I use the formalism of decoherent histories to make this more precise and to quantify the effect, showing that it is more than sufficient to explain SSB in realistic systems and that it goes over in a smooth and natural way to the infinite limit. (shrink)

Sagoff (2016) criticizes widely used “theoretical” methods in ecology; arguing that those methods employ models that rely on problematic metaphysical assumptions and are therefore uninformative and useless for practical decision-making. In this paper, I show that Sagoff misconstrues how such model-based methods work in practice, that the main threads of his argument are problematic, and that his substantive conclusions are consequently unfounded. Along the way, I illuminate several ways the model-based inferential methods he criticizes can be, and have been, usefully (...) informative. (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 this paper I will take into examination the relevance of the main indispensability arguments for the comprehension of the applicability of mathematics. I will conclude not only that none of these indispensability arguments are of any help for understanding mathematical applicability, but also that these arguments rather require a preliminary analysis of the problems raised by the applicability of mathematics in order to avoid some tricky difficulties in their formulations. As a consequence, we cannot any longer consider the applicability (...) problems as subordinate to ontological ones: no ontological stance on mathematical entities can offer an easy road to the comprehension of the applicability of mathematics. (shrink)

This article considers the popular thesis that a more proportional relationship between a cause and its effect yields a more abstract causal explanation of that effect, which in turn produces a deeper explanation. This thesis is taken to have important implications for choosing the optimal granularity of explanation for a given explanandum. In this article, I argue that this thesis is not generally true of probabilistic causal relationships. In light of this finding, I propose a pragmatic, interest-relative measure of explanatory (...) depth. This measure uses a decision-theoretic model of information pricing to determine the optimal granularity of explanation for a given explanandum, agent, and decision problem. (shrink)

We argue that two powerful error-theoretic concepts provide a general framework that satisfactorily accounts for key aspects of the explanation of physical patterns. This method gives an objective criterion to determine which mathematical models in a class of neighboring models are just as good as the exact one. The method also emphasizes that abstraction is essential for explanation and provides a precise conceptual framework that determines whether a given abstraction is explanatorily relevant and justified. Hence, it increases our epistemological understanding (...) of how one should go about reconstructing scientific practices by making clear that, at a fundamental level, a key aspect of mathematical modeling consists in exactly solving nearby problems. (shrink)

In this paper, we argue that rather than exclusively focusing on trying to determine if an idealized model fits a particular account of scientific explanation, philosophers of science should also work on directly analyzing various explanatory schemas that reveal the steps and justification involved in scientists’ use of highly idealized models to formulate explanations. We develop our alternative methodology by analyzing historically important cases of idealized statistical modeling that use a three-step explanatory schema involving idealization, mathematical operation, and explanatory interpretation.

This essay develops an inferential account of model explanation, based on Mauricio Suárez’s inferential conception of scientific representation and Alisa Bokulich’s counterfactual account of model explanation. It is suggested that the fact that a scientific model can explain is essentially linked to how a modeler uses an established model to make various inferences about the target system on the basis of results derived from the model. The inference practice is understood as a two-step activity, with the first step involving making (...) counterfactual statements about the model itself and the second step involving making hypothetical statements transferring over claims derived from the model onto the target. To illustrate how this two-step activity proceeds, an agent-based simulation model is discussed. (shrink)

There is a widely shared belief that the higher-level sciences can provide better explanations than lower-level sciences. But there is little agreement about exactly why this is so. It is often suggested that higher-level explanations are better because they omit details. I will argue instead that the preference for higher-level explanations is just a special case of our general preference for informative, logically strong, beliefs. I argue that our preference for informative beliefs entirely accounts for why higher-level explanations are sometimes (...) better—and sometimes worse—than lower-level explanations. The result is a step in the direction of the unity of science hypothesis. 1Introduction2Background: Is Omitting Details an Explanatory Virtue? 2.1Anti-reductionist arguments2.2Reductionist argument2.3Logical strength3Bases, Links and Logical Strength4Functionalism and Fodor’s Argument5Two Generalizations6Should the Base Really Be Maximally Strong?7Anti-reductionist Arguments Regarding the Base8Should the Antecedent of the Link Really Be Maximally Weak? (shrink)

This paper recommends that chemistry educators shift to a different ‘idea of nature’, an alternative ‘worldview.’ Much of contemporary science and technology deals in one way or another with dynamic coherences that display novel and important properties. The notion of how the world works that such studies and practices generate (and require) is quite different from the earlier concepts that are now integrated into science education. Eventual success in meeting contemporary technological and social challenges requires general diffusion of an overall (...) outlook that focuses on creative generation of novel and useful coherences, replacing a worldview that concentrates on analysis of pre-existing items to minimum constituents. Such a shift in emphasis would amount to general adoption of a new basic model of how nature functions. Chemistry educators can and should provide leadership for this urgently-needed development. (shrink)

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)

In the recent methodological individualism-holism debate on explanation, there has been considerable focus on what reasons methodological holists may advance in support of their position. We believe it is useful to approach the other direction and ask what considerations methodological individualists may in fact offer in favor of their view about explanation. This is the background for the question we pursue in this paper: Why be a methodological individualist? We start out by introducing the methodological individualism-holism debate while distinguishing two (...) forms of methodological individualism: a form that says that individualist explanations are always better than holist accounts and a form that says that providing intervening individualist mechanisms always makes for better explanations than purely holist ones. Next, we consider four lines of reasoning in support of methodological individualism: arguments from causation, from explanatory depth, from agency, and from normativity. We argue that none of them offer convincing reasons in support of the two explanatory versions of individualism we consider. While there may well be occasions in which individualists’ favorite explanations are superior, we find no reason to think this always must be the case. (shrink)

The relationship between psychological states and the brain remains an unresolved issue in philosophy of psychology. One appealing solution that has been influential both in science and in philosophy is Dennett’s concept of the intentional stance, according to which beliefs and desires are real and objective phenomena, but not necessarily states of the brain. A fundamental shortcoming of this approach is that it does not seem to leave any causal role for beliefs and desires in influencing behavior. In this paper, (...) I show that intentional states ascribed from the intentional stance should be seen as real causes, develop this to an independently plausible ontological position, and present a response to the latest interventionist causal exclusion worries. (shrink)

This chapter concerns dimensions as the term is used in the physical sciences today. Some key points made are: Quantities of the same kind have the same dimension; but that two quantities have the same dimension does not necessarily mean they are of the same kind. The dimension of a quantity is not determined for a single quantity in isolation, but relative to a system of quantities and the relations that hold between them. Dimensions, units, and quantities are distinct notions. (...) In this article, I explain how dimensions, units, and quantities are involved in the design of coherent systems of units; the account involves the equations of physics. When the use of a coherent system of units can be presumed, dimensional analysis is a powerful logico-mathematical method for deriving equations and relations in physics, and for parameterizing equations in terms of dimensionless parameters, which allows identifying physically similar systems. The source of the information yielded by dimensional analysis is not yet well understood in philosophy of physics. This chapter aims to reveal the role of dimensions not only in applications of dimensional analysis to obtain information by involving the principle of dimensional homogeneity, but to the role of dimensions in encoding information about physical relationships in the language of dimensions, specifically via the feature of coherence of a system of units. Philosophers of mathematics and philosophers of science have been concerned to address the question of the effectiveness of mathematics in science. It is argued here that no philosophical analysis of the question of the applicability of mathematics to science is complete without including dimensions and dimensional analysis in the picture. (shrink)

Traditionally, a scientific model is thought to provide a good scientific explanation to the extent that it satisfies certain scientific goals that are thought to be constitutive of explanation. Problems arise when we realize that individual scientific models cannot simultaneously satisfy all the scientific goals typically associated with explanation. A given model’s ability to satisfy some goals must always come at the expense of satisfying others. This has resulted in philosophical disputes regarding which of these goals are in fact necessary (...) for explanation, and as such which types of models can and cannot provide explanations. Explanatory monists argue that one goal will be explanatory in all contexts, while explanatory pluralists argue that the goal will vary based on pragmatic considerations. In this paper, I argue that such debates are misguided, and that both monists and pluralists are incorrect. Instead of any goal being given explanatory priority over others in a given context, the different goals are all deeply dependent on one another for their explanatory power. Any model that sacrifices some explanatory goals to attain others will always necessarily undermine its own explanatory power in the process. And so when forced to choose between individual scientific models, there can be no explanatory victors. Given that no model can satisfy all the goals typically associated with explanation, no one model in isolation can provide a good scientific explanation. Instead we must appeal to collections of models. Collections of models provide an explanation when they satisfy the web of interconnected goals that justify the explanatory power of one another. (shrink)

Recent discussions of emergence in physics have focussed on the use of limiting relations, and often particularly on singular or asymptotic limits. We discuss a putative example of emergence that does not fit into this narrative: the case of phonons. These quasi-particles have some claim to be emergent, not least because the way in which they relate to the underlying crystal is almost precisely analogous to the way in which quantum particles relate to the underlying quantum field theory. But there (...) is no need to take a limit when moving from a crystal lattice based description to the phonon description. Not only does this demonstrate that we can have emergence without limits, but also provides a way of understanding cases that do involve limits. (shrink)

This thesis considers the following problem: What methods should the epistemology of science use to gain insight into the structure and behaviour of scientific knowledge and method in actual scientific practice? After arguing that the elucidation of epistemological and methodological phenomena in science requires a method that is rooted in formal methods, I consider two alternative methods for epistemology of science. One approach is the classical approaches of the syntactic and semantic views of theories. I show that typical approaches of (...) this sort are inadequate and inaccurate in their representation of scientific knowledge by showing how they fail to account for and misrepresent important epistemological structure and behaviour in science. The other method for epistemology of science I consider is modeled on the methods used to construct valid models of natural phenomena in applied mathematics. This new epistemological method is itself a modeling method that is developed through the detailed consideration of two main examples of theory application in science: double pendulum systems and the modeling of near-Earth objects to compute probability of future Earth impact. I show that not only does this new method accurately represent actual methods used to apply theories in applied mathematics, it also reveals interesting structural and behavioural patterns in the application process and gives insight into what underlies the stability of methods of application. I therefore conclude that for epistemology of science to develop fully as a scientific discipline it must use methods from applied mathematics, not only methods from pure mathematics and metamathematics as traditional formal epistemology of science has done. (shrink)

Many accounts of scientific modelling assume that models can be decomposed into the contributions made by their accurate and inaccurate parts. These accounts then argue that the inaccurate parts of the model can be justified by distorting only what is irrelevant. In this paper, I argue that this decompositional strategy requires three assumptions that are not typically met by our best scientific models. In response, I propose an alternative view in which idealized models are characterized as holistically distorted representations that (...) are justified by allowing for the application of various modelling techniques. (shrink)