Recent scholarship in philosophy of science and technology has shown that scientific and technological decision making are laden with values, including values of a social, political, and/or ethical character. This paper examines the role of value judgments in the design of machine-learning systems generally and in recidivism-prediction algorithms specifically. Drawing on work on inductive and epistemic risk, the paper argues that ML systems are value laden in ways similar to human decision making, because the development and design of ML systems (...) requires human decisions that involve tradeoffs that reflect values. In many cases, these decisions have significant—and, in some cases, disparate—downstream impacts on human lives. After examining an influential court decision regarding the use of proprietary recidivism-prediction algorithms in criminal sentencing, Wisconsin v. Loomis, the paper provides three recommendations for the use of ML in penal systems. (shrink)

I propose a distinct type of robustness, which I suggest can support a confirmatory role in scientific reasoning, contrary to the usual philosophical claims. In model robustness, repeated production of the empirically successful model prediction or retrodiction against a background of independentlysupported and varying model constructions, within a group of models containing a shared causal factor, may suggest how confident we can be in the causal factor and predictions/retrodictions, especially once supported by a variety of evidence framework. I present climate (...) models of greenhouse gas global warming of the 20th Century as an example, and emphasize climate scientists’ discussions of robust models and causal aspects. The account is intended as applicable to a broad array of sciences that use complex modeling techniques. (shrink)

In this paper, we explore the extent to which issues of simulation model validation take on novel characteristics when the models in question become particularly complex. Our central claim is that complex simulation models in general, and global models of climate in particular, face a form of confirmation holism. This holism, moreover, makes analytic understanding of complex models of climate either extremely difficult or even impossible. We argue that this supports a position we call convergence skepticism: the belief that the (...) existence of a plurality of different models making a plurality of different forecasts of future climate is likely to be a persistent feature of global climate science. (shrink)

Scientists regularly make possibility claims. While philosophers of science are well aware of the distinction between epistemic and objective notions of possibility, we believe that they often fail to apply this distinction in their analyses of scientific practices that employ modal concepts. We argue that heeding this distinction will help further progress in current debates in the philosophy of science, as it shows that the debaters talk about different things, rather than disagree on the same issue. We first discuss how (...) the two notions differ with respect to their epistemology and show that these differences are sometimes ignored in the philosophy of science. We then revisit four current philosophy of science debates about modelling, that are framed in modal terms, to showcase how the distinction significantly clarifies these debates and thereby helps advance them. (shrink)

This article identifies conditions under which robust predictive modeling results have special epistemic significance---related to truth, confidence, and security---and considers whether those conditions hold in the context of present-day climate modeling. The findings are disappointing. When today’s climate models agree that an interesting hypothesis about future climate change is true, it cannot be inferred---via the arguments considered here anyway---that the hypothesis is likely to be true or that scientists’ confidence in the hypothesis should be significantly increased or that a claim (...) to have evidence for the hypothesis is now more secure. (shrink)

Recent objections to epistemic permissivism have a metaepistemic flavor. Impermissivists argue that their view best accounts for connections between rationality, planning and deference. Impermissivism is also taken to best explain the value of rational belief and normative assessment. These objections pose a series of metaepistemic explanatory challenges for permissivism. In this paper, I illustrate how permissivists might meet their explanatory burdens by developing two permissivist metaepistemic views which fare well against the explanatory challenges.

Philosophers continue to debate both the actual and the ideal roles of values in science. Recently, Eric Winsberg has offered a novel, model-based challenge to those who argue that the internal workings of science can and should be kept free from the influence of social values. He contends that model-based assignments of probability to hypotheses about future climate change are unavoidably influenced by social values. I raise two objections to Winsberg’s argument, neither of which can wholly undermine its conclusion but (...) each of which suggests that his argument exaggerates the influence of social values on estimates of uncertainty in climate prediction. I then show how a more traditional challenge to the value-free ideal seems tailor-made for the climate context. (shrink)

Consensus plays an ambiguous role in deliberative democracy. While it formed the horizon of early deliberative theories, many now denounce it as an empirically unachievable outcome, a logically impossible stopping rule, and a normatively undesirable ideal. Deliberative disagreement, by contrast, is celebrated not just as an empirically unavoidable outcome but also as a democratically sound and normatively desirable goal of deliberation. Majority rule has generally displaced unanimity as the ideal way of bringing deliberation to a close. This article offers an (...) epistemic perspective on this question of consensus versus disagreement. For ensuring the production of better decisions, we argue, the normative appeal of consensus varies depending on the deliberative task – whether it entails problem solving or prediction. We argue that in pure problem-solving contexts, consensus retains a strong normative appeal and forms the ideal deliberative outcome of deliberation. In contrast, on predictive tasks, consensus should generally not be used as a stopping rule noris it likely to be epistemically desirable as an outcome. Instead deliberators may be better served by ending the deliberation with a form of deliberative disagreement we call ‘positive dissensus’, which paves the way for more accurate aggregate predictions. (shrink)

In recent years, philosophy of science has witnessed a significant increase in attention directed toward the field’s social relevance. This is demonstrated by the formation of societies with related agendas, the organization of research symposia, and an uptick in work on topics of immediate public interest. The collection of papers that follows results from one such event: a 3-day colloquium on the subject of socially engaged philosophy of science (SEPOS) held at the University of Cincinnati in October 2012. In this (...) introduction, we first survey the recent history of philosophy of science’s social involvement (or lack thereof) and contrast this with the much greater social involvement of the sciences themselves. Next, we argue that the field of philosophy of science bears a special responsibility to contribute to public welfare. We then introduce as a term of art “SEPOS” and articulate what we take to be distinctive about social engagement, with reference to the articles in this collection as exemplars. Finally, we survey the current state of social engagement in philosophy of science and suggest some practical steps for individuals and institutions to support this trajectory. (shrink)

There are a variety of topics in the philosophy of science that need to be rethought, in varying degrees, after one pays careful attention to the ways in which computer simulations are used in the sciences. There are a number of conceptual issues internal to the practice of computer simulation that can benefit from the attention of philosophers. This essay surveys some of the recent literature on simulation from the perspective of the philosophy of science and argues that philosophers have (...) a lot to learn by paying closer attention to the practice of simulation. (shrink)

Today's climate models are supported in a couple of ways that receive little attention from philosophers or climate scientists. In addition to standard 'model fit', wherein a model's simulation is compared to observational data, there is an additional type of confirmation available through the variety of instances of model fit. When a model performs well at fitting first one variable and then another, the probability of the model under some standard confirmation function, say, likelihood, goes up more than under each (...) individual case of fit alone. Thus, two instances of fit of distinct variables of a global climate model using distinct data sets considered collectively will provide stronger evidence for a model than either one of the instances considered individually. This has consequences for model robustness. Sets of models that produce robust results will, if their assumptions vary enough and they each are observationally sound, provide reasons to endorse common structures found in those models. Finally, independent empirical support for aspects and assumptions of the model provides an additional confirmational virtue for climate models, contrary to what is implied by some current philosophical writing on this topic. (shrink)

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

Derivational robustness may increase the degree to which various pieces of evidence indirectly confirm a robust result. There are two ways in which this increase may come about. First, if one can show that a result is robust, and that the various individual models used to derive it also have other confirmed results, these other results may indirectly confirm the robust result. Confirmation derives from the fact that data not known to bear on a result are shown to be relevant (...) when it is shown to be robust. Second, robustness may increase the degree to which the robust result is indirectly confirmed if it increases the weight with which existing evidence indirectly confirms it. This may happen when it strengthens the connection between the core and the robust result by showing that auxiliaries are not responsible for the result. (shrink)

Today’s most sophisticated simulation studies of future climate employ not just one climate model but a number of models. I explain why this “ensemble” approach has been adopted—namely, as a means of taking account of uncertainty—and why a comprehensive investigation of uncertainty remains elusive. I then defend a middle ground between two camps in an ongoing debate over the transformation of ensemble results into probabilistic predictions of climate change, highlighting requirements that I refer to as ownership, justification, and robustness.

In the philosophy of science and epistemology literature, robustness analysis has become an umbrella term that refers to a variety of strategies. One of the main purposes of this paper is to argue that different strategies rely on different criteria for justifications. More specifically, I will claim that: i) robustness analysis differs from de-idealization even though the two concepts have often been conflated in the literature; ii) the comparison of different model frameworks requires different justifications than the comparison of models (...) that differ only for the assumption under test; iii) the replacement of specific assumptions with different ones can encounter specific difficulties in scientific practice. These claims will be supported by a case study in population ecology and a case study in geographical economics. (shrink)

Many explanations in physics rely on idealized models of physical systems. These explanations fail to satisfy the conditions of standard normative accounts of explanation. Recently, some philosophers have claimed that idealizations can be used to underwrite explanation nonetheless, but only when they are what have variously been called representational, Galilean, controllable or harmless idealizations. This paper argues that such a half-measure is untenable and that idealizations not of this sort can have explanatory capacities.

Allan Franklin has identified a number of strategies that scientists use to build confidence in experimental results. This paper shows that Franklin's strategies have direct analogues in the context of computer simulation and then suggests that one of his strategies—the so-called 'Sherlock Holmes' strategy—deserves a privileged place within the epistemologies of experiment and simulation. In particular, it is argued that while the successful application of even several of Franklin's other strategies (or their analogues in simulation) may not be sufficient for (...) justified belief in results, the successful application of a slightly elaborated version of the Sherlock Holmes strategy is sufficient. (shrink)

Robustness concepts are often invoked to manage two obstacles confronting models of ecological systems: complexity and uncertainty. The intuitive idea is that any result derived from many idealized but credible models is thereby made more reliable or is better confirmed. An appropriate basis for this inference has proven elusive. Here, several representations of robustness analysis are vetted, paying particular attention to complex models of ecosystems and the global climate. The claim that robustness is itself confirmatory because robustness analysis employs a (...) Bayesian variety-of-evidence argument is criticized, but recent overwhelming pessimism about robustness may have a silver lining. (shrink)

There is a long-standing debate in the philosophy of mind and philosophy of science regarding how best to interpret the relationship between neuroscience and psychology. It has traditionally been argued that either the two domains will evolve and change over time until they converge on a single unified account of human behaviour, or else that they will continue to work in isolation given that they identify properties and states that exist autonomously from one another (due to the multiple-realizability of psychological (...) states). In this paper, I argue that progress in psychology and neuroscience is contingent on the fact that both of these positions are false. Contra the convergence position, I argue that the theories of psychology and the theories of neuroscience are scientifically valuable as representational tools precisely because they cannot be integrated into a single account. However, contra the autonomy position, I propose that the theories of psychology and neuroscience are deeply dependent on one another for further refinement and improvement. In this respect, there is an irreconcilable codependence between psychology and neuroscience that is necessary for both domains to improve and progress. The two domains are forever linked while simultaneously being unable to integrate. (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)

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 aim of the article is to provide a clear and thorough conceptual analysis of the main candidates for a definition of climate and climate change. Five desiderata on a definition of climate are presented: it should be empirically applicable; it should correctly classify different climates; it should not depend on our knowledge; it should be applicable to the past, present, and future; and it should be mathematically well-defined. Then five definitions are discussed: climate as distribution over time for constant (...) external conditions; climate as distribution over time when the external conditions vary as in reality; climate as distribution over time relative to regimes of varying external conditions; climate as the ensemble distribution for constant external conditions; and climate as the ensemble distribution when the external conditions vary as in reality. The third definition is novel and is introduced as a response to problems with existing definitions. The conclusion is that most definitions encounter serious problems and that the third definition is most promising. 1 Introduction2 Climate Variables and a Simple Climate Model3 Desiderata on a Definition of Climate4 Climate as Distribution over Time4.1 Definition 1: Distribution over time for constant external conditions4.2 Definition 2: Distribution over time when the external conditions vary as in reality4.3 Definition 3: Distribution over time for regimes of varying external conditions4.4 Infinite versions5 Climate as Ensemble Distribution5.1 Definition 4: Ensemble distribution for constant external conditions5.2 Definition 5: Ensemble distribution when the external conditions vary as in reality5.3 Infinite versions6 ConclusionAppendix. (shrink)

Projections of future climate change cannot rely on a single model. It has become common to rely on multiple simulations generated by Multi-Model Ensembles (MMEs), especially to quantify the uncertainty about what would constitute an adequate model structure. But, as Parker points out (2018), one of the remaining philosophically interesting questions is: “How can ensemble studies be designed so that they probe uncertainty in desired ways?” This paper offers two interpretations of what General Circulation Models (GCMs) are and how MMEs (...) made of GCMs should be designed. In the first interpretation, models are combinations of modules and parameterisations; an MME is obtained by “plugging and playing” with interchangeable modules and parameterisations. In the second interpretation, models are aggregations of expert judgements that result from a history of epistemic decisions made by scientists about the choice of representations; an MME is a sampling of expert judgements from modelling teams. We argue that, while the two interpretations involve distinct domains from philosophy of science and social epistemology, they both could be used in a complementary manner in order to explore ways of designing better MMEs. (shrink)

My aim in this paper is to articulate an account of scientific modeling that reconciles pluralism about modeling with a modest form of scientific realism. The central claim of this approach is that the models of a given physical phenomenon can present different aspects of the phenomenon. This allows us, in certain special circumstances, to be confident that we are capturing genuine features of the world, even when our modeling occurs independently of a wholly theoretical motivation. This framework is illustrated (...) using a recent debate from meteorology. (shrink)

As climate policy decisions are decisions under uncertainty, being based on a range of future climate change scenarios, it becomes a crucial question how to set up this scenario range. Failing to comply with the precautionary principle, the scenario methodology widely used in the Third Assessment Report of the International Panel on Climate Change (IPCC) seems to violate international environmental law, in particular a provision of the United Nations Framework Convention on Climate Change. To place climate policy advice on a (...) sound methodological basis would imply that climate simulations which are based on complex climate models had, in stark contrast to their current hegemony, hardly an epistemic role to play in climate scenario analysis at all. Their main function might actually consist in ‘foreseeing future ozone-holes’. In order to argue for these theses, I explain first of all the plurality of climate models used in climate science by the failure to avoid the problem of underdetermination. As a consequence, climate simulation results have to be interpreted as modal sentences, stating what is possibly true of our climate system. This indicates that climate policy decisions are decisions under uncertainty. Two general methodological principles which may guide the construction of the scenario range are formulated and contrasted with each other: modal inductivism and modal falsificationism. I argue that modal inductivism, being the methodology implicitly underlying the third IPCC report, is severely flawed. Modal falsificationism, representing the sound alternative, would in turn require an overhaul of the IPCC practice. (shrink)

Frank Knight (1921) famously distinguished the epistemic modes of certainty, risk, and uncertainty in order to characterize situations where deterministic, probabilistic or possibilistic foreknowledge is available. Because our probabilistic knowledge is limited, i.e. because many systems, e.g. the global climate, cannot be described and predicted probabilistically in a reliable way, Knight's third category, possibilistic foreknowledge, is not simply swept by the probabilistic mode. This raises the question how to justify possibilistic predictionsincluding the identication of the worst case. The development of (...) such a modal methodology is particularly vital with respect to predictions of climate change. I show that a methodological dilemma emerges when possibilistic predictions are framed in traditional terms and argue that a more nuanced conceptual framework, distinguishing dierent types of possibility, should be used in order to convey our uncertain knowledge about the future. The new conceptual scheme, however, questions the applicability of standard rules of rational decision-making, thus generating new challenges. (shrink)

The disconnect problem arises wherever there is ongoing and severe discordance between the scientific assessment of a politically relevant issue, and the politics and legislation of said issue. Here, we focus on the disconnect problem as it arises in the case of climate change, diagnosing a failure to respect the necessary tradeoff between authority and autonomy within a public institution like science. After assessing the problematic deployment of scientific authority in this arena, we offer suggestions for how to mitigate climate (...) change’s particular disconnect problem, as well as more general proposals for reforming science advising. (shrink)

An important epistemic issue in climate modelling concerns structural uncertainty: uncertainty about whether the mathematical structure of a model accurately represents its target. How does structural uncertainty affect our knowledge and predictions about the climate? How can we identify sources of structural uncertainty? Can we manage the effect of structural uncertainty on our knowledge claims? These are some of the questions that an epistemology of structural uncertainty faces, and these questions are also important for climate scientists and policymakers. I develop (...) three desiderata for an epistemological account of structural uncertainty. In my view, an account of structural uncertainty should identify sources of structural uncertainty, explain how these sources limit the applicability of a model, and show how the severity of structural uncertainty depends on the questions that can be asked of a model. I argue that analyzing structural uncertainty by paying attention to the details of model building can satisfy these desiderata. I focus on parametrizations, which are representations of important processes occurring at scales that are not resolved by climate models. Parametrizations are often thought to be ad-hoc, but I show that some important parametrizations are theoretically justified by explicit or implicit scale separation assumptions. These assumptions can also be supported empirically. Analyzing these theoretical and empirical justificatory roles of the scale separation assumptions can provide insights into how parametrizations contribute to structural uncertainty. I conclude by sketching how my approach can satisfy the desiderata I set out at the beginning, highlighting its importance for policy-relevant scientific statements about the climate. (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)

Interdisciplinary research in the fields of forestry and sustainability studies often encounters seemingly incompatible ontological assumptions deriving from natural and social sciences. The perceived incompatibilities might emerge from the epistemological and ontological claims of the theories or models directly employed in the interdisciplinary collaboration, or they might be created by other epistemological and ontological assumptions that these interdisciplinary researchers find no reason to question. In this paper we discuss the benefits and risks of two possible approaches, Popperian optimism and Kuhnian (...) pessimism, to interdisciplinary knowledge integration where epistemological and ontological differences between the sciences involved can be expected. (shrink)

The paper addresses the evaluation of climate models and gives an overview of epistemic uncertainties in climate modeling; the uncertainties concern the data situation as well as the causal behavior of the climate system. In order to achieve reasonable results nonetheless, multimodel ensemble studies are employed in which diverse models simulate the future climate under different emission scenarios. The models jointly deliver a robust range of climate prognoses due to a broad plurality of theories, techniques, and methods in climate research; (...) the range reliably indicates the future development of the global climate. Nevertheless, the uncertainties are widely used by skeptics to challenge the IPCC’s prognoses. Such skeptical allegations can well be distinguished from points of fruitful epistemological criticism: in spite of the enduring range of prognoses, the epistemic uncertainties should not play a role in finding agreements on climate change mitigation. (shrink)

This paper analyzes three contrasting strategies for modeling intentional agency in contemporary analytic philosophy of mind and action, and draws parallels between them and similar strategies of scientific model-construction. Gricean modeling involves identifying primitive building blocks of intentional agency, and building up from such building blocks to prototypically agential behaviors. Analogical modeling is based on picking out an exemplary type of intentional agency, which is used as a model for other agential types. Theoretical modeling involves reasoning about intentional agency in (...) terms of some domain-general framework of lawlike regularities, which involves no detailed reference to particular building blocks or exemplars of intentional agency. Given the contrasting procedural approaches that they employ and the different types of knowledge that they embody, the three strategies are argued to provide mutually complementary perspectives on intentional agency. (shrink)

It is argued in this paper that amalgamating confirmation from various sources is relevantly different from social-choice contexts, and that proving an impossibility theorem for aggregating confirmation measures directs attention to irrelevant issues.

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)