VIOLATED LAWS, CETERIS PARIBUS CLAUSES, AND

SHELDON SMITH
VIOLATED LAWS, CETERIS PARIBUS CLAUSES, AND CAPACITIES
ABSTRACT. It is often claimed that the bulk of the laws of physics – including such
venerable laws as Universal Gravitation – are violated in many (or even all) circumstances
because they have counter-instances that result when a system is not isolated from other
systems. Various accounts of how one should interpret these (apparently) violated laws
have been provided. In this paper, I examine two accounts of (apparently) violated laws,
that they are merely ceteris paribus laws and that they are manifestations of capacities.
Through an examination of the primary example that motivated these views, I show that
given a proper understanding of the situation, neither view is optimal because the law is not
even apparently violated. Along the way, I am able to diagnose what has led to the mistaken
belief: I show that it originates from an element of the standard empiricist conception of
laws. I then evaluate the suggestions of how to interpret violated laws with respect to other
examples and find them wanting there too.
1. INTRODUCTION
Where it was once commonly believed by philosophers of an empiricist
stripe that the laws of physics report universal, temporal regularities, it is
now often claimed that most, some claim all, laws of physics suffer from
exceptions, or violations, sometimes gross ones. There have been several
reactions to this (alleged1 ) state of affairs, all of which cause problems
of interpretation that have been addressed in the literature. A somewhat
typical reaction has been to take the laws of physics as ceteris paribus laws
of some sort. As such, a law of physics contains an implicit ceteris paribus
clause that indicates what the conditions have to be for the law to govern
a system’s behavior. Other things being equal, the system governed by the
law will obey it. In the cases where the law is not obeyed, other things were
obviously not equal. Thus, the notion that laws contain implicit clauses is
meant to solve what one might call the “problem of falsification.” The
law is saved from (apparent) violation by the ceteris paribus conditional
clauses. An apparent falsification just means that the antecedent conditions
of the law – when fully spelled out – were not satisfied.
Among other places, in her recent The Dappled World, Nancy Cartwright has suggested this view: “Laws, where they do apply, hold only
ceteris paribus”2 (Cartwright 1999, p. 4). Cartwright’s account grew out of
Synthese 130: 235–264, 2002.
© 2002 Kluwer Academic Publishers. Printed in the Netherlands.
236
SHELDON SMITH
an explicit worry about the apparent falsification of certain physical laws
(Cartwright 1983). Although they do not explicitly say that all laws of
physics should be read in this way, in “When Other Things Aren’t Equal:
Saving Ceteris Paribus Laws from Vacuity,” I believe that Paul Pietroski
and George Rey say much that implies the view.3 A related sort of account of the break-down of laws is due to Geoffrey Joseph in “The Many
Sciences and the One World” where he claims that violated laws include
(implicit) ceteris absentibus clauses, the law applies other things being
absent.4 In either case, the additional clauses are meant to keep the law
from being falsified, and thus, to solve the problem of falsification.
Even if it apparently solves the problem of falsification, the addition of
escape clauses has been thought to push rapidly towards a whole family
of complexly interrelated problems that have been widely and diversely
addressed by those noted above. Along with the problem of falsification,
this paper will focus predominantly on a discussion of these problems as
they apply to different examples. First, there is what I will call, following Peter Lipton (Lipton 1999, p. 157), the “problem of instantiation”. It
seems to many that it is the case that other things are never – or only very
rarely – equal; likewise that other things are very rarely absent. Thus, the
additional clauses (of whatever type) would normally fail to be satisfied
and the law would fail to be instanced by any physical system. The laws in
question, then, are not only not universal, contrary to standard empiricist
expectations, but they apply to almost nothing. The question also arises
as to why the claim that a law is ceteris paribus or ceteris absentibus is
not just vacuous because it amounts to the claim that a system will obey
the law except in cases that it doesn’t. I will call this the “the problem of
vacuity.” This vagueness is especially pressing because many believe that
one could never spell out the clauses explicitly.5 If either (1) things are
never equal – whatever that exactly means – or (2) the attempt to shore up a
violation of a law leads one to a vacuous statement, then it is not clear what
entitles physicists to continue applying the law. For, what could justify the
application of the law to cases where other things are not equal or where
other things are not absent? Also, what could be the point of applying a
vacuous law? I will call this problem the “problem of application” where I
mean by “application” both the use of an equation in physical models and
in explanations of the behavior of a system. At its most problematic, the
problem of application is the problem of how to justify the application of
an equation to situations that it does not even approximately describe, if
such there be.
There have been many attempts to handle these problems within the
literature. Because the bulk of this paper will focus upon examples from
VIOLATED LAWS, CETERIS PARIBUS CLAUSES, AND CAPACITIES
237
physics that are thought to bolster the claim that as normally stated – that
is, without ceteris paribus clauses – the laws of physics are false, I have
space here only to discuss two in depth. Pietroski and Rey attempt to solve
these problems with an account of when ceteris paribus clauses are warranted. This account is supposed to distinguish between genuinely vacuous
ceteris paribus claims and those that have some substance, and thus, can
be legitimately applied, thus solving the application problem. A different
sort of approach due to Cartwright attempts to solve these problems with
an account of “capacities” and the role they play within physics.
Within the philosophy of physics, many of the worries surrounding
these various problems first arose from an examination of Newton’s laws
along with the Law of Universal Gravitation.6 Thus, in this paper, I shall
discuss various proposed solutions to the problems listed above – particularly the problem of falsification that is thought to push us rapidly towards
the others – first as they arise with respect to a certain case, the motion
of particles subject to Newton’s laws of motion and Universal Gravitation.
Roughly, I think that one can show that contrary to certain arguments, one
should not think of Newton’s laws nor the law of Universal Gravitation
as ceteris paribus because they are not even apparently falsified by the
examples given by those who want to read them as ceteris paribus laws.7
Thus, one needs no solution to the problem of falsification in this case,
particularly not a vague appeal to either ceteris paribus clauses or “capacities.” Because of this, one is not driven to the other problems at all. Later,
I shall discuss other apparently violated laws of physics along with the
suggestions of how to read them. I think that none of the suggestions fairs
very well because, it seems to me, they were generally tailor made to fit the
case of Universal Gravitation. Surprisingly, it will turn out that many laws
are semantically vacuous and are taken to be vacuous by the very people
(engineers) who apply them. Obviously, then, the problem of vacuity does
not lead directly to any problem with application. Thus, the impression
that there is a family of problems that need to be addressed en bloc is illfounded. Much of the lesson is that the exceptions to different laws (even
when they are genuine exceptions) have different sources and it is unlikely
that anything unified can be said about them.8 Among other things, in this
paper, I shall attempt to get clearer about the varying status of different
equations of physics that are commonly thought of as laws and also to
delineate a class of equations that are, in my view, generally mistaken for
laws, all of which tend to be lumped together as ceteris paribus laws or as
capacity claims.
Many of the conclusions I come to here are common to the recent
“Ceteris Paribus, There is no Problem of Provisos” (Earman and Roberts
238
SHELDON SMITH
1999) by John Earman and John Roberts who claim – plausibly, I shall
argue – that “. . . it isn’t ceteris paribus all the way down – ceteris paribus
stops at the level of fundamental physics” (Earman and Roberts 1999, p.
470). In this paper, I shall show much the same about the status of many9
physical laws – and not just about the fundamental ones, whatever exactly
those are,10 but, as we shall see, about many not so fundamental ones as
well. (I shall also argue that an understanding of the laws of physics as
capacity claims does not help matters any.) Even though I find myself in
agreement with many of the specific points made by Earman and Roberts,
I think that one can provide a more detailed argument than what they
provide against the specific examples from physics that Cartwright and
Pietroski and Rey believe force upon us the claim that the laws of physics are merely ceteris paribus. Many of those who think that the laws of
physics are ceteris paribus are led to this view because they think that they
can find specific examples – and many of them – in physics that defy a
strict reading. Thus, such people will probably be unmoved by Earman
and Roberts’ claim that certain laws are “intended as entirely strict by
physicists.”11 If the arguments that the laws of physics are false when
interpreted as strict are sound, then this response does not help. Thus, I
think the detailed examination and criticism of the discussions of specific
examples that led to the view is in order. Moreover, once we have done
this, I think that we can diagnose fairly precisely what exactly led to the
erroneous belief that certain laws of physics are merely ceteris paribus. In
fact, I think that we can show that it is the empiricist presumption that laws
express constant temporal conjunctions. I take the diagnosis that the paper
provides to be as important as the claim that the laws of physics are not
ceteris paribus laws.
2. NEWTON ’ S LAWS , UNIVERSAL GRAVITATION , AND KEPLER ’ S LAWS
Although many discussions of ceteris paribus laws have focused upon the
(supposed) ubiquity of such laws in the “special sciences,” the primary
example of the failure of physical laws that recurs in the literature comes
from classical, point-particle mechanics.12 Much of the evidence – more
will be supplied in later sections – that the laws of physics are merely
ceteris paribus laws comes from an examination of Newton’s laws of motion along with Universal Gravitation and the Kepler problem, the problem
of two bodies under the influence of mutual gravitation alone. It is wellknown that among other things, Newton showed that Kepler’s laws are, at
best, approximately true of planetary behavior. No planet travels around
the sun precisely in an elliptical orbit because of perturbations from the
VIOLATED LAWS, CETERIS PARIBUS CLAUSES, AND CAPACITIES
239
other planets and the asteroids and passing comets, etc. Moreover, the
setup of the “Kepler problem” assumes not only that there are no other
gravitational influences on each planet but that of the sun, it also assumes
that there are no other types of forces than gravitation. For the planets,
this is approximately true because they are essentially electrically neutral.
For other sorts of systems, such as an electron orbiting an atomic nucleus,
there are other forces that, in this case, swamp the gravitational force.13
So far, each of these facts is well-known, but the various interpretations of
them that appear in the philosophical literature are quite controversial. Part
of what is puzzling to me about the discussions of Universal Gravitation
and the Kepler problem is that there is nothing obscure about the physical
situation. That is, there is nothing that would make a physicist think that we
do not understand the problem, but many of the discussions of it strike me
as hopelessly obscure and misguided. Part of what I hope to do here is to
show that the situation does not call for any sort of obscure interpretation.
In this section, however, I will describe – without thereby endorsing the
problematic nature of this example – various reactions to it.
The most well-known claim of the falsity of universal gravitation that
leads directly to the other problems with violated laws noted above is
Nancy Cartwright’s. She claims,
For bodies which are both massive and charged, the law of universal gravitation and Coulomb’s law (the law that determines the force between two [static] charges) interact to
determine the final force. But neither law by itself truly describes how the bodies behave.
No charged objects will behave just as the law of universal gravitation says; and any
massive objects will constitute a counterexample to Coulomb’s law. These two laws are not
true; worse, they are not even approximately true. In the interaction between the electrons
and the protons of an atom, for example, the Coulomb effect swamps the gravitational one,
and the force that actually occurs is very different from that described by the law of gravity
(Cartwright 1983, p. 57).
Cartwright claims that the existence of other forces shows that the law
of Universal Gravitation is not true,14 not even approximately true.15 Thus,
as indicated in the introduction, the problem of (apparent) gross falsity
calls for some sort of interpretation of the laws involved – in this case,
Universal Gravitation – that justifies, among other things, their application
by physicists.
2.1. Universal Gravitation as a Ceteris Paribus Law
Initially, (i.e., in (Cartwright 1983)), in response to the problem of
falsity, Cartwright pushes,16 for a ceteris paribus reading of Universal
Gravitation.17 Cartwright claims that Universal Gravitation can be made
true if it is read as follows: “If there are no forces other than gravitational
240
SHELDON SMITH
forces at work, then two bodies exert a force [*] between each other which
varies inversely as the square of the distance between them, and varies
directly as the product of their masses” (Cartwright 1983, p. 58). But, it is
hard to know exactly how to read this ceteris paribus law so as to make
it true, for if one reads the word ‘force’ that I have marked with ‘*’ as
the total force, then it will still not be true if there are, say, three bodies
all mutually influenced by gravitation; the total force on a body will not be
determined by looking at two bodies alone. However, it seems more natural
to assume that Cartwright intends this to be a special force (e.g., the Gravitational pull from a single body), not necessarily the total force, because
she thinks of it as arising from one body acting on another whereas the total
force acting on a certain body generally will be a sum of forces originating
from more than one body. But, if one reads it in this way, then the law tells
us nothing about whether there is a gravitational force at work when there
is some other type of special force involved. (As Cartwright notes, “Once
the ceteris paribus modifier has been attached, the law of gravity is irrelevant to the more complex and interesting situations” (Cartwright 1983, p.
58)). Thus, the application problem threatens: Physicists apply this law in
cases where the antecedent is not satisfied because there usually are other
forces at work; What would entitle them to do that? Also, the problem of
instantiation threatens: Aren’t there no instances of this law because every
body has other forces acting on it?18 Thus, giving a ceteris paribus reading
of Universal Gravitation virtually forces upon us the set of problems noted
in the introduction. Granted, one might wonder whether we are forced here
into the problem of vacuity: That problem was supposed to be generated
by the fact that one cannot spell out in detail the ceteris paribus clauses of
a law. Thus, the claim that a law is ceteris paribus amounts to “the system
obeys the law unless it doesn’t” which is a semantically empty tautology.
But, because Cartwright spells out the antecedent clause explicitly, her law
is, apparently at least, subject to empirical test, and, thus, refutation.
Although they agree with Cartwright that Universal Gravitation is
merely ceteris paribus, Pietroski and Rey are more pessimistic about the
possibility of explicitly filling in the required clauses. In general, they
think that Universal Gravitation requires ceteris paribus clauses for the
very reasons Cartwright gives, and they think that ceteris paribus clauses
are needed precisely when it isn’t clear what the other things that need to
be equal are (Pietroski and Rey 1995, p. 87). Otherwise, one would just
explicitly add the clauses to the falsified law and have a new, modified,
unfalsified strict law. But, physicists do not add the required clauses; they
leave the expression of the law as is. Thus, one might wonder whether it
is as simple to add explicit conditional clauses as some claim. But, if one
VIOLATED LAWS, CETERIS PARIBUS CLAUSES, AND CAPACITIES
241
cannot add them, the threat is that Universal Gravitation is vacuous, that
is, it amounts to “Other (not completely specifiable) things being equal,
there will be a gravitational force between two bodies”. But, then it is the
vacuity of this law that leads directly to the problem of application: Why
would any physicist want to apply a law that is entirely empty to a certain
modeling? To what cases is she entitled to apply it? Moreover, how can
an empty statement function in an explanation? Motivated by such questions, Pietroski and Rey give the following substantive account of ceteris
paribus laws that is supposed to distinguish Universal Gravitation which
one ought to think of as a true and non-vacuous ceteris paribus law from a
bogus law like “Ceteris paribus all bodies go straight towards Cleveland”:
“Briefly, we claim that such [ceteris paribus] clauses are ‘cheques’ written
on the banks of independent theories, their substance and warrant derive
from the substance and warrant of those theories, which determine whether
the cheque can be cashed” (Pietroski and Rey 1995, p. 82). We ought to
expect, then, that a law like Universal Gravitation does not hold in every
instance, but we ought to be able to explain its failure by appeal to an
independent theory: “Thus C-abnormal instances [instances where the law
is not obeyed] are to be expected. But such instances must be explicable
by citing the factors ignored, else the putative cp-law is either vacuous or
false” (Pietroski and Rey 1995, pp. 91–2). For Pietroski and Rey, one does
not need to actually have the explanation. The mere existence of factors
that explain why the law does not hold in a certain case is sufficient to
keep the exception to the law from guaranteeing vacuity or falsity. On
the other hand, the failure of the existence of “interfering factors” that
explain the exceptions to the law will render the law false: “If there are
no such interfering factors, then the apparent counter-example [to the law]
is a genuine one, and the putative law is false. Thus, cp-laws are far from
tautologous on our proposal” (Pietroski and Rey 1995, p 93). Philosophically this certainly appears to be a virtue. If laws are tautologous, then the
application problem looms large.19
To muddy the waters even more, it has also been suggested that rather,
than Universal Gravitation and Coulomb’s law, it is Kepler’s laws that are
merely ceteris paribus laws. Peter Lipton claims, “Many cp laws appear to
have no instances at all, because things are never ‘equal’ in the requisite
respect. The planets may move in ellipses, cp, but no planet actually does
move in an ellipse, because of the influence of other planets and of nongravitational forces”20 (Lipton 1999, p. 157). Although he ultimately rejects the view, Lipton, like Pietroski and Rey, also initially suggests that
ceteris paribus clauses should be read as implying the possible existence
of an interfering force: “Intuitively, the idea is that a cp law typically
242
SHELDON SMITH
has the form ‘All Fs are G, unless there is some interfering force’, and
the privileged completion would be a C that listed all possible forms of
interference and maintained that none of them is in play” (Lipton 1999, p.
160). This convergence of suggestion – even if not of assertion – shows
that this view is, initially at least, attractive as a way to account for the
counter-instances of laws.
2.2. Universal Gravitation as a Capacity Claim
For now, enough about ceteris paribus interpretations of Universal Gravitation. In work more recent than that quoted above, Nancy Cartwright
has moved towards an interpretation of Universal Gravitation in terms of
“capacities” that bodies have.21 The proper reading of Universal Gravitation on this view is not that it has an implicit ceteris paribus antecedent,
but rather one should read it as “Bodies have the capacity to attract each
other according to G md1 m2 2 .” But, these capacities or tendencies to behave
in a certain way are often thwarted, as is the case for Gravitation when
there is a Coulomb force present. Cartwright describes this the other way
around, but the point is the same:
Coulomb’s law tells not what force charged particles experience but rather what it is in
their nature, qua charged, to experience. To say it is in their nature to experience a force of
q1 q2
is to say at least that they would experience this force if only the right conditions
4π0 r 2
occur for the power to exercise itself ‘on its own’, for instance, if they have very small
masses so that gravitational effects are negligible. But it is to say more: it is to say that
their tendency to experience it persists even when conditions are not right; for instance,
when gravity becomes important (Cartwright 1999, p. 82).
The advantage of this sort of approach is supposed to be that it handles the
application problem in a way that ceteris paribus interpretations cannot
easily do. If a law is of the form “Other things being equal, the system will
obey . . . ” then, as we have seen, the law seems to tell us nothing about what
happens when other things are not equal, and would appear to be useless
in explanations as well when other things aren’t equal. But, physicists do
apply Universal Gravitation to cases where it is not the only force present.
Thus, we need to think of the force of gravity as something that is always
there even in non-ideal, non-isolated situations; it is there as a “capacity”
even if it does not get manifested in behavior.
Although we have seen two reactions to the problem of apparently
falsified laws, there is a commonality between them. That is, whether the
approach is in terms of ceteris paribus clauses or “capacities” of bodies,
many assume that what has gone wrong with certain laws is the result of
looking at a closed system when, in reality, there are no closed systems.
Thus, it is typical to think that laws involve idealizations of some sort.
VIOLATED LAWS, CETERIS PARIBUS CLAUSES, AND CAPACITIES
243
Pietroski and Rey claim, “[A] cp law holds only in a ‘closed’ system,
i.e., a system considered in abstraction from other, independently existing
factors” (Pietroski and Rey 1995, p. 89). Cartwright makes the analogous
claim that laws only work “inside of walls.” The claim that laws involve
idealizations is nearly ubiquitous: “Laws describe the behavior of physical
systems under very special conditions that are hardly ever realized, namely,
in isolation. But they can be applied to non-isolated systems as well” (Hüttemann 1998, p. 129). Moreover, Lipton claims, “Most laws are cp laws
because the world is a messy place, and we need to invoke idealizations
and approximations in order to describe it” (Lipton 1999, p. 155). Part of
what I want to show in the next section, however, is that laws like Universal
Gravitation do not assume anything about “isolated systems.”
3. UNIVERSAL GRAVITATION IN THE CONTEXT OF THE EULER RECIPE
In this section, I want to suggest that the initial step that got this entire problematic started was misguided. That is, I shall argue that, when understood
properly, there is no reason to think that Universal Gravitation is false in
the way generally supposed.22 That is, the law is not shown to be violated
by the sort of behavior that Cartwright’s argument describes. Thus, one
does not need to interpret Universal Gravitation as either a ceteris paribus
law or “capacity” or even a “tendency” of bodies. All of these ways of
speaking were driven by what I take to be a pseudo-problem generated
by a false assumption about laws, that they tie more closely to temporal
behaviors than they actually do. Thus, I think that when discussing Universal Gravitation one should stick to the more physically acceptable and
more intelligible language of forces because, when properly understood,
this vocabulary is not as likely to confuse. More on this point later.
It is widely recognized that a physical modeling will require more than
just what generally go by the name ‘laws’ to describe any sort of concrete temporal behavior. However, such recognition generally takes the
form of pointing towards initial and boundary conditions so that an exhaustive classification of the elements of a modeling would be something
like the following: Laws, initial conditions, and boundary conditions. But,
this taxonomy misses many features of a modeling which are vital to the
understanding of the role laws play in constructing concrete descriptions of
motion. What is generally missed is the distinction between a differential
equation, the solution of which describes the concrete temporal behavior
of a system, and the laws (e.g. Newton’s second law or Universal Gravitation) used to derive the differential equation. What missing this distinction
typically leads to is the appellation of these two distinct elements of the
244
SHELDON SMITH
modeling as “laws.” Moreover, having made this conflation, one generally fails to properly analyze the logic of the derivation of the differential
equation.
Much of the utility of the notion of law in physics derives from the
ability to model different situations using the same set of laws according to
a “modeling recipe” which allows for the derivation of concrete differential
equations of motion. The general ingredients – we will look at specific
examples below – of such a recipe involve:
1. General dynamical principles which are independent of the type of
body in question.
2. Special “constitutive equations” which describe properties of different
types of material.
It is, perhaps, unfortunate that members of both of these elements which
play distinct roles in the dynamics go by the name ‘law’ in the literature,
for they play different roles in the modeling and, moreover, they have
different degrees of defeasibility should one’s model go awry. I will argue
later that it is even more unfortunate that the resulting differential equation
of motion is often taken to be a law. For, this is, I believe, what leads to
much of the confusion.
For point particle mechanics, the recipe, which is due to Leonhard Euler
even though the laws involved generally go by the name “Newton’s laws,”
is as follows:23
1. Specify the class of bodies (let them be point particles) whose behavior
one is concerned with.
2. Specify what types of special force laws hold between these particles
(e.g. Gravitation and the Coulomb force).
3. Choose a set of Cartesian coordinates along which to decompose the
special forces. That is, specify, say, the force of gravity acting on the
first particle from the second particle acting along the x-axis.
4. For each particle, sum the special forces acting on that particle along
a certain coordinate axis.
2
5. Set the sum for each particle equal to m ddt x2 .
The “constitutive principles”24 in this case are the special force laws such
as Universal Gravitation or Coulomb’s Law, and the general principle is
embodied by the last instruction in the recipe which has us plug the sum
2
of the special forces into Newton’s second law, Ftotal = m ddt x2 .25 This
recipe has been used (often implicitly) since the time of Euler to derive
differential equations using “Newton’s Laws.”
In order to get clearer about the content of Universal Gravitation, it is
important to note what the recipe does not imply: The recipe does not im-
VIOLATED LAWS, CETERIS PARIBUS CLAUSES, AND CAPACITIES
245
ply that the only force operating on any body is the force of gravity from a
single other body. In fact, the last step which has us sum the various forces
on the body suggests that there will, in general, be more than one force
acting on a body. The Universal Gravitation law, itself, does not imply
anything about the total force either or about what other forces might be
operating on a body. All that Universal Gravitation asserts is that between
any two bodies there is a force (not necessarily the total force) that points
2 26
There is
in the line joining the bodies and has the magnitude, G m1r m
2 .
no reason to think that this claim is at all problematic just because some
other force is also pulling on a body. It does not even imply that the body
will have an (instantaneous) acceleration in that direction. For, talk of the
acceleration of the body occurs only at the last step where the special forces
have been summed and one has a concrete differential equation (or coupled
set of them) that, when integrated, describes a motion. Thus, to find out that
there is also a Coulomb force acting on the body does not contradict any of
the prescriptions of the recipe or the law of Universal Gravitation; neither
of these asserts otherwise. What is particularly important to note here is
that Universal Gravitation is extremely modest as to temporal content: It
does not even purport to describe the motion of any body. Thus, it cannot
be accused of lying about any “behavior.”27
When we derive concrete differential equations with this recipe so as
to describe actual temporal behavior, there is generally some falsity introduced. I believe that it is this falsity, the falsity of the resulting concrete
differential equation of evolution type, that those who speak of ceteris
paribus laws in this context are sensing. For example, the Euler recipe can
be used to derive the differential equation for the “Kepler problem” which
describes the motion of a planetary body of mass m1 revolving around
another of mass m2 under the influence of gravity alone.28 For instance,
we invoke Newton’s law of universal gravitation
(1)
m1 m2 d
Fgravity = −G
2 |d|
|d|
as our lone constitutive equation (where d points from the origin to our
particle), and we plug it into Newton’s second law of motion as required
by the last step of the recipe to arrive at the following concrete differential
equation:
(2)
−G
m1 m2 d = m1 d¨
3
|d|
This differential equation can be integrated so as to arrive at a solution
which describes the temporal trajectory of the planet in the virtually empty
246
SHELDON SMITH
universe that we have imagined. As Newton showed, in accordance with
Kepler’s Laws, the planet will trace out an ellipse as it moves through
space. Of course, no real planet traces out an ellipse because any planet
feels the influence from several bodies which perturb it out of its basic
elliptical orbit. Thus, there is falsity somewhere in the model (although as
noted above not in the individual laws because the laws alone do not even
purport to describe any temporal trajectories).
The equation for the Kepler problem is a sort of “minimally working
model” in the sense that it includes the minimum number of laws needed
to arrive at a correctly set problem of evolution type, a correctly set differential equation with time as the independent variable. Any fewer laws and
we would not have enough information to describe any temporal trajectory,
let alone an inaccurate trajectory. In this context, the minimum set of laws
is Newton’s second law and a single special force law. Without at least
one special force law, we could not know what total force would be acting
on a particle for any given configuration of the system. Without Newton’s
second law, we could not know how a particle reacts to a total force. We
should not expect that such minimally working models for describing a
process will typically be the ones we want to use, for we will typically
have to take into account other bodies and, perhaps, other special forces
arising from already accounted for bodies. The recipe does not limit us
in this way, however. We can always derive a new differential equation to
include the other factors that we left out of the present model.
According to Carl Hempel, it is only the application of a theory that
contains escape provisos, not the laws, themselves:
. . . the quantity f in the second law is understood to be the total force acting on the given
body, and the envisaged application of the theory therefore presupposes a proviso to the
effect that the constituent bodies of the system are subject to no forces other than their
mutual gravitational attraction (Hempel 1988, p. 23).
Thus, he seems to think that the differential equation involves provisos
because it is the differential equation that represents an “application” of the
laws to a specific case. This seems closer to the truth than to think that it is
Universal Gravitation that contains provisos, but if Hempel’s proviso were
literally included, the Kepler differential equation would be applicable to
no system in the world because there are always other forces. The real
proviso when using it to model a situation is that whatever has been left
out of the model – though it is, in fact, there – is a negligible influence on
the motion (at least over some time period of interest). If it turns out not to
be, we have to derive a new, usually more complex equation. But, Hempel
is correct that it is at the level of theory application (i.e. differential equation) that the provisos enter, not at the level of the laws. But, at this level
VIOLATED LAWS, CETERIS PARIBUS CLAUSES, AND CAPACITIES
247
the existence of provisos (of this sort) does not have the same disturbing
quality because, for reasons to be given, a differential equation is not a law.
That is, explaining the failure of a body to trace out an ellipse, we might
appeal to “interfering factors” in Pietroski and Rey fashion. In fact, talk
of interfering factors or Lipton’s “other force at work formulation” seem
well suited to this task. (It is in this sense that I think that their solutions
were tailor made to fit this case.) But, we are not explaining the failure of
any law here. What we will soon see is that once one arrives at temporal
claims within physics (i.e., differential equations of evolution type), one is
generally trafficking in something other than a law.
In claiming it to be Kepler’s laws that should be given a ceteris paribus
reading, Peter Lipton suggests, like Hempel, that it is the product of the
Euler recipe – not the nomic ingredients – that is at issue. This seems
natural because for those who think of laws as expressing temporal regularities, Kepler’s laws (unlike Universal Gravitation or even Newton’s
second law) have the proper temporal content. But, among what Newton
did was that he showed that Kepler’s “laws” are not laws. This is not because, as Duhem pointed out long ago, they turn out not to be true,29 but
because they involve additional non-nomic modeling assumptions, such
as the assumption that there are only two bodies and the assumption that
the bodies only interact gravitationally. No one would think that it is a
law that there are only two bodies in the universe, not even a ceteris
paribus law. Since the derivation of the differential equation giving the
Kepler ellipses involves non-nomic elements, it cannot be considered in
any straightforward sense a law; it involves non-law elements as well. The
derivation also generally contains anti-nomic elements, assumptions that
violate laws. For instance, the action of the planet on the dominant body,
the sun, is generally ignored in the derivation in violation of Newton’s
third (action=reaction) law. (The derivation of the “law” of the pendulum
also contains this same anti-nomic assumption.)30 Moreover, the Kepler
ellipses only result for certain initial conditions, and initial conditions are
not generally considered to be nomic. For other initial conditions, one
does not get elliptical orbits (even given the other assumption of only two
bodies under the influence of gravitation alone), but one gets parabolic or
hyperbolic scattering. Thus, Kepler’s “law” that planets travel in ellipses
is (at least) triply not a law. It seems to me that the appellation ‘law’ to it
is largely a matter of historical accident and should not be taken seriously.
It will quite generally be the case that differential equations of evolution
type involve non-nomic (and often false or even anti-nomic) modeling assumptions, and, thus, are not laws. To give another example, the standard
wave equation for the vibrating string generally involves the assumption
248
SHELDON SMITH
that the amplitude of vibration will be small. This makes the equation
easier to solve than the equation that does not involve this assumption
but at the expense of absorbing something that should have been left to
the initial conditions into the differential equation (Antman 1995, p. 11).
Alternatively, it is derived by assuming that there are only transverse vibrations and no longitudinal vibrations in the string. There might be some
types of materials that have approximately this type of behavior (i.e., constitutive equation) (Antman 1995, p. 32). But, the assumption that any
given string is of that type of material seems clearly non-nomic. Either
way, the involvement of non-nomic modeling assumptions in one’s differential equation disbar it from being a law. Thus, it is not profitably read as
a ceteris paribus law either.
One can multiply these examples indefinitely. In fact, most of the alleged ceteris paribus laws in physics are actually differential equations
whose derivations have the same features as those above or are consequences of such differential equations. Thus, they are not laws at all.
For instance, Pietroski and Rey give the “law of free fall” as an additional
example of a ceteris paribus law. But, this is a consequence of a differential
equation derived under the assumption, for instance, that there is no air
resistance. But this involves either (1) an assumption that no one would
think is a law of nature, even a ceteris paribus one, (i.e., that there is no air
surrounding the Earth.) or (2) an anti-nomic assumption (i.e., that the air
surrounding the Earth provides no resistance even though it is a viscous
fluid.) Either way, the intrusion of non-nomic assumptions disbars this
from being a law. The famous “law of the pendulum” relating the length
of the pendulum arm to the period (given as an example by Giere in (Giere
1988)) is a consequence of a differential equation that is derived under the
assumption that the pendulum faces no external forcing of any kind. But,
that is either (1) a non- or anti-nomic assumption because there will always
be forcing either from the damping of the air (see the comments about the
law of free fall) or (2) it involves the non-nomic assumption that there are
no bodies in the universe (other than the Earth) which force the pendulum
which no one would think is a law. As one last example, Marc Lange’s
example of “the law of heat expansion of a metal” (in (Lange 1993)) which
is violated when, for instance, there are external pressures on the bar which
keep it from expanding, is derived from laws under the assumption that
the bar is subject to no boundary pressures. But, there is absolutely no
reason to think that assumption is a law. This is a boundary condition
which seems clearly non-nomic.31 Thus, the “law” of heat expansion is
not a law because it involves non-law assumptions in its derivation.
VIOLATED LAWS, CETERIS PARIBUS CLAUSES, AND CAPACITIES
249
All of this ought to be sufficient evidence to reject the standard
presumption of empiricists following Hume that laws express constant
conjunctions of temporally contiguous events. Laws like Universal Gravitation say nothing about temporal successions by themselves. When we
do have a differential equation that does tell us something about temporal
succession, it is generally not a law because it is derived from laws and
non-law ingredients. But, the standard empiricist presumption seems to be
nearly ubiquitous, particularly in the literature on ceteris paribus laws.32
For instance, in their official schema of laws, Pietroski and Rey tie laws
explicitly to temporal behavior: “Such laws [as “Boyle’s Law of gases”]
have traditionally been schematized as universal generalizations of the
form: (x)(F xt → (∃y)Gyt + )”.33 Moreover, they claim, “Laws say
that whenever some initial condition obtains, some other condition obtains
as well” (Pietroski and Rey 1995, p. 83). I assume that by “initial condition” they mean something temporal.34 Of course, they think that such
claims need a ceteris paribus claim out front, but other than that, the basic
format is not tested against examples. Cartwright also claims, “By ‘laws’
I mean descriptions of what regularly happens” (Cartwright 1999, p. 4).
Strictly, the claim of something “happening” does not need to be given a
temporal reading,35 but such a temporal reading seems quite natural. But,
it seems to me that it is this Humean belief that laws tie closely to concrete
temporal behavior that has led to the erroneous belief that Cartwright’s
original argument (given above) shows that Universal Gravitation is false,
and thus, that it requires a ceteris paribus or “capacity” interpretation. For,
when she claims that “No charged objects will behave just as the law
of Universal Gravitation says; and any massive objects will constitute a
counterexample to Coulomb’s law,” she is suggesting that it is the temporal
behavior implied by Universal Gravitation that has gone wrong. But, as I
have noted above, Universal Gravitation implies no temporal behavior at
all. Moreover, no law is violated when a body does not trace out a Kepler
ellipse. Rather, it seems to me that what has been done in Cartwright’s
original argument is that the content of Universal Gravitation has been
confused with that of a minimally working model, in this case, that of the
two-body problem with only Universal Gravitation; and, the failure of that
model in certain more complex cases is blamed on Universal Gravitation.
But, the only reason to equate the content of Universal Gravitation with
such a model is the presumption that since it is a physical law, it must report
a temporal regularity as expected by Humeans. Thus, it is the empiricist
presumption that laws tie very tightly to behavior that is at fault because
it forces us to look for some temporal content in Universal Gravitation
that just is not there. But, once properly understood, the only descriptive
250
SHELDON SMITH
inadequacy in the vicinity of Cartwright’s argument is that of a certain
differential equation, the one for the Kepler problem, which is, I have
argued, not a law. Moreover, because they have content about temporal
succession, the empiricist assumption tempts us into mistaking differential
equations of evolution type for laws. But, as I have argued, this would be
a mistake.
If the problem of falsification is spurious because Kepler’s laws are not
laws and Universal Gravitation is not false, or, at least, has not been shown
to be false by the argument above, it would seem that the other problems
noted in the introduction are also spurious. I think that this is, in fact, the
case. Ronald Giere expresses that the problem of instantiation is pressing
with respect to Newton’s laws and Universal Gravitation:
Could one find, for example, any two bodies, anywhere in the universe, whose motions
exactly satisfied these laws [i.e., Newton’s laws of motion and Universal Gravitation]?
The most likely answer is “no.” The only possibility of Newton’s Laws being precisely
exemplified by our two bodies would be either if they were alone in the universe with no
other bodies whose gravitational force would effect their motions, or if they existed in a
perfectly uniform gravitational field (Giere 1999, p. 90).
Cartwright also seems to think this in her recent work. She claims, “. . .
we have the small mass m located a distance r from the larger mass M.
.
Now we can look to see if the small mass moves with an acceleration GM
r2
If it does, we have a model for Newton’s laws” (Cartwright 1999, p. 44).
(Presumably it won’t because there are always other forces, even other
instances of the gravitational force.) But, even if it doesn’t move with the
acceleration Cartwright gives, we still might have a model of Newton’s
laws. There are many – infinitely many – motions that satisfy Newton’s
laws of motion and Universal Gravitation. A motion that satisfies any differential equation derivable from the Euler recipe will satisfy those laws as
long as one adds Universal Gravitation between all bodies whatever other
forces one adds between the bodies. That is, as long as Ftotal = ma for
each particle throughout the motion and there is a gravitational force of
the proper magnitude – even if it isn’t the total force acting on a particle –
between all massive particles, we have a model of F = ma and Universal
Gravitation. Only the erroneous belief that gravitation would have to be the
total force between particles would make one believe that we do not. (More
on the status of non-total forces later.) Contrary to Giere’s and Cartwright’s
expectations, Newton’s laws and Universal Gravitation are instantiated in
many, many systems, not just simplified or isolated ones. Although no
system exactly instances Kepler’s formulae, there is no “problem of instantiation” that needs to be explained there. We know antecedently what
we have ignored in that model.
VIOLATED LAWS, CETERIS PARIBUS CLAUSES, AND CAPACITIES
251
What about the application problem? If Universal Gravitation is not
shown to be false, then there is no question of what entitles us to apply it
for that question was forced upon us by the alleged falsity of that law. But,
maybe it is with the Kepler equation that the application problem resides.
The equation for the Kepler problem does not apply to the three body problem, but there is no problem of application here. No one would think that it
does apply to this case in general. The application problem was supposed
to be the problem of how we apply equations to situations that they do
not (even approximately) fit. It seems that the correct answer is that we
don’t. We only apply the Kepler differential equation in cases that it does
describe approximately. In other cases, we will need to use the Euler recipe
to derive a more complex differential equation. It can sometimes look like
we apply the Kepler differential equation to, say, certain three body cases.
For in certain special cases of the three body problem (for instance when
one of the bodies has an almost negligible mass), we treat the problem as
a perturbation on the Kepler orbits. However, in doing this we are merely
trying to get information out of the correct differential equation that would
otherwise be hard to get. We are not in any real sense “applying” the Kepler
equation; we are using it in the service of getting information out of some
other differential equation.
Finally, the problem of vacuity is no problem at all in this case. Universal Gravitation is not vacuous – it asserts the existence of a gravitational
force (again, not necessarily the total force) between all massive bodies
– even though its content is much more minimal than people generally
expect.
4. DO SPECIAL FORCES REPRESENT CAPACITIES ?
One might still think that even though the initial problematic, that led
to Cartwright’s talk of capacities is unsound (i.e., the alleged falsity of
Universal Gravitation), there is still something useful in thinking of special forces like gravitation as capacities to behave in a certain way. For
instance, inter alia, the move towards “capacity” talk decouples Universal
Gravitation from any actual temporal behavior – in precisely the way the
Euler recipe shows that it should be – because rendered as a capacity claim
Universal Gravitation does not state what temporal regularity can be expected, but only what there is a “capacity” or “tendency” to have happen. The
behavior otherwise implied by Universal Gravitation is usually thwarted by
some other force.36 What capacity talk reminds us, then, is that contrary
to empiricist expectations, Universal Gravitation does not state a temporal
regularity.37
252
SHELDON SMITH
But, talk of forces as “capacities” strikes me as hopelessly vague. For
one, the capacities of a body are truly unlimited. For instance a massive
body like a rock has the capacity to attract another, but it also has the
capacity to be used as a murder weapon or to serve as a chair. There are
a million capacities that bodies have that are not forces in the mechanical
sense. (Cartwright gives the example “Aspirin has the capacity to relieve
headaches.”) Thus, even if there were something right about thinking of
forces as capacities, when someone states that the force of gravity represents a capacity of bodies, this is more vague by far than the claim that
gravity is one of the mechanical forces acting on a body. Until one has
a recipe telling us what to do with the various capacities of a body so as
to derive a differential equation, it seems to me that nothing is gained by
this talk that cannot be had from talk of forces. The Euler recipe tells us
how to use the notion of force so as to get something specific and useful, a
differential equation of evolution type. The same cannot be said of talk of
capacities. There is nothing particularly unclear about the notion of force
in mechanics (particularly as compared with the notion of capacities). In
fact, there are precise, mathematical axioms for forces given by Walter
Noll. (See, for instance, (Truesdell 1991)). Since force talk is more specific
and there are clear axioms governing its use, we should, I maintain stick
to it when discussing Gravitation. When understood properly as we have
done above, talk of forces does not commit us to the belief that Universal
Gravitation represents a temporal regularity. It is the empiricist expectations that lead one astray, not any particular obscurity in the notion of
force that needs to be removed by calling them ‘capacities.’ One can show
the erroneous nature of those empiricist assumptions without appeal to
“capacities” but only by getting clearer about the nature of forces as we
have done here.
But, at this point, it will probably be objected that I should not be so
sanguine about forces, for their existence is often thought to be somehow
problematic. Thus, there is another, related role for capacity talk in that
it supposedly reminds us that forces are not “occurrent” properties; they
are something more akin to dispositions to behave in certain ways. For instance, Cartwright claims, “The term ‘force’ in the equation of gravity does
not refer to yet another occurrent property like mass or distance that could
appear in a typical philosopher’s list of occurrent properties” (Cartwright
1999, p. 52). One might note that in much of what I have said above, I
have assumed that they are. For instance, when I say above that Universal
Gravitation should be read as “between any two bodies there is a force
(not necessarily the total force) that points in the line joining the bodies
2
and has the magnitude, G m1r m
2 ,” I have assumed that there is an occurrent
VIOLATED LAWS, CETERIS PARIBUS CLAUSES, AND CAPACITIES
253
force there even if it does not issue in any sort of characteristic behavioral
manifestation. But, if this is false and capacity talk is supposed to highlight
that falsity then the interpretation of gravity as a capacity claim might be
thought to be preferable to my interpretation of the law at face-value, as
asserting the existence of a force, not necessarily the total force.
Unfortunately, it is never made clear why we should not think of the
special forces as occurrent. Cartwright claims, “The relevant vocabulary
of occurrent or measureable properties in this case is the vocabulary of
motions – positions, speeds, accelerations, directions and the like” (Cartwright 1999, p. 65). But, the motivation from measurability seems entirely
insufficient to prove the point, for we do measure forces, and not just total
forces that issue in accelerations, but special forces as well. For instance,
when I am standing on a scale, that is a measure of the impressed gravitational force on me. But, it is not the total force, for the total force on me is a
net zero; I am not accelerating at all. Moreover, some of the other items in
her list seem to me to be less straightforwardly measurable. For instance, it
is not obvious that we can measure instantaneous accelerations.38 We can
only measure velocity differences at two different times and try to get the
times as close to each other as possible. Furthermore, none of the items
in her list are always measureable. For instance, we cannot measure the
position of bodies that are outside of our light cone. If it is often the case
that we cannot measure forces, this should not indicate that they have a
special status as properties because no property can always be measured.
Thus, it seems that if the problematic nature of force was supposed to
be that it is not measurable, this worry is misguided. Again, we have another empiricist presumption that is best scrutinized, and, I believe, found
wanting.
Moreover, aside from the vagueness of capacity talk, it seems to me
that much of the talk of forces as “capacities” (rather than as occurrent
properties) still ties the special forces too closely to actual behaviors, albeit
behaviors that are only manifested in certain ideal situations. Thus, this
way of speaking is likely to mislead. Cartwright claims,
My use of the terms capacity and nature are closely related. When we ascribe to a feature
(like charge) a generic capacity (like the Coulomb capacity) by mentioning some canonical
behavior that systems with that capacity would display in ideal circumstances, then I say
that that behaviour is in the nature of that feature. Most of my arguments about capacities could have been put in terms of natures had I recognized soon enough how similar
capacities, as I see them, are to Aristotelean natures (Cartwright 1999, pp. 84–5).
But, if one has understood the Euler recipe, there is no single, canonical
behavior that is “in the nature of a charged particle” in the same way that
there is no single behavior that is in the nature of a massive particle.39 The
254
SHELDON SMITH
content of laws like Coulomb’s law or Universal Gravitation should not
be equated with any characteristic behavior. (To be sure, given a physical setup, we can derive a behavior, but there is no reason to equate
this behavior with the content of Coulomb’s law even as a capacity that
is somehow thwarted or that Coulomb’s law still “tries (unsuccessfully)
to bring about.”40 ) Much of this confusion is engendered by the belief
that forces are not occurrent and that they are more akin to dispositions.
Disposition talk, for instance, clearly implies that there is some specific
behavior that constitutes manifesting the disposition. For example, fragility is manifested when something breaks when it is struck. But, there is no
single behavior that manifests being under the influence of gravity. Any behavior consistent with a differential equation derived from the Euler recipe
counts as a manifestation of gravity as long as one added a force of gravity
between all bodies. I do not see why the content of Universal Gravitation
needs to be equated with any “natural” behavior at all or even a capacity to
behave in some specific way. For, as shown, Universal Gravitation does not
enter into physical modelings at the level of temporal behavior; it comes in
before any talk of behavior. To equate its content with some behavior is to
illicitly equate it with some minimally working model, or what Cartwright
calls behavior in “ideal circumstances.” (We have already seen that this
is the error that led to the claims of the falsity of Universal Gravitation.)
In reality, the law does not tie to behaviors at all, not even to capacities
to behave in a certain way. All of this is clear from the actual practice of
physical modeling as displayed by the Euler recipe.
In light of the considerations of this section, I would suggest that nothing is gained in terms of our understanding of Universal Gravitation by
referring to it as a capacity or disposition of bodies. Rather, the gain comes
from understanding the Euler recipe and the role that forces play in it.
5. CONSTITUTIVE EQUATIONS IN CONTINUUM MECHANICS
To take stock, Universal Gravitation is not a ceteris paribus law because
although a law, there is no reason to think that it is not quite strict. It
does hold between any two bodies in any situation that the bodies might
find themselves in.41 It just does not say as much about behavior as some
feel that it should. Kepler’s laws are not laws at all because, among other
reasons, they involve non-nomic modeling assumptions. These are just a
few examples, however, and the merits of any account of ceteris paribus
laws or of laws as capacity claims should be judged by a wider range of
examples, even if they fail for the specific case that they were designed
to handle.42 Thus, even though the primary example that is used in this
VIOLATED LAWS, CETERIS PARIBUS CLAUSES, AND CAPACITIES
255
literature involves a pseudo-problem, how do the accounts of violated laws
given above fair in other contexts?
Among the other examples that they give, Pietroski and Rey give the
ideal gas law as a law that does not apply to a large class of gases. Thus,
on their view, it expresses a ceteris paribus law, and one needs to explain
its legitimacy – i.e., its non-vacuity – in the fashion described above:
On our view, then, a chemist holding that cp(P V = nRT ), is committed to the following:
if a gas sample G is such that P V = nRT , there are independent factors (e.g., electrical
attraction) that explain why P V = nRT with respect to G. In general, these independent
factors [that explain why a certain cp-law does not hold in a certain instance] count as
‘noise’ or ‘interference’ with respect to the cp-law in question (Pietroski and Rey 1995, p.
91).
But, the ideal gas law is one of a large class of laws that are known
not to be universal that are called “constitutive equations” within classical
continuum mechanics. Within continuum mechanics, there are essentially
two types of laws: Cauchy’s laws which apply to all materials (and, thus,
are not ceteris paribus laws) and constitutive equations which describe the
behavior of specific materials. In addition to the ideal gas law, examples
of this latter sort of law are the equations of state of a Van der Waals gas,
Hooke’s law relating stress and strain in an elastic medium, and the constitutive equation for an ideal fluid. None of these laws – unlike Cauchy’s
laws – is universal. That is, not all materials are governed by Hooke’s law.
In fact, most are not. For instance, ordinary, liquid water is not a Hookean
elastic solid. Even many materials that under small values of strain act like
Hookean elastic solids undergo plastic deformation at higher strains. One
might, then, want to render Hooke’s law as “ceteris paribus the stress in a
material is linearly proportional to the strain.” Since Hooke’s law and the
ideal gas law are just two examples among many of constitutive equations,
it looks as if we have found a large class of ceteris paribus laws against
which we can judge Pietroski and Rey’s account.
But, what is interesting is that, surprisingly, the very engineers who
apply these laws take them to be definitions of materials. For instance,
in his Mechanics of Continua, A. Cemal Eringen claims, “A constitutive
equation defines an ideal material” (Eringen 1967, p. 144). Thus, satisfaction of Hooke’s linear relation between stress and strain counts as the
lone criterion for being a Hookean elastic solid.43 Hooke’s law should
be read, then, as “if the material is a Hookean elastic solid, then it will
have a linear relationship between its stress and its strain.” How do we
know if something is a Hookean elastic solid? We check to see if it has a
linear relation between its stress and its strain. What does one say, then,
about materials that do not obey the relation implied by Hooke’s law? One
256
SHELDON SMITH
merely says that they are not Hookean elastic solids and tries to figure out
what the heck they are for the sake of modeling them.44 Thus, constitutive
equations are generally taken by the very people who apply them to be
empty tautologies. But, what does this show? Are we led down the garden
path towards the problem of application? It seems to me that we clearly
are not in this case. The laws are tautologous – at least the constitutive
equations are – but, the application problem is not made unsolvable thereby
because one knows that certain materials are approximately, say, Hookean
elastic solids. Contrary to Pietroski and Rey’s assumption, to recognize
Hooke’s law as not being applicable to a material, one does not even need
to be committed to some “interfering factors” which explain why the law
failed to hold of that new material. One needs only to point out that the
material is not a Hookean elastic solid. In some moods, Pietroski and Rey
claim, “We ourselves are inclined to a fairly liberal attitude about what
can explain what” (Pietroski and Rey 1995, p. 92). Thus, this might be the
sort of explanation that would fit their account of the failure of a certain
law to hold, but it certainly doesn’t seem to be one in terms of “interfering
factors”.45
Hooke’s law has not been applied to liquid water, say, not because,
scientists were (implicitly) committed to some underlying theory that explained why it did not hold, but because the behavior of water in bulk
showed the untenability of applying Hooke’s law. Moreover, it does not
seem to me that the decision not to apply Hooke’s law to a certain material
or to apply it to a certain material involves one – even implicitly – in
the claim that there are factors which explain why not all materials are
Hookean. Apparently to the contrary, Pietroski and Rey claim, “Note that,
just as the truth of a cp-law depends on their being independent factors that
explain its C-abnormal instances [exceptions], so the warranted assertability of a cp-law depends on the available evidence for such interfering
factors” (Pietroski and Rey 1995, p. 94). It is not clear what “warranted
assertability” amounts to here, but I would think that it would mean (at a
minimum) that to be warranted in applying a certain law to a certain physical situation, a physicist would have to have evidence for such “interfering
factors” as explain why it does not hold of certain materials. But, belief that
use of Hooke’s law was warranted in certain modeling situations predated the independent theory that Pietroski and Rey see as the only thing
that supports its use. James Bernoulli knew that not all materials obeyed
Hooke’s law but it is not clear why this would commit him to the existence
of independent factors that explain why. For all he knew, it was just a brute,
inexplicable matter that some materials are Hookean and others are not. We
feel committed to the existence of explanations for the failure of Hooke’s
VIOLATED LAWS, CETERIS PARIBUS CLAUSES, AND CAPACITIES
257
law on independent grounds that Bernoulli could not have had. That is,
we understand the microscopic structure of different materials and how
this gives rise to various bulk responses. But, Bernoulli’s failure to know
this should not impugn his using Hooke’s law to model some material and
not others. The only thing that matters for application here is behavior in
bulk.46
Given my general remarks about capacities above, it will be clear that
I am unsympathetic to the claim that constitutive equations describe capacities of bodies. But, it seems to me that capacity talk fits even less well
here. For instance, how should we read Hooke’s law? Should we say that
Hooke’s law represents a capacity that bodies have to respond to a strain by
a certain stress? In the plastic range, the range where bodies do not have a
Hookean elastic response, bodies fail to respond in that way. I can make no
sense of the claim that nonetheless they still have the capacity to respond
in that way, for it seems to me – to the extent that I understand the capacity
talk – they have lost the capacity (sometimes permanently!) to respond
according to Hooke’s law. At any rate, talk of capacities in these contexts
has yet to show its worth. What we have seen, then, is that constitutive
equations are not understood as ceteris paribus laws – nor as claims of
capacities either – but as definitions of materials. But, this semantic vacuity
does not lead to any problems of application that need to be explained by
appeal to underlying “interfering factors”.
6. CONCLUSION
It seems to me that talk of the breakdown of laws as resulting from “interfering factors” or “competing capacities” or the “idealization to closed
systems” was driven by a desire to explain the breakdown of Kepler’s laws
or the alleged breakdown of Universal Gravitation. But, we have seen that
there is nothing essentially problematic in this example. There is only a
non-nomic differential equation where what has gone wrong are the nonnomic assumptions, not any of the laws, used in its derivation. We have
seen that the empiricist assumption that laws express temporal regularities
has driven much of the confusion here. When we move to other examples,
such as Hooke’s law, the accounts examined seem even less at home.
Certainly, to handle each of the examples discussed in this paper with a
unified “they are all merely ceteris paribus” or their success in applications requires “capacities” is overly optimistic. I hope as an alternative
approach to have examined the differing character of each different type
of law and to have said something reasonable about how the law should
be understood. Once we have done this, we can see that contrary to the
258
SHELDON SMITH
impression often given, there is no family of problems that pushes one
from worries about vacuity to worries about what warrants application.
Engineers feel right at home treating Hooke’s law as an empty definition
and still applying the relation between stress and strain that it involves to
certain (approximately) Hookean materials. If I were to summarize grossly
what I take to be one of the implications of this paper, I would say that
contrary to the popular belief that all laws of physics are merely ceteris
paribus there are no obviously good examples from physics. Moreover,
there are no examples from physics that can profitably be read as capacity
claims. Certainly, we have failed to find any here.
ACKNOWLEDGEMENTS
I would like to thank Robert Batterman, and, especially, Mark Wilson for
generous help on this paper. All errors that remain are, of course, my own.
NOTES
1 Much of the point of this paper is to argue that this is not the actual state of affairs and
to diagnose why it has seemed to many that it is the actual state of affairs.
2 Although, I will note below that she draws a distinction between ceteris paribus laws
and capacity claims and she generally sides with the latter interpretation of “violated” laws
(Cartwright 1999, p. 28).
3 In fact, much of their paper is worried about laws in the “special sciences” rather than
in physics. However, many of their examples (see below) come from physics, and after
defining a strict law as “one that contains no cp-clause [that is, ceteris paribus clause],
even implicitly” they worry “given current science, the appropriate question would seem
to be whether any laws are strict” (Pietroski and Rey 1995, p. 88).
4 I do not mean to imply that this brief summary captures the primary concern of Joseph’s
paper which has to do with how well the different parts of physics – particularly General
Relativity and quantum field theory – fit together. Moreover, Joseph seems to abandon the
suggestion that the laws of physics are ceteris absentibus. Nonetheless, the suggestion can
be assessed on its own merits, and, at a minimum, shows the initial attraction of thinking
that the laws of physics need to be supplemented with escape clauses of some sort.
5 In their, (Earman and Roberts 1999), Earman and Roberts note that Carl Hempel, whose
(Hempel 1988) is sometimes taken as the inspiration for this line (e.g., by (Lange 1993)
and Fodor 1991)), is not one of these people.
6 In this paper, I will assume unapologetically that Universal Gravitation is a law, for
to the extent that we have any handle on the referent of the word ‘law’ this seems to
be a paradigmatic example. I am aware that there are some that will take this to beg
certain important questions. For instance, about Newton’s laws of motion and gravitation,
Ronald Giere claims, “Everyone uses these equations. The issue is how to interpret them,
whether as ‘laws’ or as something else” (Giere 1999, pp. 91–2). But, here I will assume
VIOLATED LAWS, CETERIS PARIBUS CLAUSES, AND CAPACITIES
259
no substantive philosophical account of what it is to be a law. As such, I will be begging
no questions about the content of Universal Gravitation. Rather, I want to get clear about
what role Universal Gravitation has in modelings, for I think that this has led to much
confusion in this vicinity. I will especially not assume as Cartwright does that “a law of
nature is a necessary regular association between properties antecedently regarded as OK”
(Cartwright 199, p. 49). If I assume anything about laws here, it is merely the commonly
accepted claim that initial conditions – at least of ordinary differential equations – are
not laws. This seems to be widely agreed upon. Part of the point of this paper is that
antecedent philosophical accounts of what content a law is supposed to have – such as
that Cartwright adopts from empiricists – have forced upon us various confusions. From
one’s philosophical account one expects certain content to be found in a law that is not
present in Universal Gravitation. This, then, generates confusion. But, rather than denying
to Universal Gravitation the name ‘law’ it seems to me that we should jettison the bogus
account of laws that forces the problems upon us. Since I am more neutral than other
authors on the issue of laws, I am less likely to beg important questions.
7 I do not mean to imply that they are straightforwardly true because we know from both
Relativity and Quantum Mechanics that they are not.
8 It must be said that none of the authors mentioned above takes him or herself to have
given a general solution to the problem of violation of physical law. However, I think that
since their solutions are tailor made to fit what is ultimately an unproblematic case, that of
Universal Gravitation, their solutions fit no examples in physics.
9 Of course, no paper could argue this about all physical laws. Nor do I think that it is true
for all of them.
10 Sometimes to call a law ‘fundamental’ implies that it governs the most basic entities
in our currently accepted physical ontology. So, on this account, no part of classical
mechanics can be considered fundamental since the objects in our most basic ontology
do not behave classically. But, sometimes, fundamental just means “most basic within
a certain theory.” On this reading, Newton’s Second Law is one of the most basic laws
of classical mechanics and is, therefore, fundamental. Sometimes ‘fundamental’ means
having to do with the microscopic details. On this reading, classical statistical mechanics
that (approximately) handles the microscopic details – even though it does not use quantum
mechanics which is in one sense (the first) more fundamental – counts as fundamental, at
least it is more fundamental than, say, thermodynamics that ignores the details. Given these
ambiguities, I think that it is best to avoid the unexplicated use of the word.
11 They claim, for instance, “. . . the putative laws at issue in Hempel’s example – Newton’s
second law of motion and his law of gravitation – are intended as strict laws which require
no provisos” (Earman and Roberts 1999, p. 445).
12 As Earman and Roberts note, much of the stature that they have in the special sciences
derives from their supposed existence in physics as well.
13 Of course, in the latter case the problem needs to be solved with quantum mechanics
rather than classical mechanics. Nonetheless, an exactly analogous situation occurs there.
14 Joseph suggests roughly the same thing with respect to the Coulomb force (Joseph 1980,
p. 777).
15 This latter claim is of utmost importance because it is well-known (for other reasons)
that Universal Gravitation is not true – because General Relativity is more accurate – but it
is generally thought to be approximately true.
16 See below for her more recent attitude and its supposed advantages over this interpretation.
260
SHELDON SMITH
17 Apparently motivated by similar considerations, Pietroski and Rey also push for a
ceteris paribus reading of Universal Gravitation:
According to this simple proposal, bodies obey the law of gravity and Coulomb’s law,
cp [ceteris paribus] but cetera just aren’t paria with respect to the former law when the
bodies in question have significant charge; and other things are not equal with respect
to the latter law when the quanta in question are affected by nearby dense masses
(Pietroski and Rey 1995, p. 86).
18 We will see below that this is precisely the position taken by Ronald Giere.
19 I will not here enter any debates within the philosophy of language about whether e.g.,
tautologies exist at all or whether being tautologous implies being vacuous or non-refutable
by empirical data, etc. Rather, I will just assume all of the above. If one or more of these
assumptions is false, it will not alter the overall position of this paper.
20 Lipton does not ultimately endorse the account of laws implied.
21 Some authors describe this as just an interpretation of what it is to be a ceteris paribus
law rather than a conflicting view. It will not matter to the overall view of this paper whether
the capacity view conflicts with the ceteris paribus view or is merely an interpretational
variant of it.
22 It is, of course, false because of General Relativity. I will say little about this falsity
in the remainder of this paper. Suffice it to note that gravitation is not treated as a force
in General Relativity but is absorbed into the (non-Euclidean) structure of space-time.
Moreover, the classical trajectories implied by F = ma are not followed by microscopic
bodies like electrons. However, the advance that General Relativity has over Newton’s
Universal Gravitation – or that Quantum Mechanics has over classical mechanics – does
not seem to me to be properly described as the discovery of a new “capacity” or of a new
“interfering factor.” If one wants to describe the non-Euclidean nature of space-time, for
instance, as an “interfering factor” or as representative of a certain “capacity,” it shows only
the looseness of that vocabulary.
23 The details of this recipe are taken from the excellent (Wilson 1998).
24 Strictly, these are the point-particle analogs of what in continuum mechanics are called
‘constitutive equations.’
25 Lest one think that the existence of such recipes is merely a relic of classical mechanics,
there is a similar procedure for building up the Hamiltonian operator in Quantum Mechanics. Like in the Hamiltonian formulation of classical mechanics, the Hamiltonian is a
sum of the kinetic energy, T , and the potential energy U . Most of the work goes into the
construction of the potential energy operator. (Although, depending upon the coordinate
system being used hassles can attach to the kinetic energy operator as well.) This operator
is formulated by summing the various potentials which act on the particles.
26 Later in this paper, I will address the often made claim that the special forces such as the
pull of gravity are not “occurrent properties”, and therefore, a claim like this one that treats
them as if they are occurrent is still false. Here I only mean that nothing issuing from the
Euler recipe or from the behavior of any body shows Universal Gravitation to be false.
27 To be sure, there have been many revised versions of Universal Gravitation that have
been put forward even within the context of classical mechanics, mostly because of the
problem of the advance of the perihelion of Mercury but also because of certain lunar
anomolies (Roseveare 1982). But, the fact that the same argument used by Cartwright and
others could be used to show that these revised laws are false or merely ceteris paribus
ought to be a sign that something has gone amiss.
VIOLATED LAWS, CETERIS PARIBUS CLAUSES, AND CAPACITIES
261
28 I assume below that the body of mass m is fixed at the origin which is, itself, fixed in
2
an inertial frame. This reduces the number of equations needed for the illustration, but at
the cost of introducing the assumption that m2 is much greater than m1 .
29 Much – though not all – of Earman and Roberts’ claims that certain equations are
not laws issue from their falsity. (For instance, their example of Boyle’s law described
in Footnote 46 below.) But, this invites the claim that it is, therefore, merely a ceteris
paribus law. This is, in fact, the typical reaction of the ceteris paribus crowd to the alleged
falsity of a law. It seems to me that in many cases, it is not the falsity of the equation, but
the non-nomic assumptions – to be described – used in the derivation of the equation that
disbar it from being a law. (Although this remark does not, I think, apply to Boyles’ law
because it has a special status described in Section 5 below.) Universal Gravitation still, I
would think, ought to count as a law (of classical mechanics) even though it is false – due
to General Relativity, not due to Cartwright’s argument. But, little I say here depends upon
the possibility of there being false laws. If Universal Gravitation is not a law because it is
false, then it is not a ceteris paribus law either. Moreover, as noted in Footnote 22 above,
its falsity (shown by General Relativity) does not seem to be well described in terms of
capacities. Also, my claims about the content of Universal Gravitation stand.
30 I do not mean to imply that there is anything amiss here with the physics. There are
perfectly principled reasons why these factors are irrelevant and can be ignored.
31 It would be wrong to think that all boundary conditions are non-nomic. See, for instance,
(Wilson 1990) who argues otherwise. But, in this case, there isn’t much to recommend the
idea that “There are no pressures on the boundary of the bar” is nomic rather than merely
de facto.
32 In (Smith 2000), I have argued that Russell’s failure to find causation in the equations
of physics issued, in part, from this expectation.
33 Boyle’s law particularly does not fit this evolutionary bill because it is generally –
although not always – used in an equilibrium context.
34 This is, of course, not always the case in that one might refer to the initial condition of
a differential equation whose independent variable is not the time.
35 For instance, one can talk about what happens when a system is in equilibrium (e.g., the
pendulum just hangs there vertically).
36 In fact, I have heard it said that Cartwright could happily acquiesce to everything I say
above. Even stronger, I have heard it said that these just are her points. But, I find this hard
to believe, for these considerations render the example of Universal Gravitation essentially
unproblematic, as we have seen above. For instance, her claim that there are no exact
models of Universal Gravitation is still driven by an erroneous picture – the belief that for
a motion to be a model of Universal Gravitation, Universal Gravitation has to be the total
force. This is not true as described above. In this section, I hope to show further that many
of the presumptions I debunk above are still lurking.
37 Sometimes it is thought that this decoupling of laws and behavior implies a nonregularity view of laws that is, in some sense, metaphysically robust. But, to my mind, it
only shows that laws do not express regularities of temporal succession. Universal Gravitation still expresses a regularity (i.e., between any two bodies there is a gravitational force.)
A Humean who is willing to give up the idea that laws have to be temporal regularities
can still think that they are just brute regularities not underwritten by any sort of “relation
between universals” or anything more metaphysically robust. I will not lean on this claim
heavily here, but it seems to me to be correct.
262
SHELDON SMITH
38 This is sometimes given as a motivation for replacing instantaneous functions of time
with spread out Schwartz distributions which do not even have values at an instantaneous
point (Zemanian 1987).
39 Sometimes Cartwright is more careful than this. For instance, she claims, “. . . capacities, as I use the term, are not restricted to any single manifestation” (Cartwright 1999,
p. 59) But, in my mind, this only shows the instability of capacity talk. Sometimes it
gives rise to misleading associations as in the quote in the body of the text because it
is natural to assume that capacities are capacities to behave in a certain way and that there
is some specific behavior attached. Given that Cartwright, herself, often succumbs to this
temptation, it seems to be worth abandoning capacity talk. For instance, in her previous
(Cartwright 1989), Cartwright claims, “ ‘capacity’ is reserved for a special subset of these
[tendencies] – those tendencies which are tendencies to cause or bring something about”
(Cartwright 1989, p. 226). If these are supposed to be the tendency to cause something
specific it sounds as if there is a canonical behavior attached, the specific thing that they
bring about. If, on the other hand, they are supposed to be the tendency to cause something
or other, then they are too vague to possibly be useful for helping us to understand forces.
40 Cartwright often talks in this way (e.g., “it is enough for the system to exercise its capacity regardless of what results, i.e. for it to try to produce the associated effect” (Cartwright
1999, p. 66). But, again, there is no temporal effect associated with Coulomb’s law.
41 This is probably too strict, for if the bodies are point-particles and they collide, the gravitational force will be undefined (infinite). However, it is true of any other case, especially
the cases that those who suppose it to be false envision.
42 No author claims universality for his or her account. Nonetheless, I think that these
accounts apply to no examples from physics. Nothing but an exhaustion of examples, a
task that I cannot carry out here, could prove this. Nonetheless, a few more examples
might help make it more persuasive.
43 Lest one think that this is just an idiosyncratic feature of Eringen’s text, Clifford Truesdell claims, “. . . in continuum mechanics ideal materials are defined by particular relations
between the stress tensor and the motion of the body” (Truesdell 1991, p. 159). Also,
Malvern claims, “The ideal elastic solid, or Hookean elastic solid, is the ideal material
most commonly assumed for stress analysis in structures and machine parts. It is assumed
to obey Hooke’s law . . . ” (Malvern 1969, p. 274).
44 The latter part is usually the hard part.
45 To endorse the tautology view with respect to constitutive equations is not, however,
to assent to discussion of laws as holding “only in models” which they exactly describe.
(This is another popular reaction to the break-down of physical laws.) For instance, Giere is
often tempted to claim this sort of thing: “By stipulation, the equations of motion describe
the behavior of the model with perfect accuracy” (Giere 1999, p. 92). But, physics has
no interest whatsoever in describing non-existent things even if it describes them totally
accurately. Scientists would never care to describe such a model unless there were systems
that approximately behaved in the manner described by the model.
46 It is for similar reasons that I do not agree with Earman and Roberts’ claim that the
ideal gas law is not a law because it is false. (The standard mechanical practice of taking
the ideal gas law to be a definition of an ideal gas, for one, ought to speak against this
claim.) After having claimed that “the ideal gas law assumes that the gas molecules have
no volume and interact only by contact,” they claim,
We also think that it is improper to classify Boyle’s law as a ceteris paribus law. The
obvious things to say here are that it is not a law because it is false; that it is false
VIOLATED LAWS, CETERIS PARIBUS CLAUSES, AND CAPACITIES
263
because it is based on unrealistic idealizations (e.g., that the gas molecules have no
volume); but that, nevertheless, for some gases and some pressure-temperature ranges
the idealization provides an approximation that is good enough for most applications
(Earman and Roberts 1999, pp. 461–462).
I agree that Boyle’s law should not be read as a ceteris paribus law, but I disagree with the
reason – I take the standard reading from continuum mechanics of the law as a definition of
an ideal gas seriously. It seems to me that Boyle’s law is not based upon any assumption as
to the nature of the constituents of the gas. In an epistemological sense, it was based upon
certain experimental evidence before it was known that there were molecules. In a semantic
sense, it is entirely consistent with there not even being molecules; it says nothing about the
existence of molecules. So, nothing about molecular constitution can show it to be false.
Certainly, early appliers of the law would not have known – and many energeticists would
not have even believed – that there were molecules. The relative autonomy of modeling
in continuum mechanics from any hypotheses as to microscopic constitution is the reason
equations like Hooke’s or Boyle’s could remain intact through various changes in view
about atomic constitution. It is, of course, true that it can be derived from “fundamental
physics” using the idealized assumptions that Earman and Roberts note. But, it does not
follow from this that the ideal gas law contains any of those assumptions as part of its
content. Moreover, the justification for applying it does not depend upon the truth of the
assumptions as to the constitution of the gas. If it did, then, one would never be justified
in applying it since those assumptions are always false. And, if its warranted use depends
upon the derivation from micro-physics, then no one would have been justified in using it
in a model before the derivation of which Earman and Roberts speak which, it seems to
me, is an overly harsh judgement. (I do not mean to imply that Earman and Roberts claim
otherwise.) Again, the only thing that matters for successful application here is behavior
in bulk, not microscopic constitution. When the behavior in bulk no longer matches the
equation, we obviously do not have an ideal gas. Even if one does not favor the claim
that constitutive equations are definitions, it seems to me that it would not be the falsity of
Boyle’s law, but the non-nomic assumptions – the ones pointed out by Earman and Roberts
– used in its derivation that disbar it. If it is derived from non-law assumptions, then it is
not a law but contains a blend of law and non-law elements. To claim directly that it is its
falsity that keeps it from being a law is to invite the claim that it must, therefore, be shored
up with a ceteris paribus clause. This, after all, is the standard move.
REFERENCES
Antman, S.: 1995, Nonlinear Problems of Elasticity, Springer-Verlag, New York.
Cartwright, N.: 1983, How the Laws of Physics Lie, Clarendon Press, Oxford.
Cartwright, N.: 1989, Nature’s Capacities and Their Measurement, Clarendon Press,
Oxford.
Cartwright, N.: 1999, The Dappled World: A Study of the Boundaries of Science,
Cambridge University Press, Cambridge, U.K.
Earman, J. and J. Roberts: 1999, ‘Ceteris Paribus, There is no Problem of Provisos’,
Synthese 118, 439–478.
Eringen, A. C.: 1967, Mechanics of Continua, John Wiley, New York.
Fodor, J.: 1991, ‘You Can Fool Some of the People all of the Time, Everything Else Being
Equal’, Mind 100, 20–34.
264
SHELDON SMITH
Giere, R.: 1988, ‘Laws, Theories, and Generalizations’, in Grünbaum and Salmon (eds),
pp. 37–46.
Giere, R.: 1999, Science Without Laws, University of Chicago Press, Chicago.
Grünbaum, A. and W. Salmon (eds): 1988, The Limitations of Deductivism, University of
California Press, Berkeley.
Hempel, C.: 1988, ‘Provisos: A Problem Concerning the Inferential Function of Scientific
Theories’, in Grünbaum and Salmon (eds), pp. 19–36.
Hüttemann, A.: 1998, “Laws and Dispositions’, Philosophy of Science 65, 121–135.
Joseph, G.: 1980, ‘The Many Sciences and the One World’, Journal of Philosophy 77,
773–791.
Lange, M.: 1993, ‘Natural Laws and the Problem of Provisos’, Erkenntnis 38, 233–248.
Lipton, P.: 1999, ‘All Else Being Equal’, Philosophy 74, 155–168.
Malvern, L.: 1969, Introduction to the Mechanics of a Continuous Media, Prentice-Hall,
Englewood Cliffs, NJ.
Pietroski, P. and G. Rey: 1995, ‘When Other Things Aren’t Equal: Saving Ceteris Paribus
Laws from Vacuity’, British Journal of the Philosophy of Science 46, 81–110.
Roseveare, N. T.: 1982, Mercury’s Perihelion from Le Verrier to Einstein, Clarendon Press,
Oxford.
Smith, S.: 2000, ‘Resolving Russell’s Anti-Realism about Causation: The Connection
between Functional Dependencies and Causation’, The Monist 83, 274–295.
Truesdell, C.: 1991, A First Course in Rational Continuum Mechanics, Academic Press,
Boston.
Wilson, M.: 1990, ‘Law Along the Frontier: Differential Equations and their Boundary
Conditions’, PSA 2, 565–575.
Wilson, M.: 1998, ‘Mechanics, Classical’, Routledge Encyclopedia of Philosophy.
Zemanian, A. H.: 1987, Distribution Theory and Transform Analysis, Dover, New York.
Metropolitan State College of Denver
Campus Box 49
P.O. Box 173362
Denver, CO 80217–3362, USA
E-mail: [email protected]