There are several interpretations of the argument structure of Darwin's Origin of Species, representing Covering-Law, Inference-to-the-Best-Explanation, and (more recently) Semantic models. I argue that while all three types of interpretation enjoy some textual support, none succeeds in capturing the overall strategy of the Origin, consistent with Darwin's claim that it is ‘one long argument’. I provide detailed criticisms of all three current models, and then offer an alternative interpretation based on the view that there are three main argument strategies in the Origin, all supporting the ‘causal efficacy’ of Darwin's theory. This interpretation provides both a more unified treatment of the text, and some important implications concerning the relation between general philosophical models of scientific theory support and specific historical cases.

Entropy and information are both emerging as currencies of interdisciplinary dialogue, most recently in evolutionary theory. If this dialogue is to be fruitful, there must be general agreement about the meaning of these terms. That this is not presently the case owes principally to the supposition of many information theorists that information theory has succeeded in generalizing the entropy concept. The present paper will consider the merits of the generalization thesis, and make some suggestions for restricting both entropy and information to specific arenas of discourse.

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.

Husserl's (1970) discussion of “Galilean science“ is often dismissed as naïvely instrumentalist and hostile to science. He has been explicitly criticized for misunderstanding idealization in science, for treating the life world as a privileged conceptual framework, and for denying that science can in principle completely describe the world (because ordinary prescientific concepts are irreplaceable). I clarify Husserl's position concerning realism, and use this to show that the first two criticisms depend upon misinterpretations. The third criticism is well taken. Nevertheless, this is consistent with Husserl's fundamental claim that the manifestations of things are important to discuss, but are inaccessible to empirical science.

Richard Otte (1985) has recently criticized the resolution of Simpson's paradox given by Nancy Cartwright (1979). He argues that there are difficulties with the version of the theory of probabilistic causality that Cartwright has developed, and that there is a way in which Simpson's paradox can arise that Cartwright's theory cannot handle. And Otte develops his own theory of probabilistic causality. I defend Cartwright's solution, and I argue that there are difficulties with the theory of probabilistic causality that Otte proposes.

In this paper I attempt to tie together a longstanding dispute between Henry Kyburg and Isaac Levi concerning statistical inferences. The debate, which centers around the example of Petersen the Swede, concerns Kyburg's and Levi's accounts of randomness and choosing reference classes. I argue that both Kyburg and Levi have missed the real significance of their dispute, that Levi's claim that Kyburg violates Confirmational Conditionalization is insufficient, and that Kyburg has failed to show that Levi's criteria for choosing reference class are problematic. Rather, the significance of the Petersen case is to show that other aspects of their respective systems are defective: for Levi his account of credal judgments other than direct inference, and for Kyburg his explanation of how indexes are associated with a body of knowledge.

Isaac Levi uses C. S. Peirce's fallibilism as a foil for his own “epistemological infallibilism“. I argue that Levi's criticisms of Peirce do not hit their target, and that the two pragmatists agree on the fundamental issues concerning background knowledge, certainty, revision of belief, and the aims of inquiry.

In a recent discussion note Sober (1985) elaborates on the argument given in Sober (1982) to show the inadequacy of Ronald Giere's (1979, 1980) causal model for cases of frequency-dependent causation, and denies that Giere's (1984) response avoids the problem he raises. I argue that frequency-dependent effects do not pose a problem for Giere's original causal model, and that all parties in this dispute have been guity of misinterpreting the counterfactual populations involved in applying Giere's model.

We argue that Horgan's program for nominalizing science fails, because its translation of quantitative statements destroys the inferential structures of explanations, predictions and retrodictions of nonquantitative scientific facts.

Although Hale and Resnik are correct in their specific objection to my proposal for nominalizing science, the proposal can be saved by means of a simple and plausible modification.

1. Introduction. In (Kripke 1970), Saul Kripke distinguished rigid from accidental designators to refute the Frege-Russell theory of names, to rehabilitate natural necessity, and to subvert mind-body dualism. Discussions of Kripke's work have tended to follow this agenda. Here I examine a possible extension of Kripke's apparatus to scientific reduction and physical necessity. My overall conclusions are negative: while Kripkean arguments appear to yield surprising conclusions that cut against empiricism, these conclusions merely restate empiricist tenets in mildly paradoxical terms. The larger moral is that contemporary essentialism is less philosophically significant that has perhaps been supposed.

A solution of the Zeno paradoxes in terms of a discrete space is usually rejected on the basis of an argument formulated by Hermann Weyl, the so-called tile argument. This note shows that, given a set of reasonable assumptions for a discrete geometry, the Weyl argument does not apply. The crucial step is to stress the importance of the nonzero width of a line. The Pythagorean theorem is shown to hold for arbitrary right triangles.

Foss's critique of van Fraassen's constructive empiricism is shown to be completely wide of the mark (Foss 1984, van Fraassen 1980). Foss misunderstands van Fraassen's use of the terms ‘observable’, ‘phenomena’, ‘empirical adequacy’, and ‘epistemic community’. He misconstrues constructive empiricism as making knowledge, and perhaps existence, dependent on the observer. On the basis of this error, he attempts to reduce constructive empiricism to skepticism. None of his criticisms are to the point.