A scientific community cannot practice its trade without some set of received beliefs. These beliefs form the foundation of the "educational initiation that prepares and licenses the student for professional practice". The nature of the "rigorous and rigid" preparation helps ensure that the received beliefs are firmly fixed in the student's mind. Scientists take great pains to defend the assumption that scientists know what the world is like...To this end, "normal science" will often suppress novelties which undermine its foundations. Research (...) is therefore not about discovering the unknown, but rather "a strenuous and devoted attempt to force nature into the conceptual boxes supplied by professional education". (shrink)

Scientific models invariably involve some degree of idealization, abstraction, or nationalization of their target system. Nonetheless, I argue that there are circumstances under which such false models can offer genuine scientific explanations. After reviewing three different proposals in the literature for how models can explain, I shall introduce a more general account of what I call model explanations, which specify the conditions under which models can be counted as explanatory. I shall illustrate this new framework by applying it to the (...) case of Bohr's model of the atom, and conclude by drawing some distinctions between phenomenological models, explanatory models, and fictional models. (shrink)

Thomas S. Kuhn's classic book is now available with a new index.

What sort of claims do scientific models make and how do these claims then underwrite empirical successes such as explanations and reliable policy interventions? In this paper I propose answers to these questions for the class of models used throughout the social and biological sciences, namely idealized deductive ones with a causal interpretation. I argue that the two main existing accounts misrepresent how these models are actually used, and propose a new account. *Received July 2006; revised August 2008. †To contact (...) the author, please write to: Department of Philosophy, University of Missouri, St. Louis, 599 Lucas Hall (MC 73), One University Blvd., St. Louis, MO 63121-4400; e-mail: [email protected]. (shrink)

Not since Ernest Nagel’s 1939 monograph on the theory of probability has there been a comprehensive elementary survey of the philosophical problems of probablity and induction. This is an authoritative and up-to-date treatment of the subject, and yet it is relatively brief and nontechnical. Hume’s skeptical arguments regarding the justification of induction are taken as a point of departure, and a variety of traditional and contemporary ways of dealing with this problem are considered. The author then sets forth his own (...) criteria of adequacy for interpretations of probability. Utilizing these criteria he analyzes contemporary theories of probability, as well as the older classical and subjective interpretations. (shrink)

This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer science as well. This book has become a classic because of its accessibility to students without a mathematical background, and because it covers not simply the staple topics of an intermediate logic course such as Godel's Incompleteness Theorems, (...) but also a large number of optional topics from Turing's theory of computability to Ramsey's theorem. John Burgess has now enhanced the book by adding a selection of problems at the end of each chapter, and by reorganising and rewriting chapters to make them more independent of each other and thus to increase the range of options available to instructors as to what to cover and what to defer. (shrink)

Debates about scientific realism are closely connected to almost everything else in the philosophy of science, for they concern the very nature of scientific knowledge. Scientific realism is a positive epistemic attitude toward the content of our best theories and models, recommending belief in both observable and unobservable aspects of the world described by the sciences. This epistemic attitude has important metaphysical and semantic dimensions, and these various commitments are contested by a number of rival epistemologies of science, known collectively (...) as forms of scientific antirealism. This article explains what scientific realism is, outlines its main variants, considers the most common arguments for and against the position, and contrasts it with its most important antirealist counterparts. (shrink)

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)

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)

In this paper, I take scientific models to be epistemic representations of their target systems. I define an epistemic representation to be a tool for gaining information about its target system and argue that a vehicle’s capacity to provide specific information about its target system—its informativeness—is an essential feature of this kind of representation. I draw an analogy to our ordinary notion of interpretation to show that a user’s aim of faithfully representing the target system is necessary for securing this (...) feature. (shrink)

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically ...

Debates about scientific realism are closely connected to almost everything else in the philosophy of science, for they concern the very nature of scientific knowledge. Scientific realism is a positive epistemic attitude toward the content of our best theories and models, recommending belief in both observable and unobservable aspects of the world described by the sciences. This epistemic attitude has important metaphysical and semantic dimensions, and these various commitments are contested by a number of rival epistemologies of science, known collectively (...) as forms of scientific antirealism. This article explains what scientific realism is, outlines its main variants, considers the most common arguments for and against the position, and contrasts it with its most important antirealist counterparts. (shrink)

... Press for their editorial perspicacity, to the National Institutes of Health for the partial financial support they gave me while I was writing some of the chapters, and to Donald Michie for suggesting the title Good Thinking.

Verification and validation of numerical models of natural systems is impossible. This is because natural systems are never closed and because model results are always nonunique. Models can be confirmed by the demonstration of agreement between observation and prediction, but confirmation is inherently partial. Complete confirmation is logically precluded by the fallacy of affirming the consequent and by incomplete access to natural phenomena. Models can only be evaluated in relative terms, and their predictive value is always open to question. The (...) primary value of models is heuristic. (shrink)

Computer Architecture: A Quantitative Approach, Sixth Edition has been considered essential reading by instructors, students and practitioners of computer design for over 20 years. The sixth edition of this classic textbook from Hennessy and Patterson, winners of the 2017 ACM A.M. Turing Award recognizing contributions of lasting and major technical importance to the computing field, is fully revised with the latest developments in processor and system architecture. The text now features examples from the RISC-V instruction set architecture, a modern RISC (...) instruction set developed and designed to be a free and openly adoptable standard. It also includes a new chapter on domain-specific architectures and an updated chapter on warehouse-scale computing that features the first public information on Google's newest WSC. True to its original mission of demystifying computer architecture, this edition continues the longstanding tradition of focusing on areas where the most exciting computing innovation is happening, while always keeping an emphasis on good engineering design. Includes a new chapter on domain-specific architectures, explaining how they are the only path forward for improved performance and energy efficiency given the end of Moore's Law and Dennard scaling Features the first publication of several DSAs from industry Features extensive updates to the chapter on warehouse-scale computing, with the first public information on the newest Google WSC Offers updates to other chapters including new material dealing with the use of stacked DRAM; data on the performance of new NVIDIA Pascal GPU vs. new AVX-512 Intel Skylake CPU; and extensive additions to content covering multicore architecture and organization Includes "Putting It All Together" sections near the end of every chapter, providing real-world technology examples that demonstrate the principles covered in each chapter Includes review appendices in the printed text and additional reference appendices available online Includes updated and improved case studies and exercises ACM named John L. Hennessy and David A. Patterson, recipients of the 2017 ACM A.M. Turing Award for pioneering a systematic, quantitative approach to the design and evaluation of computer architectures with enduring impact on the microprocessor industry. (shrink)

Issues concerning scientific explanation have been a focus of philosophical attention from Pre- Socratic times through the modern period. However, recent discussion really begins with the development of the Deductive-Nomological (DN) model. This model has had many advocates (including Popper 1935, 1959, Braithwaite 1953, Gardiner, 1959, Nagel 1961) but unquestionably the most detailed and influential statement is due to Carl Hempel (Hempel 1942, 1965, and Hempel & Oppenheim 1948). These papers and the reaction to them have structured subsequent discussion concerning (...) scientific explanation to an extraordinary degree. After some general remarks by way of background and orientation (Section 1), this entry describes the DN model and its extensions, and then turns to some well-known objections (Section 2). It next describes a variety of subsequent attempts to develop alternative models of explanation, including Wesley Salmon's Statistical Relevance (Section 3) and Causal Mechanical (Section 4) models and the Unificationist models due to Michael Friedman and Philip Kitcher (Section 5). Section 6 provides a summary and discusses directions for future work. (shrink)

This paper examines the role of mathematical idealization in describing and explaining various features of the world. It examines two cases: first, briefly, the modeling of shock formation using the idealization of the continuum. Second, and in more detail, the breaking of droplets from the points of view of both analytic fluid mechanics and molecular dynamical simulations at the nano-level. It argues that the continuum idealizations are explanatorily ineliminable and that a full understanding of certain physical phenomena cannot be obtained (...) through completely detailed, non-idealized representations. (shrink)

We provide a full characterization of computational error states for information systems. The class of errors considered is general enough to include human rational processes, logical reasoning, scientific progress and data processing in some functional programming languages. The aim is to reach a full taxonomy of error states by analysing the recovery and processing of data. We conclude by presenting machine-readable checking and resolve algorithms.

Computer simulations are an exciting tool that plays important roles in many scientific disciplines. This has attracted the attention of a number of philosophers of science. The main tenor in this literature is that computer simulations not only constitute interesting and powerful new science , but that they also raise a host of new philosophical issues. The protagonists in this debate claim no less than that simulations call into question our philosophical understanding of scientific ontology, the epistemology and semantics of (...) models and theories, and the relation between experimentation and theorising, and submit that simulations demand a fundamentally new philosophy of science in many respects. The aim of this paper is to critically evaluate these claims. Our conclusion will be sober. We argue that these claims are overblown and that simulations, far from demanding a new metaphysics, epistemology, semantics and methodology, raise few if any new philosophical problems. The philosophical problems that do come up in connection with simulations are not specific to simulations and most of them are variants of problems that have been discussed in other contexts before. (shrink)

Computer simulations are an exciting tool that plays important roles in many scientific disciplines. This has attracted the attention of a number of philosophers of science. The main tenor in this literature is that computer simulations not only constitute interesting and powerful new science, but that they also raise a host of new philosophical issues. The protagonists in this debate claim no less than that simulations call into question our philosophical understanding of scientific ontology, the epistemology and semantics of models (...) and theories, and the relation between experimentation and theorising, and submit that simulations demand a fundamentally new philosophy of science in many respects. The aim of this paper is to critically evaluate these claims. Our conclusion will be sober. We argue that these claims are overblown and that simulations, far from demanding a new metaphysics, epistemology, semantics and methodology, raise few if any new philosophical problems. The philosophical problems that do come up in connection with simulations are not specific to simulations and most of them are variants of problems that have been discussed in other contexts before. (shrink)

Lloyd (2009) contends that climate models are confirmed by various instances of fit between their output and observational data. The present paper argues that what these instances of fit might confirm are not climate models themselves, but rather hypotheses about the adequacy of climate models for particular purposes. This required shift in thinking—from confirming climate models to confirming their adequacy-for-purpose—may sound trivial, but it is shown to complicate the evaluation of climate models considerably, both in principle and in practice.

Computational modeling plays an increasingly important explanatory role in cases where we investigate systems or problems that exceed our native epistemic capacities. One clear case where technological enhancement is indispensable involves the study of complex systems.1 However, even in contexts where the number of parameters and interactions that define a problem is small, simple systems sometimes exhibit non-linear features which computational models can illustrate and track. In recent decades, computational models have been proposed as a way to assist us in (...) understanding emergent phenomena. (shrink)