In this essay, I examine the role of dissimilarity in scientific representation. After briefly reviewing some of the philosophical literature which places a strong emphasis on the role of similarity, I turn to examine some work from Carroll and Borges which demonstrates that perfect similarity is not valuable in the representational use of maps. Expanding on this insight, I go on to argue that this shows that dissimilarity is an important part of the representational use of maps—a point I then (...) extend to the case of scientific representation. Relying on some work from Latour, I argue that dissimilarity plays an essential role in representational practice, by providing novel forms of manipulation and use which affords the achievement of various epistemic and nonepistemic aims. After showing how this point connects to some other literature on scientific representation, I discuss some examples of the value of dissimilarity in the use of representational vehicles. Overall, I argue that to understand scientific representation, we will need to consider more than just similarity. We will need to explore dissimilarities as well. (shrink)

As is well known, the late Husserl warned against the dangers of reifying and objectifying the mathematical models that operate at the heart of our physical theories. Although Husserl’s worries were mainly directed at Galilean physics, the first aim of our paper is to show that many of his critical arguments are no less relevant today. By addressing the formalism and current interpretations of quantum theory, we illustrate how topics surrounding the mathematization of nature come to the fore naturally. Our (...) second aim is to consider the program of reconstructing quantum theory, a program that currently enjoys popularity in the field of quantum foundations. We will conclude by arguing that, seen from this vantage point, certain insights delivered by phenomenology and quantum theory regarding perspectivity are remarkably concordant. Our overall hope with this paper is to show that there is much room for mutual learning between phenomenology and modern physics. (shrink)

Over the last two decades, network-focused approaches have become highly popular in diverse fields of biology, including neuroscience, ecology, molecular biology and genetics. While the network approach continues to grow very rapidly, some of its conceptual and methodological aspects still require a programmatic foundation. This challenge particularly concerns the question of whether a generalized account of explanatory, organisational and descriptive levels of networks can be applied universally across biological sciences. Consequently, the central focus of this theme issue will be on (...) the definition, motivation and application of key concepts in biological network science, such as levels, hierarchies, and explanatory directionality. A unification will be achieved by formulating norms for delimiting the distinctively network-topological class of explanations that connect general as well as very specific biological research questions. The impact of this theme issue is broad and encompassing, as it is highly interdisciplinary and opens a uniquely normative perspective on the foundational aspects of network-based explanations and modelling. This theme issue is intended to become a landmark publication for practical research as well as funding policy decisions, by unifying network approaches in biological sciences in terms of fundamental concepts and informing the public understanding of the network science. (shrink)

This paper discusses modeling from the artifactual perspective. The artifactual approach conceives models as erotetic devices. They are purpose-built systems of dependencies that are constrained in view of answering a pending scientific question, motivated by theoretical or empirical considerations. In treating models as artifacts, the artifactual approach is able to address the various languages of sciences that are overlooked by the traditional accounts that concentrate on the relationship of representation in an abstract and general manner. In contrast, the artifactual approach (...) focuses on epistemic affordances of different kinds of external representational and other tools employed in model construction. In doing so, the artifactual account gives a unified treatment of different model types as it circumvents the tendency of the fictional and other representational approaches to separate model systems from their “model descriptions”. (shrink)

Unlike any other field, the science of morality has drawn attention from an extraordinarily diverse set of disciplines. An interdisciplinary research program has formed in which economists, biologists, neuroscientists, psychologists, and even philosophers have been eager to provide answers to puzzling questions raised by the existence of human morality. Models and simulations, for a variety of reasons, have played various important roles in this endeavor. Their use, however, has sometimes been deemed as useless, trivial and inadequate. The role of models (...) in the science of morality has been vastly underappreciated. This omission shall be remedied here, offering a much more positive picture on the contributions modelers made to our understanding of morality. (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)

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract sciences. If we wish (...) to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

Models developed using machine learning are increasingly prevalent in scientific research. At the same time, these models are notoriously opaque. Explainable AI aims to mitigate the impact of opacity by rendering opaque models transparent. More than being just the solution to a problem, however, Explainable AI can also play an invaluable role in scientific exploration. This paper describes how post-hoc analytic techniques from Explainable AI can be used to refine target phenomena in medical science, to identify starting points for future (...) investigations of causal relationships, and to generate possible explanations of target phenomena in cognitive science. In this way, this paper describes how Explainable AI—over and above machine learning itself—contributes to the efficiency and scope of data-driven scientific research. (shrink)

Abstraction and idealization are the two notions that are most often discussed in the context of assumptions employed in the process of model building. These notions are also routinely used in philosophical debates such as that on the mechanistic account of explanation. Indeed, an objection to the mechanistic account has recently been formulated precisely on these grounds: mechanists cannot account for the common practice of idealizing difference-making factors in models in molecular biology. In this paper I revisit the debate and (...) I argue that the objection does not stand up to scrutiny. This is because it is riddled with a number of conceptual inconsistencies. By attempting to resolve the tensions, I also draw several general lessons regarding the difficulties of applying abstraction and idealization in scientific practice. Finally, I argue that more care is needed only when speaking of abstraction and idealization in a context in which these concepts play an important role in an argument, such as that on mechanistic explanation. (shrink)

The history of economic thought witnessed several prominent economists who took seriously models and concepts in physics for the elucidation and prediction of economic phenomena. Econophysics is an emerging discipline at the intersection of heterodox economics and the physics of complex systems, with practitioners typically engaged in two overlapping but distinct methodological programs. The first is to export mathematical methods used in physics for the purposes of studying economic phenomena. The second is to export mechanisms in physics into economics. A (...) conclusion is drawn that physics transfer is often justified at the level of mathematical transfer but unjustified at the level of mechanistic transfer. (shrink)

This article aims to answer what I call the “constitution question of engineering modeling”: in virtue of what does an engineering model model its target system? To do so, I will offer a category-theoretic, structuralist account of design, using the olog framework. Drawing on this account, I will conclude that engineering and scientific models are not only cognitively but also representationally indistinguishable. I will finally propose an axiological criterion for distinguishing scientific from engineering modeling.

In the late 1990s, computational technology had advanced sufficiently that astrophysicists were able to construct reasonably high resolution computer simulations of the Local Group of galaxies. These simulations indicated there should be around 250 small satellite galaxies orbiting the Milky Way and Andromeda. In the real Local Group, however, only around 40 satellites had been observed, and only twenty or so more have been discovered since then. Despite this discrepancy in numbers, claims have been made in recent years that the (...) ‘missing satellites problem’ has been solved. Using the examples of the constructed luminosity curve, and hydrodynamic simulations, this paper explores how simulations are used in conjunction with observation to ‘solve’ the missing satellites problem. It is suggested that the simulated universes have sufficient complexity to be understood as worlds in their own right, ones that can be measured and observed. By demonstrating that these virtual worlds are sufficiently ‘realistic’ with respect to observations, astrophysicists are able to make a robust argument for the existence of ‘dark’, non-observable astrophysical objects. Observational and simulated data are combined to demonstrate the plausibility—a term that develops more ontologically meaningful connotations—of both the existence and the maintenance of dark satellites. It is thus through the conflation of the real and virtual worlds, the blending of simulation data with empirical data, that the missing satellites problem is ‘solved’. (shrink)

In the 1960s, theoretical biologist Richard Levins criticised modellers in his own discipline of population biology for pursuing the “brute force” strategy of building hyper-realistic models. Instead of exclusively chasing complexity, Levins advocated for the use of multiple different kinds of complementary models, including much simpler ones. In this paper, I argue that the epistemic challenges Levins attributed to the brute force strategy still apply to state-of-the-art climate models today: they have big appetites for unattainable data, they are limited by (...) computational tractability, and they are incomprehensible to the human modeller. Along the lines Levins described, this uncertainty generates a trade-off between realistic, precise models with predictive power and simple, highly idealised models that facilitate understanding. In addition to building ensembles of highly complex dynamical models, climate modellers can address model uncertainty by comparing models of different types, such as dynamical and data-driven models, and by systematically comparing models at different levels of what climate modellers call the model hierarchy. Despite its age, Levins’ paper remains incredibly insightful and should be considered an important entry into the philosophy of computational modelling. (shrink)

This paper introduces and defends an account of model-based science that I dub model pluralism. I argue that despite a growing awareness in the philosophy of science literature of the multiplicity, diversity, and richness of models and modeling practices, more radical conclusions follow from this recognition than have previously been inferred. Going against the tendency within the literature to generalize from single models, I explicate and defend the following two core theses: any successful analysis of models must target sets of (...) models, their multiplicity of functions within science, and their scientific context and history and for almost any aspect x of phenomenon y, scientists require multiple models to achieve scientific goal z. (shrink)

The social sciences and humanities are fragmented into specialized areas, each with their own parlance and procedures. This hinders information sharing and the growth of a coherent body of knowledge. Modeling and simulation can be the scientific lingua franca, or shared technical language, that can unite, integrate, and relate relevant parts of these diverse disciplines.Models are well established in the scientific community as mediators, contributors, and enablers of scientific knowledge. We propose a potentially revolutionary linkage between social sciences, humanities and (...) computer simulation, forging what we call “human simulation.” We explore three facets of human simulation, namely: the simulation of humans, the design of simulations for human use, and simulations that include humans as well as simulated agents among the actors. We describe the potential of human simulation using several illuminating examples. We also discuss computational, epistemological, and hermeneutical challenges constraining the use of human simulation. (shrink)

Conceptual constructive models are a type of scientific model that can be used to construct or reshape the target phenomenon conceptually. Though it has received scant attention from the philosophers, it raises an intriguing issue of how a conceptual constructive model can construct the target phenomenon in a conceptual way. Proponents of the conception of conceptual constructive models are not being explicit about the application of the constructive force of a model in the target construction. It is far from clear (...) that how a conceptual constructive model exerts its constructive force on the constructed phenomenon of interest. Consequently, the function and the epistemic status of a conceptual constructive model are dubious at best. Making use of the conception of abstraction-as-aggregation, I argue that a conceptual constructive model can be used to construct the phenomenon of interest conceptually via a two-step process of abstraction: (1) abstracting away the lower-level details; and (2) aggregating the relevant information into a higher-level composite element. I contend that this process of abstraction, which is not playing the representational role as in a typical representational model, confers the constructive force on a model. (shrink)

Several philosophers of science claim that scientific toy models afford knowledge of possibility, but answers to the question of why toy models can be expected to competently play this role are scarce. The main line of reply is that toy models support possibility claims insofar as they are credible. I raise a challenge for this credibility-thesis, drawing on a familiar problem for imagination-based modal epistemologies, and argue that it remains unanswered in the current literature. The credibility-thesis has a long way (...) to go if it is to account for the epistemic merits of toy models. (shrink)

Philosophers of science have recently taken care to highlight different modeling practices where scientific models primarily contribute modal information, in the form of for example possibility claims, how-possibly explanations, or counterfactual conditionals. While examples abound, comparatively little attention is being paid to the question of under what conditions, and in virtue of what, models can perform this epistemic function. In this paper, we firstly delineate modal modeling from other modeling practices, and secondly reviewattempts to spell out and explain the epistemic (...) success conditions of modal modeling. The aim is to more clearly expose the respective justificatory strategies of these accounts, and secondly, to identify lacunae where further work is needed. (shrink)

Various claims regarding intertheoretic reduction, weak and strong notions of emergence, and explanatory fictions have been made in the context of first-order thermodynamic phase transitions. By appealing to John Norton’s recent distinction between approximation and idealization, I argue that the case study of anyons and fractional statistics, which has received little attention in the philosophy of science literature, is more hospitable to such claims. In doing so, I also identify three novel roles that explanatory fictions fulfill in science. Furthermore, I (...) scrutinize the claim that anyons, as they are ostensibly manifested in the fractional quantum Hall effect, are emergent entities and urge caution. Consequently, it is suggested that a particular notion of strong emergence signals the need for the development of novel physical–mathematical research programs. (shrink)

In this essay, I provide an overview of the debate on infinite and essential idealizations in physics. I will first present two ostensible examples: phase transitions and the Aharonov– Bohm effect. Then, I will describe the literature on the topic as a debate between two positions: Essentialists claim that idealizations are essential or indispensable for scientific accounts of certain physical phenomena, while dispensabilists maintain that idealizations are dispensable from mature scientific theory. I will also identify some attempts at finding a (...) middle ground between the essentialists and dispensabilists camps. Finally, I will raise questions for future research on essential and infinite idealizations via the notion of exploration. (shrink)

Two approaches to understanding the idealizations that arise in the Aharonov–Bohm effect are presented. It is argued that a common topological approach, which takes the non-simply connected electron configuration space to be an essential element in the explanation and understanding of the effect, is flawed. An alternative approach is outlined. Consequently, it is shown that the existence and uniqueness of self-adjoint extensions of symmetric operators in quantum mechanics have important implications for philosophical issues. Also, the alleged indispensable explanatory role of (...) said idealizations is examined via a minimal model explanatory scheme. Last, the idealizations involved in the AB effect are placed in a wider philosophical context via a short survey of part of the literature on infinite and essential idealizations. (shrink)

First, I answer the controversial question ’What is scientific realism?’ with extensive reference to the varied accounts of the position in the literature. Second, I provide an overview of the key developments in the debate concerning scientific realism over the past decade. Third, I provide a summary of the other contributions to this special issue.

On the basis of a case study in bioengineering, this paper proposes a novel perspective on models in science and engineering. This is done with the help of two notions: representation and design. These two notions are interpreted as referring to modeling relations between vehicles and targets that differ in their respective directions of fit. The representation relation has a vehicle-to-target direction of fit and the design relation has a target-to-vehicle direction of fit. The case study of an organ on (...) chip model illustrates that the technical device can participate in both design and representation relations. The two relations share the same relatum of the organ on chip, but they have different directions of fit. In the design relation, the chip is adjusted to a design plan, in which case we are dealing with a target-to-vehicle direction of fit. In the representation relation, the chip is adjusted to a human organ, in which case we are dealing with a vehicle-to-target direction of fit. The example shows that a conception of modeling as involving only relations with a vehicle-to-target direction of fit is too narrow to account for models in science and engineering. (shrink)

Along three measurements at the Large Hadron Collider (LHC), a high energy particle accelerator, we analyze procedures and consequences of exploratory experimentation (EE). While all of these measurements fulfill the requirements of EE: probing new parameter spaces, being void of a target theory and applying a broad range of experimental methods, we identify epistemic differences and suggest a classification of EE. We distinguish classes of EE according to their respective goals: the exploration where an established global theory cannot provide the (...) details of a local phenomenon, exploration of an astonishing discovery and exploration to find a new entity. We find that these classes also differ with respect to the existence of an identifiable target and their impact on the background theory. The characteristics distinguish EE from other kinds of experimentation, even though these different kinds have not yet been systematically studied. The formal rigor and precision of LHC physics facilitates to analyze concept formation in its early state. In particular we emphasize the importance for nil–results for conceptualization and argue that conceptualization can also be achieved from nil–results only. (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)

I analyze the exploratory function of two main modeling practices: targetless fictional models and hypothetical perspectival models. In both cases, I argue, modelers invite us to imagine or conceive something about the target system, which is known to be either nonexistent or just hypothetical. I clarify the kind of imagining or conceiving involved in each modeling practice, and I show how each—in its own right—delivers important modal knowledge. I illustrate these two kinds of exploratory models with Maxwell’s ether model and (...) supersymmetric particle models at the Large Hadron Collider. (shrink)

The goal of this article is to address the problem of inconsistent models and the challenge it poses for perspectivism. I analyze the argument, draw attention to some hidden premises behind it, and deflate them. Then I introduce the notion of perspectival models as a distinctive class of modeling practices whose primary function is exploratory. I illustrate perspectival modeling with two examples taken from contemporary high-energy physics at the Large Hadron Collider at the European Organization for Nuclear Research, which are (...) designed to show how a plurality of seemingly incompatible models is methodologically crucial to advance the realist quest in cutting-edge areas of scientific inquiry. (shrink)

Recently, philosophers and social scientists have turned their attention to the epistemological shifts provoked in established sciences by their incorporation of big data techniques. There has been less focus on the forms of epistemology proper to the investigation of algorithms themselves, understood as scientific objects in their own right. This article, based upon 12 months of ethnographic fieldwork with Russian data scientists, addresses this lack through an investigation of the specific forms of epistemic attention paid to algorithms by data scientists. (...) On the one hand, algorithms are unlike other mathematical objects in that they are not subject to disputation through deductive proof. On the other hand, unlike concrete things in the world such as particles or organisms, algorithms cannot be installed as the objects of experimental systems directly. They can only be evaluated in their functioning as components of extended computational assemblages; on their own, they are inert. As a consequence, the epistemological coding proper to this evaluation does not turn on truth and falsehood but rather on the efficiency of a given algorithmic assemblage. This article suggests that understanding the forms of algorithmic rationality employed in such inquiry is crucial for charting the place of data science within the contemporary academy and knowledge economy more generally. (shrink)

I propose a framework that explicates and distinguishes the epistemic roles of data and models within empirical inquiry through consideration of their use in scientific practice. After arguing that Suppes’ characterization of data models falls short in this respect, I discuss a case of data processing within exploratory research in plant phenotyping and use it to highlight the difference between practices aimed to make data usable as evidence and practices aimed to use data to represent a specific phenomenon. I then (...) argue that whether a set of objects functions as data or models does not depend on intrinsic differences in their physical properties, level of abstraction or the degree of human intervention involved in generating them, but rather on their distinctive roles towards identifying and characterizing the targets of investigation. The paper thus proposes a characterization of data models that builds on Suppes’ attention to data practices, without however needing to posit a fixed hierarchy of data and models or a highly exclusionary definition of data models as statistical constructs. (shrink)

Scientists appeal to models when explaining phenomena. Such explanations are often dubbed model explanations or model-based explanations. But what are the precise conditions for ME? Are ME special explanations? In our paper, we first rebut two definitions of ME and specify a more promising one. Based on this analysis, we single out a related conception that is concerned with explanations that are induced from working with a model. We call them ‘model-induced explanations’. Second, we study three paradigmatic cases of alleged (...) ME. We argue that all of them are MIE, upon closer examination. Third, we argue that this undermines the building consensus that model explanations are special explanations that, e.g., challenge the factivity of explanation. Instead, it suggests that what is special about models in science is the epistemology behind how models induce explanations. (shrink)

The epistemic value of models has traditionally been approached from a representational perspective. This paper argues that the artifactual approach evades the problem of accounting for representation and better accommodates the modal dimension of modeling. From an artifactual perspective, models are viewed as erotetic vehicles constrained by their construction and available representational tools. The modal dimension of modeling is approached through two case studies. The first portrays mathematical modeling in economics, while the other discusses the modeling practice of synthetic biology, (...) which exploits and combines models in various modes and media. Neither model intends to represent any actual target system. Rather, they are constructed to study possible mechanisms through the construction of a model system with built-in dependencies. (shrink)

This paper presents an artifactual approach to models that also addresses their fictional features. It discusses first the imaginary accounts of models and fiction that set model descriptions apart from imagined-objects, concentrating on the latter :251–268, 2010; Frigg and Nguyen in The Monist 99:225–242, 2016; Godfrey-Smith in Biol Philos 21:725–740, 2006; Philos Stud 143:101–116, 2009). While the imaginary approaches accommodate surrogative reasoning as an important characteristic of scientific modeling, they simultaneously raise difficult questions concerning how the imagined entities are related (...) to actual representational tools, and coordinated among different scientists, and with real-world phenomena. The artifactual account focuses, in contrast, on the culturally established external representational tools that enable, embody, and extend scientific imagination and reasoning. While there are commonalities between models and fictions, it is argued that the focus should be on the fictional uses of models rather than considering models as fictions. (shrink)

This paper examines two parallel discussions of scientific modeling which have invoked experimentation in addressing the role of models in scientific inquiry. One side discusses the experimental character of models, whereas the other focuses on their exploratory uses. Although both relate modeling to experimentation, they do so differently. The former has considered the similarities and differences between models and experiments, addressing, in particular, the epistemic value of materiality. By contrast, the focus on exploratory modeling has highlighted the various kinds of (...) exploratory functions of models in the early stages of inquiry. These two perspectives on modeling are discussed through a case study in the field of synthetic biology. The research practice in question explores biological control by making use of an ensemble of different epistemic means: mathematical models and simulations, synthetic genetic circuits and intracellular measuring devices, and finally electronic circuits. We argue that the study of exploratory modeling should trace the ways different epistemic means, in different materialities, are being combined over time. Finally, the epistemic status of such novel investigative objects as synthetic genetic circuits is evaluated, with the conclusion that they can function as both experiments and models. (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)

This paper aims to develop an account of the pursuitworthiness of models based on a view of models as epistemic tools. This paper is motivated by the historical question of why, in the 1960s, when many scientists hardly found QSAR models attractive, some pharmaceutical scientists pursued Quantitative Structure–Activity Relationship (QSAR) models despite the lack of potential for theoretical development or empirical success. This paper addresses this question by focusing on how models perform their heuristic functions as epistemic tools rather than (...) as potential theories. I argue that models perform their heuristic function by “constructing” phenomena from data in the sense that they allow the model users who interact with the medium of the models to recognise the phenomena as such. The constructed phenomena assist model users in identifying which conditional hypotheses that are focused on low-level regularities concerning entities such as chemical compounds are more “testworthy,” a concept that links the costs associated with hypothesis testing with the fertility of the hypothesis. (shrink)

This paper explores the relation between scientific knowledge and common sense intuitions as a complement to Hoyningen-Huene’s account of systematicity. On one hand, Hoyningen-Huene embraces continuity between these in his characterization of scientific knowledge as an extension of everyday knowledge, distinguished by an increase in systematicity. On the other, he argues that scientific knowledge often comes to deviate from common sense as science develops. Specifically, he argues that a departure from common sense is a price we may have to pay (...) for increased systematicity. I argue that to clarify the relation between common sense and scientific reasoning, more attention to the cognitive aspects of learning and doing science is needed. As a step in this direction, I explore the potential for cross-fertilization between the discussions about conceptual change in science education and philosophy of science. Particularly, I examine debates on whether common sense intuitions facilitate or impede scientific reasoning. While contending that these debates can balance some of the assumptions made by Hoyningen-Huene, I suggest that a more contextualized version of systematicity theory could supplement cognitive analysis by clarifying important organizational aspects of science. (shrink)

The aim of this paper is to grasp the relevant distinctions between various ways in which models and simulations in Artificial Intelligence (AI) relate to cognitive phenomena. In order to get a systematic picture, a taxonomy is developed that is based on the coordinates of formal versus material analogies and theory-guided versus pre-theoretic models in science. These distinctions have parallels in the computational versus mimetic aspects and in analytic versus exploratory types of computer simulation. The proposed taxonomy cuts across the (...) traditional dichotomies between symbolic and embodied AI, general intelligence and symbol and intelligence and cognitive simulation and human/non-human-like AI. -/- According to the taxonomy proposed here, one can distinguish between four distinct general approaches that figured prominently in early and classical AI, and that have partly developed into distinct research programs: first, phenomenal simulations (e.g., Turing’s “imitation game”); second, simulations that explore general-level formal isomorphisms in pursuit of a general theory of intelligence (e.g., logic-based AI); third, simulations as exploratory material models that serve to develop theoretical accounts of cognitive processes (e.g., Marr’s stages of visual processing and classical connectionism); and fourth, simulations as strictly formal models of a theory of computation that postulates cognitive processes to be isomorphic with computational processes (strong symbolic AI). -/- In continuation of pragmatic views of the modes of modeling and simulating world affairs, this taxonomy of approaches to modeling in AI helps to elucidate how available computational concepts and simulational resources contribute to the modes of representation and theory development in AI research—and what made that research program uniquely dependent on them. (shrink)

Traditional frameworks for evaluating scientific models have tended to downplay their exploratory function; instead they emphasize how models are inherently intended for specific phenomena and are to be judged by their ability to predict, reproduce, or explain empirical observations. By contrast, this paper argues that exploration should stand alongside explanation, prediction, and representation as a core function of scientific models. Thus, models often serve as starting points for future inquiry, as proofs of principle, as sources of potential explanations, and as (...) a tool for reassessing the suitability of the target system. This is illustrated by a case study of the varied career of reaction-diffusion models in the study of biological pattern formation, which was initiated by Alan Turing in a classic 1952 paper. Initially regarded as mathematically elegant, but biologically irrelevant, demonstrations of how, in principle, spontaneous pattern formation could occur in an organism, such Turing models have only recently rebounded, thanks to advances in experimental techniques and computational methods. The long-delayed vindication of Turing’s initial model, it is argued, is best explained by recognizing it as an exploratory tool. (shrink)

In this paper we examine the epistemic value of highly idealized agent-based models of social aspects of scientific inquiry. On the one hand, we argue that taking the results of such simulations as informative of actual scientific inquiry is unwarranted, at least for the class of models proposed in recent literature. Moreover, we argue that a weaker approach, which takes these models as providing only “how-possibly” explanations, does not help to improve their epistemic value. On the other hand, we suggest (...) that if ABMs of science underwent two types of robustness analysis, they could indeed have a clear epistemic function, namely by providing evidence for philosophical and historical hypotheses. In this sense, ABMs can obtain evidential and explanatory properties and thus be a useful tool for integrated history and philosophy of science. We illustrate our point with an example of a model—building on the work by Kevin Zollman—which we apply to a concrete historical case study. (shrink)

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

A recent series of experiments have demonstrated that a classical fluid mechanical system, constituted by an oil droplet bouncing on a vibrating fluid surface, can be induced to display a number of behaviours previously considered to be distinctly quantum. To explain this correspondence it has been suggested that the fluid mechanical system provides a single-particle classical model of de Broglie’s idiosyncratic ‘double solution’ pilot wave theory of quantum mechanics. In this paper we assess the epistemic function of the bouncing oil (...) droplet experiments in relation to quantum mechanics. We find that the bouncing oil droplets are best conceived as an analogue illustration of quantum phenomena, rather than an analogue simulation, and, furthermore, that their epistemic value should be understood in terms of how-possibly explanation, rather than confirmation. Analogue illustration, unlike analogue simulation, is not a form of ‘material surrogacy’, in which source empirical phenomena in a system of one kind can be understood as ‘standing in for’ target phenomena in a system of another kind. Rather, analogue illustration leverages a correspondence between certain empirical phenomena displayed by a source system and aspects of the ontology of a target system. On the one hand, this limits the potential inferential power of analogue illustrations, but, on the other, it widens their potential inferential scope. In particular, through analogue illustration we can learn, in the sense of gaining how-possibly understanding, about the putative ontology of a target system via an experiment. As such, the potential scientific value of these extraordinary experiments is undoubtedly a significant one. (shrink)

Diagrams can serve as representational models in scientific research, yet important questions remain about how they do so. I address some of these questions with a historical case study, in which diagrams were modified extensively in order to elaborate an early hypothesis of protein synthesis. The diagrams’ modelling role relied mainly on two features: diagrams were modified according to syntactic rules, which temporarily replaced physico-chemical reasoning, and diagram-to-target inferences were based on semantic interpretations. I then explore the lessons for the (...) relative roles of syntax, semantics, external marks, and mental images, for justifying diagram-to-target inferences, and for the “artefactual approach” to scientific models. (shrink)

Researchers often pursue proof of concept research, but criteria for evaluating such research remain poorly specified. This article proposes a general framework for proof of concept research that k...

In this paper I examine the epistemic function of agent-based models of scientific inquiry, proposed in the recent philosophical literature. In view of Boero and Squazzoni’s classification of ABMs into case-based models, typifications and theoretical abstractions, I argue that proposed ABMs of scientific inquiry largely belong to the last category. While this means that their function is primarily exploratory, I suggest that they are epistemically valuable not only as a temporary stage in the development of ABMs of science, but by (...) providing insights into theoretical aspects of scientific rationality. I illustrate my point with two examples of highly idealized ABMs of science, which perform two exploratory functions: Zollman’s ABM which provides a proof-of-possibility in the realm of theoretical discussions on scientific rationality, and an argumentation-based ABM, which provides insights into potential mechanisms underlying the efficiency of scientific inquiry. (shrink)

Over the last decades, network-based approaches have become highly popular in diverse fields of biology, including neuroscience, ecology, molecular biology and genetics. While these approaches continue to grow very rapidly, some of their conceptual and methodological aspects still require a programmatic foundation. This challenge particularly concerns the question of whether a generalized account of explanatory, organisational and descriptive levels of networks can be applied universally across biological sciences. To this end, this highly interdisciplinary theme issue focuses on the definition, motivation (...) and application of key concepts in biological network science, such as explanatory power of distinctively network explanations, network levels, and network hierarchies. (shrink)

Science provides us with representations of atoms, elementary particles, polymers, populations, genetic trees, economies, rational decisions, aeroplanes, earthquakes, forest fires, irrigation systems, and the world’s climate. It's through these representations that we learn about the world. This entry explores various different accounts of scientific representation, with a particular focus on how scientific models represent their target systems. As philosophers of science are increasingly acknowledging the importance, if not the primacy, of scientific models as representational units of science, it's important to (...) stress that how they represent plays a fundamental role in how we are to answer other questions in the philosophy of science. This entry begins by disentangling ‘the’ problem of scientific representation, before critically evaluating the current options available in the literature. (shrink)

This paper constitutes a radical departure from the existing philosophical literature on models, modeling-practices, and model-based science. I argue that the various entities and practices called 'models' and 'modeling-practices' are too diverse, too context-sensitive, and serve too many scientific purposes and roles, as to allow for a general philosophical analysis. From this recognition an alternative view emerges that I shall dub model anarchism.

The central question of this thesis is how one can learn about particular targets by using models of those targets. A widespread assumption is that models have to be representative models in order to foster knowledge about targets. Thus the thesis begins by examining the concept of representation from an epistemic point of view and supports an account of representation that does not distinguish between representation simpliciter and adequate representation. Representation, understood in the sense of a representative model, is regarded (...) as a success term. That is, a representative model is one relatum in a relation of adequate representation (Chapter 2). When a representative model represents a target, it allows users of this model to learn something about the target. It is argued that a representative model has this epistemic function because it shares relevant features with the target. This presupposes a similarity view of representation. Similarity views of representation face serious objections, which will be rebutted (Chapter 3). One way of spelling out a similarity view of representation is to defend an indirect view of representation. In this thesis, which does not argue for an indirect view, it is assumed that the indirect view is a good option, if not the best, for articulating the similarity view. It is demonstrated how such an indirect view can be expanded to account for cases of technological modeling. A case study in bioengineering is used to show that the indirect view of representation must acknowledge a distinction between two directions of fit in relations between vehicles and targets. In this context the notion of design is interpreted as a relation between a vehicle and a target, thereby connecting ideas from philosophy of science with ideas from philosophy of technology (Chapter 4). Fictionalist accounts of models are intended to tackle the issue of the ontology of models. In this thesis, however, two prominent fictionalist accounts are discussed from an epistemological point of view in light of the central question regarding how one can learn about targets by using models. This question is addressed from the standpoint of Waltonian fictionalism. The result of the discussion is that the two discussed Waltonian fictionalist accounts cannot sufficiently answer the question. These accounts are criticized for their inability to deliver a satisfactory epistemology of representation (Chapter 5). Although Waltonian fictionalism is criticized, the present thesis also shows that the foundational theory of Waltonian fictionalism, the theory of make-believe can nevertheless be used to account for the distinction between projections and predictions that is made by the Intergovernmental Panel on Climate Change (Chapter 6). (shrink)

There are two traditions of thinking about idealization offering almost opposite views on their functioning and epistemic status. While one tradition views idealizations as epistemic deficiencies, the other one highlights the epistemic benefits of idealization. Both of these, however, identify idealization with misrepresentation. In this article, we instead approach idealization from the artifactual perspective, comparing it to the distortion-to-reality accounts of idealization, and exemplifying it through the case of the Hodgkin and Huxley model of nerve impulse. From the artifactual perspective, (...) the epistemic benefits and deficiencies introduced by idealization frequently come in a package due to the way idealization draws together different resources in model construction. Accordingly, idealization tends to be holistic in that it is not often easily attributable to just some specific parts of the model. Instead, the idealizing process tightly embeds theoretical concepts and formal tools into the construction of a model. (shrink)