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)

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)

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)

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)

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)

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)

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)

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)

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.

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)

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)

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)

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)

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)

In this chapter, we discuss a specific kind of progress in economics, namely, progress that is pushed by the repeated use of mathematical models in most sub-branches of economics today. We adopt a functional account of progress to argue that progress in economics occurs via the use of what we call ‘common recipes’ and the use of model templates to define and solve problems of relevance for economists. We support our argument by discussing the case of twentieth-century business cycle research. (...) By presenting this case study in detail, we show how model templates are not only re-applied to different phenomena. We also show how scientists come up with them in the first place 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 re-used but that such a re-use also requires a shared conceptual vision of core properties of the phenomenon. If that vision is not shared anymore among economists, a model template can become useless and has to be replaced – sometimes through overcoming resistance – with a different one. (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)

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)

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)

This paper proposes a methodology to investigate how the conceptual structure of a model may have borrowed from an already existing model in a different field. From a reverse perspective, it amounts to hypothesizing that an already existing model was somehow transferred to a new field and incorporated into a newly constructed model with the purpose of explaining some additional phenomena. We use two well-known theoretic models, Robert Malthus’ model of human population and Darwin’s model of organism population included in (...) the theory of evolution by natural selection, to exemplify this “incorporation of a conceptual structure” methodology. By highlighting how the conceptual structure of Malthus’ model actually sits within that of Darwin’s model, we show how Darwin’s model may have been constructed, on the one hand, and how Malthus’ model may have been transferred, on the other hand. In order to show how the construction and transfer occur, we outline five epistemic strategies that could be underlying incorporation. Overall, this methodology can be viewed as a diadic and bijective perspective on models that can be applied to other similar cases, using “construction” and “transfer” as complementary handles to probe the available conceptual, structural, and historiographical material. (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)

In recent decades, several authors have claimed that an epoch-making change in the development of science is taking place. A closer examination of this claim shows that these authors take different – and problematic – concepts of an epochal break as their points of departure. In order to facilitate an evaluation of the current development of science, I would like to propose a concept of an epochal change according to which it is not necessarily a discontinuous process that typically begins (...) in a subarea of the sciences, has far-reaching consequences for the entire system of the sciences, and can be observed by contemporaries as early as during its initial phase. Taking this concept as my point of departure, I discuss various candidates for the status of an epochal transformation in the recent development of the sciences. Although there are sound reasons to doubt that an epochal break is currently taking place, one must concede that the sciences are probably in a profound transformation, which could unfold in various directions, perhaps even leading to epoch-making new characterizations of the sciences. (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)

Drug development regularly has to deal with complex circumstances on two levels: the local level of pharmacological intervention on specific target proteins, and the systems level of the effects of pharmacological intervention on the organism. Different development strategies in the recent history of early drug development can be understood as competing attempts at coming to grips with these multi-level complexities. Both rational drug design and high-throughput screening concentrate on the local level, while traditional empirical search strategies as well as recent (...) systems biology approaches focus on the systems level. The analysis of these strategies reveals serious obstacles to integrating the study of interventive and systems complexity in a systematic, methodical way. Due to some fairly general properties of biological networks and the available options for pharmaceutical intervention, drug development is captured in an obstinate methodological dilemma. It is argued that at least in typical cases, drug development therefore remains dependent on coincidence, serendipity or plain luck to bridge the gap between development methodology and actual therapeutic success. (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)

Science studies scholars of the twenty-first century have been arguing for a reconceptualization of science based on the emergence of new values and practices. Allegedly, these new norms have come from science in the context of application. However, the argument here is that science in the context of application is a phenomenon with as long and rich a history as so-called pure or basic science. Science in the context of application only appears to be new since so little light has (...) been shined on applied science by historians and philosophers of science. This article explores the consequences of reaching back into remote history seeking science in the context of application and finds that doing so helps scholars understand present day developments, as well. Three examples of historical applied science are explored: ancient Roman engineering, Enlightenment-era navigation and surveying, and American early Republic engineering. In addition, the work of I. Bernard Cohen is examined for historiographical evidence of a narrowing account of what counts as science in the post-WWII period. (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)

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)