In explaining why there is no consensus on whether global warming is real or a myth based on misleading data, Philander "guides the nonscientific reader through new ideas about the remarkable and intricate factors that determine the world's climate."--Jacket.

The ArgumentIn its reconstruction of scientific practice, philosophy of science has traditionally placed scientific theories in a central role, and has reduced the problem of mediating between theories and the world to formal considerations. Many applications of scientific theories, however, involve complex mathematical models whose constitutive equations are analytically unsolvable. The study of these applications often consists in developing representations of the underlying physics on a computer, and using the techniques of computer simulation in order to learn about the behavior (...) of these systems. In many instances, these computer simulations are not simple number-crunching techniques. They involve a complex chain of inferences that serve to transform theoretical structures into specific concrete knowledge of physical systems. In this paper I argue that this process of transformation has its own epistemology. I also argue that this kind of epistemology is unfamiliar to most philosophy of science, which has traditionally concerned itself with the justification of theories, not with their application. Finally, I urge that the nature of this epistemology suggests that the end results of some simulations do not bear a simple, straightforward relation to the theories from which they stem. (shrink)

Theorizing in ecology and evolution often proceeds via the construction of multiple idealized models. To determine whether a theoretical result actually depends on core features of the models and is not an artifact of simplifying assumptions, theorists have developed the technique of robustness analysis, the examination of multiple models looking for common predictions. A striking example of robustness analysis in ecology is the discovery of the Volterra Principle, which describes the effect of general biocides in predator-prey systems. This paper details (...) the discovery of the Volterra Principle and the demonstration of its robustness. It considers the classical ecology literature on robustness and introduces two individual-based models of predation, which are used to further analyze the Volterra Principle. The paper also introduces a distinction between parameter robustness, structural robustness, and representational robustness, and demonstrates that the Volterra Principle exhibits all three kinds of robustness. *Received September 2006; revised May 2007. ‡Earlier versions of this paper were presented at the Australasian Association of Philosophy, the London School of Economics, and the University of Bristol. The authors wish to thank those audiences as well as Patrick Forber, Ken Waters, Deena Skolnick Weisberg, Uri Wilensky, and Bill Wimsatt for many helpful comments. Special thanks to Giacomo Sillari for his assistance in translating Volterra's original paper and his insightful thoughts about Volterra's aims and methods. Some of the research in this paper was supported by NSF grant SES-0620887 to MW. †To contact the authors, please write to: Michael Weisberg, Department of Philosophy, University of Pennsylvania, 433 Logan Hall, Philadelphia, PA 19104; e-mail: [email protected]; Kenneth Reisman, Pluribo, Inc., 100 Park Avenue, Suite 1600, New York, NY 10017; e-mail: [email protected]. (shrink)

Criteria of adequacy for scientific representation of the phenomena pertain to accuracy and truth. But that representation is selective and may require distortion even in the selected parameters; this point is intimately connected with the fact that representation is intentional, and its adequacy relative to its particular purpose. Since observation and measurement are perspectival and the appearances to be saved are perspectival measurement outcomes, the question whether this “saving” is an explanatory relation provides a new focus for the realist/antirealist debate. (...) The Born rule and von Neumann's “collapse” postulate in quantum mechanics provide a telling case for this question in recent physics. (shrink)

Traditionally a scientific theory is viewed as based on universal laws of nature that serve as axioms for logical deduction. In analyzing the logical structure of evolutionary biology, Elisabeth Lloyd argues that the semantic account is more appropriate and powerful. This book will be of interest to biologists and philosophers alike.

Many philosophers have claimed that evidence for a theory is better when multiple independent tests yield the same result, i.e., when experimental results are robust. Little has been said about the grounds on which such a claim rests, however. The present essay presents an analysis of the evidential value of robustness that rests on the fallibility of assumptions about the reliability of testing procedures and a distinction between the strength of evidence and the security of an evidence claim. Robustness can (...) enhance the security of an evidence claim either by providing what I call second-order evidence, or by providing back-up evidence for a hypothesis. (shrink)

To study Earth’s climate, scientists now use a variety of computer simulation models. These models disagree in some of their assumptions about the climate system, yet they are used together as complementary resources for investigating future climatic change. This paper examines and defends this use of incompatible models. I argue that climate model pluralism results both from uncertainty concerning how to best represent the climate system and from difficulties faced in evaluating the relative merits of complex models. I describe how (...) incompatible climate models are used together in ‘multi-model ensembles’ and explain why this practice is reasonable, given scientists’ inability to identify a ‘best’ model for predicting future climate. Finally, I characterize climate model pluralism as involving both an ontic competitive pluralism and a pragmatic integrative pluralism. (shrink)

After showing how Deborah Mayo’s error-statistical philosophy of science might be applied to address important questions about the evidential status of computer simulation results, I argue that an error-statistical perspective offers an interesting new way of thinking about computer simulation models and has the potential to significantly improve the practice of simulation model evaluation. Though intended primarily as a contribution to the epistemology of simulation, the analysis also serves to fill in details of Mayo’s epistemology of experiment.

As scientists begin to study increasingly complex questions, many have turned to computer simulation to assist in their inquiry. This methodology has been challenged by both analytic modelers and experimentalists. A primary objection of analytic modelers is that simulations are simply too complicated to perform model verification. From the experimentalist perspective it is that there is no means to demonstrate the reality of simulation. The aim of this paper is to consider objections from both of these perspectives, and to argue (...) that a proper understanding and application of robustness analysis is able to resolve them. ‡The author would like to thank Cristina Bicchieri, Michelle Foa, Paul Humphreys and Michael Weisberg for their helpful comments and suggestions. †To contact the author, please write to: Department of Philosophy, University of Pennsylvania, 433 Logan Hall, 249 S. 36th Street, Philadelphia, PA, 19104-6304; e-mail: [email protected]. (shrink)

Modelers often rely on robustness analysis, the search for predictions common to several independent models. Robustness analysis has been characterized and championed by Richard Levins and William Wimsatt, who see it as central to modern theoretical practice. The practice has also been severely criticized by Steven Orzack and Elliott Sober, who claim that it is a nonempirical form of confirmation, effective only under unusual circumstances. This paper addresses Orzack and Sober's criticisms by giving a new account of robustness analysis and (...) showing how the practice can identify robust theorems. Once the structure of robust theorems is clearly articulated, it can be shown that such theorems have a degree of confirmation, despite the lack of direct empirical evidence for their truth. (shrink)

The process of constructing mathematical models is examined and a case made that the construction process is an integral part of the justification for the model. The role of heuristics in testing and modifying models is described and some consequences for scientific methodology are drawn out. Three different ways of constructing the same model are detailed to demonstrate the claims made here.

Most recent philosophical thought about the scientific representation of the world has focused on dyadic relationships between language-like entities and the world, particularly the semantic relationships of reference and truth. Drawing inspiration from diverse sources, I argue that we should focus on the pragmatic activity of representing, so that the basic representational relationship has the form: Scientists use models to represent aspects of the world for specific purposes. Leaving aside the terms "law" and "theory," I distinguish principles, specific conditions, models, (...) hypotheses, and generalizations. I argue that scientists use designated similarities between models and aspects of the world to form both hypotheses and generalizations. (shrink)

outlined. This account is partly inspired by the work of C.S. Peirce. When we want to consider how degree of confirmation varies with changing I show that a large class of quantitative Bayesian measures of con-.

A Bayesian account of independent evidential support is outlined. This account is partly inspired by the work of C. S. Peirce. I show that a large class of quantitative Bayesian measures of confirmation satisfy some basic desiderata suggested by Peirce for adequate accounts of independent evidence. I argue that, by considering further natural constraints on a probabilistic account of independent evidence, all but a very small class of Bayesian measures of confirmation can be ruled out. In closing, another application of (...) my account to the problem of evidential diversity is also discussed. (shrink)

This paper examines the relationship between simulation and experiment. Many discussions of simulation, and indeed the term "numerical experiments," invoke a strong metaphor of experimentation. On the other hand, many simulations begin as attempts to apply scientific theories. This has lead many to characterize simulation as lying between theory and experiment. The aim of the paper is to try to reconcile these two points of viewto understand what methodological and epistemological features simulation has in common with experimentation, while at the (...) same time keeping a keen eye on simulation's ancestry as a form of scientific theorizing. In so doing, it seeks to apply some of the insights of recent work on the philosophy of experiment to an aspect of theorizing that is of growing philosophical interest: the construction of local models. (shrink)

There is currently no viable alternative to the Bayesian analysis of scientific inference, yet the available versions of Bayesianism fail to do justice to several aspects of the testing and confirmation of scientific hypotheses. Bayes or Bust? provides the first balanced treatment of the complex set of issues involved in this nagging conundrum in the philosophy of science. Both Bayesians and anti-Bayesians will find a wealth of new insights on topics ranging from Bayes’s original paper to contemporary formal learning theory.In (...) a paper published posthumously in 1763, the Reverend Thomas Bayes made a seminal contribution to the understanding of "analogical or inductive reasoning." Building on his insights, modem Bayesians have developed an account of scientific inference that has attracted numerous champions as well as numerous detractors. Earman argues that Bayesianism provides the best hope for a comprehensive and unified account of scientific inference, yet the presently available versions of Bayesianisin fail to do justice to several aspects of the testing and confirming of scientific theories and hypotheses. By focusing on the need for a resolution to this impasse, Earman sharpens the issues on which a resolution turns. John Earman is Professor of History and Philosophy of Science at the University of Pittsburgh. (shrink)

There is currently no viable alternative to the Bayesian analysis of scientific inference, yet the available versions of Bayesianism fail to do justice to several aspects of the testing and confirmation of scientific hypotheses. Bayes or Bust? provides the first balanced treatment of the complex set of issues involved in this nagging conundrum in the philosophy of science. Both Bayesians and anti-Bayesians will find a wealth of new insights on topics ranging from Bayes's original paper to contemporary formal learning theory. (...) In a paper published posthumously in 1763, the Reverend Thomas Bayes made a seminal contribution to the understanding of "analogical or inductive reasoning." Building on his insights, modem Bayesians have developed an account of scientific inference that has attracted numerous champions as well as numerous detractors. Earman argues that Bayesianism provides the best hope for a comprehensive and unified account of scientific inference, yet the presently available versions of Bayesianisin fail to do justice to several aspects of the testing and confirming of scientific theories and hypotheses. By focusing on the need for a resolution to this impasse, Earman sharpens the issues on which a resolution turns. John Earman is Professor of History and Philosophy of Science at the University of Pittsburgh. (shrink)

Computer simulation is shown to be philosophically interesting because it introduces a qualitatively new methodology for theory construction in science different from the conventional two components of "theory" and "experiment and/or observation". This component is "experimentation with theoretical models." Two examples from the physical sciences are presented for the purpose of demonstration but it is claimed that the biological and social sciences permit similar theoretical model experiments. Furthermore, computer simulation permits theoretical models for the evolution of physical systems which use (...) cellular automata rather than differential equations as their syntax. The great advantages of the former are indicated. (shrink)