The picture of synthetic biology as a kind of engineering science has largely created the public understanding of this novel field, covering both its promises and risks. In this paper, we will argue that the actual situation is more nuanced and complex. Synthetic biology is a highly interdisciplinary field of research located at the interface of physics, chemistry, biology, and computational science. All of these fields provide concepts, metaphors, mathematical tools, and models, which are typically utilized by synthetic biologists by (...) drawing analogies between the different fields of inquiry. We will study analogical reasoning in synthetic biology through the emergence of the functional meaning of noise, which marks an important shift in how engineering concepts are employed in this field. The notion of noise serves also to highlight the differences between the two branches of synthetic biology: the basic science-oriented branch and the engineering-oriented branch, which differ from each other in the way they draw analogies to various other fields of study. Moreover, we show that fixing the mapping between a source domain and the target domain seems not to be the goal of analogical reasoning in actual scientific practice. (shrink)

This inaugural handbook documents the distinctive research field that utilizes history and philosophy in investigation of theoretical, curricular and pedagogical issues in the teaching of science and mathematics. It is contributed to by 130 researchers from 30 countries; it provides a logically structured, fully referenced guide to the ways in which science and mathematics education is, informed by the history and philosophy of these disciplines, as well as by the philosophy of education more generally. The first handbook to cover the (...) field, it lays down a much-needed marker of progress to date and provides a platform for informed and coherent future analysis and research of the subject. -/- The publication comes at a time of heightened worldwide concern over the standard of science and mathematics education, attended by fierce debate over how best to reform curricula and enliven student engagement in the subjects There is a growing recognition among educators and policy makers that the learning of science must dovetail with learning about science; this handbook is uniquely positioned as a locus for the discussion. -/- The handbook features sections on pedagogical, theoretical, national, and biographical research, setting the literature of each tradition in its historical context. Each chapter engages in an assessment of the strengths and weakness of the research addressed, and suggests potentially fruitful avenues of future research. A key element of the handbook’s broader analytical framework is its identification and examination of unnoticed philosophical assumptions in science and mathematics research. It reminds readers at a crucial juncture that there has been a long and rich tradition of historical and philosophical engagements with science and mathematics teaching, and that lessons can be learnt from these engagements for the resolution of current theoretical, curricular and pedagogical questions that face teachers and administrators. (shrink)

One important debate between scientific realists and constructive empiricists concerns whether we observe things using instruments. This paper offers a new perspective on the debate over instruments by looking to recent discussion in philosophy of mind and cognitive science. Realists often speak of instruments as ‘extensions’ to our senses. I ask whether the realist may strengthen her view by drawing on the extended mind thesis. Proponents of the extended mind thesis claim that cognitive processes can sometimes extend beyond our brains (...) and bodies into the environment. I suggest that the extended mind thesis offers a way to make sense of realists’ talk of instruments as extensions to the senses and that it provides the realist with a new argument against the constructive empiricist view of instruments. (shrink)

The five studies of this special section investigate the role of models and similar representational tools in interdisciplinarity. These studies were all written by philosophers of science, who focused on interdisciplinary episodes between disciplines and sub-disciplines ranging from physics, chemistry and biology to the computational sciences, sociology and economics. The reasons we present these divergent studies in a collective form are three. First, we want to establish model-exchange as a kind of interdisciplinary event. The five case studies, which are summarized (...) in Section 2 below, show the relevance of this kind. Arguing for the relative unity of these cases will, we hope, re-orient the current debate over interdisciplinarity so as to reflect more appropriately the importance of this kind. We discuss our view of the current state of the debate in Section 3. The evidence from these cases also helps us to develop a taxonomy of interdisciplinary model exchanges in Section 4da taxonomy, we would like to add, that might be useful for the discussion of interdisciplinary exchanges beyond the context of models and their transfer. The second reason for presenting these studies together is that they provide an important source of evidence for the philosophy of science. Over the last three decades, philosophy of science has increasingly differentiated into philosophies of various disciplines. This differentiation in our view has greatly increased our understanding of the scientific practices of the respective disciplines, including the epistemological and methodological standards and conventions on which these practices are based and by which they are evaluated. But it has also made it harder to compare these practices and standards across disciplines. The studies we present here are case studies of interdisciplinary exchange: they focus on the transfer, collaborative construction or parallel use of models and similar representational tools. They therefore provide a unique opportunity to investigate various disciplinary treatments of the same or at least similar representational tools. This allows the identification and comparison of different disciplinary practices and their underlying conventions as well as of the respective normative standards of their evaluation. By tracing the paths along which models travel between disciplines and research fields we can observe to which extent discipline-external practices associated with an adopted tool are retained or replaced by disciplineinternal practices. This generates invaluable information about both disciplinarity and interdisciplinarity. We develop this argument further in Section 5. The third reason for presenting these studies in collective form is that their philosophical analysis also has important normative implications for the notion of interdisciplinarity itself. Too often in the current (non-philosophical) discourse is interdisciplinarity cast as an exclusively integrative project: interdisciplinary exchange is often claimed to be successful only if the involved disciplines become mutually more integrated as a consequence of this process. In contrast to this, many of the cases presented here show that interdisciplinary exchange can be scientifically highly successful, even if at the end of the exchange disciplinary borders remain fully intact. Indeed, borders can be fruitfully crossed without any integration across these borders. Such considerations of divergence in scientific practices and tools offer arguments against a naïve plea for unitarian or non-pluralist versions of interdisciplinarity. Disciplinary divergences may have their justifications, and attempting exchanges that require the reduction of these divergences may consequently not be justified. We pursue this argument further in Section 6. (shrink)

Computer simulations are widely used in current scientific practice, as a tool to obtain information about various phenomena. Scientists accordingly rely on the outputs of computer simulations to make statements about the empirical world. In that sense, simulations seem to enable scientists to acquire empirical knowledge. The aim of this paper is to assess whether computer simulations actually allow for the production of empirical knowledge, and how. It provides an epistemological analysis of present-day empirical science, to which the traditional epistemological (...) categories cannot apply in any simple way. Our strategy consists in acknowledging the complexity of scientific practice, and trying to assess its rationality. Hence, while we are careful not to abstract away from the details of scientific practice, our approach is not strictly descriptive: our goal is to state in what conditions empirical science can rely on computer simulations. In order to do so, we need to adopt a renewed epistemological framework, whose categories would enable us to give a finer-grained, and better-fitted analysis of the rationality of scientific practice. (shrink)

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

Der Begriff ‘Modell’ leitet sich vom Lateinischen ‘modulus’ (das Maß) ab, im Italienischen existiert seit dem 16. Jh. ‘modello’ und R. Descartes verwendet im 17. Jh. ‘modèlle’. Während der Begriff in Architektur und Kunst schon seit der Renaissance gängig ist, wird er in den Naturwissenschaften erst im 19. Jh. verwendet.1 Dort greifen wissenschaftliche Modelle die für eine gegebene Problemstellung als wesentlich erachteten Charakteristika (Eigenschaften, Beziehungen, etc.) eines Untersuchungsgegenstandes heraus und machen diesen so einem Verständnis bzw. einer weiterführenden Untersuchung zugänglich. Es (...) ist üblich, zwischen Skalenmodellen, Analogmodellen und theoretischen Modellen zu unterscheiden. (shrink)

This paper proposes an extensionalist analysis of computer simulations (CSs). It puts the emphasis not on languages nor on models, but on symbols, on their extensions, and on their various ways of referring. It shows that chains of reference of symbols in CSs are multiple and of different kinds. As they are distinct and diverse, these chains enable different kinds of remoteness of reference and different kinds of validation for CSs. Although some methodological papers have already underlined the role of (...) these various relationships of reference in CSs and of cross-validations, this diversity is still overlooked in the epistemological literature on CSs. As a consequence, a particular outcome of this analytical view is an ability to classify existing epistemological theses on CSs according to what their authors choose to select and put at the forefront: either the extensions of symbols, or the symbol-types, or the symbol-tokens, or the internal denotational hierarchies of the CS or the reference of these hierarchies to external denotational hierarchies. Through the adoption of this extensionalist view, it also becomes possible to explain more precisely the reasons why some complete reduction of CSs to classical epistemic paradigms such as “experiment” or “theoretical argument” remains doubtful. On this last point, in particular, this paper is in agreement with what many epistemologists already have acknowledged. (shrink)

People increasingly form beliefs based on information gained from automatically filtered Internet ‎sources such as search engines. However, the workings of such sources are often opaque, preventing ‎subjects from knowing whether the information provided is biased or incomplete. Users’ reliance on ‎Internet technologies whose modes of operation are concealed from them raises serious concerns about ‎the justificatory status of the beliefs they end up forming. Yet it is unclear how to address these concerns ‎within standard theories of knowledge and justification. (...) To shed light on the problem, we introduce a ‎novel conceptual framework that clarifies the relations between justified belief, epistemic responsibility, ‎action, and the technological resources available to a subject. We argue that justified belief is subject to ‎certain epistemic responsibilities that accompany the subject’s particular decision-taking circumstances, ‎and that one typical responsibility is to ascertain, so far as one can, whether the information upon which ‎the judgment will rest is biased or incomplete. What this responsibility comprises is partly determined by ‎the inquiry-enabling technologies available to the subject. We argue that a subject’s beliefs that are ‎formed based on Internet-filtered information are less justified than they would be if she either knew how ‎filtering worked or relied on additional sources, and that the subject may have the epistemic ‎responsibility to take measures to enhance the justificatory status of such beliefs.‎. (shrink)

In this commentary to Napoletani et al. (Found Sci 16:1–20, 2011), we argue that the approach the authors adopt suggests that neural nets are mathematical techniques rather than models of cognitive processing, that the general approach dates as far back as Ptolemy, and that applied mathematics is more than simply applying results from pure mathematics.

In this paper, we argue for the centrality of prediction in the use of computational models in science. We focus on the consequences of the irreversibility of computational models and on the conditional or ceteris paribus, nature of the kinds of their predictions. By irreversibility, we mean the fact that computational models can generally arrive at the same state via many possible sequences of previous states. Thus, while in the natural world, it is generally assumed that physical states have a (...) unique history, representations of those states in a computational model will usually be compatible with more than one possible history in the model. We describe some of the challenges involved in prediction and retrodiction in computational models while arguing that prediction is an essential feature of non-arbitrary decision making. Furthermore, we contend that the non-predictive virtues of computational models are dependent to a significant degree on the predictive success of the models in question. (shrink)

I examine the warrants we have in light of the empirical successes of a kind of model I call ‘ hybrid models ’, a kind that includes climate models among its members. I argue that these warrants ’ strengths depend on inferential virtues that are not just explanatory virtues, contrary to what would be the case if inference to the best explanation provided the warrants. I also argue that the warrants in question, unlike those IBE provides, guide inferences only to (...) model implications about which there is real uncertainty. My conclusion provides criteria of adequacy for epistemologies of climate and other hybrid models. (shrink)

Scientific realism is the position that success of a scientific theory licenses an inference to its approximate truth. The argument from pessimistic meta-induction maintains that this inference is undermined due to the existence of theories from the history of science that were successful, but false. I aim to counter pessimistic meta-induction and defend scientific realism. To do this, I adopt a notion of success that admits of degrees, and show that our current best theories enjoy far higher degrees of success (...) than any of the successful, but refuted theories of the past. (shrink)

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

This article offers an account and defence of constructionism, both as a metaphilosophical approach and as a philosophical methodology, with references to the so-called maker's knowledge tradition. Its main thesis is that Plato's “user's knowledge” tradition should be complemented, if not replaced, by a constructionist approach to philosophical problems in general and to knowledge in particular. Epistemic agents know something when they are able to build (reproduce, simulate, model, construct, etc.) that something and plug the obtained information into the correct (...) network of relations that account for it. Their epistemic expertise increases with the scope and depth of the questions that they are able to ask and answer. Thus, constructionism deprioritises mimetic, passive, and declarative knowledge that something is the case, in favour of poietic, interactive, and practical knowledge of something being the case. Metaphilosophically, constructionism suggests adding conceptual engineering to conceptual analysis as a fundamental method. (shrink)

Whereas computer simulations involve no direct physical interaction between the machine they are run on and the physical systems they are used to investigate, they are often used as experiments and yield data about these systems. It is commonly argued that they do so because they are implemented on physical machines. We claim that physicality is not necessary for their representational and predictive capacities and that the explanation of why computer simulations generate desired information about their target system is only (...) to be found in the detailed analysis of their semantic levels. We provide such an analysis and we determine the actual consequences of physical implementation for simulations. (shrink)

As a device used by scientists in the course of performing research, the digital computer might be considered a scientific instrument. But if so, what is it an instrument for? This paper explores a number of answers to this question, focusing on the use of computers in a simulating mode.

Starting with the view that methodological constraints depend upon the nature of the system investigated, a tripartite division between theoretical, semitheoretical, and empirical discoveries is made. Many nanosystems can only be investigated semitheoretically or empirically, and this aspect leads to some nanophenomena being weakly emergent. Self-assembling systems are used as an example, their existence suggesting that the class of systems that is not Kim-reducible may be quite large.

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

Entropy is ubiquitous in physics, and it plays important roles in numerous other disciplines ranging from logic and statistics to biology and economics. However, a closer look reveals a complicated picture: entropy is defined differently in different contexts, and even within the same domain different notions of entropy are at work. Some of these are defined in terms of probabilities, others are not. The aim of this chapter is to arrive at an understanding of some of the most important notions (...) of entropy and to clarify the relations between them, After setting the stage by introducing the thermodynamic entropy, we discuss notions of entropy in information theory, statistical mechanics, dynamical systems theory and fractal geometry. (shrink)

Mathematical models are a well established tool in most natural sciences. Although models have been neglected by the philosophy of science for a long time, their epistemological status as a link between theory and reality is now fairly well understood. However, regarding the epistemological status of mathematical models in the social sciences, there still exists a considerable unclarity. In my paper I argue that this results from specific challenges that mathematical models and especially computer simulations face in the social sciences. (...) The most important difference between the social sciences and the natural sciences with respect to modeling is that in the social sciences powerful and well confirmed background theories (like Newtonian mechanics, quantum mechanics or the theory of relativity in physics) do not exist in the social sciences. Therefore, an epistemology of models that is formed on the role model of physics may not be appropriate for the social sciences. I discuss the challenges that modeling faces in the social sciences and point out their epistemological consequences. The most important consequences are that greater emphasis must be placed on empirical validation than on theoretical validation and that the relevance of purely theoretical simulations is strongly limited. (shrink)

Making sense of modeling: beyond representation Content Type Journal Article Category Original paper in Philosophy of Science Pages 335-352 DOI 10.1007/s13194-011-0032-8 Authors Isabelle Peschard, Philosophy Department, San Francisco State University, 1600 Holloway Ave, San Francisco, CA 94132, USA Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912 Journal Volume Volume 1 Journal Issue Volume 1, Number 3.

This paper draws attention to an increasingly common method of using computer simulations to establish evidential standards in physics. By simulating an actual detection procedure on a computer, physicists produce patterns of data (‘signatures’) that are expected to be observed if a sought-after phenomenon is present. Claims to detect the phenomenon are evaluated by comparing such simulated signatures with actual data. Here I provide a justification for this practice by showing how computer simulations establish the reliability of detection procedures. I (...) argue that this use of computer simulation undermines two fundamental tenets of the Bogen–Woodward account of evidential reasoning. Contrary to Bogen and Woodward’s view, computer-simulated signatures rely on ‘downward’ inferences from phenomena to data. Furthermore, these simulations establish the reliability of experimental setups without physically interacting with the apparatus. I illustrate my claims with a study of the recent detection of the superfluid-to-Mott-insulator phase transition in ultracold atomic gases. (shrink)

Scientists of many disciplines use theoretical models to explain and predict the dynamics of the world. They often have to rely on digital computer simulations to draw predictions fromthe model. But to deliver phenomenologically adequate results, simulations deviate from the assumptions of the theoretical model. Therefore the role of simulations in scientific explanation demands itself an explanation. This paper analyzes the relation between real-world system, theoretical model, and simulation. It is argued that simulations do not explain processes in the real (...) world directly. The way in which simulations help explaining real-world processes is conceived as indirect, mediated by the theoretical model. Simulacra are characterized further, and turn out to be a priori measurable. This gives a clue to a better understanding of the epistemic role of computer simulations in scientific research. (shrink)

Reasons are given to justify the claim that computer simulations and computational science constitute a distinctively new set of scientific methods and that these methods introduce new issues in the philosophy of science. These issues are both epistemological and methodological in kind.

How to model meaning processes (semiosis) in artificial semiotic systems? Once all computer simulation becomes tantamount to theoretical simulation, involving epistemological metaphors of world versions, the selection and choice of models will dramatically compromise the nature of all work involving simulation. According to the pragmatic Peircean based approach, semiosis is an interpreter-dependent process that cannot be dissociated from the notion of a situated (and actively distributed) communicational agent. Our approach centers on the consideration of relevant properties and aspects of Peirce’s (...) pragmatic concept of semiotics. Upon developing this approach, we have no pretensions of our being able to present an exhaustive analysis of the differences between Peirce and other theoretical positions. Nevertheless, our contribution will serve to demonstrate how theorists contribute toward revealing certain fundamental ‘semiotic constraints’ that will be of interest and importance. (shrink)

A different way of thinking about how the sciences are organized is suggested by the use of cross‐disciplinary computational methods as the organizing unit of science, here called computational templates. The structure of computational models is articulated using the concepts of construction assumptions and correction sets. The existence of these features indicates that certain conventionalist views are incorrect, in particular it suggests that computational models come with an interpretation that cannot be removed as well as a prior justification. A form (...) of selective realism is described which denies that one can simply read the ontological commitments from the theory itself. (shrink)

A computer simulation runs a model generating a phenomenon under investigation. For the simulation to be explanatory, the model has to be explanatory. The model must be isomorphic to the natural system that realizes the phenomenon. This paper elaborates the method of assessing a simulation's explanatory power. Then it illustrates the method by applying it to two simulations in game theory. The first is Brian Skyrms's (1990) simulation of interactive deliberations. It is intended to explain the emergence of a Nash (...) equilibrium in a noncooperative game. The second is Skyrms's (2004) simulation of the evolution of cooperation. It is intended to explain cooperation in assurance games. The final section suggests ways of enhancing the explanatory power of these simulations. (shrink)

It is often claimed that artificial society simulations contribute to the explanation of social phenomena. At the hand of a particular example, this paper argues that artificial societies often cannot provide full explanations, because their models are not or cannot be validated. Despite that, many feel that such simulations somehow contribute to our understanding. This paper tries to clarify this intuition by investigating whether artificial societies provide potential explanations. It is shown that these potential explanations, if they contribute to our (...) understanding, considerably differ from potential causal explanations. Instead of possible causal histories, simulations offer possible functional analyses of the explanandum . The paper discusses how these two kinds explanatory strategies differ, and how potential functional explanations can be appraised. (shrink)

Cellular Automata (CA) based simulations are widely used in a great variety of domains, fromstatistical physics to social science. They allow for spectacular displays and numerical predictions. Are they forall that a revolutionary modeling tool, allowing for “direct simulation”, or for the simulation of “the phenomenon itself”? Or are they merely models "of a phenomenological nature rather than of a fundamental one”? How do they compareto other modeling techniques? In order to answer these questions, we present a systematic exploration of (...) CA’s various uses. (shrink)

(i) Scientific realism is primarily a metaphysical doctrine about the existence and nature of the unobservables of science. (ii) There are good explanationist arguments for realism, most famously that from the success of science, provided abduction is allowed. Abduction seems to be on an equal footing, at least, with other ampliative methods of inference. (iii) We have no reason to believe a doctrine of empirical equivalence that would sustain the underdetermination argument against realism. (iv) The key to defending realism from (...) the pessimistic meta-induction is that we have greatly improved our capacity to understand the unobservable world over recent centuries. (shrink)

Two complementary debates of the turn of the nineteenth and twentieth century are examined here: the debate on the legitimacy of hypotheses in the natural sciences and the debate on intentionality and ‘representations without object’ in philosophy. Both are shown to rest on two core issues: the attitude of the subject and the mode of presentation chosen to display a domain of phenomena. An orientation other than the one which contributed to shape twentieth-century philosophy of science is explored through the (...) analysis of the role given to assumptions in Boltzmann’s research strategy, where assumptions are contrasted to hypotheses, axioms, and principles, and in Meinong’s criticism of the privileged status attributed to representations in mental activities. Boltzmann’s computational style in mathematics and Meinong’s criticism of the confusion between representation and judgment give prominence to an indirect mode of presentation, adopted in a state of suspended belief which is characteristic of assumptions and which enables one to grasp objects that cannot be reached through direct representation or even analogies. The discussion shows how assumptions and the movement to fiction can be essential steps in the quest for objectivity. The conclusion restates the issues of the two debates in a contemporary perspective and shows how recent developments in philosophy of science and philosophy of language and mind can be brought together by arguing for a twofold conception of reference.Keywords: Assumption; Hypothesis; Description; Mode of presentation; Ludwig Boltzmann; Alexius Meinong. (shrink)

This paper is an interpretation and defense of Richard Levins’ “The Strategy of Model Building in Population Biology,” which has been extremely influential among biologists since its publication 40 years ago. In this article, Levins confronted some of the deepest philosophical issues surrounding modeling and theory construction. By way of interpretation, I discuss each of Levins’ major philosophical themes: the problem of complexity, the brute-force approach, the existence and consequence of tradeoffs, and robustness analysis. I argue that Levins’ article is (...) concerned, at its core, with justifying the use of multiple, idealized models in population biology. (shrink)

Computer simulation has become important in ecological modeling, but there have been few assessments on how complex simulation models differ from more traditional analytic models. In Part I of this paper, I review the challenges faced in complex ecological modeling and how models have been used to gain theoretical purchase for understanding natural systems. I compare the use of traditional analytic simulation models and point how that the two methods require different kinds of practical engagement. I examine a case study (...) of three models from the insect resistance literature in transgenic crops to illustrate and explore differences in analytic and computer simulation models. I argue that analyzing simulation models has been often inappropriately managed with expectations derived from handling analytic models. In Part II, I look at simulation as a hermeneutic practice. I argue that simulation models are a practice or techné. I the explore five aspects of philosophical hermeneutics that may be useful in complex ecological simulation: (1) an openness to multiple perspectives allowing multiple levels of scientific pluralism, (2) the hermeneutic circle, a back and forth in active communication among both modelers and ecologists; (3) the recognition of human factors and the nature of human practices as such, including recognizing the role of judgments and choices in the modeling enterprise; (4) the importance of play in modeling; (5) the non-closed nature of hermeneutic engagement, continued dialogue, and recognizing the situatedness, incompleteness, and tentative nature of simulation models. (shrink)

In this article, I make a novel argument for scientific antirealism. My argument is as follows: (1) the best human chess players would lose to the best computer chess programs; (2) if the best human chess players would lose to the best computer chess programs, then there is good reason to think that the best human chess players do not understand how to make winning moves; (3) if there is good reason to think that the best human chess players do (...) not understand how to make winning moves, then there is good reason to think that the best human theories about unobservables are wrong; therefore, (4) there is good reason to think that the best human theories about unobservables are wrong. The article is divided into three sections. In the first, I outline the backdrop for my argument. In the second, I explain my argument. In the third, I consider some objections. (shrink)

The high predictive accuracy of contemporary machine learning-based AI systems has led some scholars to argue that, in certain cases, we should grant them epistemic expertise and authority over humans. This approach suggests that humans would have the epistemic obligation of relying on the predictions of a highly accurate AI system. Contrary to this view, in this work we claim that it is not possible to endow AI systems with a genuine account of epistemic expertise. In fact, relying on accounts (...) of expertise and authority from virtue epistemology, we show that epistemic expertise requires a relation with understanding that AI systems do not satisfy and intellectual abilities that these systems do not manifest. Further, following the Distribution Cognition theory and adapting an account by Croce on the virtues of collective epistemic agents to the case of human-AI interactions we show that, if an AI system is successfully appropriated by a human agent, a _hybrid_ epistemic agent emerges, which can become both an epistemic expert and an authority. Consequently, we claim that the aforementioned hybrid agent is the appropriate object of a discourse around trust in AI and the epistemic obligations that stem from its epistemic superiority. (shrink)

Speaking with conversational AIs, technologies whose interfaces enable human-like interaction based on natural language, has become a common phenomenon. During these interactions, people form their beliefs due to the say-so of conversational AIs. In this paper, I consider, and then reject, the concepts of testimony-based beliefs and instrument-based beliefs as suitable for analysis of beliefs acquired from these technologies. I argue that the concept of instrument-based beliefs acknowledges the non-human agency of the source of the belief. However, the analysis focuses (...) on perceiving signs and indicators rather than content expressed in natural language. At the same time, the concept of testimony-based beliefs does refer to natural language propositions, but there is an underlying assumption that the agency of the testifier is human. To fill the lacuna of analyzing belief acquisition from conversational AIs, I suggest a third concept: technology-based beliefs. It acknowledges the non-human agency-status of the originator of the belief. Concurrently, the focus of analysis is on the propositional content that forms the belief. Filling the lacuna enables analysis that considers epistemic, ethical, and social issues of conversational AIs without excluding propositional content or compromising accepted assumptions about the agency of technologies. (shrink)

Templates travel because they offer a tractable format that can be used for model-building in a variety of domains. It is often because of this quality that a particular template is chosen. But one cannot assume that there are always templates ready to model a new phenomenon, and moreover, templates have also been designed at some point. A critical aspect of this designing process is the choice of the mathematical objects with which one hopes to capture this phenomenon. This means (...) that one has to assess which of the properties of different kinds of mathematical objects and which combinations of them are most appropriate. The selection of these objects is based on whether their properties enable the model to perform its function. This selection of mathematical objects is similar to the selection of materials in mechanical design. (shrink)

Templates travel because they offer a tractable format that can be used for model-building in a variety of domains. It is often because of this quality that a particular template is chosen. But one cannot assume that there are always templates ready to model a new phenomenon, and moreover, templates have also been designed at some point. A critical aspect of this designing process is the choice of the mathematical objects with which one hopes to capture this phenomenon. This means (...) that one has to assess which of the properties of different kinds of mathematical objects and which combinations of them are most appropriate. The selection of these objects is based on whether their properties enable the model to perform its function. This selection of mathematical objects is similar to the selection of materials in mechanical design. (shrink)

A conspicuous feature of contemporary modelling practices is the use of the same mathematical forms and modelling methods across different scientific domains. This model transfer raises many philosophical questions concerning, for example, the exact object of transfer, the relationship between the model and the target domain, the specific challenges such transfer confronts, and the ways in which model transfer relates to scientific progress. While the interest in studying model transfer has increased among philosophers of science in recent years, the phenomenon (...) has not yet received its due attention. The literature is scattered and much of it has addressed questions around the factors that might explain model transfer, such as whether the different target phenomena to which a model is applied eventually prove to be structurally and dynamically similar, or whether they have to share more fundamental ontological features that explain the interdisciplinary success of distinct models. This chapter surveys the existing literature on model transfer with the main goal of highlighting the main findings of existing discussions and pointing out open issues whose discussion would improve our understanding of this highly relevant phenomenon in science. (shrink)

A cognitive ethnography of how bioengineering scientists create innovative modeling methods. In this first full-scale, long-term cognitive ethnography by a philosopher of science, Nancy J. Nersessian offers an account of how scientists at the interdisciplinary frontiers of bioengineering create novel problem-solving methods. Bioengineering scientists model complex dynamical biological systems using concepts, methods, materials, and other resources drawn primarily from engineering. They aim to understand these systems sufficiently to control or intervene in them. What Nersessian examines here is how cutting-edge bioengineering (...) scientists integrate the cognitive, social, material, and cultural dimensions of practice. Her findings and conclusions have broad implications for researchers in philosophy, science studies, cognitive science, and interdisciplinary studies, as well as scientists, educators, policy makers, and funding agencies. In studying the epistemic practices of scientists, Nersessian pushes the boundaries of the philosophy of science and cognitive science into areas not ventured before. She recounts a decades-long, wide-ranging, and richly detailed investigation of the innovative interdisciplinary modeling practices of bioengineering researchers in four university laboratories. She argues and demonstrates that the methods of cognitive ethnography and qualitative data analysis, placed in the framework of distributed cognition, provide the tools for a philosophical analysis of how scientific discoveries arise from complex systems in which the cognitive, social, material, and cultural dimensions of problem-solving are integrated into the epistemic practices of scientists. Specifically, she looks at how interdisciplinary environments shape problem-solving. Although Nersessian’s case material is drawn from the bioengineering sciences, her analytic framework and methodological approach are directly applicable to scientific research in a broader, more general sense, as well. (shrink)

Many artificial intelligence (AI) systems currently used for decision-making are opaque, i.e., the internal factors that determine their decisions are not fully known to people due to the systems’ computational complexity. In response to this problem, several researchers have argued that human decision-making is equally opaque and since simplifying, reason-giving explanations (rather than exhaustive causal accounts) of a decision are typically viewed as sufficient in the human case, the same should hold for algorithmic decision-making. Here, I contend that this argument (...) overlooks that human decision-making is sometimes significantly more transparent and trustworthy than algorithmic decision-making. This is because when people explain their decisions by giving reasons for them, this frequently prompts those giving the reasons to govern or regulate themselves so as to think and act in ways that confirm their reason reports. AI explanation systems lack this self-regulative feature. Overlooking it when comparing algorithmic and human decision-making can result in underestimations of the transparency of human decision-making and in the development of explainable AI that may mislead people by activating generally warranted beliefs about the regulative dimension of reason-giving. (shrink)

In this paper I argue that Artificial Intelligence and the many data science methods associated with it, such as machine learning and large language models, are first and foremost epistemic technologies. In order to establish this claim, I first argue that epistemic technologies can be conceptually and practically distinguished from other technologies in virtue of what they are designed for, what they do and how they do it. I then proceed to show that unlike other kinds of technology (_including_ other (...) epistemic technologies) AI can be uniquely positioned as an epistemic technology in that it is primarily designed, developed and deployed to be used in _epistemic contexts_ such as inquiry, it is specifically designed, developed and deployed to manipulate _epistemic content_ such as data, _and_ it is designed, developed and deployed to do so particularly through _epistemic operations_ such as prediction and analysis. As has been shown in recent work in the philosophy and ethics of AI (Alvarado, AI and Ethics, 2022a), understanding AI as an epistemic technology will also have significant implications for important debates regarding our relationship to AI technologies. This paper includes a brief overview of such implications, particularly those pertaining to explainability, opacity, trust and even epistemic harms related to AI technologies. (shrink)

Deep learning (DL) has become increasingly central to science, primarily due to its capacity to quickly, efficiently, and accurately predict and classify phenomena of scientific interest. This paper seeks to understand the principles that underwrite scientists’ epistemic entitlement to rely on DL in the first place and argues that these principles are philosophically novel. The question of this paper is not whether scientists can be justified in trusting in the reliability of DL. While today’s artificial intelligence exhibits characteristics common to (...) both scientific instruments and scientific experts, this paper argues that the familiar epistemic categories that justify belief in the reliability of instruments and experts are distinct, and that belief in the reliability of DL cannot be reduced to either. Understanding what can justify belief in AI reliability represents an occasion and opportunity for exciting, new philosophy of science. (shrink)

Model transfer refers to the observation that particular model structures are used across multiple distinct scientific domains. This paper puts forward an account to explain the inter-domain transfer of model structures. Central in the account is the role of validation criteria in determining whether a model is considered to be useful by practitioners. Validation criteria are points of reference to which model correctness for a particular purpose is assessed. I argue that validation criteria can be categorized as being mathematical, theoretical (...) or phenomenological in nature. Model transfer is explained by overlap in validation criteria between scientific domains. Particular emphasis is placed on overlap between phenomenological criteria. Overlap in phenomenological criteria can be explained through the notion of universal patterns. Universal patterns are abstract structures that can be made to refer to multiple distinct phenomena when coupled with phenomena-specific empirical content. I present the case study of the Yule Process, in which universal patterns play a crucial role in explaining model transfer. This paper provides an account of model transfer that stays close to modelling practice and expands existing accounts by introducing the notion of universal patterns. (shrink)

Philosophy Compass, Volume 17, Issue 6, June 2022.

The problem of epistemic opacity in Artificial Intelligence is often characterised as a problem of intransparent algorithms that give rise to intransparent models. However, the degrees of transparency of an AI model should not be taken as an absolute measure of the properties of its algorithms but of the model’s degree of intelligibility to human users. Its epistemically relevant elements are to be specified on various levels above and beyond the computational one. In order to elucidate this claim, I first (...) contrast computer models and their claims to algorithm-based universality with cybernetics-style analogue models and their claims to structural isomorphism between elements of model and target system. While analogue models aim at perceptually or conceptually accessible model-target relations, computer models give rise to a specific kind of underdetermination in these relations that needs to be addressed in specific ways. I then undertake a comparison between two contemporary AI approaches that, although related, distinctly align with the above modelling paradigms and represent distinct strategies towards model intelligibility: Deep Neural Networks and Predictive Processing. I conclude that their respective degrees of epistemic transparency primarily depend on the underlying purposes of modelling, not on their computational properties. (shrink)