I argue that mathematical representations can have heuristic power since their construction can be ampliative. To this end, I examine how a representation introduces elements and properties into the represented object that it does not contain at the beginning of its construction, and how it guides the manipulations of the represented object in ways that restructure its components by gradually adding new pieces of information to produce a hypothesis in order to solve a problem.In addition, I defend an ‘inferential’ approach (...) to the heuristic power of representations by arguing that these representations draw on ampliative inferences such as analogies and inductions. In effect, in order to construct a representation, we have to ‘assimilate’ diverse things, and this requires identifying similarities between them. These similarities form the basis for ampliative inferences that gradually build hypotheses to solve a problem.To support my thesis, I analyse two examples. The first one is intra-field, that is, the construction of an algebraic representation of 3-manifolds; the second is inter-fields, that is, the construction of a topological representation of DNA supercoiling. (shrink)

Computational modeling should play a central role in philosophy. In this introduction to our topical collection, we propose a small topology of computational modeling in philosophy in general, and show how the various contributions to our topical collection fit into this overall picture. On this basis, we describe some of the ways in which computational models from other disciplines have found their way into philosophy, and how the principles one found here still underlie current trends in the field. Moreover, we (...) argue that philosophers contribute to computational modeling not only by building their own models, but also by thinking about the various applications of the method in philosophy and the sciences. In this context, we note that models in philosophy are usually simple, while models in the sciences are often more complex and empirically grounded. Bridging certain methodological gaps that arise from this discrepancy may prove to be challenging and fruitful for the further development of computational modeling in philosophy and beyond. (shrink)

I argue that the appropriateness of an assertion is sensitive to context—or, really, the “common ground”—in a way that hasn’t previously been emphasized by philosophers. This kind of context-sensitivity explains why some scientific conclusions seem to be appropriately asserted even though they are not known, believed, or justified on the available evidence. I then consider other recent attempts to account for this phenomenon and argue that if they are to be successful, they need to recognize the kind of context-sensitivity that (...) I argue for. (shrink)

Despite its potential implications for the objectivity of scientific knowledge, the claim that “scientific instruments are perspectival” has received little critical attention. I show that this claim is best understood as highlighting the dependence of instruments on different perspectives. When closely analyzed, instead of constituting a novel epistemic challenge, this dependence can be exploited to mount novel strategies for resolving two old epistemic problems: conceptual relativism and theory-ladeness. The novel content of this article consists in articulating and developing these strategies (...) by introducing two fine-grained notions of perspectives as the key units of analysis: “broad perspectives” and “narrow perspectives.”. (shrink)

This groundbreaking, open access volume analyses and compares data practices across several fields through the analysis of specific cases of data journeys. It brings together leading scholars in the philosophy, history and social studies of science to achieve two goals: tracking the travel of data across different spaces, times and domains of research practice; and documenting how such journeys affect the use of data as evidence and the knowledge being produced. The volume captures the opportunities, challenges and concerns involved in (...) making data move from the sites in which they are originally produced to sites where they can be integrated with other data, analysed and re-used for a variety of purposes. The in-depth study of data journeys provides the necessary ground to examine disciplinary, geographical and historical differences and similarities in data management, processing and interpretation, thus identifying the key conditions of possibility for the widespread data sharing associated with Big and Open Data. The chapters are ordered in sections that broadly correspond to different stages of the journeys of data, from their generation to the legitimisation of their use for specific purposes. Additionally, the preface to the volume provides a variety of alternative “roadmaps” aimed to serve the different interests and entry points of readers; and the introduction provides a substantive overview of what data journeys can teach about the methods and epistemology of research. (shrink)

When radiocarbon dating techniques were applied to archaeological material in the 1950s they were hailed as a revolution. At last archaeologists could construct absolute chronologies anchored in temporal data backed by immutable laws of physics. This would make it possible to mobilize archaeological data across regions and time-periods on a global scale, rendering obsolete the local and relative chronologies on which archaeologists had long relied. As profound as the impact of 14C dating has been, it has had a long and (...) tortuous history now described as proceeding through three revolutions, each of which addresses distinct challenges of capturing, processing and packaging radiogenic data for use in resolving chronological puzzles with which archaeologists has long wrestled. In practice, mobilizing radiogenic data for archaeological use is a hard-won achievement; it involves multiple transformations that, at each step of the way, depend upon a diverse array of technical expertise and background knowledge. I focus on strategies of triangulation and traceability that establish the integrity of these data and their relevance as anchors for evidential reasoning in archaeology. (shrink)

Deep neural networks have become increasingly successful in applications from biology to cosmology to social science. Trained DNNs, moreover, correspond to models that ideally allow the prediction of new phenomena. Building in part on the literature on ‘eXplainable AI’, I here argue that these models are instrumental in a sense that makes them non-explanatory, and that their automated generation is opaque in a unique way. This combination implies the possibility of an unprecedented gap between discovery and explanation: When unsupervised models (...) are successfully used in exploratory contexts, scientists face a whole new challenge in forming the concepts required for understanding underlying mechanisms. (shrink)

The literature in agent-based social simulation suggests that a model is validated when it is shown to ‘successfully’, ‘adequately’ or ‘satisfactorily’ represent the target phenomenon. The notion of ‘successful’, ‘adequate’ or ‘satisfactory’ representation, however, is both underspecified and difficult to generalise, in part, because practitioners use a multiplicity of criteria to judge representation, some of which are not entirely dependent on the testing of a computational model during validation processes. This article argues that practitioners should address social epistemology to achieve (...) a deeper understanding of how warrants for belief in the adequacy of representation are produced. Two fundamental social processes for validation: interpretation and commensuration, are discussed to justify this claim. The analysis is advanced with a twofold aim. First, it shows that the conceptualisation of validation could greatly benefit from incorporating elements of social epistemology, for the criteria used to judge adequacy of representation are influenced by the social, cognitive and physical organisation of social simulation. Second, it evidences that standardisation tools such as protocols and frameworks fall short in accounting for key elements of social epistemology that affect different instances of validation processes. (shrink)

Even though the philosophy of simulation is intended as a comprehensive reflection about the practice of computer simulation in contemporary science, its output has been disproportionately shaped by research on equation-based simulation in the physical and climate sciences. Hence, the particularities of alternative practices of computer simulation in other scientific domains are not sufficiently accounted for in the current philosophy of simulation literature. This article centres on agent-based social simulation, a relatively established type of simulation in the social sciences, to (...) exemplify this claim. The analysis advanced has a twofold goal. First, it shows that the philosophy of agent-based social simulation, mostly developed by practitioners themselves, is, on one hand, heavily influenced by the methodological features of agent-based modelling and by the loose and fragmented character of social theory and, on the other hand, distinctively shaped by contrasting views of what it implies to do social research with virtual or artificial societies. Second, it suggests ways in which cross-fertilisation could enrich the philosophical understanding of computer simulation both in agent-based social simulation and in the philosophy of simulation. (shrink)

The philosophy of science community mourns the loss of Margaret Catherine Morrison, who passed away on January 9, 2021, after a long battle with cancer. Margie, as she was known to all who knew her, was highly regarded for her influential contributions to the philosophy of science, particularly her studies of the role of models and simulations in the natural and social sciences. These contributions made her a world-leading philosopher of science, instrumental in shifting philosophers' attention from the structure of (...) scientific theories to the practice of science. Her sophisticated studies of the function of models in scientific practice drew on detailed knowledge of the theories and experiments of physics as well as the history of physics. In emphasizing the autonomy of scientific models and their interventional character, her insights had some affinity with Cartwright's and Hacking’s views on phenomenological laws, entity realism, the instrumentalist interpretation of scientific theories, and the disunity of science. But Morrison’s approach was distinguished by the conviction that the existence of unobservable entities cannot be defended independently of the theories that support their evidence, and that scientific practice cannot be adequately understood without examining the reasons for theory unification. (shrink)

What are scientific models? Philosophers of science have been trying to answer this question during the last three decades by putting forward a number of different proposals. Some say that models are best understood as abstract Platonic objects or fictional entities akin to Sherlock Holmes, while others focus on their mathematical nature and see them as set theoretical structures. Although each account has its own strengths in offering various insights on the nature of models, several objections have been raised against (...) these views which still remain unanswered, making the debate on the ontology of models seem unresolvable. The primary aim of this paper is to show that a large part of these difficulties stems from an inappropriate reading of the main question on the ontology of models as a purely metaphysical question. Building on Carnap, it is argued that the question of the ontology of scientific models is either an internal theoretical question within an already accepted linguistic framework or an external practical question regarding the choice of the most appropriate form of language in order to describe and explain the practice of scientific modelling. The main implication of this view is that the question of the ontology of models becomes a means of probing other related questions regarding the overall practice of scientific modelling, such as questions on the capacity of models to provide knowledge and the relation of models with background theories. (shrink)

Many philosophical accounts of scientific models fail to distinguish between a simulation model and other forms of models. This failure is unfortunate because there are important differences pertaining to their methodology and epistemology that favor their philosophical understanding. The core claim presented here is that simulation models are rich and complex units of analysis in their own right, that they depart from known forms of scientific models in significant ways, and that a proper understanding of the type of model simulations (...) are fundamental for their philosophical assessment. I argue that simulation models can be distinguished from other forms of models by the many algorithmic structures, representation relations, and new semantic connections involved in their architecture. In this article, I reconstruct a general architecture for a simulation model, one that faithfully captures the complexities involved in most scientific research with computer simulations. Furthermore, I submit that a new methodology capable of conforming such architecture into a fully functional, computationally tractable computer simulation must be in place. I discuss this methodology—what I call recasting—and argue for its philosophical novelty. If these efforts are heading towards the right interpretation of simulation models, then one can show that computer simulations shed new light on the philosophy of science. To illustrate the potential of my interpretation of simulation models, I briefly discuss simulation-based explanations as a novel approach to questions about scientific explanation. (shrink)

According to the hierarchy of models account of scientific experimentation developed by Patrick Suppes and elaborated by Deborah Mayo, theoretical considerations about the phenomena of interest are involved in an experiment through theoretical models that in turn relate to experimental data through data models, via the linkage of experimental models. In this paper, I dispute the HoM account in the context of present-day high-energy physics experiments. I argue that even though the HoM account aims to characterize experimentation as a model-based (...) activity, it does not involve a modeling concept for the process of data acquisition, and it thus fails to provide a model-based characterization of the theory-experiment relationship underlying this process. In order to characterize the foregoing relationship, I propose the concept of a model of data acquisition and illustrate it in the case of the ATLAS experiment at CERN’s Large Hadron Collider, where the Higgs boson was discovered in 2012. I show that the process of data acquisition in the ATLAS experiment is performed according to a model of data acquisition that specifies and organizes the experimental procedures necessary to select the data according to a predetermined set of selection criteria. I also point out that this data acquisition model is theory-laden, in the sense that the underlying data selection criteria are determined by considering the testable predictions of the theoretical models that the ATLAS experiment is aimed to test. I take this sense of theory-ladenness to indicate that the relationship between the procedures of the ATLAS experiment and the theoretical models of the phenomena of interest is first established, prior to the formation of data models, through the data acquisition model of the experiment, thus not requiring the intermediary of other types of models as suggested by the HoM account. I therefore conclude that in the context of present-day HEP experiments, the HoM account does not consistently extend to the process of data acquisition so as to include models of data acquisition. (shrink)

Several philosophical issues in connection with computer simulations rely on the assumption that results of simulations are trustworthy. Examples of these include the debate on the experimental role of computer simulations :483–496, 2009; Morrison in Philos Stud 143:33–57, 2009), the nature of computer data Computer simulations and the changing face of scientific experimentation, Cambridge Scholars Publishing, Barcelona, 2013; Humphreys, in: Durán, Arnold Computer simulations and the changing face of scientific experimentation, Cambridge Scholars Publishing, Barcelona, 2013), and the explanatory power of (...) computer simulations :277–292, 2008; Durán in Int Stud Philos Sci 31:27–45, 2017). The aim of this article is to show that these authors are right in assuming that results of computer simulations are to be trusted when computer simulations are reliable processes. After a short reconstruction of the problem of epistemic opacity, the article elaborates extensively on computational reliabilism, a specified form of process reliabilism with computer simulations located at the center. The article ends with a discussion of four sources for computational reliabilism, namely, verification and validation, robustness analysis for computer simulations, a history of successful implementations, and the role of expert knowledge in simulations. (shrink)

This book addresses key conceptual issues relating to the modern scientific and engineering use of computer simulations. It analyses a broad set of questions, from the nature of computer simulations to their epistemological power, including the many scientific, social and ethics implications of using computer simulations. The book is written in an easily accessible narrative, one that weaves together philosophical questions and scientific technicalities. It will thus appeal equally to all academic scientists, engineers, and researchers in industry interested in questions (...) related to the general practice of computer simulations. (shrink)

While the relation between visualization and scientific understanding has been a topic of long-standing discussion, recent developments in physics have pushed the boundaries of this debate to new and still unexplored realms. For it is claimed that, in certain theories of quantum gravity, spacetime ‘disappears’: and this suggests that one may have sensible physical theories in which spacetime is completely absent. This makes the philosophical question whether such theories are intelligible, even more pressing. And if such theories are intelligible, the (...) question then is how they manage to do so. In this paper, we adapt the contextual theory of scientific understanding, developed by one of us, to fit the novel challenges posed by physical theories without spacetime. We construe understanding as a matter of skill rather than just knowledge. The appeal is thus to understanding, rather than explanation, because we will be concerned with the tools that scientists have at their disposal for understanding these theories. Our central thesis is that such physical theories can provide scientific understanding, and that such understanding does not require spacetimes of any sort. Our argument consists of four consecutive steps: We argue, from the general theory of scientific understanding, that although visualization is an oft-used tool for understanding, it is not a necessary condition for it; we criticise certain metaphysical preconceptions which can stand in the way of recognising how intelligibility without spacetime can be had; we catalogue tools for rendering theories without a spacetime intelligible; and we give examples of cases in which understanding is attained without a spacetime, and explain what kind of understanding these examples provide. (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)

In silico medicine is still forging a road for itself in the current biomedical landscape. Discursively and rhetorically, it is using a three-way positioning, first, deploying discourses of personalised medicine, second, extending the 3Rs from animal to clinical research, and third, aligning its methods with experimental methods. The discursive and rhetorical positioning in promotions and statements of the programme gives us insight into the sociability of the scientific labour of advancing the programme. Its progress depends on complex social, institutional and (...) technological conditions which are not external to its epistemology, but intricately interwoven with it. This article sets out to show that this is the case through an analysis of the process of computational modelling that is at the core of its epistemology. In this paper I show that the very notion of ‘model’ needs to be re-thought for in silico medicine, and propose a replacement, in the form of the ‘Model-Simulation-Experiment-System’ or MSE-system, which is simultaneously an epistemological, social and technological system. I argue that the MSE-system is radically mediated by social relations, technologies and symbolic systems. We need now to understand how such mediations operate effectively in the construction of robust MSE-systems. (shrink)

"The term 'model' has become fashionable". What Mary Hesse characterized in the mid-1960s as a trend in logic, mathematics, and the natural sciences, applies today in general for a broad spectrum of disciplines. Today models appear to be of "extraordinary importance" compared to the first half of the twentieth century, when models were neither mentioned nor contemplated, either generally in scientific publications or specifically in the philosophy of science. It is even assumed that models are "the key to science" and (...) that today's science is largely... (shrink)

Reports of quantitative experimental results often distinguish between the statistical uncertainty and the systematic uncertainty that characterize measurement outcomes. This article discusses the practice of estimating systematic uncertainty in high-energy physics. The estimation of systematic uncertainty in HEP should be understood as a minimal form of quantitative robustness analysis. The secure evidence framework is used to explain the epistemic significance of robustness analysis. However, the empirical value of a measurement result depends crucially not only on the resulting systematic uncertainty estimate, (...) but on the learning aims for which that result will be used. Important conceptual and practical questions regarding systematic uncertainty assessment call for further investigation. _1_ Introduction _2_ Systematic Uncertainty: The Very Idea _3_ Systematic Uncertainty in High-Energy Physics _4_ Methodological Debates in High-Energy Physics _5_ The Secure Evidence Framework _6_ Systematic Uncertainty Assessment as Robustness Analysis _7_ Security and Sensitivity _8_ Conclusion Appendix. (shrink)

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

We introduce a novel point of view on the “models as mediators” framework in order to emphasize certain important epistemological questions about models in science which have so far been little investigated. To illustrate how this perspective can help answer these kinds of questions, we explore the use of simplified models in high energy physics research beyond the Standard Model. We show in detail how the construction of simplified models is grounded in the need to mitigate pressing epistemic problems concerning (...) the uncertainty inherent in the present theoretical and experimental contexts. (shrink)

In this paper, I first argue against various attempts to justify idealizations in scientific models that explain by showing that they are harmless and isolable distortions of irrelevant features. In response, I propose a view in which idealized models are characterized as providing holistically distorted representations of their target system. I then suggest an alternative way that idealized modeling can be justified by appealing to universality.

According to the hierarchy of models (HoM) account of scientific experimentation developed by Patrick Suppes and elaborated by Deborah Mayo, theoretical considerations about the phenomena of interest are involved in an experiment through theoretical models that in turn relate to experimental data through data models, via the linkage of experimental models. In this paper, I dispute the HoM account in the context of present-day high-energy physics (HEP) experiments. I argue that even though the HoM account aims to characterize experimentation as (...) a model-based activity, it does not involve a modeling concept for the process of data acquisition, and it thus fails to provide a model-based characterization of the theory-experiment relationship underlying this process. In order to characterize the foregoing relationship, I propose the concept of a model of data acquisition and illustrate it in the case of the ATLAS experiment at CERN’s Large Hadron Collider, where the Higgs boson was discovered in 2012. I show that the process of data acquisition in the ATLAS experiment is performed according to a model of data acquisition that specifies and organizes the experimental procedures necessary to select the data according to a predetermined set of selection criteria. I also point out that this data acquisition model is theory-laden, in the sense that the underlying data selection criteria are determined by considering the testable predictions of the theoretical models that the ATLAS experiment is aimed to test. I take this sense of theory-ladenness to indicate that the relationship between the procedures of the ATLAS experiment and the theoretical models of the phenomena of interest is first established, prior to the formation of data models, through the data acquisition model of the experiment, thus not requiring the intermediary of other types of models as suggested by the HoM account. I therefore conclude that in the context of present-day HEP experiments, the HoM account does not consistently extend to the process of data acquisition so as to include models of data acquisition. (shrink)

In this paper, I propose an account that accommodates the possibility of experimentation being exploratory in cases where the procedures necessary to plan and perform an experiment are dependent on the theoretical accounts of the phenomena under investigation. The present account suggests that experimental exploration requires the implementation of an exploratory procedure that serves to extend the range of possible outcomes of an experiment, thereby enabling it to pursue its objectives. Furthermore, I argue that the present account subsumes the notion (...) of exploratory experimentation, which is often attributed in the relevant literature to the works of Friedrich Steinle and Richard Burian, as a particular type of experimental exploration carried out in the special cases where no well-formed theoretical framework of the phenomena under investigation exists. I illustrate the present account in the context of the ATLAS experiment at CERN’s Large Hadron Collider, where the long-sought Higgs boson has been discovered in 2012. I argue that the data selection procedure carried out in the ATLAS experiment illustrates an exploratory procedure in the sense suggested by the present account. I point out that this particular data selection procedure is theory-laden in that its implementation is crucially dependent on the theoretical models of high energy particle physics which the ATLAS experiment is aimed to test. However, I argue that the foregoing procedure is not driven by the above-mentioned theoretical models, but rather by a particular data selection strategy. I conclude that the ATLAS experiment illustrates that, contrary to what previous studies have suggested, there are cases of experimentation in which exploration serves to test theoretical predictions and that theory-ladenness plays an essential role in experimentation being exploratory. (shrink)

In this paper, I address the issue of scientific modelling in contemporary linguistics, focusing on the generative tradition. In so doing, I identify two common varieties of linguistic idealisation, which I call determination and isolation respectively. I argue that these distinct types of idealisation can both be described within the remit of Weisberg’s :639–659, 2007) minimalist idealisation strategy in the sciences. Following a line set by Blutner :27–35, 2011), I propose this minimalist idealisation analysis for a broad construal of the (...) generative linguistic programme and thus cite examples from a wide range of linguistic frameworks including early generative syntax, Minimalism, the parallel architecture and optimality theory. Lastly, I claim that from a modelling perspective, the dynamic turn in syntax can be explained as a continuation, as opposed to a marked shift, of the generative modelling paradigm. Seen in this light, my proposal is an even broader construal of the generative tradition, along scientific modelling lines. Thus, I offer a lens through which to appreciate the scientific contribution of generative grammar, amid an increased resistance to some of its core theoretical posits, in terms of a brand of structural realism in the philosophy of science and specifically scientific modelling. (shrink)

Climate scientists often apply statistical tools to a set of different estimates generated by an “ensemble” of models. In this paper, I argue that the resulting inferences are justified in the same way as any other statistical inference: what must be demonstrated is that the statistical model that licenses the inferences accurately represents the probabilistic relationship between data and target. This view of statistical practice is appropriately termed “model-based,” and I examine the use of statistics in climate fingerprinting to show (...) how the difficulties that climate scientists encounter in applying statistics to ensemble-generated data are the practical difficulties of normal statistical practice. The upshot is that whether the application of statistics to ensemble-generated data yields trustworthy results should be expected to vary from case to case. (shrink)

Both ecologists and statistical physicists use a variety of highly idealized models to study active matter and self-organizing critical phenomena. In this paper, I show how universality classes play a crucial role in justifying the application of highly idealized ‘minimal’ models to explain and understand the critical behaviors of active matter systems across a wide range of scales and scientific fields. Appealing to universality enables us to see why the same minimal models can be used to explain and understand behaviors (...) across these different systems despite drastic differences in the causes and mechanisms responsible for the behaviors of interest. After analyzing these cases in detail, I argue that accounts that focus on identifying common causes or mechanisms in order to explain patterns are unable to accommodate these cases. In contrast, I argue that the justification for using these minimal models is that they are within the same universality class as real systems whose causes and mechanisms are known to be different. I also use these cases to identify several different kinds of explanatory autonomy that have important implications for how scientists ought to approach the modeling of multiscale phenomena. (shrink)

A powerful idea put forward in the recent philosophy of science literature is that scientific models are best understood as instruments, tools or, more generally, artifacts. This idea has thus far been developed in combination with the more traditional representational approach: accordingly, current artifactualist accounts treat models as representational tools. But artifactualism and representationalism are independent views, and adopting one does not require acceptance of the other. This paper argues that a leaner version of artifactualism, free of representationalist assumptions, is (...) both desirable and viable. Taking seriously the idea that models are artifacts can help us philosophically to make sense of how and why scientific modeling works even without reference to representation. (shrink)

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

Computational modeling should play a central role in philosophy. In this introduction to our topical collection, we propose a small topology of computational modeling in philosophy in general, and show how the various contributions to our topical collection ft into this overall picture. On this basis, we describe some of the ways in which computational models from other disciplines have found their way into philosophy, and how the principles one found here still underlie current trends in the feld. Moreover, we (...) argue that philosophers contribute to computational modeling not only by building their own models, but also by thinking about the various applications of the method in philosophy and the sciences. In this context, we note that models in philosophy are usually simple, while models in the sciences are often more complex and empirically grounded. Bridging certain methodological gaps that arise from this discrepancy may prove to be challenging and fruitful for the further development of computational modeling in philosophy and beyond. (shrink)

Generative models have been proposed as a new type of non-representational scientific models recently. A generative model is characterized with the capacity of producing new models on the basis of the existing one. The current accounts do not explain sufficiently the mechanism of the generative capacity of a generative model. I attempt to accomplish this task in this paper. I outline two antecedent accounts of generative models. I point out that both types of generative models function to generate new homogenous (...) models in the sense that the latter is a straightforward derivative of the former, both of which share many similar features. Unfortunately, both accounts are implicit about the generative capacity of generative models. Using a case study, I articulate that a two-staged process of abstraction and idealization in modeling may contribute to the generative capacity of a scientific model. I also demonstrate that this two-staged process may go beyond the capacity of generating new homogenous models to generating new heterogeneous models. (shrink)

While the relation between visualization and scientific understanding has been a topic of long-standing discussion, recent developments in physics have pushed the boundaries of this debate to new and still unexplored realms. For it is claimed that, in certain theories of quantum gravity, spacetime ‘disappears’: and this suggests that one may have sensible physical theories in which spacetime is completely absent. This makes the philosophical question whether such theories are intelligible, even more pressing. And if such theories are intelligible, the (...) question then is how they manage to do so. In this paper, we adapt the contextual theory of scientific understanding, developed by one of us, to fit the novel challenges posed by physical theories without spacetime. We construe understanding as a matter of skill rather than just knowledge. The appeal is thus to understanding, rather than explanation, because we will be concerned with the tools that scientists have at their disposal for understanding these theories. Our central thesis is that such physical theories can provide scientific understanding, and that such understanding does not require spacetimes of any sort. Our argument consists of four consecutive steps: (a) We argue, from the general theory of scientific understanding, that although visualization is an oft-used tool for understanding, it is not a necessary condition for it; (b) we criticise certain metaphysical preconceptions which can stand in the way of recognising how intelligibility without spacetime can be had; (c) we catalogue tools for rendering theories without a spacetime intelligible; and (d) we give examples of cases in which understanding is attained without a spacetime, and explain what kind of understanding these examples provide. (shrink)

Pierre Duhem’s influential argument for holism relies on a view of the role that background theory plays in testing: according to this still common account of “auxiliary hypotheses,” elements of background theory serve as truth-apt premises in arguments for or against a hypothesis. I argue that this view is mistaken. Rather than serving as truth-apt premises in arguments, auxiliary hypotheses are employed as “epistemic tools”: instruments that perform specific tasks in connecting our theoretical questions with the world but that are (...) not premises in arguments. On the resulting picture, the acceptability of an auxiliary hypothesis depends not on its truth but on contextual factors such as the task or purpose it is put to and the other tools employed alongside it. (shrink)

ion is one of the important processes in scientific modeling. It has always been implied that abstraction is an agent-centric activity that involves the cognitive processes of scientists in model building. I contend that there is an autonomous aspect of abstraction in many modeling activities. I argue that the autonomous process of abstraction is continuous with the agent-centric abstraction but capable of evolving independently from the modeler’s abstraction activity.

Representationalism—the view that scientific modeling is best understood in representational terms—is the received view in contemporary philosophy of science. Contributions to this literature have focused on a number of puzzles concerning the nature of representation and the epistemic role of misrepresentation, without considering whether these puzzles are the product of an inadequate analytical framework. The goal of this paper is to suggest that this possibility should be taken seriously. The argument has two parts, employing the “can’t have” and “don’t need” (...) tactics drawn from philosophy of mind. On the one hand, I propose that representationalism doesn’t work: different ways to flesh out representationalism create a tension between its ontological and epistemological components and thereby undermine the view. On the other hand, I propose that representationalism is not needed in the first place—a position I articulate based on a pragmatic stance on the success of scientific research and on the feasibility of alternative philosophical frameworks. I conclude that representationalism is untenable and unnecessary, a philosophical dead end. A new way of thinking is called for if we are to make progress in our understanding of scientific modeling. (shrink)

Una imagen muy generalizada a la hora de entender el software de computador es la que lo representa como una “caja negra”: no importa realmente saber qué partes lo componen internamente, sino qué resultados se obtienen de él según ciertos valores de entrada. Al hacer esto, muchos problemas filosóficos son ocultados, negados o simplemente mal entendidos. Este artículo discute tres unidades de análisis del software de computador, esto es, las especificaciones, los algoritmos y los procesos computacionales. El objetivo central es (...) entender las prácticas cientficas e ingenieriles detrás de cada unidad de software, así como analizar su metodología, ontología y epistemología. (shrink)

If well-designed, the results of a Randomised Clinical Trial can justify a causal claim between treatment and effect in the study population; however, additional information might be needed to carry over this result to another population. RCTs have been criticized exactly on grounds of failing to provide this sort of information Evidence, inference and enquiry. Oxford University Press, New York, 2011), as well as to black-box important details regarding the mechanisms underpinning the causal law instantiated by the RCT result. On (...) the other side, so-called In Silico Clinical Trials face the same criticisms addressed against standard modelling and simulation techniques, and cannot be equated to experiments Philosophy of molecular medicine: foundational issues in research and practice, Routledge, New York, 2017; Parker in Synthese 169:483–496, 2009; Parke in Philos Sci 81:516–536, 2014; Diez Roux in Am J Epidemiol 181:100–102, 2015 and related discussions in Frigg and Reiss in Synthese 169:593–613, 2009; Winsberg in Synthese 169:575–592, 2009; Beisbart and Norton in Int Stud Philos Sci 26:403–422, 2012). We undertake a formal analysis of both methods in order to identify their distinct contribution to causal inference in the clinical setting. Britton et al.’s study :E2098–E2105, 2013) on the impact of ion current variability on cardiac electrophysiology is used for illustrative purposes. We deduce that, by predicting variability through interpolation, ISCTs aid with problems regarding extrapolation of RCTs results, and therefore in assessing their external validity. Furthermore, ISCTs can be said to encode “thick” causal knowledge —as opposed to “thin” difference-making information inferred from RCTs. Hence, ISCTs and RCTs cannot replace one another but rather, they are complementary in that the former provide information about the determinants of variability of causal effects, while the latter can, under certain conditions, establish causality in the first place. (shrink)

The inclusion of the practice of “developing and using models” in the Framework for K-12 Science Education and in the Next Generation Science Standards provides an opportunity for educators to examine the role this practice plays in science and how it can be leveraged in a science classroom. Drawing on conceptions of models in the philosophy of science, we bring forward an agent-based account of models and discuss the implications of this view for enacting modeling in science classrooms. Models, according (...) to this account, can only be understood with respect to the aims and intentions of a cognitive agent, not solely in terms of how they represent phenomena in the world. We present this contrast as a heuristic—models of versus models for—that can be used to help educators notice and interpret how models are positioned in standards, curriculum, and classrooms. (shrink)

In this essay, I first consider a popular view of models and modeling, the similarity view. Second, I contend that arguments for it fail and it suffers from what I call “Hughes’ worry.” Third, I offer a deflationary approach to models and modeling that avoids Hughes’ worry and shows how scientific representations are of apiece with other types of representations. Finally, I consider an objection that the similarity view can deal with approximations better than the deflationary view and show that (...) this is not so. (shrink)

There are many tangled normative and technical questions involved in evaluating the quality of software used in epidemiological simulations. In this paper we answer some of these questions and offer practical guidance to practitioners, funders, scientific journals, and consumers of epidemiological research. The heart of our paper is a case study of the Imperial College London covid-19 simulator, set in the context of recent work in epistemology of simulation and philosophy of epidemiology.

In this paper, we pursue three general aims: (I) We will define a notion of fundamental opacity and ask whether it can be found in High Energy Physics (HEP), given the involvement of machine learning (ML) and computer simulations (CS) therein. (II) We identify two kinds of non-fundamental, contingent opacity associated with CS and ML in HEP respectively, and ask whether, and if so how, they may be overcome. (III) We address the question of whether any kind of opacity, contingent (...) or fundamental, is unique to ML or CS, or whether they stand in continuity to kinds of opacity associated with other scientific research. (shrink)

It is assumed that scientific models contain no superfluous model elements in scientific representation. A representational model is constructed with all the model elements serving the representational purpose. The received view has it that there are no redundant model elements which are non-representational. Contrary to this received view, I argue that there exist some non-representational model elements which are essential in scientific representation. I call them representation-supporting model elements in virtue of the fact that they play the role to support (...) the representational role of representational model elements. Representation-supporting model elements, which have a characteristic of dependability, are not to be eliminated in the process of modeling although they are playing second fiddle to representational model elements in scientific representation. (shrink)

This paper presents an account of how to evaluate formal models of science: models and simulations in social epistemology designed to draw normative conclusions about the social structure of scientific research. I argue that such models should be evaluated according to their representational and predictive accuracy. Using these criteria and comparisons with familiar models from science, I argue that most formal models of science are incapable of supporting normative conclusions.

Margaret Morrison, (2015) Reconstructing Reality: Models, Mathematics, and Simulations. Oxford University Press, New York. -/- Scientific models, mathematical equations, and computer simulations are indispensable to scientific practice. Through the use of models, scientists are able to effectively learn about how the world works, and to discover new information. However, there is a challenge in understanding how scientists can generate knowledge from their use, stemming from the fact that models and computer simulations are necessarily incomplete representations, and partial descriptions, of their (...) target systems. In order to construct a model, one must make idealizations, approximations, and abstractions. Given these constraints in constructing models, there is a question of whether they can provide new insight into how real systems actually work. So, how is it that highly abstract models inform us about the nature of the world, and more specifically, how do they provide explanatory knowledge? In Reconstructing Reality: Models, Mathematics, and Simulations, philosopher Margaret Morrison undertakes this task of ... (shrink)

I argue that we cannot adequately characterize idealization and abstraction and the distinction between the two on the grounds that they have distinct semantic properties. By doing so, on the one hand, we focus on the conceptual products of the two processes in making the distinction and we overlook the importance of the nature of the thought processes that underlie model-simplifying assumptions. On the other hand, we implicitly rely on a sense of abstraction as subtraction, which is unsuitable for explicating (...) scientific model construction. Instead, I argue that a sense of abstraction as extraction is more suitable. Finally, I suggest a different way to distinguish the two processes that avoids these problems. Namely, that both idealization and abstraction could be understood as particular modes of application of the same cognitive process: selective attention. (shrink)

This paper analyses the anti-reductionist argument from renormalisation group explanations of universality, and shows how it can be rebutted if one assumes that the explanation in question is captured by the counterfactual dependence account of explanation.