Computational modeling plays an increasingly important explanatory role in cases where we investigate systems or problems that exceed our native epistemic capacities. One clear case where technological enhancement is indispensable involves the study of complex systems.1 However, even in contexts where the number of parameters and interactions that define a problem is small, simple systems sometimes exhibit non-linear features which computational models can illustrate and track. In recent decades, computational models have been proposed as a way to assist us in (...) understanding emergent phenomena. (shrink)

Making sense of why something succeeded or failed is central to scientific practice: it provides an interpretation of what happened, i.e. an hypothesized explanation for the results, that informs scientists’ deliberations over their next steps. In philosophy, the realism debate has dominated the project of making sense of scientists’ success and failure claims, restricting its focus to whether truth or reliability best explain science’s most secure successes. Our aim, in contrast, will be to expand and advance the practice-oriented project sketched (...) by Arthur Fine in his work on the Natural Ontological Attitude. An important obstacle to articulating a positive program, we suggest, has been overlooking how scientists adopt standardized rules and procedures in order to define and operationalize meanings for success and failure relative to their situated goals. To help fill this gap, we introduce two new ideas, design specifications and track records, and show how they advance our ability to make sense of scientific modeling practices while maintaining a deflationary stance toward the realism debate. (shrink)

The dissemination of models across disciplinary lines has become a phenomenon of interest to philosophers of science. To account for this phenomenon, philosophers have invented two units of analysis. The first identifies to the thing that transfers, model templates. The second identifies the thing to which transferable templates apply, landing zones. There exists a dynamic between the thing that is transferred and the thing to which transferrable templates apply. The use of a transferable template in a new domain requires reconception (...) of domain-specific phenomena. This paper examines two cases of model transfer, the use of the ideal gas law in biology by R.A. Fisher and the use of the virial theorem in chemistry by Richard Bader. These two stories of model transfer in biology and chemistry indicate a dimension to conceptual progress related to this dynamic. Using discourse on model transfer affords philosophers a novel approach for depicting the invention of, for instance, chemical concepts and resulting disputes. (shrink)

The dissemination of models across disciplinary lines has become a phenomenon of interest to philosophers of science. To account for this phenomenon, philosophers have invented two units of analysis. The first identifies to the thing that transfers, model templates. The second identifies the thing to which transferable templates apply, landing zones. There exists a dynamic between the thing that is transferred and the thing to which transferrable templates apply. The use of a transferable template in a new domain requires reconception (...) of domain-specific phenomena. This paper examines two cases of model transfer, the use of the ideal gas law in biology by R.A. Fisher and the use of the virial theorem in chemistry by Richard Bader. These two stories of model transfer in biology and chemistry indicate a dimension to conceptual progress related to this dynamic. Using discourse on model transfer affords philosophers a novel approach for depicting the invention of, for instance, chemical concepts and resulting disputes. (shrink)

The dissemination of models across disciplinary lines has become a phenomenon of interest to philosophers of science. To account for this phenomenon, philosophers have invented two units of analysis. The first identifies to the thing that transfers, model templates. The second identifies the thing to which transferable templates apply, landing zones. There exists a dynamic between the thing that is transferred and the thing to which transferrable templates apply. The use of a transferable template in a new domain requires reconception (...) of domain-specific phenomena. This paper examines two cases of model transfer, the use of the ideal gas law in biology by R.A. Fisher and the use of the virial theorem in chemistry by Richard Bader. These two stories of model transfer in biology and chemistry indicate a dimension to conceptual progress related to this dynamic. Using discourse on model transfer affords philosophers a novel approach for depicting the invention of, for instance, chemical concepts and resulting disputes. (shrink)

Frigg and Reiss (2009) argue that philosophical problems in simulation bear enough resemblance to recognized issues in the philosophy of modeling that they only pose challenges analogous to those found in standard analytic models used to represent natural systems. They suggest that there are no new philosophical problems in computer simulation modeling beyond those found in traditional mathematical modeling. Winsberg (2009) has countered that there appear to be genuinely new epistemological problems in simulation modeling because the knowledge obtained from them (...) is ‘downward, motley, and autonomous.’ Here I draw out some specific ways that these epistemological problems are manifest in complex ecological simulation, especially in agent-based models. These models contain novel features that were impossible to anticipate prior to the computer revolution, and continue to present difficulties and challenges of both a practical and philosophical nature (Humphreys 2002). (shrink)

Theoretical biology and economics are remarkably similar in their reliance on mathematical models, which attempt to represent real world systems using many idealized assumptions. They are also similar in placing a great emphasis on derivational robustness of modeling results. Recently philosophers of biology and economics have argued that robustness analysis can be a method for confirmation of claims about causal mechanisms, despite the significant reliance of these models on patently false assumptions. We argue that the power of robustness analysis has (...) been greatly exaggerated. It is best regarded as a method of discovery rather than confirmation. (shrink)

Introspection is a fundamental part of our mental lives. Nevertheless, its reliability and its underlying cognitive architecture have been widely disputed. Here, I propose a principled way to model introspection. By using time-tested principles from signal detection theory (SDT) and extrapolating them from perception to introspection, I offer a new framework for an introspective signal detection theory (iSDT). In SDT, the reliability of perceptual judgments is a function of the strength of an internal perceptual response (signal- to-noise ratio) which is, (...) to a large extent, driven by the intensity of the stimulus. In parallel to perception, iSDT models the reliability of introspective judgments as a function of the strength of an internal introspective response (signal-to-noise ratio) which is, to a large extent, driven by the intensity of conscious experiences. Thus, by modelling introspection after perception, iSDT can calibrate introspection’s reliability across a whole range of contexts. iSDT offers a novel, illuminating way of thinking about introspection and the cognitive processes that support it. (shrink)

In most accounts of realization of computational processes by physical mechanisms, it is presupposed that there is one-to-one correspondence between the causally active states of the physical process and the states of the computation. Yet such proposals either stipulate that only one model of computation is implemented, or they do not reflect upon the variety of models that could be implemented physically. -/- In this paper, I claim that mechanistic accounts of computation should allow for a broad variation of models (...) of computation. In particular, some non-standard models should not be excluded a priori. The relationship between mathematical models of computation and mechanistically adequate models is studied in more detail. (shrink)

In most accounts of realization of computational processes by physical mechanisms, it is presupposed that there is one-to-one correspondence between the causally active states of the physical process and the states of the computation. Yet such proposals either stipulate that only one model of computation is implemented, or they do not reflect upon the variety of models that could be implemented physically. In this paper, I claim that mechanistic accounts of computation should allow for a broad variation of models of (...) computation. In particular, some non-standard models should not be excluded a priori. The relationship between mathematical models of computation and mechanistically adequate models is studied in more detail. (shrink)

Though the concept of ‘stylized fact’ plays an important role in the economic literature, there is little analysis of the definition and evaluative use of the term. A permissive account of stylized facts is developed which focuses on their mediating role between models and empirical evidence. The mediation relationship restricts stylized facts by requiring concrete empirical targets. On the other hand, there is much legitimate diversity within the permissive account; key dimensions of diversity are argued to be the part of (...) the model targeted (explanans vs. explanandum) and degree of partiality of correspondence. The use of stylized fact in model evaluation points to the downside of stylization: decreased ability to support strong claims about particular targets. In the final analysis, the role of stylized facts in model-based explanation depends on the view taken of the relative importance of generality and empirical adequacy. (shrink)

In this article, we provide a case study examining how integrative systems biologists build simulation models in the absence of a theoretical base. Lacking theoretical starting points, integrative systems biology researchers rely cognitively on the model-building process to disentangle and understand complex biochemical systems. They build simulations from the ground up in a nest-like fashion, by pulling together information and techniques from a variety of possible sources and experimenting with different structures in order to discover a stable, robust result. Finally, (...) we analyze the alternative role and meaning theory has in systems biology expressed as canonical template theories like Biochemical Systems Theory. (shrink)

Knowledge transfer across different contexts has become an increasingly prevalent feature of current science. As such, it is a relevant topic also for history and philosophy of science. This special issue presents a set of papers that study knowledge transfer in various disciplines. The contributions approach the topic from either an integrated history and philosophy of science perspective, 2) a systematic philosophical perspective, or 3) a historical perspective. This overview article is organized in three sections. The introduction provides some background (...) and context of the topic. The second section specifies the three components of knowledge transfer, i.e., knowledge, context, and the transfer process. It motivates our take on this topic and then outlines the central ideas of each paper. The third section reflects on the kinds of methods used to study processes of knowledge transfer. The article concludes by highlighting some of the features of such processes, some of the main challenges and obstacles that those processes involve, and possible ways of dealing with them. (shrink)

Mathematical models and their modeling frameworks developed to advance knowledge in one discipline are sometimes sourced to answer questions or solve problems in another discipline. Studying this aspect of cross-disciplinary transfer of knowledge objects, philosophers of science have weighed in on the question of whether knowledge about how a mathematical model is previously applied in one discipline is necessary for the success of reapplying said model in a different discipline. However, not much has been said about whether the answer to (...) that epistemological question applies to the reapplication of a modeling framework. More generally, regarding the nature of the production of knowledge in science, a metaphysical question remains to be explored whether historical contingencies associated with a mathematical construct have a genuine impact on the nature—as opposed to sociological practices or individual psychology—of advancing scientific knowledge with said construct. Focusing on this metaphysical question, this paper analyzes the use of mathematical logic in the development of the Chomsky hierarchy and subsequent reapplications of said hierarchy; with these examples, this paper develops the notion of “spillovers” as a way to detect cross-disciplinary justifications for better understanding the relations between reapplications of the same mathematical construct across disciplines. (shrink)

The omnipresence of the same basic equations, function forms, algorithms, and quantitative methods is one of the most spectacular characteristics of contemporary modeling practice. Recently, the emergence of the discussion of templates and template transfer has addressed this striking cross-disciplinary reach of certain mathematical forms and computational algorithms. In this paper, we develop a notion of a model template, consisting of its mathematical structure, ontology, prototypical properties and behaviors, focal conceptualizations, and the paradigmatic questions it addresses. We apply this notion (...) to three widely disseminated and powerful model templates: the Sherrington-Kirkpatrick model of spin glasses, scale-free networks, and the Kuramoto model of synchronization. We argue that what appears to be an interdisciplinary model transfer between different domains turns out, from a broader perspective, to be the application of transdisciplinary model templates across a multitude of domains. We also point out a further feature of template-based modeling that so far has not been discussed: template entanglement. Such entanglement enhances and makes manifest the conceptual side of model templates. (shrink)

One striking feature of the contemporary modelling practice is its interdisciplinary nature. The same equation forms, and mathematical and computational methods, are used across different disciplines, as well as within the same discipline. Are there, then, differences between intra- and interdisciplinary transfer, and can the comparison between the two provide more insight on the challenges of interdisciplinary theoretical work? We will study the development and various uses of the Ising model within physics, contrasting them to its applications to socio-economic systems. (...) While the renormalization group methods justify the transfer of the Ising model within physics – by ascribing them to the same universality class – its application to socio-economic phenomena has no such theoretical grounding. As a result, the insights gained by modelling socio-economic phenomena by the Ising model may remain limited. (shrink)

ABSTRACT Is there something specific about modelling that distinguishes it from many other theoretical endeavours? We consider Michael Weisberg’s thesis that modelling is a form of indirect representation through a close examination of the historical roots of the Lotka–Volterra model. While Weisberg discusses only Volterra’s work, we also study Lotka’s very different design of the Lotka–Volterra model. We will argue that while there are elements of indirect representation in both Volterra’s and Lotka’s modelling approaches, they are largely due to two (...) other features of contemporary model construction processes that Weisberg does not explicitly consider: the methods-drivenness and outcome-orientedness of modelling. 1Introduction 2Modelling as Indirect Representation 3The Design of the Lotka–Volterra Model by Volterra 3.1Volterra’s method of hypothesis 3.2The construction of the Lotka–Volterra model by Volterra 4The Design of the Lotka–Volterra Model by Lotka 4.1Physical biology according to Lotka 4.2Lotka’s systems approach and the Lotka–Volterra model 5Philosophical Discussion: Strategies and Tools of Modelling 5.1Volterra’s path from the method of isolation to the method of hypothesis 5.2The template-based approach of Lotka 5.3Modelling: methods-driven and outcome-oriented 6Conclusion. (shrink)

The recent discussion on scientific representation has focused on models and their relationship to the real world. It has been assumed that models give us knowledge because they represent their supposed real target systems. However, here agreement among philosophers of science has tended to end as they have presented widely different views on how representation should be understood. I will argue that the traditional representational approach is too limiting as regards the epistemic value of modelling given the focus on the (...) relationship between a single model and its supposed target system, and the neglect of the actual representational means with which scientists construct models. I therefore suggest an alternative account of models as epistemic tools. This amounts to regarding them as concrete artefacts that are built by specific representational means and are constrained by their design in such a way that they facilitate the study of certain scientific questions, and learning from them by means of construction and manipulation. (shrink)

This paper distinguishes between causal isolation robustness analysis and independent determination robustness analysis and suggests that the triangulation of the results of different epistemic means or activities serves different functions in them. Circadian clock research is presented as a case of causal isolation robustness analysis: in this field researchers made use of the notion of robustness to isolate the assumed mechanism behind the circadian rhythm. However, in contrast to the earlier philosophical case studies on causal isolation robustness analysis (Weisberg and (...) Reisman in Philos Sci 75:106–131, 2008 ; Kuorikoski et al. in Br J Philos Sci 61:541–567, 2010 ), robustness analysis in the circadian clock research did not remain in the level of mathematical modeling, but it combined it with experimentation on model organisms and a new type of model, a synthetic model. (shrink)

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)

Weisberg (2006) and Godfrey-Smith (2006, 2009) distinguish between two forms of theorising: data-driven ‘abstract direct representation’ and modeling. The key difference is that when using a data-driven approach, theories are intended to represent specific phenomena, so directly represent them, while models may not be intended to represent anything, so represent targets indirectly, if at all. The aim here is to compare and analyse these practices, in order to outline an account of model-based theorising that involves direct representational relationships. This is (...) based on the way that computational templates Humphreys (2002, 2004) are now used in cognitive neuroscience, and draws on the dynamic and tentative process of any kind of theory construction, and the idea of partial, purpose-relative representation. (shrink)

The notion of template has recently been discussed in relation to cross-disciplinary transfer of modeling efforts and in relation to the representational content of models. We further develop and disambiguate the notion of template and find that, suitably developed, it is useful in distinguishing and analyzing different types of transfer, none of which supports a non-representationalist view of models. We illustrate our main findings with the modeling of technology substitution with Lotka-Volterra Competition equations.

A chronicled approach to the notion of computer simulations shows that there are two predominant interpretations in the specialized literature. According to the first interpretation, computer simulations are techniques for finding the set of solutions to a mathematical model. I call this first interpretation the problem-solving technique viewpoint. In its second interpretation, computer simulations are considered to describe patterns of behavior of a target system. I call this second interpretation the description of patterns of behavior viewpoint of computer simulations. This (...) article explores these two interpretations of computer simulations from three different angles. First, I collect a series of definitions of computer simulation from the historical record. I track back definitions to the early 1960s and show how each viewpoint shares similar interpretations of computer simulations—ultimately clustering into the two viewpoints aforementioned. This reconstruction also includes the most recent literature. Second, I unpack the philosophical assumptions behind each viewpoint, with a special emphasis on their differences. Third, I discuss the philosophical implications of each viewpoint in the context of the recent discussion on the logic of scientific explanation for computer simulations. (shrink)

A chronicled approach to the notion of computer simulations shows that there are two predominant interpretations in the specialized literature. According to the first interpretation, computer simulations are techniques for finding the set of solutions to a mathematical model. I call this first interpretation the problem-solving technique viewpoint. In its second interpretation, computer simulations are considered to describe patterns of behavior of a target system. I call this second interpretation the description of patterns of behavior viewpoint of computer simulations. This (...) article explores these two interpretations of computer simulations from three different angles. First, I collect a series of definitions of computer simulation from the historical record. I track back definitions to the early 1960s and show how each viewpoint shares similar interpretations of computer simulations—ultimately clustering into the two viewpoints aforementioned. This reconstruction also includes the most recent literature. Second, I unpack the philosophical assumptions behind each viewpoint, with a special emphasis on their differences. Third, I discuss the philosophical implications of each viewpoint in the context of the recent discussion on the logic of scientific explanation for computer simulations. (shrink)

Previously, I (Boesch 2017) described a notion called “representational licensing”—the set of activities of scientific practice by which scientists establish the intended representational use of a vehicle. In this essay, I expand and develop this concept of representational licensing. I begin by showing how the concept is of value for both pragmatic and substantive approaches to scientific representation. Then, through the examination of a case study of the Mississippi River Basin Model, I point out and explain some of the activities (...) of representational licensing that help to establish the representational nature of this model. Throughout the exploration of the case study, I pause to identify some important lessons which apply more generally about the nature of representational licensing in science. (shrink)

How do philosophers of science make use of historical case studies? Are their accounts of historical cases purpose-built and lacking in evidential strength as a result of putting forth and discussing philosophical positions? We will study these questions through the examination of three different philosophical case studies. All of them focus on modeling and on Vito Volterra, contrasting his work to that of other theoreticians. We argue that the worries concerning the evidential role of historical case studies in philosophy are (...) partially unfounded, and the evidential and hermeneutical roles of case studies need not be played against each other. In philosophy of science, case studies are often tied to conceptual and theoretical analysis and development, rendering their evidential and theoretic/hermeneutic roles intertwined. Moreover, the problems of resituating or generalizing local knowledge are not specific to philosophy of science but commonplace in many scientific practices—which show similarities to the actual use of historical case studies by philosophers of science. (shrink)

In this chapter, we discuss a specific kind of progress that occurs in most branches of economics today: progress involving the repeated use of mathematical models. We adopt a functional account of progress to argue that progress in economics occurs through the use of what we call “common recipes” and model templates for defining and solving problems of relevance for economists. We support our argument by discussing the case of 20th century business cycle research. By presenting this case study in (...) detail, we show how model templates are not only reapplied to different phenomena. We also show how scientists first develop them and how, once they are considered less useful, they are replaced with new ones. Finally, our case also illustrates that it is not only the mathematical structure that is reused but that such reuse also requires a shared conceptual vision of the core properties of the phenomenon to be studied. If that vision is no longer shared among economists, a model template can become useless and has to be replaced, sometimes against resistance, with a different one. (shrink)

Mathematical formalisms that are constructed for inquiry in one disciplinary context are sometimes applied to another, a phenomenon that I call ‘tool migration.’ Philosophers of science have addressed the advantages of using migrated tools. In this paper, I argue that tool migration can be epistemically risky. I then develop an analytic framework for better understanding the risks that are implicit in tool migration. My approach shows that viewing mathematical constructs as tools while also acknowledging their representational features allows for a (...) balanced understanding of knowledge production that is aided by the research tools migrated across disciplinary boundaries. (shrink)

One of the most conspicuous features of contemporary modeling practices is the dissemination of mathematical and computational methods across disciplinary boundaries. We study this process through two applications of the Ising model: the Sherrington-Kirkpatrick model of spin glasses and the Hopfield model of associative memory. The Hopfield model successfully transferred some basic ideas and mathematical methods originally developed within the study of magnetic systems to the field of neuroscience. As an analytical resource we use Paul Humphreys's discussion of computational and (...) theoretical templates. We argue that model templates are crucial for the intra- and interdisciplinary theoretical transfer. A model template is an abstract conceptual idea associated with particular mathematical forms and computational methods. (shrink)