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)

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)

The focus in the literature on scientific explanation has shifted in recent years towards model-based approaches. In recent work, Alisa Bokulich has argued that idealization has a central role to play in explanation. Bokulich claims that certain highly-idealized, structural models can be explanatory, even though they are not considered explanatory by causal, mechanistic, or covering law accounts of explanation. This paper focuses on Bokulich’s account in order to make the more general claim that there are problems with maintaining that a (...) structural criterion can capture the way that highly-idealized models explain. This paper examines Bokulich’s claim that the structural model explanation of quantum wavefunction scarring, featuring semiclassical mechanics, is deeper than the explanation provided by the local quantum model. The challenge for Bokulich is to show that the semiclassical model answers a wider range of w-questions, as this is her method of assessing structural information. I look at two reasonable approaches employing w-questions, and I argue that neither approach is ultimately satisfactory. Because structural similarity has preferences for more fundamental models, I argue that the local quantum model provides explanations that at least as deep as the semiclassical ones. The criterion either wrongly identifies all models as explanatory, or prefers models from fundamental theory. Either way, it cannot capture the way that highly-idealized models explain. (shrink)

Explanation is asymmetric: if A explains B, then B does not explain A. Tradition- ally, the asymmetry of explanation was thought to favor causal accounts of explanation over their rivals, such as those that take explanations to be inferences. In this paper, we develop a new inferential approach to explanation that outperforms causal approaches in accounting for the asymmetry of explanation.

This paper aims to study the foundations of applied mathematics, using a formalized base theory for applied mathematics: ZFCAσ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathsf {ZFCA}_{\sigma }$$\end{document} with atoms, where the subscript used refers to a signature specific to the application. Examples are given, illustrating the following five features of applied mathematics: comprehension principles, application conditionals, representation hypotheses, transfer principles and abstract equivalents.

While mechanistic explanation and, to a lesser extent, nomological explanation are well-explored topics in the philosophy of biology, topological explanation is not. Nor is the role of diagrams in topological explanations. These explanations do not appeal to the operation of mechanisms or laws, and extant accounts of the role of diagrams in biological science explain neither why scientists might prefer diagrammatic representations of topological information to sentential equivalents nor how such representations might facilitate important processes of explanatory reasoning unavailable to (...) scientists who restrict themselves to sentential representations. Accordingly, relying upon a case study about immune system vulnerability to attacks on CD4+ T-cells, I argue that diagrams group together information in a way that avoids repetition in representing topological structure, facilitate identification of specific topological properties of those structures, and make available to controlled processing explanatorily salient counterfactual information about topological structures, all in ways that sentential counterparts of diagrams do not. (shrink)

We study the Johansen–Ledoit–Sornette model of financial market crashes :219–255, 2000). On our view, the JLS model is a curious case from the perspective of the recent philosophy of science literature, as it is naturally construed as a “minimal model” in the sense of Batterman and Rice :349–376, 2014) that nonetheless provides a causal explanation of market crashes, in the sense of Woodward’s interventionist account of causation.

This paper is aimed at identifying how a model’s explanatory power is constructed and identified, particularly in the practice of template-based modeling (Humphreys, Philos Sci 69:1–11, 2002; Extending ourselves: computational science, empiricism, and scientific method, 2004), and what kinds of explanations models constructed in this way can provide. In particular, this paper offers an account of non-causal structural explanation that forms an alternative to causal–mechanical accounts of model explanation that are currently popular in philosophy of biology and cognitive science. Clearly, (...) defences of non-causal explanation are far from new (e.g. Batterman, Br J Philos Sci 53:21–38, 2002a; The devil in the details: asymptotic reasoning in explanation, reduction, and emergence, 2002b; Pincock, Noûs 41:253–275, 2007; Mathematics and scientific representation 2012; Rice, Noûs. doi:10.1111/nous.12042, 2013; Biol Philos 27:685–703, 2012), so the targets here are focused on a particular type of robust phenomenon and how strong invariance to interventions can block a range of causal explanations. By focusing on a common form of model construction, the paper also ties functional or computational style explanations found in cognitive science and biology more firmly with explanatory practices across model-based science in general. (shrink)

ABSTRACT: Whereas relevance in scientific explanations is usually discussed as if it was a single problem, several criteria of relevance will be distinguished in this paper. Emphasis is laid upon the notion of intra-scientific relevance, which is illustrated using explanation of the law of areas as an example. Traditional accounts of explanation, such as the causal and unificationist accounts, are analyzed against these criteria of relevance. Particularly, it will be shown that these accounts fail to indicate which explanations fulfill the (...) condition of intra-scientific relevance. Finally, the significance of this latter criterion is emphasized, and the epistemic benefits of explanations that fulfill it are highlighted. (shrink)

This paper argues that in some explanations mathematics are playing an explanatory rather than a representational role, and that this feature unifies many types of non-causal or non-mechanistic explanations that some philosophers of science have been recently exploring under various names. After showing how mathematics can play either a representational or an explanatory role by considering two alternative explanations of a same biological pattern—“Bergmann’s rule”—I offer an example of an explanation where the bulk of the explanatory job is done by (...) a mathematical theorem, and where mechanisms involved in the target systems are not explanatorily relevant. Then I account for the way mathematical properties may function in an explanatory way within an explanation by arguing that some mathematical propositions involving variables non directly referring to the target system features constitute constraints to which a whole class of systems should comply, provided they are describable by a mathematical object concerned by those propositions. According to such “constraint account”, those mathematical facts are directly entailing the explanandum, as a consequence of such constraints. I call those explanations “structural”, because here properties of mathematical structures are accounting for the explanandum; various kinds of mathematical structures thereby define various types of structural explanations. (shrink)

I investigate the relationship between adaptation, as defined in evolutionary theory through natural selection, and the concept of emergence. I argue that there is an essential correlation between the former, and “emergence” defined in the field of algorithmic simulations. I first show that the computational concept of emergence (in terms of incompressible simulation) can be correlated with a causal criterion of emergence (in terms of the specificity of the explanation of global patterns). On this ground, I argue that emergence in (...) general involves some sort of selective processes. Finally, I show that a second criterion, concerning novel explanatory regularities following the emergence of a pattern, captures the robustness of emergence displayed by some cases of emergence (according to the first criterion). Emergent processes fulfilling both criteria are therefore exemplified in evolutionary biology by some so-called “innovations”, and mostly by the new units of fitness or new kinds of adaptations (like sexual reproduction, multicellular organisms, cells, societies) sometimes called “major transitions in evolution”, that recent research programs (Maynard-Smith and Szathmary 1995 ; Michod 1999 ) aims at explaining. (shrink)

Among many properties distinguishing emergence, such as novelty, irreducibility and unpredictability, computational accounts of emergence in terms of computational incompressibility aim first at making sense of such unpredictability. Those accounts prove to be more objective than usual accounts in terms of levels of mereology, which often face objections of being too epistemic. The present paper defends computational accounts against some objections, and develops what such notions bring to the usual idea of unpredictability. I distinguish the objective unpredictability, compatible with determinism (...) and entailed by emergence, and various possibilities of predictability at emergent levels. This makes sense of practices common in complex systems studies that forge qualitative predictions on the basis of comparisons of simulations with multiple values of parameters. I consider robustness analysis as a way to ensure the ontological character of computational emergence. Finally, I focus on the property of novelty, as it is displayed by biological evolution, and ask whether computer simulations of evolution can produce the same kind of emergence as the open-ended evolution attested in Phanerozoic records. (shrink)

I discuss here a number of different kinds of diachronic emergence, noting that they differ in important ways from synchronic conceptions. I argue that Bedau’s weak emergence has an essentially historical aspect, in that there can be two indistinguishable states, one of which is weakly emergent, the other of which is not. As a consequence, weak emergence is about tokens, not types, of states. I conclude by examining the question of whether the concept of weak emergence is too weak and (...) note that there is at present no unifying account of diachronic and synchronic concepts of emergence. (shrink)

Modern empirical macroeconomic models, known as structural autoregressions (SVARs) are dynamic models that typically claim to represent a causal order among contemporaneously valued variables and to merely represent non-structural (reduced-form) co-occurence between lagged variables and contemporaneous variables. The strategy is held to meet the minimal requirements for identifying the residual errors in particular equations in the model with independent, though otherwise not directly observable, exogenous causes (“shocks”) that ultimately account for change in the model. In nonstationary models, such shocks accumulate (...) so that variables have discernible trends. Econometricians have conceived of variables that trend in sympathy with each other (so-called “cointegrated variables”) as sharing one or more of these unobserved trends as a common cause. It is possible for estimates of the values of both the otherwise unobservable individual shocks and the otherwise unobservable common trends to be backed-out of cointegrated systems of equations. The issue addressed in this paper is whether and in what circumstances these values can be regarded as observations of real entities rather than merely artifacts of the representation of variables in the model. The issue is related, on the one hand, to practical methodological problems in the use of SVARs for policy analysis—e.g., does it make sense to estimate of shocks or trends in one model and then use them as measures of variables in a conceptually distinct model? The issue is also related to debates in the philosophical analysis of causation—particularly, whether we are entitled, as assumed by the developers of Bayes-net approaches, to rely on the causal Markov condition (a generalization of Reichenbach’s common-cause condition) or whether cointegration generates a practical example of Nancy Cartwright’s “byproducts” objection to the causal Markov condition. (shrink)

The point of this paper is to provide a principled framework for a naturalistic, interactivist-constructivist model of rational capacity and a sketch of the model itself, indicating its merits. Being naturalistic, it takes its orientation from scientific understanding. In particular, it adopts the developing interactivist-constructivist understanding of the functional capacities of biological organisms as a useful naturalistic platform for constructing such higher order capacities as reason and cognition. Further, both the framework and model are marked by the finitude and fallibility (...) that science attributes to organisms, with their radical consequences, and also by the individual and collective capacities to improve their performances that learning organisms display. Part A prepares the ground for the exposition through a critique of the dominant Western analytic tradition in rationalising science, followed by a brief exposition of the naturalist framework that will be employed to frame the construction. This results in two sets of guidelines for constructing an alternative. Part B provides the new conception of reason as a rich complex of processes of improvement against epistemic values, and argues its merits. It closes with an account of normativity and our similarly developing rational knowledge of it, including (reflexively) of reason itself. (shrink)

All the major inter-theoretic relations of fundamental science are asymptotic ones, e.g. quantum theory as Planck's constant h 0, yielding (roughly) Newtonian mechanics. Thus asymptotics ultimately grounds claims about inter-theoretic explanation, reduction and emergence. This paper examines four recent, central claims by Batterman concerning asymptotics and reduction. While these claims are criticised, the discussion is used to develop an enriched, dynamically-based account of reduction and emergence, to show its capacity to illuminate the complex variety of inter-theory relationships in physics, and (...) to provide a principled resolution to such persistent philosophical problems as multiple realisability and the nature of the special sciences. Introduction Exposition Examination I: Claims (1) and (2), asymptotic explanation and reference Examination II: Claim (3), reduction and singular asymptotics Examination III: Claim (4), emergence and multiple realisability Conclusion. (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)

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 paper proposes a classification of the intertheoretic relations in physics by bringing out the conditions for a relation of reduction which is eliminative, so that a theory reduced in terms of reductionism is superfluous in principle, and by distinguishing such a relation from another one based on comparison, which will be called neighbourhood of theories; the latter is a neighbouring relation between theories and is not able to support claims of eliminative reductionism. In the first part, it will be (...) argued that this differentiation between neighbourhood and eliminative reduction permits an adequate classification of the intertheoretic relations in physics. By means of this differentiation, the second part discusses reductionism and shows that there are indeed some historical examples of reduction in the aforementioned sense, but that modern physical theories are typically only neighbouring. (shrink)

A physically consistent semi-classical treatment of black holes requires universality arguments to deal with the `trans-Planckian' problem where quantum spacetime effects appear to be amplified such that they undermine the entire semi-classical modelling framework. We evaluate three families of such arguments in comparison with Wilsonian renormalization group universality arguments found in the context of condensed matter physics. Our analysis is framed by the crucial distinction between robustness and universality. Particular emphasis is placed on the quality whereby the various arguments are (...) underpinned by `integrated' notions of robustness and universality. Whereas the principal strength of Wilsonian universality arguments can be understood in terms of the presence of such integration, the principal weakness of all three universality arguments for Hawking radiation is its absence. (shrink)

Due to the variation, contingency and complexity of living systems, biology is often taken to be a science without fundamental theories, laws or general principles. I revisit this question in light of the quest for design principles in systems biology and show that different views can be reconciled if we distinguish between different types of generality. The philosophical literature has primarily focused on generality of specific models or explanations, or on the heuristic role of abstraction. This paper takes a different (...) approach in emphasizing a theory-constituting role of general principles. Design principles signify general dependency-relations between structures and functions, given a set of formally defined constraints. I contend that design principles increase our understanding of living systems by relating specific models to general types. The categorization of types is based on a delineation of the scope of biological possibilities, which serves to identify and define the generic features of classes of systems. To characterize the basis for general principles through generic abstraction and reasoning about possibility spaces, I coin the term constraint-based generality. I show that constraint-based generality is distinct from other types of generality in biology, and argue that general principles play a unifying role that does not entail theory reduction. (shrink)

This essay revisits some classic problems in the philosophy of space and time concerning the counting of possibilities. I argue that we should think that two Newtonian worlds can differ only as to when or where things happen and that general relativistic worlds can differ in something like the same way—the first of these theses being quaintly heterodox, the second baldly heretical, according to the mores of contemporary philosophy of physics.

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 paper argues that a successful philosophical analysis of models and simulations must accommodate an account of mathematically rigorous results. Such rigorous results may be thought of as genuinely model-specific contributions, which can neither be deduced from fundamental theory nor inferred from empirical data. Rigorous results provide new indirect ways of assessing the success of models and simulations and are crucial to understanding the connections between different models. This is most obvious in cases where rigorous results map different models on (...) to one another. Not only does this put constraints on the extent to which performance in specific empirical contexts may be regarded as the main touchstone of success in scientific modelling, it also allows for the transfer of warrant across different models. Mathematically rigorous results can thus come to be seen as not only strengthening the cohesion between scientific strategies of modelling and simulation, but also as offering new ways of indirect confirmation. (shrink)

(No abstract is available for this citation).

The Tree of Life has traditionally been understood to represent the history of species lineages. However, recently researchers have suggested that it might be better interpreted as representing the history of cellular lineages, sometimes called the Tree of Cells. This paper examines and evaluates reasons offered against this cellular interpretation of the Tree of Life. It argues that some such reasons are bad reasons, based either on a false attribution of essentialism, on a misunderstanding of the problem of lineage identity, (...) or on a limited view of scientific representation. I suggest that debate about the Tree of Cells and other successors to the traditional Tree of Life should be formulated in terms of the purposes these representations may serve. In pursuing this strategy, we see that the Tree of Cells cannot serve one purpose suggested for it: as an explanation for the hierarchical nature of taxonomy. We then explore whether, instead, the tree may play an important role in the dynamic modeling of evolution. As highly-integrated complex systems, cells may influence which lineage components can successfully transfer into them and how they change once integrated. Only if they do in fact have a substantial role to play in this process might the Tree of Cells have some claim to be the Tree of Life. (shrink)

Analogies between classical statistical mechanics and quantum field theory played a pivotal role in the development of renormalization group methods for application in the two theories. This paper focuses on the analogies that informed the application of RG methods in QFT by Kenneth Wilson and collaborators in the early 1970's. The central task that is accomplished is the identification and analysis of the analogical mappings employed. The conclusion is that the analogies in this case study are formal analogies, and not (...) physical analogies. That is, the analogical mappings relate elements of the models that play formally analogous roles and that have substantially different physical interpretations. Unlike other cases of the use of analogies in physics, the analogical mappings do not preserve causal structure. The conclusion that the analogies in this case are purely formal carries important implications for the interpretation of QFT, and poses challenges for philosophical accounts of analogical reasoning and arguments in defence of scientific realism. Analysis of the interpretation of the cutoffs is presented as an illustrative example of how physical disanalogies block the exportation of physical interpretations from from statistical mechanics to QFT. A final implication is that the application of RG methods in QFT supports non-causal explanations, but in a different manner than in statistical mechanics. (shrink)

The interventionist account of causal explanation, in the version presented by Jim Woodward, has been recently claimed capable of buttressing the widely felt—though poorly understood—hunch that high-level, relatively abstract explanations, of the sort provided by sciences like biology, psychology and economics, are in some cases explanatorily optimal. It is the aim of this paper to show that this is mistaken. Due to a lack of effective constraints on the causal variables at the heart of the interventionist causal-explanatory scheme, as presently (...) formulated it is either unable to prefer high-level explanations to low, or systematically overshoots, recommending explanations at so high of a level as to be virtually vacuous. (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)

We offer a framework for organizing the literature regarding the debates revolving around infinite idealizations in science, and a short summary of the contributions to this special issue.

What are the pillars on which the success of modern science rest? Although philosophers have much discussed what is behind science’s success, this paper argues that much of the discussion is misdirected. The extant literature rightly regards the semantic and inferential tools of formal logic and probability theory as pillars of scientific rationality, in the sense that they reveal the justificatory structure of important aspects of scientific practice. As key elements of our rational reconstruction toolbox, they make a fundamental contribution (...) to our understanding of the success of science.At the same time, any science, however exact, is dominated by approximation, error, and uncertainty, a fact that makes one wonder how science can be so successful. This paper articulates and illustrates general themes—e.g., that truth-preserving arguments often fail to preserve approximate truth—that highlight the need for additional semantic resources. Thus, our proposal is that persistent failures to unravel the reasons behind the success of science in the face of pervasive error and uncertainty should be attributed to an insufficiently rich way of rationally reconstructing scientific and mathematical knowledge. What is missing? This paper claims that there is a third formal method of reasoning that constitutes a distinct pillar on which rests the success of science, namely, perturbation theory. The paper outlines how the representational and inferential tools of perturbation theory differ from those of logic and probability theory, and how they enable us to understand the apparently elusive aspects of the success of science.However, compared to its peers, perturbative reasoning has not received the attention it deserves. As the paper explains, this partly results from the circumstances in which perturbation theory is taught, and partly from the fact that perturbation theory first appears to be a vaguely related collection of methods offering no systematic semantic insight. In an attempt to show that this first impression is wrong, this paper presents its contribution to the semantic dimension of scientific representation and inference in terms of what I call “semantic layering.”. (shrink)

Interest in the computational aspects of modeling has been steadily growing in philosophy of science. This paper aims to advance the discussion by articulating the way in which modeling and computational errors are related and by explaining the significance of error management strategies for the rational reconstruction of scientific practice. To this end, we first characterize the role and nature of modeling error in relation to a recipe for model construction known as Euler’s recipe. We then describe a general model (...) that allows us to assess the quality of numerical solutions in terms of measures of computational errors that are completely interpretable in terms of modeling error. Finally, we emphasize that this type of error analysis involves forms of perturbation analysis that go beyond the basic model-theoretical and statistical/probabilistic tools typically used to characterize the scientific method; this demands that we revise and complement our reconstructive toolbox in a way that can affect our normative image of science. (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)

This paper investigates the relationship between structural explanation and the New Mechanistic account of explanation. The aim of this paper is twofold: firstly, to argue that some phenomena in the domain of fundamental physics, although mechanically brute, are structurally explained; and secondly, by elaborating on the contrast between SE and mechanistic explanation to better clarify some features of SE. Finally, this paper will argue that, notwithstanding their apparently antithetical character, SE and ME can be reconciled within a unified account of (...) general scientific explanation. (shrink)

Classical accounts of intertheoretic reduction involve two pieces: first, the new terms of the higher-level theory must be definable from the terms of the lower-level theory, and second, the claims of the higher-level theory must be deducible from the lower-level theory along with these definitions. The status of each of these pieces becomes controversial when the alleged reduction involves an infinite limit, as in statistical mechanics. Can one define features of or deduce the behavior of an infinite idealized system from (...) a theory describing only finite systems? In this paper, I change the subject in order to consider the motivations behind the definability and deducibility requirements. The classical accounts of intertheoretic reduction are appealing because when the definability and deducibility requirements are satisfied there is a sense in which the reduced theory is forced upon us by the reducing theory and the reduced theory contains no more information or structure than the reducing theory. I will show that, likewise, there is a precise sense in which in statistical mechanics the properties of infinite limiting systems are forced upon us by the properties of finite systems, and the properties of infinite systems contain no information beyond the properties of finite systems. (shrink)

This paper focuses on two issues related to ontological emergence: whether it is a coherent notion, and its relation to the doctrine of physicalism. First, it is argued that ontological emergence is best understood as a thesis relying on three fundamental tenets claiming that emergents are basic, genuinely causal, and determined by the physical realm. The paper elucidates the roles of these tenets, and introduces an interpretation that is able to resolve any apparent contradiction between the tenets, thereby supporting the (...) claim that the commitments of ontological emergence form a consistent view. The proposed understanding also hints that telling physicalism and emergentism apart is not a problem even if one subscribes to a supervenience-based formulation of physicalism. The difference in the modal strength of the supervenience relation physicalism and emergentism endorse readily distinguishes them – the former is committed to metaphysical determination whereas the latter to nomological determination. However, in a recent paper, Jessica Wilson has posed an objection to this way of differentiating physicalism from emergentism on the ground that the metaphysical/nomological distinction cannot be drawn in this context. The second part of this paper introduces Wilson's objection, and argues in detail that it fails to disqualify the modal strength-based distinction. (shrink)

Error is protean, ubiquitous and crucial in scientific process. In this paper it is argued that understanding scientific process requires what is currently absent: an adaptable, context-sensitive functional role for error in science that naturally harnesses error identification and avoidance to positive, success-driven, science. This paper develops a new account of scientific process of this sort, error and success driving Self-Directed Anticipative Learning (SDAL) cycling, using a recent re-analysis of ape-language research as test example. The example shows the limitations of (...) other accounts of error, in particular Mayo’s (Error and the growth of experimental knowledge, 1996) error-statistical approach, and SDAL cycling shows how they can be fruitfully contextualised. (shrink)

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)

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 article reviews the recent literature on idealization, specifically idealization in the course of scientific modeling. We argue that idealization is not a unified concept and that there are three different types of idealization: Galilean, minimalist, and multiple models, each with its own justification. We explore the extent to which idealization is a permanent feature of scientific representation and discuss its implications for debates about scientific realism.

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)

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)

This paper criticizes the traditional philosophical account of the quantization of gauge theories and offers an alternative. On the received view, gauge theories resist quantization because they feature distinct mathematical representatives of the same physical state of affairs. This resistance is overcome by a sequence of ad hoc modifications, justified in part by reference to semiclassical electrodynamics. Among other things, these modifications introduce "ghosts": particles with unphysical properties which do not appear in asymptotic states and which are said to be (...) purely a notational convenience. I argue that this sequence of modifications is unjustified and inadequate, making it a poor basis for the interpretation of ghosts. I then argue that gauge theories can be quantized by the same method as any other theory. On this account, ghosts are not purely notation: they are coordinates on the classical configuration space of the theory—specifically, on its gauge structure. This interpretation does not fall prey to the standard philosophical arguments against the significance of ghosts, due to Weingard. Weingard’s argumentative strategy, properly applied, in fact tells in favor of ghosts’ physical significance. (shrink)

This paper offers a critical assessment of the current state of the debate about the identity and individuality of material objects. Its main aim, in particular, is to show that, in a sense to be carefully specified, the opposition between the Leibnizian ‘reductionist’ tradition, based on discernibility, and the sort of ‘primitivism’ that denies that facts of identity and individuality must be analysable has become outdated. In particular, it is argued that—contrary to a widespread consensus—‘naturalised’ metaphysics supports both the acceptability (...) of non-qualitatively grounded (both ‘contextual’ and intrinsic) identity and a pluralistic approach to individuality and individuation. A case study is offered that focuses on non-relativistic quantum mechanics, in the context of which primitivism about identity and individuality, rather than being regarded as unscientific, is on the contrary suggested to be preferable to the complicated forms of reductionism that have recently been proposed. More generally, by assuming a plausible form of anti-reductionism about scientific theories and domains, it is claimed that science can be regarded as compatible with, or even as suggesting, the existence of a series of equally plausible grades of individuality. The kind of individuality that prevails in a certain context and at a given level can be ascertained only on the basis of the specific scientific theory at hand. (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)

Various scientific theories stand in a reductive relation to each other. In a recent article, we have argued that a generalized version of the Nagel-Schaffner model (GNS) is the right account of this relation. In this article, we present a Bayesian analysis of how GNS impacts on confirmation. We formalize the relation between the reducing and the reduced theory before and after the reduction using Bayesian networks, and thereby show that, post-reduction, the two theories are confirmatory of each other. We (...) then ask when a purported reduction should be accepted on epistemic grounds. To do so, we compare the prior and posterior probabilities of the conjunction of both theories before and after the reduction and ask how well each is confirmed by the available evidence. (shrink)

We argue that there is no general theory of explanation that spans the sciences, mathematics, and ethics, etc. More specifically, there is no good reason to believe that substantive and domain-invariant constraints on explanatory information exist. Using Nickel (Noûs 44(2):305–328, 2010 ) as an exemplar of the contrary, generalist position, we first show that Nickel’s arguments rest on several ambiguities, and then show that even when these ambiguities are charitably corrected, Nickel’s defense of general theories of explanation is inadequate along (...) several different dimensions. Specifically, we argue that Nickel’s argument has three fatal flaws. First, he has not provided any compelling illustrations of domain-invariant constraints on explanation. Second, in order to fend off the most vehement skeptics of domain-invariant theories of explanation, Nickel must beg all of the important questions. Third, Nickel’s examples of explanations from different domains with common explanatory structure rely on incorrect formulations of the explanations under consideration, circular justifications, and/or a mischaracterization of the position Nickel intends to critique. Given that the best and most elaborate defense of the generalist position fails in so many ways, we conclude that the standard practice in philosophy (and in philosophy of science in particular), which is to develop theories of explanation that are tailored to specific domains, still is justified. For those who want to buy into a more ambitious project: beware of the costs! (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)