(This insularity was further promoted by the guileless duplicity of scholars in other fields, who were all too prepared to bequeath "the problem of ...

This paper utilizes Scott domains (continuous lattices) to provide a mathematical model for the use of idealized and approximately true data in the testing of scientific theories. Key episodes from the history of science can be understood in terms of this model as attempts to demonstrate that theories are monotonic, that is, yield better predictions when fed better or more realistic data. However, as we show, monotonicity and truth of theories are independent notions. A formal description is given of the (...) pragmatic virtues of theories which are monotonic. We also introduce the stronger concept of continuity and show how it relates to the finite nature of scientific computations. Finally, we show that the space of theories also has the structure of a Scott domain. This result provides an analysis of how one theory can be said to approximate another. (shrink)

It is argued in this paper that the valid argument forms coming under the general heading of Demonstrative Induction have played a highly significant role in the history of theoretical physics. This situation was thoroughly appreciated by several earlier philosophers of science and deserves to be more widely known and understood.

I am grateful to Peter Achinstein, Don Howard, and the other participants at the conference, 'The Role of Experiments in Scientific Changer', Virginia Polytechnic Institute and State University, 30 March to 1 April, 1990, for helpful discussion, and especially to Ron Laymon for his discussion comments presented at the conference on an earlier version of this paper.

While many philosophers of science have accorded special evidential significance to tests whose results are "novel facts", there continues to be disagreement over both the definition of novelty and why it should matter. The view of novelty favored by Giere, Lakatos, Worrall and many others is that of use-novelty: An accordance between evidence e and hypothesis h provides a genuine test of h only if e is not used in h's construction. I argue that what lies behind the intuition that (...) novelty matters is the deeper intuition that severe tests matter. I set out a criterion of severity akin to the notion of a test's power in Neyman-Pearson statistics. I argue that tests which are use-novel may fail to be severe, and tests that are severe may fail to be use-novel. I discuss the 1919 eclipse data as a severe test of Einstein's law of gravity. (shrink)

The thesis that observation necessarily fails to determine theory is false in the sense that observation can provide overwhelming evidence for a particular theory or even a hypothesis within the theory. The saga of quantum discontinuity illustrates the power of evidence to determine theory and shows how that power can be underestimated by inadequate caricatures of the evidential case. That quantum discontinuity can save the phenomena of black body radiation is the widely known result, but it leaves open the possibilities (...) of other accounts. That these phenomena, with the aid of minimal assumptions, entail quantum discontinuity is the crucial but now largely forgotten result. It was first demonstrated by Ehrenfest and Poincaré in 1911 and 1912. (shrink)