The Cement of The Universe (Mackie) PDF
The Cement of The Universe (Mackie) PDF
The Cement of The Universe (Mackie) PDF
J. L. MAGKIE
OXFORD
AT THE CLARENDON PRESS
This book has been printed digitally and produced in a standard specification
in order to ensure its continuing availability
OXFORD
UNIVERSITY PRESS
Great Clarendon Street, Oxford OX2 6DP
Oxford University Press is a department of the University of Oxford.
It furthers the University's objective of excellence in research, scholarship,
and education by publishing worldwide in
Oxford New York
Auckland Bangkok Buenos Aires Cape Town Chennai
Dar es Salaam Delhi Hong Kong Istanbul Karachi Kolkata
Kuala Lumpur Madrid Melbourne Mexico City Mumbai Nairobi
Sao Paulo Shanghai Singapore Taipei Tokyo Toronto
Introduction 1
1. Hume's Account of Causation 3
2. The Concept of Causation—Conditional Analyses 29
3. Causal Regularities 59
4. Kant and Transcendentalism 88
5. Common Sense and the Law 117
6. Functional Laws and Concomitant Variation 143
7. The Direction of Causation 160
8. The Necessity of Causes 193
9. Statistical Laws 231
10. Extensionality—Two Kinds of Cause 248
11. Teleology 270
Appendix. Eliminative Methods of Induction 297
Additional Notes 322
Bibliography 323
Additional Bibliography 326
Index 327
This page intentionally left blank
Introduction
Diagram (i)
Diagram (ii)
Diagram (iii)
Diagram (iv)
Here Cis the common cause, A one effect, and B the other; the
pattern is repeated over and over again, but each instance of A
occurs just before the associated instance of B. But of course
this linear diagram is only rough: in fact other conditions will
be conjoined with C to produce J, and others again to produce
B: C is presumably only an inus condition of A and of B. We
can concede to Mill that the A-B sequence is not uncondi-
tional. But it is not this that prevents A from being the (or a)
cause of B\ for we can find, underlying this, an unconditional
sequence which is still not causal. Suppose that the full cause
16
But these are not the only counter-examples. More thoroughly accidental
regularities will be discussed in Chapter 8.
84 CAUSAL R E G U L A R I T I E S
of A is (CXor T), and the full cause of B is (C£or W)t X and £
being present whenever this whole pattern is instantiated. Then
clearly AT is unconditionally preceded by C, while C£ is uncondi-
tionally followed (after a longer time interval) by B\ hence Af£
is unconditionally followed by B, though f% presumably is not.
There is an unconditional sequence in which the antecedent
is an assemblage of conditions of which A is a non-redundant
member, and the consequent is B. In more concrete terms, the
sounding of the Manchester factory hooters, plus the absence
of whatever conditions would make them sound when it wasn't
five o'clock, plus the presence of whatever conditions are, along
with its being five o'clock, jointly sufficient for the Londoners
to stop work a moment later—including, say, automatic devices
for setting off the London hooters at five o'clock, is a conjunc-
tion of features which is unconditionally followed by the
Londoners stopping work. In this conjunction the sounding of
the Manchester hooters is an essential element, for it alone, in
this conjunction, ensures that it should be five o'clock. Yet it
would be most implausible to say that this conjunction causes
the stopping of work in London. So the antecedent in even an
unconditional sequence may fail to cause the consequent. (And
this is not because the sequence is logically necessary, though
our description may have suggested this. Though I have spoken
of whatever conditions are sufficient for this or that, this is only
a way of indicating the concrete conditions T and £, whatever
they may be; T and £ are not themselves logically related to
A, B, and C, though our descriptions of them are; the sequence
in which AT£ is followed by B is logically contingent though
unconditional.)
Nor can this sort of counter-example be undermined by say-
ing that to be causal a sequence must be such as to be reasonably
taken to be counterfactually unconditional. For if the (CX or
T)-A and (C£ or W}~B sequences are counterfactually uncon-
ditional, so is the Af%-B one. This sort of counter-example
shows, too, that adding a causal mechanism, a continuity of
process, is not enough; for if there are such mechanisms or
continuities between C and A and between C and Bt there will
inevitably be a set of mechanisms, a resultant continuous pro-
cess, linking A with B.
But it is not too difficult to begin to see what the key addi-
CAUSAL REGULARITIES 85
tional feature is that marks off genuine cause-effect sequences,
and that is lacking in this A-B counter-example. It is what we
spoke of in Chapter 2 as causal priority. In the branched
pattern, each instance of A, or of AY Z, is not causally prior
(though it is temporally prior) to the associated instance of B.
Each A is indeed related to its B by 'some fact of causation',
by what is roughly indicated by the arrows in the diagram;
but the C-A arrow is pointing the wrong way. The Af%~B
sequence is causally maintained, but Af% does not cause B.
Admittedly this is only a schematic answer, since we have not
yet discovered in what causal priority in the objects consists:
the account sketched at the end of Chapter 2, in terms of
conditionals and possible worlds, may help to identify our notion
of causal priority, but it falls far short of anything that could
be an objective description. But though it is elusive, causal
priority can hardly be non-existent. The regularity theorist
could rebut this last criticism only if he were prepared to say
that there is no difference in the objects between the causal
pattern represented, however crudely, by the above diagram
and that which would be represented thus:
Diagram (v)
ONE of the best studies that have been made of ordinary causal
concepts is that by Hart and Honord in Causation in the Law.
Their discussion deals not only with legal applications of causal
notions, but also with the common-sense concepts and their
ordinary use, concentrating particularly on singular causal
statements. It will therefore be a good test of the account which
I have tried to develop in Chapters 2 and 3 to see how well it
can either accommodate the points made by these authors or
defend itself against them.
Hart and Honore" stress 'the possibility that the common
notion of causation may have features which vary from context
to context, that there may be different types of causal inquiry,
and that there may not be a single concept of causation but
rather a cluster of related concepts';1 they argue, in fact, that
these possibilities are realized.
In this cluster, the fundamental division is between those
ordinary causal statements which assert 'that one physical
event was caused by another such event or by a human action',
and 'statements of interpersonal transactions [which] involve
the notion of a person's reason for acting'. For the first class
(which I shall refer to as physical) Mill's analysis is often at least
approximately correct, but for the second (which I shall call
interpersonal) something radically different is needed. However,
there are also 'cases where causal language is used to indicate
relationships different from either of these two main types but
with important affinities to them'.
Where Hart and Honore" find only a cluster of related con-
cepts, I would rather say that there is a single basic concept of
causing to which various frills are added: there is one common
1
Causation in the Law, p. 17.
ii8 COMMON SENSE AND THE LAW
kind of causing but with different accompaniments. Since we
have no well-established rules for counting concepts, this may
seem to be a dubious distinction; but we shall find that it
covers some substantial differences.
Hart and Honore" recognize Mill's improvements on Hume—
in admitting standing conditions, as opposed to events, as
causes, and in allowing for assemblages of conditions and for
plurality of causes, with the resulting complexity of generaliza-
tions. But they insist, rightly, that 'Mill's standard of "invariable
and unconditional sequence" cannot be met', that his doctrine
'presents an idealized model' even for the physical causation to
which it is more or less appropriate.2 Our account has allowed
for this by noting, first, that causal regularities as known are
elliptical, and, secondly, that Mill's requirement of uncondi-
tionality was a misguided attempt to deal with the difficulty
that regularities of succession may fail to be causal, the correct
resolution of which involves the direction of causation.
Hart and Honor6 say that 'Mill's description of common
sense "selecting" the cause from a set of conditions is a suggestio
falsi so far as ... simple causal statements are concerned; for,
though we may gradually come to know more and more of the
conditions required for our interventions to be successful, we do
not "select" from them the one we treat as the cause. Our
intervention is regarded as the cause from the start before we
learn more than a few of the other necessary conditions. We
simply continue to call it the cause when we know more.'3 This
is at least part of the truth; it is allowed for both by the analysis
suggested in Chapter 2, that a cause is 'necessary (and perhaps
also sufficient) in the circumstances' whatever those circum-
stances may be, and by the thesis of Chapter 3 that causal
regularities as known are elliptical, but in varying degrees.
They also argue that 'The line between cause and mere condi-
tion' (whose philosophical importance Mill denied) 'is ...
drawn by common sense on principles which vary in a subtle
and complex way, both with the type of causal question at
issue and the circumstances in which causal questions arise . . .
two contrasts are of prime importance . .. [those] between what
is abnormal and what is normal in relation to any given thing
2
Causation in the Law, pp. ai, 41.
3
Ibid., p. ag; the point is also made more fully on pp. 42-3.
COMMON SENSE AND THE LAW 119
or subject-matter, and between a free deliberate human action
and all other conditions'.4 Developing the first of these they
say that '. . . normal conditions (and hence in causal inquiries
mere conditions) are those . . . which are present as part of the
usual state or mode of operation of the thing under inquiry:
some . . . will also be familiar, pervasive features of the environ-
ment, . . . present alike in the case of disaster and of normal
functioning'. By contrast, 'What is abnormal . . . "makes the
difference" between the accident and things going on as usual.5*
Features which are normal in this sense are the ones which in
Chapter 2 above were relegated to the causal field, and there-
fore not allowed to count as causes. Hart and Honor6 stress the
relativity to context of this contrast between the normal and
the abnormal.6 'If a fire breaks out in a laboratory or in a
factory, where special precautions are taken to exclude oxygen
during part of an experiment or manufacturing process, since
the success of this depends on safety from fire, there would be
no absurdity at all in such a case in saying that the presence of
oxygen was the cause of the fire. The exclusion of oxygen in
such a case, and not its presence, is part of the normal function-
ing.' Again, 'The cause of a great famine in India may be
identified by the Indian peasant as a drought, but the World
Food authority may identify the Indian government's failure
to build up reserves as the cause and the drought as a mere
condition.' As I have put it, different fields may be chosen for
causal accounts of the same event. What is normal may depend
upon man-made norms: the gardener's failure to water the
flowers caused their dying, being a deviation from a routine
practice as well as a duty, but the failure of other people to
water the flowers was normal and hence not a cause.7 Hart and
Honore1 also show that 'A deliberate human act is ... most
often a barrier and a goal in tracing back causes ... it is some-
thing through which we do not trace the cause of a later event
and something to which we do trace the cause through inter-
vening causes of other kinds.'8 The presence of arsenic in a man's
body caused his death, but someone's putting the arsenic in his
food (which caused this cause) also caused his death, though
causing is not always taken as transitive. (If lightning caused a
5
+ Ibid., p. 31. Ibid., pp. 33-3. « Ibid., p. 33.
' Ibid., pp. 35-6. * Ibid., p. 41.
lao COMMON SENSE AND THE LAW
fire, the atmospheric conditions which caused the lightning are
not said to have caused the fire.) On the other hand, even if
something caused the poisoner to act as he did, we would not
say that this something caused his victim's death.
Now these are quite real distinctions, and they are important
for an analysis of the ordinary uses of causal terminology, which
in turn may be, as Hart and Honord argue,9 rightly relevant to
legal decisions, though they are not the only considerations that
affect the limits of responsibility. But I would stress that though
our account has not developed them, it has left room for them,
in noting that 'an alleged condition which is not called a
cause . . . either is part of the field presupposed in the view
taken by the speaker . . . or is a cause, but mention of this
fact happens to be irrelevant, or less relevant than mention of
some other cause of the same result, to some current purpose'.10
Deliberate human actions are particularly relevant as causes
just because they are the focus of interest with respect to
responsibility and various forms of control. But since even the
choice of a field is relative to a purpose or a point of view, and
since even apart from this what we recognize as a cause, rather
than a mere condition, commonly depends on what we know—
or what we knew first—or what is closely related to our interests,
there is much to be said for Mill's refusal to distinguish 'philo-
sophically speaking' between causes and conditions. As an
analysis of ordinary language, this would be wrong; but from
a theoretical point of view, as an account of causal processes
themselves, it would be right. What is not a cause in relation to
one field may be so in relation to another. A deliberate human
act is related to a physical result that it helps to bring about in
just the same way that other factors may be, namely as 'neces-
sary (and perhaps sufficient) in the circumstances', as an in-
stance of an inus condition, and as being causally prior to that
result.
Of much greater moment is the claim made by Hart and
Honord that statements of interpersonal transactions, involving
the notion of a person's reason for acting, incorporate a quite
different causal concept from that of which Mill's analysis is
approximately correct. But their main ground for this claim is
that generalizations play a different role in physical and in
I0
» Especially in their Chapters 3 and 4. Chapter a, above.
COMMON SENSE AND THE LAW lai
interpersonal cases '. . . the assertion that one person, for
example, induced another to act is not "covertly" general even
in the modified sense discussed in Section IV. Generalizations
have a place here but a less central one.'11 I think, however,
that this is a false contrast, and that it is due to their having
conceded too much to Mill in the physical sphere. Singular
causal statements in this sphere are not, I shall argue, covertly
general even in the modified sense allowed by Hart and Honored
Criticizing Hume, Hart and Honore" say that 'the lawyer
approaches the general element inherent in causal statements
in a different way, which disguises it: when it is suggested that
A is the cause of B he is apt to ask as the first question, would B
have happened without A? And though in fact, in order to
answer this question, we have ... to use our general knowledge
of the course of nature, it looks as if this general knowledge
were just part of the evidence that a particular event was the
cause of another, and not constitutive of the very meaning of
the particular causal statement.'12 Yes; but it is not only the
lawyer who is apt to ask this first question, but also the ordinary
man, and (as we have seen) even Mill, and even, in an un-
guarded moment, Hume himself. It is the negative answer to
this question, and nothing either explicitly or implicitly general,
that I have put at the centre of the analysis of singular causal
statements. I have shown (in Chapter 3) that it is only in very
tenuous senses that any singular causal statements are implicitly
general. Also, granted that general knowledge may somehow
be part of the evidence that this particular event of type A
caused that particular event of type B, what general knowledge
plays this role, and just how does it work? I have argued in
Chapter 3 that an elliptical generalization, saying that A is an
inus condition (or better) of B, will sustain the counterfactual
conditionals involved in this singular causal statement. If an
appropriate elliptical generalization is known, it will indeed
make it easier for us to interpret this particular A-B sequence
as causal, and I grant that in physical cases such generaliza-
tions are often known in advance. As Hart and Honore" say,
'When we assert that A's blow made £'s nose bleed or A's
exposure of the wax to the flame caused it to melt, the general
knowledge used here is knowledge of the familiar "way" to
" Causation in the Law, p. 48. ™ Ibid., p. 14.
iza COMMON SENSE AND THE LAW
produce . . . certain types of change.'13 But, as I have shown,
even in physical cases no such generalization need be known in
advance: the elliptical generalization can be discovered and
(tentatively) established by the observation of the very same
individual sequence the conditionals about which it may be
said to sustain. We do not, then, need it as evidence. The
generalizations that are far more vital as providers of evidence
are those which inform us of the irrelevance of various other
changes in the spatio-temporal neighbourhood of the observed
sequence, for example, that B's nose is unlikely to have been
made to bleed by C"s whistling or by the cold draught as D
opened the door, or that the wax is unlikely to have been
melted by the mere movement that brought it near to the
flame. This distinction is vital, because general knowledge
related in the same way to the singular causal judgement is
relevant even in the interpersonal cases. How do we know that
it was A's threat that induced B to open the safe? It is not
enough that A's gesture with a loaded revolver gave B a reason
for opening the safe; we want to say that this was his reason for
doing so. This causal statement too will have an analysis that
includes the counterfactual 'B would not have opened the safe
on this occasion, in these circumstances, if A had not threatened
him'. To be able to say this, we need to know that B is not
prone to open the safe gratuitously in the presence of strangers
or in response to an unauthoritative request. This is general
knowledge that we probably have about B, and that B almost
certainly has about himself, and both B himself and we as
spectators are implicitly relying on such knowledge when we
say that it was the threat which induced him to open the safe.
It may be objected that B himself, at any rate, has no need to
appeal even to this general knowledge, that he knows that
until A produced the revolver he had no thought of opening
the safe, and so knows directly that on this occasion he would
not have opened it if the revolver had not been displayed,
whatever he may or may not have done, or might or might
not do, on other occasions. We can concede this; but this is no
more than an example of the imaginative analogizing, the auto-
matic transfer from an earlier situation to a reconstructed later
WE may now come back to what Hume called *one of the most
sublime questions in philosophy', namely that of the power or
efficacy of causes, of the necessity that has been thought to
reside in the causal relation. We may begin by reminding our-
selves of the different jobs that necessity has been expected to do.
It has been thought of, both by Hume and by some of his
critics, as something that would either justify or replace induc-
tion, something which, if only we could detect it, would give
us knowledge of how nature works even in unobserved and
future cases. In this sense, Russell's principle of the permanence
of laws1 does the work of necessity. Closely related to this is the
notion, in Hume, of what we have labelled necessitya, some-
thing which if it were detected in one (cause) event would
license a priori the inference that a certain other (effect) event
would follow, with perhaps a counterpart which if detected in
an effect event would license a priori the corresponding inference
to its cause. This is closely related to the former notion, since
knowledge of such a property would entitle us to assert the
universal hypothetical that if a property of either sort occurred
anywhere at any time, the appropriate effect would follow (or
the appropriate cause would already have occurred). Thirdly,
there is the weaker notion of what we have labelled necessity3,
of something which would license causal inference in new cases
but perhaps not a priori', it is in this sense that Hume was pre-
pared to redefine necessity as 'the constant union and con-
junction of like objects3.* Necessity in this sense neither justifies
nor replaces induction; rather, knowledge of it, or belief in
it, is the typical product of a piece of inductive reasoning.
Fourthly, there is the notion of what we have called necessitylt
2
* Mysticism and Logic, p. 196. Treatise, II, HI, a.
194 THE NECESSITY OF CAUSES
of something that marks off causal from non-causal sequences.
Fifthly, especially under the title of 'natural necessity', there is
the thought of something that distinguishes causal or nomic
regularities (or universal propositions or generalizations) from
merely accidental ones. Sixthly, though this is closely linked
with the fourth notion, is the idea of an intimate tie that joins
each individual effect to its individual cause. Seventhly, there is
the belief that it is in some sense necessary that every event
should have a cause, which Hume contrasts with the belief that
such particular causes must have such particular effects.3 The
necessity of causes in this sense would be something that re-
quired there to be a causal law behind any event. This, of
course, joins hands with the first notion in so far as a general
causal principle, once established, might help to validate or
justify the drawing of particular inductive conclusions from
appropriate observations or bodies of evidence. And, finally,
there is always in the background the concept of logical neces-
sity. This will not do any of the seven jobs, though it plays a
part in association with necessity3; an unrestricted statement of
regularity or constant conjunction along with an adequate
description of initial conditions will logically necessitate the
assertion that such-and-such an effect will follow.
I shall examine first regularity-type theories of necessity and
then theories of a radically different kind in an attempt to
reach a defensible view of this subject.
The conclusion reached at the end of Chapter 3 was that the
meaning of causal statements (singular or general) could not
be analysed in terms of regularities, but that the complex
regularities there examined constituted part of causation in the
objects, and (in their elliptical form) constituted part of causa-
tion as we know it in the objects; what we there found to be
needed, over and above complex regularity, to constitute causa-
tion in the objects was causal priority and perhaps some under-
lying causal mechanism. We have now dealt with causal
priority; what remains to be considered is whether objective
causation includes anything more, anything over and above both
(complex) regularity and what we have found to constitute the
direction of causation, perhaps something indicated by talk
about an underlying mechanism, perhaps not.
3
Treatise, I, m, a.
THE NECESSITY OF CAUSES 195
How well can a regularity theory cope with the seven jobs
for necessity listed above? It does not help with the first, that
is, it does not in itself justify or replace induction. The second
job was that of necessity2, and of course any regularity approach
simply denies that there is any such thing, and it thus excludes
something that might have been able to justify induction. Yet
it would be wrong to say that a regularity theory makes the
problem of induction insoluble.* In Hume's argument, what
makes this problem seem insoluble is quite a different step, his
misleading use of the problem-of-induction dilemma, and as
our analysis of his argument in Chapter i shows, that dilemma
does not in any way rest on the regularity doctrine, but instead
that doctrine is ultimately supported, in part and at several
removes, by the dilemma. Regularity is, as we have noted, well
fitted for the third job, that of necessity3, and we have seen in
Chapter 3 that even complex and incompletely known regu-
larities can still do this job. It will also do the fourth job, that
of necessity^ of marking off causal from non-causal sequences:
according to a regularity account, a single sequence is causal
if and only if it instantiates a regularity. But does it do this job
properly? Does it draw the line in the right place? If we use
both halves of such complex regularities as we have formulated
it will admit as causal only those sequences in which the earlier
item is both necessary and sufficient in the circumstances for
the effect. To allow for the point made in Chapter 2, that we
do not always require strong, counterfactual, sufficiency, we
should have to read the regularity account as admitting, as
causal, sequences which instantiate the second half of such
complex regularities as we have formulated—that which has
such a form as 'In the field F, all P are preceded by (ABC or
DGfi or JKLy—even if no corresponding first half, of such a
form as 'In the field F, all (ABC or DGff or JKL) are followed
by P', is in force. On the other hand, it is this first half of a
regularity that would perform the more frequently mentioned
task of necessity3, that would, in conjunction with some descrip-
tion of the cause, logically necessitate the effect; the second
half of a regularity would perform only a less popular task;
it would, in conjunction with some description of the effect,
4
Or even that it is a regularity theory that gives rise to this problem. Cf. H. R.
Harre, The Philosophies of Science, p. 117,
196 THE NECESSITY OF CAUSES
logically necessitate the previous occurrence of the cause. There
is tension here between the ordinary requirements for causal
sequence and the philosophical tradition: once it is assumed
that causation has something to do with logical necessitation it
is tempting to make the causally prior item at least part of the
logically prior item, to put the cause on the logically necessitat-
ing side. But then it will be different halves of a regularity that
do the more frequently mentioned task of necessity3 and supply
the most vital part of necessity^ Even apart from this, in order
to get the right sequences marked off as causal we must add
the proviso that there should be the right relation of causal
priority and also allow, as in Chapter 2, for the fact that some
members of over-determining sets of causal factors are causes
while others are not. These are minor and not particularly
troublesome adjustments. But the major issue is whether, even
after they have been made, the regularity account picks out
the right sequences as causal. This depends on its success in
doing the fifth job. For if there are or can be regularities which
are altogether accidental (and do not merely have the causal
priority arrows wrongly placed), it seems that their instances
will count as causal by the regularity definition, while they
would be intuitively set aside as non-causal. This is a problem
which we must discuss at length. A purely regularity theory
simply refuses to do the sixth job; it denies that there is any
tie between the individual cause and effect over and above their
instantiating of the right sort of regularity; again, we shall con-
sider whether it is right to do so. The regularity approach is
also unhelpful in connection with the seventh job: there seems
to be no reason why the instantiating of regularities should
pervade the universe, and we have examined and rejected, in
Chapter 4, both Kant's arguments for the strong thesis 'Every-
thing that happens . . . presupposes something upon which it
follows according to a rule' and arguments of a Kantian type
put forward by modern thinkers in support of similar but weaker
conclusions. We shall consider whether some other (or further)
account of what causation in the objects is lends more weight
to the expectation that events should have causes.
The problem raised by the fifth job for necessity, that of
distinguishing causal from Accidental regularities, is the great
difficulty for any regularity theory of causation. We can
THE NECESSITY OF CAUSES 197
distinguish a general and a specific form of this difficulty. In
his classic discussion of the character of natural laws3 Krieale
considers four possible views, that such laws are 'principles of
necessitation', that they are restricted universals, applying only
to limited regions of space and time, that they are unrestricted
but still only contingent universals, describing what always
and everywhere actually occurs, and that they are prescrip-
tions, maxims, or rules. The third of these is the Humean
regularity view; against it Kneale brings what he-regards as
the conclusive objection that laws of nature entail counter-
factual conditionals, while contingent, actual universals do not.
For example, if there had been a law of nature that all dodos
have a white feather in their tails, this would have entailed the
counterfactual conditional that if there had been any dodos
other than those that actually existed, they too would have had
a white feather in their tails, whereas the contingent universal
proposition that all actual dodos had a white feather in their
tails does not entail this counterfactual conditional.6 But even
if this specific difficulty were resolved, there would still be a
more general difficulty: we want to draw some distinction be-
tween laws of nature on the one hand and merely accidentally
true universal propositions on the other (even if it is not the
entailing of counterfactuals that distinguishes them), and it is
hard to see how a regularity theory can explain this. In a later
article7 Kneale gives examples of conceivably true but only
accidental universals which we should not count as even derived
laws of nature: 'there has never been a chain reaction of
s
W. C. Kneale, Probability and Induction) pp. 70-103.
6
Ibid., p. 75. Kneale speaks of contrary-to-fact conditionals: others have sug-
gested that nomic universals are distinguished by their entailing subjunctive con-
ditionals. This is less apt, for the term 'subjunctive conditional* is ambiguous
between counterfactuals, that is, those whose form indicates that the speaker
takes their antecedents to be unfulfilled {'If there had been any . . .', 'If there
were any . . .') and those which merely indicate that the speaker takes their
antecedents to be unlikely ('If there were to be any . . .'). The latter are only a
species of open conditionals, and even an accidental universal will entail all the
corresponding open conditionals. If it is a cosmic accident that all past, present,
and future As are 5s, it still follows that if there is an A (in such-and-such a place)
it is a B and that if there were to be an A—however unlikely—then this too would
be a B. It is only the conditionals whose antecedents are unfulfilled that even look
like the exclusive property of nomic universals.
7
'Natural Laws and Contrary to Fact Conditionals', Analysis, x (1950), re-
printed in Philosophy and Analysis, ed. Margaret Macdonald, pp. 226-31.
ig8 THE NECESSITY OF CAUSES
plutonium within a strong steel shell containing heavy hydro-
gen and . . . there never will be' and 'no human being has ever
heard or will ever hear this tune' (said by a musician who has
just composed an intricate tune on his deathbed).
A Humean might respond in either of two ways to this
general difficulty: he might try to draw, in his own terms, the
required distinction between nomic and accidental universal
truths, or he might, heroically, maintain that it was only an
unwarranted prejudice that there should be any such distinc-
tion. He might argue that in a deterministic universe everything
that happens happens in accordance with causal laws, so that
any allegedly accidental universal truths like those suggested
by Kneale hold, if they hold at all, in consequence of laws, and
should therefore be regarded as laws themselves, but derived
laws. This is not a very good argument, but we need not bother
about its other weaknesses since it is completely destroyed by
the reflection that we have no right to assume that the universe
is deterministic. Suppose that we manufacture a number of
atomic bombs, all alike in all relevant respects, each of which
will explode if and only if a nuclear disintegration of a certain
kind A occurs spontaneously before a nuclear disintegration of
some other kind B occurs within the same core—a reaction of
type B will in effect defuse the bomb. Some of the bombs
explode and some do not, but it is a matter of pure chance
which do, that is, whether in each bomb an ^(-reaction occurs
before a 5-reaction. Suppose further that it just happens that
a red spot has been painted on all and only the bombs that in
fact explode. Then we have a true universal proposition of just
the right form to count as a causal regularity making the having
of a red spot painted on the outside an inus condition of such
a bomb's exploding, and therefore necessary and sufficient in
the circumstances for this: whenever there are the other con-
ditions, and the red spot, the bomb explodes, but whenever
there are only the other conditions, without the red spot, it
does not. Also the fixity relations are right to allow the spot-
painting to be causally prior to the explosion in each case.
Our heroic Hurnean will, then, say that this is a causal
regularity, a law of nature. But, ex hypothesi, its truth is not a
consequence of the truth of any other laws: it was a matter of
pure chance, at least so far as all the laws of atomic disintegra-
THE NECESSITY OF CAUSES 199
tion are concerned, that just those particular bombs blew up.
If the red-spot/explosion universal is a law, it is a new funda-
mental law of nature in its own right. Well, the Humean could
still say this, defending it on the ground that nothing can be
found in those other universal truths which we happily accept
as fundamental laws of nature that relevantly distinguishes
them from this one. But most Humeans would prefer, if they
could, to find some grounds, compatible with their system of
ideas, which would draw a line between regularities like this
one, which could be called accidental, and those which would
be counted as causal laws or laws of nature.
But let us go back to the specific difficulty, to Kneale's argu-
ment that laws of nature entail counterfactuals while contingent
universal truths do not. If a counterfactual conditional were
merely the conjunction of a material conditional with the
denial (or a hint of the denial) of the antecedent, then indeed
this problem would not arise: contingent universal truths of
the most accidental sorts would entail counterfactuals too. But
then all counterfactuals, if their antecedents were in fact un-
fulfilled, would be trivially true; this analysis of counterfactuals
removes the objection only by missing the point of the dis-
criminating use of some counterfactuals but not others: we want
to say *If this bit of potassium had been exposed to air it would
have burst into flame' but not 'If this bit of potassium had been
exposed to air it would have turned into gold*. I have argued
instead for a 'suppositional' analysis of conditionals, including
counterfactuals.8 The first of the two just given is seen as saying:
'Suppose that this bit of potassium has been exposed to air;
then (within the scope of this supposition) it has burst into
flame.' An almost equivalent way of treating it would equate
it with 'In the possible (but not actual) situation that this bit
of potassium was exposed to air, it burst into flame'; but I have
insisted that such talk about possibilities (or possible worlds)
must not be taken too literally: to talk about them is still only
to talk about our supposings and how we develop them;
possible worlds other than, the actual one have no fully objective
existence. It is a consequence of this analysis that counter-
factuals whose antecedents are, as the speaker suggests, unful-
filled, and whose antecedents do not entail their consequents,
8
Truth, Probability, and Paradox, Chapter 3.
aoo THE NECESSITY OF CAUSES
cannot be true in a strict sense; I would therefore not want to
say that even the most respectable counterfactual was entailed
by a law of nature. Nevertheless I would say that it was reason-
able to assert some counterfactuals, notably those that could be
said to be sustained by laws of nature, and not at all reasonable
to assert others. Since it is a law of nature that potassium when
in contact with oxygen ignites, it is reasonable to assert the
first of our two counterfactuals above; the law sustains this in
that when we combine the supposition that this bit of potassium
was exposed to air with the law and with the fact that air con-
tains a fair proportion of oxygen we can validly infer from their
conjunction the conclusion 'This bit of potassium burst into
flame', corresponding to the consequent of our conditional. But
why does not the truth of the singular material conditional
'{This bit of potassium was exposed to air) D (it turned into
gold)'—which is true just because its antecedent is false—
equally sustain our second counterfactual? The conjunction of
it with the supposition that this bit of potassium was exposed
to air equally entails the conclusion 'This bit of potassium
turned into gold'. The obvious answer is that it is not reason-
able to combine, with that supposition, a proposition which we
believe to be true only on the ground that that supposition is
false, and attempt to draw any conclusion from their con-
junction. To reason in that way would amount, in effect, to
using a statement and its denial as joint premisses in a serious
argument, and though according to the rules of the classical
propositional calculus such a pair of contradictory premisses
validly entails any conclusion at all, no one supposes for a
moment that this is a sensible way of arguing. Again, an example
of an accidental universal truth that does not sustain counter-
factuals would be 'All the coins in my pocket are shiny', which
seems neither to entail nor to sustain the counterfactual 'If that
other coin had been in my pocket it would have been shiny'.
The reason why it fails to do so is plain: it is not reasonable to
retain, along with the contrary-to-fact supposition that that
other coin is in my pocket, a universal proposition which is
believed solely on the strength of a complete enumerative check
of all the coins actually in my pocket. The required argument,
'Suppose that that other coin is in my pocket; all the coins
in my pocket are shiny; so that other coin is shiny', though
THE NECESSITY OF CAUSES aoi
Formally valid, is not one that can be sensibly used in the circum-
stances envisaged: the second premiss is accepted about the
actual world on grounds that make it absurd to retain it within
the scope of the supposition of the first premiss, and so apply
it to a certain possible situation, for that first premiss totally
undermines our reason for accepting the second. The accidental
universal, accepted solely on the strength of a complete enumera-
tion, therefore fails to sustain a counterfactual for a reason
rather like (but still a little different from) the reason why the
material conditional mentioned fails to sustain the counter-
factual that if this bit of potassium had been exposed to air it
would have turned into gold.
This explanation9 shows why accidental universals do not
sustain counterfactuals; but we must still explain why laws of
nature do so. Clearly, it must be because it is reasonable to
retain a law of nature along with a contrary-to-fact supposition.
But how can it be, if the law of nature itself does no more than
describe a contingent and actual state of affairs? If the sup-
position takes us to a merely possible world, how can it be
reasonable to carry with us, in our baggage for this journey, a
statement that merely describes the actual world? The answer
lies not in any peculiar content of the law of nature, any
stronger-than-contingent link which it reports between its
antecedent and its consequent, but in the sort of reason we
have for believing it. Either this law itself, or some higher law
or set of laws from which it is derived, or perhaps, indeed, both
this law itself and one or more higher ones, will be supported
by some sort of inductive evidence: or, what comes to the same
thing, it or they or both will be confirmed or corroborated by
some observations or experiments,, We need consider only the
simplest case, where this law itself is either directly confirmed
or inductively supported. If it is, say, the law that potassium
when in contact with oxygen ignites, the evidence will be that
other samples of potassium, in contact with oxygen under vary-
ing conditions, have ignited, that experiments have been made
in which potassium has at first been kept away from oxygen
and has not ignited, and then, some oxygen having been brought
* Which I gave originally in 'Counterfactuals and Causal Laws', in Analytical
Philosophy, ed. R. J. Butler, pp. 66-80, and again in Truth, Probability, and Paradox,
pp. 114-19.
202 THE NECESSITY OF CAUSES
into contact with it, but nothing else, so far as we can tell, that
could possibly be relevant having changed, the potassium has
burst into flame, and so on. Now consider how this body of
evidence is related to the following other cases: first, some
potassium will be brought into contact with oxygen tomorrow;
secondly, some potassium was brought into contact with oxygen
yesterday, but we have not heard what happened on that occa-
sion; thirdly, someone may be bringing some potassium into
contact with oxygen just now in the next room; fourthly, sup-
pose that this bit of potassium, which has not in fact been ex-
posed to oxygen, had been so exposed. The evidence does, by
hypothesis, support the proposed law. It does, therefore, give us
some reason to believe that the potassium in the first case will
ignite; equally, that the potassium in the second case did
ignite; and equally that if in the third case the potassium in
the next room is now being exposed to oxygen, it is igniting.
But that body of evidence bears the same logical relation to the
fourth, the counterfactually supposed case, as it bears to the
other three. It therefore makes it reasonable for us to assert,
within the scope of that counterfactual supposition, that the
potassium ignited. And it therefore makes it reasonable for us
to use the counterfactual conditional, the use of which is merely
an abbreviation of the performance of framing the supposition
and asserting the consequent within its scope: if this bit of
potassium had been exposed to oxygen, it would have ignited.
Despite the fact, then, that a counterfactual conditional of
the kind that emerges in the analysis of singular causal state-
ments cannot be true and cannot be entailed by the merely
actual regularity which can be true, it can be as well supported
by the evidence for that unrestricted regularity as are the condi-
tionals about actual but unobserved cases.
This explanation rests on just three assumptions: that what
we regard as laws of nature are supported by evidence which
makes it in some degree reasonable to believe that unobserved
cases will obey the law; that such making reasonable depends
upon some formal relations between the body of evidence and
the new propositions which it supports; and that conditionals,
especially counterfactual ones, are to be understood in the way
I have suggested. The first two of these are very difficult to
deny; for the third I have argued at length elsewhere.
THE NECESSITY OF CAUSES 303
If this explanation is correct, then it is somewhat misleading
to say even that laws of nature sustain, let alone entail, counter-
factuals. Strictly speaking, it is not the laws themselves that do
this but the evidence by which they are ultimately supported—
a curious latter-day vindication of Mill's thesis that it is reason-
ing from particulars to particulars that is important.10 The
evidence has not done all its work when it has warranted our
acceptance of the law as an unrestricted but contingent uni-
versal truth about the actual world: it continues to operate
separately in making it reasonable to assert the counterfactual
conditionals which look like an extension of the law into merely
possible worlds. But they only look like this; since what is
really going on is what I have set out above we should resist
the temptation to take uncritically the suggestion that the
counterfactual describes one or more possible worlds.
But once we have understood what is going on, could we
after all concede Kneale's point and recognize natural law
statements, or nomic universals, as a queer special type of
statement, taking the 'statements' here to incorporate the
(reasonable) readiness to assert counterfactual applications of
these generalizations? 'A asserts a nomic universal* will then be
shorthand for 'A asserts a contingent actual universal statement
on (ultimately) inductive evidence and is also ready to assert
the counterfactuals which are related to that evidence in the
same way as are (actual) instances of the universal statement'.
If we could adhere to this understanding of the phrase, it
would be harmless. But for that very reason, it would no longer
justify Kneale's further claim that laws of nature are principles
of necessitation, that in asserting them we are somehow claim-
ing that there is, in what goes on in the world, something like
a logical requirement (although we do not know enough to be
able explicitly to see it as such or to know it a priori). Moreover,
the natural law statements, thus understood as incorporating
counterfactual applications, could no longer be held to be, in
a strict sense, true. Their function would be not only to describe
the world—certainly not only the actual world, and there are
not really any merely possible ones—but also in part to express
an admittedly reasonable way of handling suppositions: quite
a creditable performance, but still something that people do,
10
System of Logic, Book II, Ch. 3, Sect. 3.
204 THE NECESSITY OF CAUSES
This specific difficulty, then, can be completely resolved so
that it no longer tells against the thesis that natural laws, in so
far as they have any claim to truth, are contingent unrestricted
universals. But, as we have seen, this still leaves us with the
corresponding general difficulty: there still seems to be some
line to be drawn between such laws and those other contingent
universals which we say are, if they are true, only accidentally
true.
Some light may be thrown on this problem by the distinction
Mill draws between uniformities of succession and \miformities
of coexistence.11 If not only all the coins in my pocket but all
the coins in every pocket were shiny, that is if, among coins,
the properties of being in a pocket and being shiny uniformly
coexisted, this would still not be a causal law; for causal laws,
Mill thought, are uniformities of succession, they describe
regular ways in which events, or states, follow one another in
time. But, first, the sort of functional relationship stressed by
Russell between, for example, accelerations and masses and
distances would appear to be a uniformity of coexistence, and
yet it would be a law and, in the sense defended in Chapter 6,
a causal law. Secondly, Mill does not and could not claim that
the distinction between sequence and coexistence coincides
with any distinction between laws and non-laws. In rather
subtle and careful discussions he argues that the uniform co-
existence of the effects of a common cause can be regarded as a
derivative law, but that the uniform coexistence of the effects
of different causes cannot, since they will depend on the non-
lawful coexistence of their causes.12 Keeping to our example,
we may say that if the going together of the properties of being
in a pocket and being shiny could be causally explained, say
by the fact that the owners of pockets always chose shiny coins
to put in them, together with the fact that a coin if shiny when
put into a pocket, would remain so, then this uniformity of
coexistence would be a derivative law; but if the causal histories
of these two properties were independent, so that this uni-
formity was derived, via two separate causal chains, from a
mere going together of some ultimate cause of shininess with
some ultimate cause of pocketing, itself not explainable as the
" System of Logic, Book III, Ch. 5, Sect. 9, also Ch. 22.
» Ibid., Book HI, Ch. 5, Sect. 9 and Ch. 22, Sect. 3.
THE NECESSITY OF CAUSES 205
coexistence of joint effects of any further cause, then our uni-
formity of coexistence would not be a law. And Mill argues that
though many of the coexistences of properties of natural kinds,
for example of chemical elements, may in this sense be deriva-
tive laws, there must be some ultimate, unexplainable, co-
existences of properties. But he admits that among these
ultimate coexistences of properties there may be some invari-
able uniformities—the ultimate particles of which the universe
is composed may exhibit invariable, but just because they are
ultimate, unexplainable, combinations of properties. These Mill
will allow to be (a peculiar sort of laws of nature',13 but he
insists that they are very different from causal laws: there is
'one great deficiency, which precludes the application to the
ultimate uniformities of coexistence of a system of rigorous
scientific induction, such as the uniformities in the succession
of phenomena have been found to admit of. The basis of such a
system is wanting; there is no general axiom, standing in the
same relation to the uniformities of coexistence as the law of
causation does to those of succession.'14
Forceful and illuminating as these comments are, they have
in one way only deepened the problem. For we now seem to
have three classes of contingent universal truths: purely acci-
dental ones, such as 'All the coins in my pocket are shiny' is
and as 'All the coins in every pocket are shiny' might be;
fundamental laws of the coexistence of properties in the ultimate
material constituents of things; and causal laws. And though
we have distinguished these, we have not seen clearly just how
they differ from one another. Even if Mill is right in saying
that causal laws are partly supported by a universal law of
causation, and that this makes them easier to discover by such
experimental procedures as those formalized by the Method of
Difference, whereas the fundamental laws of coexistence have
no such support, and can be established only by simple enumera-
tive inductions, we have not yet found any intrinsic difference
between the laws of these two classes that would explain this
epistemological inequality; nor have we yet seen what marks
off both classes of what Mill is willing to call laws from purely
accidental generalizations.
" Ibid., Book III, Ch. 32, Sect. 3.
«+ Ibid., Book III, Ch. 22, Sect. 4.
ao6 THE NECESSITY OF CAUSES
Regularity theorists are naturally tempted to say that what
marks off a nomic generalization from an accidental one is its
being explainable by, that is derivable from, higher or more
fundamental laws. To say this is, of course, to use again the
same sort of move that they have used to distinguish causal
from non-causal individual sequences. A single sequence is
causal if and only if it is an instance of some law; similarly a
generalization is nomic if and only if it is derivable from some
higher laws. But, as our example of coins in pockets showed,
what is still only an accidental uniformity may be derivable
from some laws in conjunction with another accidental uni-
formity of coexistence (the going together of the ultimate causes
of shininess and of pocketing). So we would have to say that a
generalization is nomic if and only if it is derivable from some
higher laws alone. This has the surprising but perhaps toler-
able consequence that Kepler's Laws are not laws: that the
planets move (approximately) in ellipses is not a consequence
of Newton's gravitational laws alone, but only of those in con-
junction with what Mill calls collocations, here the fact that
the parts of the solar system started off with just such initial
positions and velocities, or that they have just such positions and
velocities at any particular moment from which we start our
calculations. Different initial conditions combined with New-
ton's laws would make the planets move in, say, hyperbolas
rather than ellipses, or, if they were too large or too close
together, in paths that did not even approximate to any conic
sections.
But the fundamental objection to this move is that it explains
the lawfulness only of derived or derivable laws. Unless we
postulate, quite gratuitously, an. infinite regress of possible
derivations, we shall have to say that there are some basic laws
which, just because they are basic, are not derivable from any-
thing else, and yet which must be laws if derivation from them is
to make other things laws. The regularity theorist may at this
point be tempted to turn his criterion upside down and say
that these basic laws are laws not because they are derivable
from laws, but because other laws are derivable from them.
But will this leave us with any discrimination? Any true uni-
versal proposition at all will entail others, and pairs of universal
propositions so related as to be joint premisses of syllogisms will
THE NECESSITY OF CAUSES 307
together entail more: will they not then count as laws by this
definition and confer the same status on the conclusions de-
rived from them? A possible reply is that the basic laws of a
system must be of very wide application; if we take this way
out we shall say that: what makes basic laws laws is their being
contingently true universal propositions of very wide applica-
tion, and what makes derived laws laws is their being derivable
from such widely applicable universal truths alone. It is pre-
sumably this line of thought that makes Mill willing to recognize
the ultimate uniformities of coexistence of properties as laws,
though of an inferior kind.
This connects with the suggestion that an accidental universal
truth is one which holds only for some limited region of space
and time, or in the formulation of which proper names occur
non-eliminably. It can be no more than an accidental generali-
zation that all the coins in John Smith's pocket on 19 November
1972 are shiny. Yet this criterion is easily undermined; we can
presumably find uniquely identifying descriptions of John
Smith, and of this date, using only general terms; and yet if the
original statement about John Smith is only accidentally true,
so surely is its artificially generalized translation. Can we then
make the distinction turn not upon the kinds of words used but
upon the sort of fact that makes the universal statement true?
It has been pointed out that there is a general strategy, trace-
able in Comte, Mill, Reichenbach, and Popper among others,
of 'distinguishing universals which are true generally from those
which are true by virtue of what is the case locally*.IS But it
seems that no definition based on this strategy will capture our
intuitive distinction between laws and accidental generaliza-
tions. It will not do to say that something is not a law if it is
made true by what is locally the case, by what goes on within
some closed space-time region. It might well be that life occurred
only on earth, and only over a period of time closed at both
ends. If so, any laws about living organisms that are true would
be made true by what goes on in this closed region; yet we
would want to count them as laws. Might we say instead that
something is not a law if it is made true only by what is locally
the case, defending the law status of organic laws on the ground
15
W. Suchting, 'Popper's Revised Definition of Natural Necessity', British
Journal for the Philosophy of Sciencet xx (1969), 349-52.
ao8 THE NECESSITY OF CAUSES
that though they could in principle be established by a survey of
this closed region, they do not need to be, they are in principle
derivable from physico-chemical laws to whose instantiation
there are no spatio-temporal limits. But then if there were any
'emergent' laws about organic life, any universal truths about
how living things proceed and develop which were not reducible
without remainder to physico-chemical laws, these would still
be denied the status of laws; but it is far from clear that there
could not be such emergent general truths, and if there were
we should, I think, want to call them laws. And on the other
hand, could there not be cosmic accidents, propositions whose
universal truth could not be ascertained by a survey of any
closed region, but which none the less only happened to be
true? Consider any occurrence which is in fact unique, which
has no exact replica anywhere in the universe. (Each of us likes
to suppose that he himself, or some of his activities, is or are
such, but even if this is inexcusable vanity there must be plenty
of other examples.) Since it has occurred, it is not excluded by
any natural law or conjunction of laws. But equally this occur-
rence might not have occurred, in all its unique detail, and it
seems plain that it would not have occurred if some initial con-
ditions had been a bit different, or if some uncaused events, if
there are such, had gone differently, without any change in the
laws of nature. And the elimination of this unique occurrence
need not have ensured the emergence, somewhere else, of an
exact replica of it. Then it might have been true that no occurrence
of just this sort ever occurred^ and yet, by hypothesis, that there was
no conjunction of laws alone that ensured this. That is, there
might have been a cosmic accident of the form 'Nothing of
exactly such and such a sort ever occurs anywhere'; but it
would be only how the universe as a whole was that made this
true, not the state of any closed space-time region. Not being
made true only by what is locally the case is therefore neither
necessary nor sufficient for a contingent universaPs having
what we intuitively recognize as the status of a law.16
But alongside and intertwined with this vain attempt to
equate accidentality with spatio-temporal limitation there is
another and more fruitful idea. Conceding Kneale's point that
16
This is the conclusion reached also by Suchting in the discussion quoted
above, on slightly different grounds.
THE NECESSITY OF CAUSES *og
'there may be true, strictly universal statements which have an
accidental character rather than the character of ... laws of
nature', and that 'the characterization of laws of nature as
strictly universal statements is logically insufficient and in-
tuitively inadequate', Popper suggests that the natural or
physical necessity in laws 'imposes structural principles upon the
world' while leaving 'initial conditions' free.17 Whereas on
Kneale's view, or Descartes's, a God who was limited by logical
necessities was free to choose the initial conditions of the world
but not its structure, en Popper's view such a God would have
two different choices to make, the first of 'structure', that is, of
how the world was to work, and the second of initial conditions.
He offers this definition (but with considerable reservations
both about its accuracy and about the importance of definitions
anyway, as contrasted with ideas): 'A statement may be said to be
naturally or physically necessary if, and only if, it is deducible from a
statement function which is satisfied in all worlds that differ from our
world, if at all, only with respect to initial conditions' This idea is
illustrated by an example: we may assume that the biological
structure of the moa organism is such that under favourable
conditions it might live for sixty years or more, but the actual
conditions under which all moas in fact lived were far from
ideal—perhaps some virus was present—so that no moa ever
reached the age of fifty. So, Popper says, 'All moas die before
reaching the age of fifty' will be a true universal statement, but
not a law of nature: the laws of nature would allow moas to
live to sixty, and only the accidental or contingent conditions,
such as the co-presence of the virus, prevented this. This co-
presence counts, presumably, as an initial condition or as an
outcome of some initial conditions. Still, the distinction between
structural principles and initial conditions is not yet clear: just
why does the biological structure of moas contribute to laws,
but the presence of a virus only to an accidental universal?
Perhaps the answer is that the term 'moas', defined just by that
structure, is the subject of the laws and non-laws under con-
sideration; if their biological structure condemned moas to a
life span of, say, less than seventy years, 'All moas die before
reaching the age of seventy* will be a (derived) law, but 'All
moas die before reaching the age of fifty' will not. But if we
17
The Logic of Scientific Discovery, Appendix xs pp. 426-41.
aio THE NECESSITY OF CAUSES
change the subject we can turn the latter too into a derived
law: 'All moas in the presence of virus x die before reaching
the age of fifty.'
We may be able to get a firmer grip on the important distinc-
tion if we contrast laws of working with what Mill called 'col-
locations^ and consider another, simpler, example. We have,
fixed on the surface of the earth, a plane inclined at an angle 0
to the horizontal, several feet long from top to bottom. Near
the top (left) edge are placed six similar balls, three red (/21? Rz,
/?3) and three blue (Blt JS2i B3] spaced a few inches apart in
the order Rt JSj J?a Bz R% JS3 from left to right. They are released
simultaneously, and all run down the plane in accordance with
Galileo's law, and pass in turn a point P near the bottom of
the plane. Let us consider the following statements about this
system:
(1) Wherever there is a red ball there is a blue ball immediately
to its right.
(2) Whenever a blue ball passes P a red ball passes P shortly
afterwards.
(3) Whenever a ball is released on this plane it runs down it in
accordance with the law a — g sin B.
(4) Whenever an object of mass m is near the surface of the
earth it is subject to a force mg in the direction of the
centre of the earth.
(5) Whenever an object of mass m is subject only to a force/
it has an acceleration f\m in the same direction as that of
the force.
(6) Between any two objects there is a force proportional to the
mass of each and inversely proportional to the square of
the distance between them.
How are we to characterize these various statements? (i) is
a pure collocation statement. It is a true contingent universal
statement about this small system. Its application is spatio-
temporally limited, but this is not the point. Even if something
similar were true of the whole universe, it would be no more
than a cosmic accident. (2) is a derived law of this system; it is
derived from the conjunction of (3) with the collocation state-
ment (i)— and a little further description of the set-up. But (3)
18
System of Logic, Book III, Ch. 12.
THE NECESSITY OF CAUSES an
also is a derived law; it follows from (4.) and (5), along with
some principles about the resolution of forces, and so on, in
conjunction with some collocation statements, especially that
the plane is inclined at the angle B. And even (4) is in turn a
derived law, following from (6) together with a collocation
statement about the mass of the earth and the solution of the
mathematical problem of integrating the gravitational effects
of all the portions of a sphere. Of the statements listed, (5) and
(6) alone represent a system of basic laws of working, in this
case the Newtonian theory of motion and gravitation. But also,
of those listed, only (i) is a pure collocation statement (though
other relevant collocation statements have been hinted at).
(2), (3), and (4) are all mixed products, the result of combining
laws of working with collocations. But each of these can be
turned into a pure, though derived, law of working by generaliz-
ing it, by replacing references to the individual set-up with
descriptions of its relevant features. Thus if we substitute, in (4),
'a sphere of such-and-such a radius, mass, and so on' for 'the
earth', it becomes a mathematical consequence of the basic laws
alone. The same can be achieved with (3) if we insert both this
relevant general description of the earth and a description of
the relevant features of the plane, and with (2) if we add to all
this a description of the initial placing of the balls. That is, we
purify the mixed laws of their collocation component by put-
ting it explicitly into the antecedents of the general condi-
tionals. Thus we can sort out pure laws of working—some basic,
some derived—from both mixed laws and collocation state-
ments. We can do this in practice only where we take it that
we fully understand how the system in question works, as we
do with a Newtonian mechanical system.
Let us try to apply these distinctions to Popper's moa
example, where we do not actually know the relevant laws. That
all actual moas lived in the presence of virus x we can take as
a fact of collocation. 'All moas die before reaching the age of
fifty' will be a mixed law; so is 'All moas die before reaching the
age of seventy', since it is presumably the product of some more
basic biological laws along with facts about how moas are
actually built. But the latter could be turned into a pure though
derived law of working by replacing the subject 'moas' with
'creatures of such-and-such a structure' including in this description
212 THE NECESSITY OF CAUSES
all the features that are relevant to their life span.19 And then the
former too can be turned into a pure though derived law by
adding to this detailed description of the subject a further clause,
*in the presence of a virus with such-and-such characteristics'.
But here the notion of laws of working, basic or derived, is
that of a theoretical ideal: we do not actually know these
laws, and for that reason we do not know the relevant features
whose explicit mention could purify the mixed laws that we
actually deal with. But it is reasonable to suppose that there are
some, as yet unknown, pure laws of working, and that there is
a real objective distinction between these and collocations or
initial conditions, although we are not in a position to imple-
ment it. We can read Popper's definition, then, as calling
naturally or physically necessary all pure laws of working, basic
or derived, and all singular conditional statements which these
entail.20
Equipped with these distinctions, we can now say that in
our atomic bomb example the presence of a red spot on every
bomb in which an ^-reaction occurred before a ^-reaction was
only a (locally) universal collocation, as contrasted with the
probabilistic laws of working m accordance with which these
reactions occurred.
But given that we can draw this distinction, that we can leave
a post-Newtonian God with his two choices rather than the
Cartesian single choice, what is the point of the distinction?
Why should the laws of working be said to have natural
necessity? The analogy that Popper draws with Tarski's defini-
tion of logical necessity, that while what is logically necessary
holds in all possible worlds, what is physically necessary holds in
all worlds that differ from ours, if at all, only with respect to
initial conditions, seems not very illuminating. Since 'initial
conditions' are simply what we contrast with laws of working,
this means that what is physically necessary holds in all worlds
" This is, I think, how Popper intends this statement to be taken, since he
speaks of using 'moa' as 'a universal name of a certain biological structure'; but
he does not emphasize the need to mention all the relevant features.
*° I think that this treatment preserves the idea behind Popper's definition while
avoiding the objections raised by G. C. Nerlich and W. A. Suchting to its literal
formulation in 'Popper on Law and Natural Necessity', British Journal for the
Philosophy of Science, xviii (1967), 233-5. Popper replied to this, in the same volume,
pp. 316-21, but later in Logic of Scientific Discovery, and English edn., Addendum
(1968), on p. 441, expressed dissatisfaction with his reply.
THE NECESSITY OF CAUSES 313
that have the same laws of working as our own, and any actual
feature could be turned into its own variety of necessity by a
similar device. For example, the existence of just such minds as
there are is spiritually necessary in that it holds in all worlds
that differ from ours, if at all, only in non-spiritual respects.
In the end Popper himself decides to rest no weight on this
analogy: he regards 'necessary' as 'a mere word'; 'there is not
much connection here with logical necessity'; the only con-
nection between causal connection and logical necessity is that
the material conditional a -> b follows with logical necessity
from a law of nature.21
One point that the distinction may have is that laws of work-
ing will typically be discovered by inductive and hypothesis-
confirming procedures, whereas initial conditions will be
discovered by complete surveys and will not be inductively
supported. (Of course initial conditions may be inferred from
subsequent conditions, themselves ascertained by survey, with
the help of inductively supported laws, but that is another
matter.) In particular, experiments interpreted with the help of
the assumption that there are some laws of working seem to be
needed to sort out pure laws of working from mixed laws that
21
Op. cit., p. 438. Similarly in 'Two Faces of Common Sense' printed as
Chapter 2 in Objective Knowledge, Popper says:
'At any rate, in the light of a conjecture we can not only explain cause and
effect much better than Hume ever did, but we can even say what the "necessary
causal link" consists of.
'Given some conjectural regularity and some initial conditions which permit us
to deduce predictions from our conjecture, we can call the conditions the (con-
jectural) cause and the predicted event the (conjectural) effect. And the con-
jecture which links them by logical necessity is the long-searched-for (conjectural)
necessary link between cause and effect.' (p. 91.)
That is, the only necessity involved is what we have called necessity,,: the con-
junction of the regularity-statement with the description of the cause entails the
prediction of the effect.
As a solution to the problem of'the long-searched-for . . . necessary link* this is
laughable: it leaves out everything that is difficult and interesting—the detailed
form of causal regularities, causal priority, and all the jobs mentioned at the
beginning of this chapter except the third and fourth. It explains cause and effect
not better than Hume did, but almost exactly as Hume did (e.g. 'Necessity . . .
consists either in the constant conjunction of like objects or in the inference of the
understanding from one object to another', Enquiry^ Sect. VIII, Pt. II, Selby-
Bigge, p. 97). As I suggested in Chapter i, Hume was probably attracted to
constant conjunction by its suitability for the role of necessity^ Philosophers after
Hume have gone on searching for the causal link just because they could not
believe that this was all there was to it.
214 THE NECESSITY OF CAUSES
depend partly on collocations: we check that something is
Independent of collocations by changing the collocations and
seeing if it still holds. If so, these laws of working will have the
right sort of backing to allow them to sustain counterfactuals,
whereas statements of collocations or initial conditions will
not. {Reichenbach, who realized that 'inductive verifiability'
was the key to counterfactual force, tried to define nomological
statements by requirements that would indirectly ensure induc-
tive verifiability, but his requirements seem too formal to
achieve what is wanted, in particular to exclude cosmic acci-
dents and to include laws whose application is in fact limited
to a closed space-time region.)22
However, mixed laws no less than pure ones are discovered
and supported by inductive and hypothesis-confirming pro-
cedures, and they also can therefore be said to sustain counter-
factuals. These will not be distinctive features of the pure laws
of working which we should like to mark off as naturally
necessary.
But is there anything more about laws of working that would
justify their being singled out as necessary? Here we may turn
to a theory of necessity which is radically different from the
regularity-type views we have been examining, namely that
which Kneale presents and defends against Humean criticisms,
while using both what I have called the specific and the general
difficulties to attack the regularity theory.
The view which Kneale defends he tentatively ascribes to
Locke: it is that natural laws are 'principles of necessitation',
necessary in the same way in which necessary connections that
we are able to comprehend—for example, that redness and
greenness are incompatible—are necessary, although we are
not able to comprehend the natural laws, not simply because
our intellects are too feeble, but rather because 'our experience
does not furnish us with the ideas which would be required for
an understanding of the connexions we assert'.23 The essential
idea is that the things that enter into causal transactions, and
hence also the events that are their doings, have insides which
22
H. Reichenbach, Nomological Statements and Admissible Operations, especially
pp. ia~i3, 40,48; see also p. 94 for an account of'relative nomological statements'
which correspond to our 'mixed laws'.*
13
Probability and Induction, p. 71.
THE NECESSITY OF CAUSES 215
we do not and perhaps cannot perceive; the necessary connec-
tions hold between these internal features. We cannot in fact
comprehend their necessity, but we could if we could perceive
the features between which the connections hold, and what
we would then comprehend would be something like the
incompatibility of redness and greenness. When we assert a
natural law we do not claim to know it as necessary, but we
conjecture that there is a necessary connection holding unper-
ceived between kinds of events which we identify by their
external features.
Kneale thinks that the Humean objection to this view is based
on a mistaken doctrine of perception, on the theory of impres-
sions and ideas, or of sense-data, and the various phenomenalist
systems erected on this basis. Only on this assumption, he
argues, would the fact that we can conceive a cause without its
effect, or vice versa, refute the suggestion that they are neces-
sarily connected in the sense proposed. We can conceive these
external features without those, and if the 'objects' in question
were wholly constituted by their external features that would
be the end of the matter. Consequently Kneale's main reply
to the Humean objections consists of a criticism of pheno-
menalism and a defence of realism about 'truths concerning
perceptual objects which are not open to inspection'. This
vindication of realism is, perhaps, less necessary now than it
was twenty-five years ago; I, at any rate, would accept this
conclusion without question. But I do not think that this takes
all the force out of Hume's doubits about objective necessities
of the kind proposed. As I have said in Chapter i, the main
weight of Hume's argument bears upon causation so far as we
know about it in the objects, and he explicitly (though perhaps
ironically) leaves room for 'several qualities, both in material
and immaterial objects, with which we are utterly unacquainted*
but which may be called power or efficacy.24 But he could have
argued that whatever qualities there may be in the cause-
event, however unperceived and unconceived, they cannot
logically-necessit&te the occurrence of an effect at all, let alone
an effect with such-and-such correlated qualities, just because
the cause-event and the effect-event are distinct existences.
As I said in Chapter i, there can be no logically necessary
2
« Treatise, I, in, 14, Selby-Bigge, p. 168.
ai6 THE NECESSITY OF CAUSES
connections between the events themselves or between any in-
trinsic descriptions of them, however detailed or complete, and,
we may now add, however internal and closed to inspection. But
this argument bars only logical necessity, entailment: Kneale
might be content to claim a necessity that falls short of logical
necessity but is illustrated by the incompatibility of redness and
greenness. Of course, there is no agreement about how this
incompatibility is to be analysed; but we need not go into this
question because this analogy, too, is inappropriate. Anything
like this can be only an impossibility of two features occurring
at the same place and time, in the same subject, or, if it has a
positive counterpart, a necessity of one feature occurring at the
same place and time as another, in the same subject. Nothing
in this example helps us to see even what could be conjectured
about a necessity linking two distinct occurrences.
To find anything worthy of the name of necessity in laws of
working, then, we must turn to what Kneale says about the
explanation of natural laws, not merely by their being derived
from 'higher' laws—the characteristic regularity-theory move
which, as we have seen, is unhelpful—but by their association
with transcendent hypotheses, such as wave or particle theories in
physics. These hypotheses introduce new terminology, they are
'concerned with things which are not observable even in prin-
ciple', and they concern only 'structures' which can be expressed
in the language of mathematics. Since the translations between
this new terminology and the ordinary language of material
objects are contingent, there is no prospect of our being able to
derive laws of nature about material objects from self-evident
truths alone, 'Although the connexions within the world of
transcendent entities posited by a theory may all be self-
evident, the relations between this world and the world of per-
ceptual objects remain opaque to the intellect, and it is only by
assuming these relations that we can explain our laws about
observables.'35 It is the concessive clause here that is vital; and
a few lines earlier Kneale has said that 'attempts are . . . made
to specify the hypothetical entities of the system in such a way
that any connexions between them required for the purposes
of the theory are intrinsically necessary'.
The suggestion, then, is that we advance beyond a view of
zs Probability and Induction, p. 97.
THE NECESSITY OF CAUSES 317
causation as mere regular succession when we conjecture that
there really is some causal mechanism underlying the succes-
sion and explaining it. But must: this be a matter of conjec-
ture, of transcendent hypotheses? Would it not be even better
actually to uncover and observe the mechanism? And yet, if
we did so, would not Hume's criticisms again have force:
what, in the operation of a mechanism, however delicate and
ingenious, could we see except the succession of phases? It may
be to avoid this reply that Kneale stresses the transcendent
character of the hypotheses; but whether the mechanism is
observable or not, the question must still be answered: what is
there in it except the succession of phases?
For Kneale, it is the 'structures' and the possibility of mathe-
matical description of them that are vital. The cause-event is
identical with something unobservable that has a certain mathe-
matically describable structure,, The latter develops, necessarily,
into something else which is also unobservable and also has
some such structure. The latter something is identical with the
effect-event. The necessity of the development of the one struc-
ture into the other would be self-evident to us if we knew those
structures (and, presumably, if we were mathematically com-
petent enough). Science can help to conjecture what these
structures are, though not the correlative contents, not the
substances of which these are the structures. And the statements
identifying observable things and occurrences with unknowns
with such-and-such structures can never be more than con-
tingent conjectures, which are not themselves intelligible, but
are confirmed by their success in relating observed regularities
to intelligible structure-developments.
But how is a structure-development intelligible or necessary?
Physically it will be, say, a certain wave-pattern changing into
a certain other wave-pattern, or one assembly of particles, each
with a certain mass and position and velocity at one time,
changing into another arrangement of the same particles, each
retaining its mass but changing its position and perhaps its
velocity. Mathematically there will be some/orm of description
applicable to both the earlier and the later phases of the develop-
ing structure; the two particular descriptions of this form will
have identical values for some of the quantities (for example,
the total energy of the wave system may be conserved, or the
ai8 THE NECESSITY OF CAUSES
number of particles and also perhaps their mass and energy, or
at least the sum of both) while the values for other quantities in
the later phase will be derivable from the earlier values with
the help of the integration over time of some differential
equation, that is, some law of the functional dependence
variety. We may speculate, then, that what could count as
necessity or intelligibility here is some/orm of persistence.
Let us consider the simplest of all cases, a single particle, free
from interference, moving in a straight line in accordance with
Newton's first law (see diagram).
Diagram (vi)
Extensionality—Two Kinds
of Cause
Diagram (vii)
EXTENSIONALITY 269
(though of course there could also be an additional relationship
that would need an arrow from B to C to represent it).
The considerations we have dealt with under the headings of
causal priority and the necessity of causes, when added to a
regularity theory, may prevent coextensive features from being
interchangeable in causal laws. I have just argued that explana-
tory cause statements do not entail regularities or that there
are regularities; still less do they reduce to them. Our use of
such statements involves some employment of the notions of
causal priority and the necessity of causes which I 'have tried
to clarify in Chapters 7 and 8, Explanatory cause statements,
therefore, are not extensional In the way that pure regularity
statements would be.
II
Teleology
i. Introduction
J O H N S T U A R T M I L L , inhis System of Logic1 set forth and discussed
five methods of experimental inquiry, calling them the method of
agreement, the method of difference, the joint method of agreement
and difference, the method of residues, and the method of con-
comitant variation. He maintained that these are the methods by
which we both discover and demon!! trate causal relationships, and
that they are of fundamental importance in scientific investigation.
In calling them eliminative methods Mill drew a rather forced
analogy with the elimination of terms in an algebraic equation. But
we can use this name in a different sense: all these methods work
by eliminating rival candidates for the role of cause.
The inductive character of these methods may well be questioned.
W. E. Johnson called them demonstrative methods of induction,2
and they can be set out as valid forms of deductive argument: they
involve no characteristically inductive steps, and no principles of
confirmation or corroboration are relevant to them. But in each
case the conclusion is a generalization wider than the observation
which helps to establish it; these are examples of ampliative induction.
The general nature of these methods may be illustrated by
examples of the two simplest, those of agreement and of difference.
Mill's canon for the method of agreement runs: 'If two or more
instances of the phenomenon under investigation have only one
circumstance in common, the circumstance in which alone all the
instances agree is the cause (or effect) of the given phenomenon.'
For example, if a number of people who are suffering from a certain
disease have all gone for a considerable time without fresh fruit or
vegetables, but have in other respects had quite different diets, have
lived in different conditions, have different hereditary backgrounds,
and so on, so that the lack of fresh fruit and vegetables is the only
1 2
Book III, Ghs. 8-10. Logic, Part II, Gh. 10.
298 ELIMINATIVE INDUCTION
feature common to all of them, then we can conclude that the lack
of fresh fruit and vegetables is the cause of this particular disease.
Mill's canon for the method of difference runs: ( If an instance in
which the phenomenon under investigation occurs, and an instance
in which it does not occur, have every circumstance in common
save one, that one occurring in the former; the circumstance in
which alone the two instances differ, is the effect, or the cause, or
an indispensable part of the cause, of the phenomenon.' For example,
if two exactly similar pieces of iron are heated in a charcoal-burning
furnace and hammered into shape in exactly similar ways, except
that the first is dipped into water after the final heating while the
second is not, and the first is found to be harder than the second,
then the dipping into water while it is hot is the cause of such extra
hardness—or at least an essential part of the cause, for the hammer-
ing, the charcoal fire, and so on may also be needed. For all this
experiment shows, merely dipping iron while hot into water might
not increase its hardness.
The method of agreement, then, picks out as the cause the one
common feature in a number of otherwise different cases where the
effect occurs; the method of difference picks out as the cause the
one respect in which a case where the effect occurs differs from an
otherwise exactly similar case where the effect does not occur. But
in both the conclusion is intended to say more than that this was
the cause of that effect in this instance (or this group of instances).
The conclusion in our first example is that this particular disease is
always produced by a lack of fresh fruit and vegetables, and in our
second example that dipping iron which has been heated and
hammered in a particular way into water while it is hot always
hardens it.
There are many weaknesses in Mill's description of these methods,
but there is no need to criticize his account in detail. The interesting
questions are whether there are any valid demonstrative methods of
this sort, and if so whether any of them, or any approximations to
any of them, have a place in either scientific or commonsense
inquiry. Several reconstructions of the methods have been offered;
the most thorough treatment I know of is that of von Wright, but
I find it somewhat unclear.3 I shall, therefore, attempt another
reconstruction.
In giving a formal account of the reasoning involved in these
methods, I shall use an old-fashioned sort of logic, traditional
(roughly Aristotelian) logic but with complex (conjunctive and
J
G. H. von Wright, A Treatise on Induction and Probability. Earlier accounts arc
those of Johnson (referred to above, p. 297) and C. D. Broad, *The Principles of
Demonstrative Induction', Mind, xxxix (1930), 303-17 and 426-39.
ELIMINATIVE INDUCTION 399
disjunctive) terms. The letters 'A', '6', and so on stand for kinds of
event or situation, or, what comes to the same thing, for features the
possession of which makes an event or situation one of this or that
kind. These conditions (Mill's 'circumstances') can therefore be pre-
sent or absent on particular occasions (in particular instances}. To
say that all A are B would be to say that whenever feature A is
present, so is feature B. To say that A is necessary for B is to say
that whenever B is present, A is present, and to say that A is suffi-
cient for B is to say that whenever A is present, B is present also.
A conjunctive feature AB is present whenever and only when both
A and B are present. A disjunctive feature (A or B) is present when-
ever at least one of A and B is present. A negative feature not-A
(written A) is present whenever and only when A is absent. The
following argument forms are obviously valid:
(i) All A are C
Therefore, All AB are C
(ii) All A are BC
Therefore, All A are B (and All A are C)
(iii) All (A or B) are C
Therefore, All A are C (and All B are C)
(iv) All A are B
Therefore, All A are (B or C)
(v) All A are C
and All B are C
Therefore, All (A or B} are C.
In expounding the reasoning implicit in these methods, I shall
also use the letters *X\ 1T\ "£' as variables whose instances are the
features or kinds of occurrence represented by *A\ (B', and so on,
and I shall take the liberty of quantifying with respect to them; for
example, to say that for some X, X is necessary for B will be to say
that some feature occurs whenever B occurs; this statement would
be true if, say, all B are C. There is nothing unsound in these pro-
cedures, and I hope nothing obscure. The slight unfamiliar!ty of
these techniques is, I believe, more than compensated for by the
fact that for this particular task they are more economical than the
obvious alternatives.4
To avoid unnecessary complications, let us assume that the
4
The classic exposition of this extension of traditional logic to allow for complex
terms is in J. N. Keynes's Formal Logic (4th edition, 1906), Appendix G, pp. 468-
538. It was much discussed by John Anderson in lectures at Sydney University.
For our present purposes we can take the universal propositions as not having
existential import, and thus avoid the need for restrictions on the valid argument
forms.
300 ELIMINATIVE INDUCTION
conclusion reached by any application of one of these methods
(other than that of concomitant variation which we shall leave aside
for the present) is to have the form 'Such-and-such is a cause of such-
and-such a kind of event or phenomenon', where a 'cause' will, in
general, be both necessary and sufficient for the phenomenon,
though in some variants of the methods it will be taken as necessary
only, or as sufficient only. Let us assume also that we can distinguish
in some way causes from effects, and think of the methods only as
identifying causes. (Mill, as the canons quoted show, mixes this
task up with that of identifying effects, and so far as their logical
form is concerned the methods could be applied to'any problem
about conditions that are necessary for something, or sufficient,
or both, but their most interesting applications, and the ones
for which the required assumptions are most plausible, are to the
identification of causes.) However, the cause will be such, and will
be necessary or sufficient or both, in relation to some field, that is,
some set of background conditions: our question is, say, 'What
causes this disease in human beings living in ordinary conditions,
breathing air, and so on?' or, 'What causes the greater-than-
ordinary hardness in iron in ordinary circumstances and at ordinary
temperatures?' To say that A is necessary for B in the field F will
be to say that whenever B occurs in (or in relation to) something
that satisfies the conditions summed up as F, A occurs there also—
which will be expressed accurately enough by 'All FB are A'—and
so on. I shall use 'P* to represent the 'phenomenon' whose 'cause' is
being sought, and I shall call an occasion on which P is present a
positive instance, and one on which it is absent a negative instance. The
observation that supports the conclusion will be an observation of
the presence or absence of various conditions, each of which might
be causally relevant, in one or more (positive or negative) instances.
But since, as I said, the conclusion regularly goes beyond the
observation, and yet each method is supposed to be demonstrative,
that is, deductively valid, the conclusion must be drawn not from
the observation alone, but from it in conjunction with an assumption.
This pattern, assumption and observation together entailing a conclusion,
is characteristic of all these methods. And there are obvious pro-
portional relations between the three items. The less rigorous the
assumption, the stronger the observation needs to be if we are to get
the same, or perhaps even any, conclusion. With the same observa-
tion, a less rigorous assumption will yield a weaker conclusion, if
any. And so on.
But what sort of assumption is required, and what is it for it to
be more or less rigorous? Since we are to arrive at the conclusion that
ELIMINATIVE INDUCTION 301
a certain condition is, in the sense indicated above, a cause of the
phenomenon, and to do so by eliminating rivals, we must assume
at the start that there is some condition which, in relation to the
field, is necessary and sufficient (or which is necessary, or which is
sufficient) for this phenomenon, and that it is to be found somewhere
within a range of conditions that is restricted in some way.
For a formal exposition, it is easiest to take the assumption as
indicating some set (not necessarily finite) of possibly relevant
causal features (Mill's 'circumstances' or 'antecedents'). Initially I
shall speak in terms of a list of such possible causes (p-cs), but, as I
shall show, we can in the end dispense with any such list. A p-c,
since it is possibly causally relevant in relation to the field in
question, must—like the phenomenon itself—be something that is
sometimes present and sometimes absent within that field: it must
not be one of the conditions that together constitute the field.
But are we to assume that a p-c acts singly, if it acts at all? If the
p-cs are A, Bt C, etc., are we to assume that the cause of P in F
will be either A by itself or B by itself, and so on? Or are we to
allow that it might be a conjunction, say AC, so that P occurs in F
when and only when both A and C are present? Are we to allow
that the actual (necessary and sufficient) cause might be a dis-
junction, say (B or /)), so that .P occurs in F whenever B occurs,
and whenever D occurs, but only when at least one of these occurs?
Are we to allow that our p-cs may include counteracting causes, so
that the actual cause of P in Fmay be, say, the absence of C (that is,
not-C, or C), or perhaps BC, so that P occurs in F when and only
when B is present and C is absent at: the same time?
There are in fact valid methods with assumptions of different
kinds, from the most rigorous, which requires that the actual cause
should be just one of the p-cs by itself, through those which pro-
gressively admit negations, conjunctions, and disjunctions of p-cs
and combinations of these, to the least rigorous, which says merely
that the actual cause is built up out of some of the p-cs in some way.
There are in fact eight possible kinds of assumption, namely that
the actual cause is:
1. one of the p-cs.
2. either one of the p-cs or a negation of one.
3. either a p-c or a conjunction of p-cs.
4. either a p-c or a disjunction of p-cs.
5. a p-c, or the negation of a p-c, or a conjunction each of whose
members is a p-c or the negation of a p-c.
6. a p-c, or the negation of a p-c, or a disjunction each of whose
members is a p-c or the negation of a p-c.
303 ELIMINATIVE INDUCTION
7. a p-c, or a conjunction of p-cs, or a disjunction each of whose
members is a p-c or a conjunction of p-cs.
8. a p-c; or the negation of a p-c; or a conjunction each of whose
members is a p-c or the negation of one; or a disjunction each
of whose members is a p-c, or the negation of one, or a con-
junction each of whose members is a p-c or the negation of one.
Analogy with the use of disjunctive normal form in the preposi-
tional calculus makes it easy to show that any condition made up
in any way by negation, conjunction, and disjunction from a set
of p-cs will be equivalent to some condition allowed by this eighth
kind of assumption, which is therefore the least rigorous kind of
assumption possible. The form of the observation determines whether
a method is a variant of the method of agreement, or difference, and
so on. But since each form of observation may be combined with
various kinds of assumption, there will be not just one method of
agreement, but a series of variants using assumptions of different
kinds, and similarly a series of variants of the method of difference,
and so on. To classify all these variants we may use a decimal
numbering, letting the figure before the decimal point (from i to 8)
indicate the kind of assumption, and the first figure after the decim'al
point the form of observation, thus:
1. a variant of the method of agreement.
2. a variant of the method of difference.
3. a variant of the joint method (interpreted as an 'indirect method
of difference').
4. a new but related method.
Further figures in the second place after the decimal point will be
used for further subdivisions.
A complete survey would take up too much space, but some of the
main possibilities will be mentioned.
Method of difference
The simplest variant of this method (1.2) combines the assump-
tion that one of the p-cs is both necessary and sufficient for P in F
with this observation: a positive instance /j and a negative instance
304 ELIMINATIVE INDUCTION
NI such that of the p-cs present in I± one, say A, is absent from JV1}
but the rest are present in JVj. For example:
A B C D E
A p p p a .
JVi a p p . p
Here D is eliminated because it is absent from /j and hence not
necessary, and B, C, and E because they are present in JV^ and hence
not sufficient. Only A therefore can be, and so must be, the £ that
is both necessary and sufficient for P in F. Note that with an assump-
tion of this first kind it would not matter if, say, E were absent
from /! and/or D were present in jVj: the presence of the actual
cause A in It but not in JV^ need not be the only relevant difference
between the instances. But this would matter if we went on to an
assumption of the second kind. We may also remark that the method of
difference, unlike some variants of the method of agreement, requires
the assumption that there is some condition that is both necessary
and sufficient for P in F> As we shall see with variants 4.2 and 8.2,
the conclusion may not fully specify the resulting necessary and
sufficient condition, and the factor picked out as (in another sense)
the cause is guaranteed only to be an inus condition or better; but the
assumption needed is that something is both necessary and sufficient.
p. 143. But Hume was anticipated by Hobbes and (in a slightly different
kind of compatibilism) by various theologians. See 'Compatibilism,
Free Will and God' by A. G. N. Flew in Philosophy, xlviii (1973).
p. 190. The analysis suggested in this paragraph needs revision. See the
Preface to the Paperback Edition, pages viii—xvi.
p. 214. This book has been republished as Laws, Modalities, and Counter-
factuals, with a foreword by Wesley C. Salmon (University of
California Press, 1976).
Additional Bibliography
DAWKINS, R. The Selfish Gene. Oxford, 1976.
MAC&IE, J. L. 'A Defence of Induction.* In Epistemology in Perspective: Essays
in Honour ofA.J. Ayer, ed. G. Macdonald, London, forthcoming.
Ethics: Inventing Right and Wrong. Harmondsworth, 1977.
'Mind, Brain, and Causation.' In Midwest Studies in Philosophy, iv
(1979). J 9-29-
Problems from Locke. Oxford, 1976.
'Self-Refutation: A Formal Analysis.' In Philosophical Quarterly, xiv
(1964)* 193-203.
'The Transitivity of Counterfactuals and Causation,' In Analysis,
forthcoming.
Index
Accidental regularities, 83, 196-914 Comte, A., 207
Action, 170-2 Conditionals, counterfactual, 30-4, 53-
Anderson, J., 35 n., 299 n. 4» '33j 140-2, 167, 169, 197-203,
Anscombe, G. E. M., 48, 133 n., 230, 224,229-30
248 n., 249 n., 251-2, 254-5 Contiguity, 19, 135-8, 223
A priori concepts and principles, 91-2 Continuity:
Aquinas, 76 qualitative and structural, 142, 217-
Asymmetry, causal—see Direction of 30. 247
causation spatio-temporal, see Contiguity
Ayer, A. J., 16, 54 n., 162 n., 226 Continuous processes, 155-9, 218-23
Cummins, R., 251, 252 n., 253 n., 254
Bennett, J. F., 91, 93, 94-7, 99, 102,
107-8 d'AJembertjJ., 218-20
Berkeley, G., 95 Daveney, T. F., 25 n.
Black, M., 162 n., 178 n. Davidson, D., 248 n., 249 n., 251 n.,
Broad, G. D., 81 n. 256, 258, 267 n,, 286 n.
Bunge, M., 154, 232 Descartes, R., 12, 209
Determinism, 40-3, 103, n r , 191-2,
Carnap, R., 15 JQ®, 231, 316
Causal field, 35, 63, 145, 261, 300 Direction of causation, 51-3, 56-7,
Causal mechanism, 86, 217, 222-3 85-7> 90. ^9, 160-92
Causa sine qua non, 127-31 Direction of explanation, 164, 184-6,
Causation: 189-90
account of, summarized, 270-2 Direction of time, 162-4, '83-4, 192
backward,161-2,172,173-89, 274-5 Dispersal of order, 183-90, 192
final, see Teleology Dray, W., 162 n.
functional, 143-59, 312-15 Ducasse, C. J., 87, 134-42, 145, 147,
genetic, 86-7, 225-8 156, 229, 231, 248, 257-8, 265, 296
interpersonal, 120-6 Dummett, M. A. E., 162 n.
mnemic, 82
neolithic, 147, 153, 312 Entropy, 187-92
probabilistic, 49-50 Evolution, 277, 281-3
Causes: Ewing, A. C., 86 n.
counteracting, 63 Extensionality, 248-69
explanatory, 261-8, 283-4, 289, 295
fact and event, 31, 46, 130, 248-9, Feedback, 281-3
256-67 FitzGerald, E., 191
plurality of, 61, 307, 316 Fixity, 178-85, 189-91, 225
producing, 259, 264-8 Flew, A., 162 n., i68n.
progressive localization of, 73, 258 Four-dimensional scenery, 23-4 n.,
weighting of, 128-9 226-8, 296
Chisholm, R. M., 162 n., 172 n. Function, 275, 282-3
Coexistence, uniformities of, 204-7,227,
234-5 Gale, R. M.} 138-9, 162 n., 168 n.
Collocations, 206, 210-14, 225, 234, Geach, P. T., 75-6
243~5 Goal-seeking, 275-83
328 INDEX
Godel, K., 251 n. Mach, £., 154
Goodman, N., 49 McLaughlin, J. A., 44-5 n.
Gorovkz, S,, 162 n. Marc-Wogau, K., 44-5 n., 59 n., 62 n,
Gottlieb, D,, 251, 252 n., 353 n., 254 Martin, R., 48
Grunbaum, A., 163 n., 187 n. Melden, A. I., 25 n., 287-8, 292
Mellor, D. H., 234 n.
Harre, H. R., 86 n., 19511. Michotte, A., 223-4, 230
Hart, H. L, A., and Honord, A. M., Mill, J. S., 25, 30, 56, 59 n., 60-3, 68,
44-511., 117-33,136,142. i57>266 n., 7o-5» 79* 81-6, 90, 117-21, 136, 146,
270 148-9, 152, 167, 203-7, 234-5, 297-
Holland, R. F., 133-4, J42» 230 321
Honore, A. M., set Hart, H. L. A., and Mill's Methods of Induction, 25, 59 n.,
Honore, A. M. 68-8t, 107, 135 n., 136, 141, 148-53,
Hull, C. L., 275 297-321
Hume, D., 1-30,54-5, 57, 59-60,76-7, Minimally complete causal account,
86,88-91, 118, I3i, 132-4. 136, HO, 260-5
143, 167, 193-5, 215, 221, 224, 225, Morton, A., 248 n., 251 n.
229,234,287,295-6
Nagel, E., 219-20
Induction, 193-5, 201-2, and see Mill's Necessity, 11-13, 19-23, 26-7, 38-43,
Methods of Induction 86-7, 90,138-40, 193-230
Induction, problem of, 15-16, 195, 316 Nerlich, G. G., aian.
Newton, I., 92, 114, 146, 218-20
Intentions, 285-95
Intermixture of effects, 306,311-12,316 jW.mj, 24
Inus condition, 62, 120, 304, 308, 310 Noble, D., 276 n.
Nomic regularities, 60, 194, 196-228
Nominalization, perfect and imperfect,
Johnson, W. E., 297 31, 46, 130,249,259
Kant, I., 88-116, 161, 196, 225, 231 Overdetermination, 43-7, 164-5, 186,
Keynes, J. M., 15 224, 265 291
Keynes, J. N., 299 n.
Kim, J., 59 n. Pears, D. F,, 162 n.
Kneale, W. C., 86 n., 87, 197-8, 203, Phenomenalism, 215
208-9, 214-17, 228-9, 247, 296 Popper, K. R., 16, 163^, 183, 189,
207, 209-13, 223, 234
Law: Powers, 86
and causation, 117-32 Precognition, 161, 168, 173-6, 178-9,
Laws: 185-6
functional, 143-59, 312-15 Priority, causal (and temporal), see
gambling device, 244 Direction of causation and Direction
interaction resultant, 237-8 of time
Mendelian, 236 Probability, 5, 15-18, 23,49-50, 187-9,
mixed, 210-14, 244-5 232-4,239-42
of working (pure), 235, 239-42, 245- Psychology, 27-8, 54-7, 122-3, 223-4,
7, 292-3, 296 239-42
statistical, 50, 231-47
ideological, 276-80, 295 Quine, W. V., 250, 251 n., 252 n., 355
Legal policy, 127-8
Locke, J., sn., 12, no, 214 Rationalism, i2> 223, 228
Logical connection argument, 25, 287- Realism, 215
95 Referential transparency, 250-5,260-4,
Lyon, A., 30 n, 266
INDEX 329
Regular succession, 3-4, 36-7, 59-87, Strawson, P. F., 91-104, 107 n,, 109-
160-1 12, 157, 225
Regularities, complex and incompletely Suchting, W. A., 207 n., aofl n., ais n.
known, 60-76 Sufficiency, 38-43, 138-40
Regularity theory of causation, 3-4, Suppes, P., 49-50
ao-i, 23-7, 59-6o, 75-7, 80-7, 154,
160-1, 194-9, 206-7, 214-17, 232-4, Taylor, C., 275-8
270-2 Taylor, R., 162 n.
Reichenbach, H., 163 n., 207, 214 Teleology, 270-96
Reid, T., 81 n. Tendency, 75-6, 241
Reinforcement, 277, 283 Time, measurement of, 113-15
Resemblance between cause and effect, Transcendent hypotheses, 316-17,
24, 158-9,217-24 222-3
Russell, B, A. W., 82, 143-?. I53~4» Transcendental arguments, 91, 96-7,
158,166-7,'90,i9«. i93>a°4 IIO-II
Transcendental idealism, 91-3
Scepticism, 112
Schlick, M., 154, 274, 296 Universals, open and closed, 307
Scriven, M., 44-5 n., 59 n., 162 n.,
168 n., 173 n., 1850. Vendler, Z., 248 n,, 249 n., 258-60,
Sharvy, R., 255 264,266
Slot machines, 40-3, 144 von Wright, G. H., 35 n., 171-3, 182,
Smullyan, A., 255 273 n -> 288-95
Sprigge, T. L. S., 279 n.
Stoutland, F. M., 25 n., 288 n., 293-5 Williams, C. J. F., 255 n.
Stove, D. C., 9, 15, 16 n., 18, 80 Wittgenstein, L., 316