Professional Documents
Culture Documents
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at http://www.jstor.org/page/
info/about/policies/terms.jsp
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content
in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship.
For more information about JSTOR, please contact support@jstor.org.
University of Chicago Press and Philosophy of Science Association are collaborating with JSTOR to digitize, preserve and
extend access to Philosophy of Science.
http://www.jstor.org
This content downloaded from 178.250.250.21 on Mon, 29 Feb 2016 00:32:56 UTC
All use subject to JSTOR Terms and Conditions
DISCUSSION: ERNEST NAGELS THE STRUCTURE OF SCIENCE*]-
EDWARD H. MADDEN
Let me say at the outset, what no one would have doubted, that Professor Nagel's
book is an excellent one. He offers detailed and clear analyses of many fundamental
discusses. The book is a long one and includes many topics, so a useful summary is
impossible. Instead I shall briefly list the topics covered, select one for more detailed
with analyses of the deductive pattern of explanation; the logical character of scientific
laws; experimental laws and theories; the cognitive status of theories; mechanical
explanations; space and geometry; geometry and physics; causality and indeterminism
The topic I want to consider in detail is "the logical character of scientific laws."
I shall give Nagel's views in some detail so his methods of analysis will become clear.
Yet even here I must abstract from the richness of detail and example so the full
flavor of his work will not come through. But enough will show, I am certain, to
convince any person interested in the philosophy of science that he must read this book
fully and carefully. Finally I shall add my own comments and queries.
Not every true statement, Nagel writes, having the form (x). Ax D Bx is a law of
nature. 'All the screws in Smith's car are rusty' is not even a law of nature, to say
nothing of its not being a causal law. The trouble with such a statement, Nagel
continues, is that it is not lawlike (i.e. "a statement which, if true, qualifies for the
designation 'law of nature' "). The philosophical task, then, is to find the characteristics
by virtue of which a statement is lawlike and thus if true a law of nature. However
the term 'law of nature' is notoriously vague, so we must not think we can find a neat
list of necessary and sufficient conditions for 'lawlikeness' and 'true' which will fit
all of its usages. "There is therefore more than an appearance of futility in the recurring
attempts to define with great logical precision what is a law of nature-attempts often
based on the tacit premise that a statement is a law in virtue of its possessing an
inherent 'essence' which the definition must articulate." (p. 49). Yet apparently
First, however, we must be completely clear about the prima-facie difference between
accidental and lawful universality. The latter, unlike the former, asserts more, appa-
rently, than defacto universality. E.g., to claim that 'Copper always expands on heating'
is a law of nature, is to claim "not merely that there does not happen to exist such a
piece of copper, but that it is "physically impossible' for such a piece of copper to
exist." (p. 51.) Such universal statements are sometimes said to express a "nomic'
64
This content downloaded from 178.250.250.21 on Mon, 29 Feb 2016 00:32:56 UTC
All use subject to JSTOR Terms and Conditions
ERNEST NAGEL 'S THE STRUCTURE OF SCIENCE 65
These prima facie differences have led some philosophers like Ewing and Broad to
formulate an entailment view of lawlikeness or lawfulness, but Nagel rejects this view.
First, those statements generally called laws in the various sciences are not in point
of fact logically necessary, since their formal denials are demonstrably not self-
must deny that these statements are genuine laws (and so fly in the face of science)
or deny that the proofs of their contingency are valid (and so fly in the face of formal
logic). Moreover, if the laws of nature are entailments, then the scientist acts incongru-
ously when he seeks experimental and observational evidence for a supposed law.
"And finally, despite the fact that the statements believed to be laws of nature are
not known to be logically necessary, those statements successfully play the roles in
science that are assigned to them [prediction and explanation]. It is therefore gratuitous
to maintain that unless those statements were logically necessary, they could not do
the tasks which they manifestly do perform." (p. 54.) The confusion which lies at the
root of the entailment view, Nagel believes, is not difficult to uncover. Sometimes a
law of nature which is empirical takes on, in a system of science, a definitional form.
E.g., 'Copper is a good electrical conductor' began as a law but now functions as a
defining property of copper-although, to be sure, the usage now is not always sharply
demarked. In any case, the entailment theorist, being impressed with the "necessary"
nature of such definitions when they do occur in some contexts, inadmissably imputes
such nature to all laws of nature in any context. Moreover, their thesis "that statements
about causes logically imply statements about effects ... confounds the relation of
logical necessity that holds between a set of explanatory premises and the explanadum,
with the contingent relation affirmed by laws contained in these premises." (p. 55, fn.)
Nagel next defends the Humean alternative to the entailment view, namely, that
universals of law can be explicated without employing irreducible modal notions like
"ephysical necessity" or "physical possibility." lie develops, he says, only the outlines
we discover, plunges us into the midst of current discussions about lawlikeness and
contrary-to-fact conditionals.
construed as lawlike statements and hence, if true, laws of nature. (1) Hempel has
suggested the requirement that lawlike statements must contain only purely qualitative
from statements which contain only purely qualitative predicates. Thus Kepler's
statements qualify as laws of nature because they are derivable from Newtonian theory.
But, Nagel objects, Kepler's statements were accepted as laws before such derivation
was possible. Moreover, it is not clear that statements like Kepler's are even today
the Keplerian laws from Newtonian mechanics and gravitational theory, merely by
substituting constant terms for variables occurring in the latter and without using
additional premises whose predicates are not purely qualitative. ... In effect, therefore
the proposed explication is far too restrictive. ..." (p. 58.) Yet we are on the scent of
an important requirement. Compare 'All the screws in Smith's car are rusty' with the
first Keplerian law 'All planets move on elliptic orbits with the sun at one focus of
This content downloaded from 178.250.250.21 on Mon, 29 Feb 2016 00:32:56 UTC
All use subject to JSTOR Terms and Conditions
66 EDWARD H. MADDEN
each ellipse.' While both statements contain names of individuals or predicates that
are not purely qualitative, nevertheless there is a difference between them. "In the
accidental universal, the objects of which the predicate 'rusty during the time period
a' is affirmed ... are severely restricted to things that fall into a specific spatio-temporal
region. In the lawlike statement, the scope of prediction ... is not restricted in this way:
the planets and their orbits are not required to be located in a fixed volume of space or
a given interval of time" (p. 59). Nagel calls a universal whose scope of prediction is
not restricted to objects falling into a fixed spatial region or a particular period of time
(2) The first criterion can only be called a necessary, not a sufficient one, since an
unrestricted universal conditional may be vacuously true when nothing at all satisfies
the antecedent clause. In order to remedy this fault one might restrict 'lawlikeness'
to cases where we know that there is at least one object which satisfies its antecedent.
Yet this restriction will not do since we would say that 'All copper wire at minus
not know in fact whether there are any such pieces of wire at that temperature. We
law that all copper is a good electric conductor, for which there is considerable evidence.
Thus Nagel is able to formulate his second criterion of 'lawlike': "The vacuous
law only if there is a set of other assumed laws from which the universal is logically
derivable" (p. 60). But aren't some fundamental laws of science, like Newton's first
law of motion, known to be vacuously true? Nagel thinks not. C... it is a gross over-
simplification to claim that the law is vacuously true; for the law is an element in a
system of laws for which there are certainly confirmatory instances. More generally,
(3) Further analysis of accidental universals like 'All the screws in Smith's car are
a statement about a particular screw in a finite class of screws. In this case, the evidence
for asserting the universal statement exhausts the class of objects and the class is such
called a law "it is a plausible requirement that the evidence for it is not known to
concide with its scope of predication and that, moreover, its scope is not known to be
(4) The fourth criterion is a bit more complicated-indeed, Nagel says, it is difficult
satisfy. This criterion is epistemological, not logical, and bears on the standing which
laws have in the whole body of our knowledge. We need to examine it in some detail.
The evidential support for a law may be either direct or indirect. Direct support,
of course, occurs where all the examined instances possess the property predicated by
level laws. (Nagel also distinguishes another, related sense of indirect evidence.)
despite the fact that it satisfies the various conditions already discussed, if the only
available evidence for L is direct evidence. ... Accordingly, in the absence of known
This content downloaded from 178.250.250.21 on Mon, 29 Feb 2016 00:32:56 UTC
All use subject to JSTOR Terms and Conditions
ERNEST NAGEL 'S THE STRUCTURE OF SCIENCE 67
laws in terms of which the black color of ravens can be explained, with the consequent
absence of a comprehensive variety of indirect evidence for the statement that all
ravens are black, our attitude to this statement is less firmly settled than it is toward
statements called laws for which such indirect evidence is available." (p. 66.) Moreover,
negative evidence functions quite differently in the two cases. Negative evidence
easily eliminates a law which has been supported only by direct evidence. But negative
evidence will often be re-interpreted in various ways to avoid eliminating a law for
which there is much indirect evidence, since to eliminate such a law strikes at the
heart and foundations of a whole science. Thus almost, if not quite, we have another
Nagel concludes his discussion of lawlikeness with a qualification. We must not think
the above four criteria, plus the requirement of truth, are sufficient grounds for saying
a statement is a law. No doubt statements can be invented which are not lawlike but
nevertheless satisfy these requirements. Indeed not all of the requirements are even
necessary conditions for ascribing lawfulness. Statements which we would call laws
can be found, probably, which fail to satisfy one or more of these conditions. This is
inevitable, he says, "for a precise explication of the meaning of 'law of nature' which
will be in agreement with every use of this vague expression is not possible" (p. 68).
Nevertheless Nagel thinks these criteria are important because they show that the
Humean can distinguish between accidental and nomic universals and thus that his
Even so, there is still a trouble spot in his Humean analysis, he admits. The most
impressive current criticism of such analyses is that de facto universals cannot support
subjunctive conditionals and thus fail to qualify as nomic universals. He meets this
criticism in two ways. First, many de facto universals are eliminated as lawlike by the
four criteria and hence of course do not support corresponding subjunctive condi-
universals left over, so to speak, qualify as non-accidental ones and do support the
adequate, and the stronger sense of nomic universality, that is, an irreducible non-
of lawfulness, Nagel, with great care and qualification, goes on to formulate a general
other statements, and in particular about the logical relations of these other statements)
asserting that the indicative form of its consequent clause follows logically from the
indicative form of its antecedent clause, when the latter is conjoined with some law
and the requisite initial conditions for the law" (p. 72).
functional ones.
I agree wholeheartedly with Nagel's criticisms of the entailment view and have
little to say about them. Yet there is one puzzling feature of ordinary usage which
This content downloaded from 178.250.250.21 on Mon, 29 Feb 2016 00:32:56 UTC
All use subject to JSTOR Terms and Conditions
68 EDWARD H. MADDEN
<'I didn't have the cause, after all, although I thought I did." Certainly one would never
say, "I know that's the cause. This time the relationship just broke down. And I
might have expected it some time or other since they aren't necessarily related."
The heart of the chapter, of course, is Nagel's own Humean sort of distinction
between accidental and lawlike universals. I shall comment on his criteria seriatim.
(1) Nagel's criticisms of Hempel's concept of purely qualitative predicate are right,
is a tight enough one. To be sure, 'All the screws in Smith's car are rusty' is more
severely restricted to things that fall into a specific spatiotemporal region than 'All
planets move on elliptic orbits with the sun at one focus of each ellipse.' But this does
not prove that the latter is not also restricted, although less so, spatiotemporally. But
Nagel appears to think so since he generalizes in his criterion beyond what the dis-
What he is entitled to say is simply "must not be severely restricted." But it is difficult
(2) This criterion is designed to eliminate the paradoxical results of material impli-
cation and seems perfectly adequate. The perceptive reader will notice that the way
he handles this problem foreshadows, in part, how he will eventually meet the problem
the pitfall so many analysts make of assuming that a sentence of lawfulness or counter-
factual inference must be analysed by a single sentence, or, as some say, must be trans-
cribed into an ideal language by specifying a synonym or analogue there. Nagel sees
clearly that this view must be avoided by any Humean who hopes to formulate an
(3) Consider a bottle of arsenic. I might say 'All people who drink heartily from this
bottle die' and insist it is lawful in Nagel's sense since it allows the subjunctive infe-
rence, "If x were to drink from this bottle of arsenic he would die." Of course, only a
few people drinking would soon consume the bottle. The class of people drinking
from this bottle of arsenic, then, cannot be further augmented. Since the scope of
predication cannot be augmented and yet the sentence is lawful, we apparently have a
since the evidence for the truth of this statement would not simply coincide with the
instances of people drinking from this bottle and dying. We know something about
chemical theory! To be sure, but in this case we see, then, that the impossibility of
augmentation and the exhaustiveness of instantial evidence are not simply two parts of
one criterion. And yet, as far as I can tell, Nagel presents them together as one criterion.
this requirement. The statement (1) 'All firstborn Canadian quintuplets born between
the World Wars are named Dionne' (where 'firstborn' means 'the first to be born')
born between the World Wars are named Dionne' apparently has the same relation to
(1), say, that 'All animals are mortal' has to 'All men are mortal.' (2) is not only a
higher level hypothesis relative to (1) but is also supported by evidence which is not
quintuplet to be named Dionne. Thus, one might say, paraphrasing this criterion,
(1) is supported not solely by the direct evidence that all firstborn Canadian quintuplets
have been named Dionne but also by being deduced from the higher-level hypothesis
This content downloaded from 178.250.250.21 on Mon, 29 Feb 2016 00:32:56 UTC
All use subject to JSTOR Terms and Conditions
ERNEST NAGEL 'S THE STRUCTURE OF SCIENCE 69
(2), the evidence for (2) being that all second-born have been named Dionne, etc.
And one could, of course, make the predicate of (2) as general as he pleased, e.g.,
by writing 'have names beginning with the letter D' or 'have names beginning with a
letter between the letters C and H.' Thus, paradoxically, on this criterion (1) turns out
to be lawful. One might reply that this is not a genuine counter-example because it
we have already seen that there are certain difficulties with this requirement. In any
case, Nagel's reply would be more direct. He is not claiming, you recall, that his four
requirements are sufficient (or that each is even necessary) grounds for calling a
universal statement a law. In short, he admits perfectly well the possibility of counter-
that is all to the good! This point is a pivotal one and requires further thought.
What, after all, does the notion of 'lawlike' mean? Apparently it refers to the form
(logical and epistemological) that any sentence must have in order to qualify, if true,
as a law. Various necessary and sufficient criteria of this form have been offered
To soften conditions and say that they aren't necessary and sufficient criteria, as Nagel
does, seems, then, to give up the very notion of lawlikeness. I believe Nagel is right;
they aren't necessary and sufficient conditions. But then let us get rid of the concept
which requires them to be. Do not conclude that I think Nagel's requirements useless.
I think the "logical" ones are, since they are too close to the original demands of the
analyses, it seems to me, of some of the ways in which scientists as a matter of fact
do distinguish laws (not true lawlike statements) from accidental universal statements.
Scientists use all sorts of criteria, some on one occasion, different ones on others, and
combinations on still others. They sometimes call certain universal statements laws,
e.g., when they fit into an established body of knowledge or connect well with what
we already know, when they have predictive and explanatory power, when they
contain theoretical terms or are logically related to one that does, when they occur in
a model theory, when they fill in spatiotemporal gaps, when different types of instances
confirm them, and even when only the multiplication of instances confirms them.
(The presumption, in short, is that any generalization is a law unless there is good
what counts as a law but what counts as an accidental universal too.) The clarification
of all these ways of deciding about lawfulness is not only not useless but crucial to
any advancement of the philosophy of science. And Nagel, in various places in the
Moreover, this new way of looking at lawfulness helps a Humean like Nagel in his
own defense. Philosophers from Reid on have claimed that the Humean cannot
distinguish lawful and accidental correlations, but this strategy of theirs seems to me
altogether wrong. If the Humean cannot make such a distinction, neither can the
entailment theorist. The latter advance no new way of knowing what is a law; he comes
to calling a statement a law in the very ways we have been talking about. If he didn't,
then he would never know that he had a law in the entailment sense he wishes to give
to it. Given his evidence that he has a law, he is then free on other philosophical
grounds to give it an entailment interpretation. But he is not free to build his case on
the Humean's alleged inability to distinguish laws from other universal statements.
Let me finish this part of the discussion by saying I have not so much been dis-
This content downloaded from 178.250.250.21 on Mon, 29 Feb 2016 00:32:56 UTC
All use subject to JSTOR Terms and Conditions
70 EDWARD H. MADDEN
agreeing with Professor Nagel-indeed I think his view that there are no sufficient
criteria is crucially right-as I have been contending that his premises allow of a
although it should be clear from what I said about his second criterion and other
matters that I am thoroughly in accord with it. Morevoer, his classification of laws is
extremely penetrating. I found his analysis of two types of functional law particularly
interesting.
Finally, I want to emphasize the richness of Professor Nagel's book. I have examined
carefully only one topic and even here omitted much, so that the extent and detail
of the work is inadequately suggested. It would be wise to look again at the list of
topics which I gave at the beginning of this discussion. Both the specialist and beginner
in the philosophy of science will find Nagel's thorough treatment of this wide range of
This content downloaded from 178.250.250.21 on Mon, 29 Feb 2016 00:32:56 UTC
All use subject to JSTOR Terms and Conditions