Achinstein, Putnam, and others have urged the rejection of the received view on theories (which construes theories as axiomatic calculi where theoretical terms are given partial observational interpretations by correspondence rules) because (i) the notion of partial interpretation cannot be given precise formulation, and (ii) the observational-theoretical distinction cannot be drawn satisfactorily. I try to show that these are the wrong reasons for rejecting the received view since (i) is false and it is virtually impossible to demonstrate the truth of (ii). Nonetheless, the received view should be rejected because it obscures a number of epistemologically important features of scientific theorizing. I show this by sketching an alternative analysis which reveals some of these features and gives a more faithful picture of scientific theorizing.

In this paper, I consider a variety of objections against the covering-law model of scientific explanation, show that Aristotle was already aware of them and had solutions for them, and argue that these solutions are correct. These solutions involve the notions of nonHumean causality and of essential properties. There are a great many familiar objections, both methodological and epistemological, to introducing these concepts into the methodology of science, but I show that these objections are based upon misunderstandings of these concepts.

An axiomatization of the theory is presented based on an explication of the 1957 text. Twenty-five theorems are deduced from the seven postulates. An abstract test space for the theory is formulated and the operations for its practical testing discussed. Traditional experimentation with the theory seems generally concerned with few of its propositions and incapable of testing it.

This paper discusses the controversy between philosophers of science (e.g. Grünbaum) and historians of science (e.g. Holton) regarding Einstein's discovery of STR. Although Holton is surely correct on the historical point that experimental results (especially the Michelson–Morley experiment) had little influence on Einstein's development of STR, this fact is not sufficient to establish his (and Polanyi's) claim that major scientific discoveries are primarily matters of private, nonspecifiable insights into physical reality. It is possible that Einstein's work was based primarily on non-empirical but nonetheless publicly discussable, objective considerations. And a more comprehensive survey of the discovery of STR shows that this was indeed the case and thus excludes STR as a supporting instance of Holton's and Polanyi's assertions of the primacy of “private science.”