Modal Science PDF
Modal Science PDF
Modal Science
[to appear in Canadian Journal of Philosophy, 46 (2016), supplementary issue, and in Mark
McCullagh and Juhani Yli-Vakkuri (eds.), Williamson on Modality (London: Routledge);
penultimate draft]
Timothy Williamson
In what follows, section 1 gives a preliminary sketch of metaphysical modality and its
place in the general category of objective modality. Section 2 reviews some familiar forms of
scepticism about metaphysical modality in that light. Later sections explore a few of the
many ways in which natural science deals with questions of objective modality, including
questions of quantified modal logic.
Let n name the actual number of inhabited planets. There are exactly n inhabited planets,
as our stipulation guarantees. Since our planet is inhabited, we know that n 1. However,
2
even though we know for sure that there are no fewer than n inhabited planets, there could
have been fewer than n, because there could have been no inhabited planets. Such a sense
in which things could have been otherwise is objective rather than epistemic. It is not a
matter of what any actual or hypothetical agent knows, or believes, or has some other
psychological attitude to; nor is it a matter of what any actual or hypothetical agent ought
to be or do, either morally or in order to achieve a given purpose. Conversely, some
epistemic possibilities are not objective possibilities of any kind. For instance, since we do
not know whether other planets are inhabited, it is in some sense both epistemically
possible for us that n 2 and epistemically possible for us that n < 2. But the ordering of the
natural numbers is non-contingent: either n 2 and there is no objective possibility of any
kind that n < 2, or else n < 2 and there is no objective possibility of any kind that n 2.
Objective modalities also differ in conception from deontic and teleological modalities,
which concern how things ought or may permissibly be, either absolutely or for a given
purpose; but since there is much less danger of confusion in that respect, no more need be
said about deontic and teleological modalities.
Objective possibility and necessity come in many varieties. I could easily type slightly
faster than I do; it would be harder but not physically impossible for me to type much faster
than I do. As I will use the terms, a proposition is metaphysically possible if and only if it has
at least one sort of objective possibility. A proposition is metaphysically necessary if and
only if its negation is not metaphysically possible, that is, if and only if it has every sort of
objective necessity. In given circumstances, a proposition is nomically possible if and only if
it is metaphysically compossible with what, in those circumstances, are the laws of nature
(their conjunction is metaphysically possible). A proposition is nomically necessary if and
only if its negation is not nomically possible, that is, if and only if it is a metaphysically
necessary consequence of what, in the circumstances, are the laws of nature. Both
metaphysical and nomic modalities are objective. Natural science studies nomic possibility,
impossibility, and necessity (amongst many other things). Philosophy, especially
metaphysics, studies metaphysical possibility, impossibility, and necessity (amongst many
other things). Of course, in everyday speech modal words such as can and cant are
typically used to speak about much more restricted kinds of possibility and necessity. Right
now, I can reach my keyboard, but I cant reach my bookshelves, even though the laws of
physics do not preclude my reaching them. In such examples, the modal words still express
objective possibilities or impossibilities, but ones that hold fixed my current circumstances
the position of the chair in which I am sitting, the length and inelasticity of my arms, and
so on.
The class of objective modalities is plausibly taken to be unified by its closure under
various operations. For instance, if 1 and 2 express types of objective necessity, and 1
and 2 express the dual types of objective possibility, then 12 also expresses a type of
objective necessity, and 12 the dual type of objective possibility. In order to articulate such
principles more systematically, it is helpful to use a framework of propositions, at least as a
first approximation. It enables us to avoid starting with a framework of possible worlds,
which would be problematic because the term possible takes for granted the distinction
we are trying to explain. Equally problematic would be an indiscriminate framework of
worlds, some of which may turn out to be impossible, others possible, for such worlds are
standardly treated as linguistic constructs, which are unsuitable for an account of the
modalities themselves rather than their linguistic expressions. Instead, we use a simple
framework of non-linguistic propositions (see also Williamson 2013a, pp. 103-4).
Since the propositions satisfy the usual Boolean equations, they are more or less
coarse-grained. For instance, (p q) p is the same proposition as p. The coarse-graining
brings out key structural points most clearly. If we wanted, we could develop a similar
theory of objective modalities in terms of more fine-grained propositions.
theorems are closed under the rules of modus ponens, uniform substitution, and
necessitation (whenever is a theorem, so is ).
(2) Composition: For all Li,Lj O there is an Lij O for which Lijp = LiLjp for all propositions
p.
Composing a pair of objective necessity operators yields an objective necessity operator. L ijp
commutes with conjunction because Li and Lj do. In terms of Kripke models, the accessibility
relation for Lij would be the composite of the accessibility relations for Li and Lj. The joint
effect of (1) and (2) is that composing a sequence of length n of objective necessity
operators yields an objective necessity operator for any natural number n.
(3) Conjunction: For all O O there is LO O for which LOp = i O Lip for all
propositions p.
(4) Reversal: For all Li O there is an L/i O for which p entails LiM/ip for all propositions
p.
Here p entails q just in case p q = p. Of the four postulates, (4) has the least claim to
obviousness. The claim is that if p holds, then it musti be possiblej in some objective sense j
for p to hold. A helpful analogy is with the relations between past and future operators: if p
holds then it will always hold that p once held, and it always held that p would one day hold.
Thus we might add to the consequent of (4) that p entails L/iMip, although that conjecture is
not needed for what follows. In terms of Kripke models, the accessibility relation for L/i
would be the converse of the accessibility relation for Li, and vice versa.
6
By postulate (3), there is a strongest objective necessity operator LO, the conjunction
of all objective necessity operators (let O = O). Hence LOp entails Lip for every proposition p
and objective necessity operator Li. We identify LO with metaphysical necessity. Thus
metaphysical necessity implies every objective kind of necessity, and dually every objective
kind of possibility entails metaphysical possibility. Then, given postulates (1), (2), and (4),
the logic SO of metaphysical necessity is at least, and presumably exactly, S5.2 For we can
show that the characteristic axiom schemas of S5 belong to SO thus:
For since LO is maximal in O, and L1 O by (1), LOp entails L1p, which is p. In terms of Kripke
models, the accessibility relation for LO is reflexive because it includes identity. We could
have imposed satisfaction of axiom T as a constraint on all objective necessity operators,
and dispensed with postulate (1), although that strategy would have required a restriction
on postulate (3) to nonempty sets of operators, since L{}p = 1 for all propositions p, including
false ones. However, there is no clear need to impose T on all objective necessity operators,
so for the sake of generality it is better not to. Thus an objective necessity operator might
range only over some counterfactual possibilities.
For since LO is maximal in O, and LOO O by (2), LOp entails LOOp. In terms of Kripke models,
the accessibility relation for LO is transitive because it includes its composition with itself. It
would not have been plausible to impose satisfaction of axiom 4 as a constraint on all
objective necessity operators, for local forms of objective necessity concern only close
worlds, and closeness is not transitive.
For since LO is maximal in O, and L/O O by (4), LOp entails L/Op, so M/Op entails MOp, so
LOM/Op entails LOMOp by normality, but p entails LOM/Op by (4), so p entails LOMOp. In terms
of Kripke models, roughly, if the accessibility relation for Lo contains its own converse then it
is symmetric. Consequently, such accessibility is an equivalence relation. It would not have
been plausible to impose satisfaction of axiom B as a constraint on all objective necessity
operators: for instance, even if I shall in fact cross the bridge tomorrow, in some objective
sense there may still be a practical possibility of its being destroyed later today, making it
practically impossible for me to cross it tomorrow.
Thus, even though some objective necessity operators satisfy only much weaker
logics, metaphysical necessity itself satisfies the strong modal logic S5, thanks to its role as
the strongest objective necessity operator combined with plausible closure principles on the
family of objective necessity operators. The result is a tidy picture of metaphysical modality:
the modal status of a proposition as metaphysically necessary, metaphysically contingent, or
metaphysically impossible is never itself metaphysically contingent.
7
An attractive conjecture consistent with the foregoing account, including the coarse-
grained view of propositions, is that the metaphysical necessity operator is simply defined
by these equations: LOp = 1 if p = 1; LOp = 0 otherwise. We already know that the first half of
that holds because it does so for all objective necessity operators, as we saw; the crux is
that LOp = 0 whenever p 1. If we assume that commuting with conjunction is sufficient as
well as necessary for being an objective necessity operator, the conjecture follows, for the
operator defined by those equations can easily be shown to commute with conjunction, and
to be the strongest operator to do so.
Nathan Salmon has argued in detail on essentialist grounds that the 4 axiom schema
fails for metaphysical modality (Salmon 1982, 1989, 1993). If the essence of an artefact
permits small but not large variations in its original constitution, then we should expect the
accessibility relation for metaphysical modality to be non-transitive, because many small
differences can add up to a large one. Under the reading of metaphysical modality as
meaning the maximal objective modality, Salmons argument against the 4 axiom must fail.
He rejects that reading, and indeed his argument may be sound under some alternative
readings of metaphysical modality as meaning various non-maximal objective modalities
with non-transitive accessibility relations. One might even use Kripkean claims as to how
different a given object could or could not have been as paradigms with which to explain an
alternative sense for metaphysical modality. For present purposes, however, the question
is where Salmons argument goes wrong when read, contrary to his intentions, with respect
to the maximal objective modality. One option is to go for a much stricter form of
essentialism, on which ordinary claims that an artefact could have had a slightly different
original constitution are dismissed as loose talk (Chisholm 1973). Another option is to go for
a much less strict form of essentialism, on which ordinary claims that an artefact could not
have had a very different original constitution are interpreted as concerning only quite
restricted types of possibility (Mackie 2006). There are also intermediate options
(Williamson 2013b, pp. 126-43). We need not decide between these options here.
modality might involve only a bare minimum of structural constraints, such as the principles
of S5 and the necessity of identity and distinctness. At the other extreme, it might involve
rich essentialist constraints. It has not even been excluded that metaphysical modality
coincides with nomic modality. These questions should be decided by detailed theoretical
investigation, not by stipulation. Our present interest is in the whole range of objective
modalities, not just in their maximum.
Objective modalities are envisaged as out there in the world, independently of us. There is a
long philosophical tradition of scepticism about such modalities. Its patriarch is of course
David Hume. He is usually, and most interestingly, interpreted as calling into question the
very idea of objective necessity. On this reading, he denies not merely that we can know
that billiard balls must rebound from the cushion as they do, but even that we can use the
word must to express any idea of objective necessity as opposed to something
psychological in ourselves, such as an expectation that they will so behave. Of course, since
correlative types of objective necessity and possibility are interdefinable duals, he is calling
into question the idea of objective possibility just as much as the idea of objective necessity.
Humes scepticism targets not only metaphysical modality; his arguments are just as
relevant to more restricted objective modalities, such as nomic modality, which may be
more appropriate to the motion of billiard balls.
A more recent motive for downgrading modality is less Humean than Aristotelian in
spirit. Disappointingly, distinctions drawn in modal terms have often turned out to be too
coarse-grained to do the metaphysical work initially hoped of them. A prominent case was
the attempt to use the notion of supervenience to explain the relation between the mental
and physical: no mental difference without a physical difference (Davidson 1970). Despite
Davidsons Quinean qualms about modality, supervenience is naturally defined in modal
terms (no possible mental difference without a physical difference), although making it
precise reveals that many subtly inequivalent modal definitions are available. However, on
all the most attractive modal definitions, supervenience is not an asymmetric relation, and
even one-way supervenience may hold between families of properties that seem to be on a
level with each other. Moreover, where supervenience does hold, one wants to know why
it holds; the suspicion is that the real metaphysical action will be in answering the latter
question. Thus just saying in a precise modal sense that the mental supervenes on the
physical, even if true, clarifies the dependence of the mental on the physical much less than
had been hoped (see Kim 1993 for discussion). Similarly, following Kripke (1980), it was
widely accepted that what it is for a property to be essential to an object can be explained in
modal terms: necessarily, if the object exists then it has the property. But Kit Fine (1994)
argued persuasively that any such modal definition of essence is too coarse-grained to
capture the difference between essential and accidental properties. Such disappointments
have contributed to a view of modal distinctions as shallow and inadequate substitutes for
10
The focus of such criticism is often specifically on metaphysical modality, for instance
on whether it is metaphysically fundamental and unified or just a miscellaneous ragbag of
disparate elements (Sider 2011). However, metaphysical modality is only one member of
the extended family of objective modalities. Arguments for scepticism about metaphysical
modality tend to generalize to other objective modalities, irrespective of the theorists
intentions. For instance, the epistemological challenge If something is non-actual, how do
you know whether it is possible? arises for any non-trivial objective modality, not just for
the metaphysical sort which is not to say that the challenge cannot be met. Likewise,
Quines logical qualms about quantifying into the scope of modal operators do not depend
on whether those modal operators are interpreted as metaphysical, nomic, or practical. If
Lewiss counterpart theory is used to interpret metaphysical modality, it should also be used
to interpret the other non-trivial objective modalities, which are restrictions of metaphysical
modality. Similarly, substituting another objective modality for metaphysical modality just
exacerbates the problem of coarse-graining, for the trouble is that metaphysical necessity
comes too cheap, and other forms of objective necessity come even cheaper.
Suppose that some non-trivial objective modality, A-modality, has the virtues critics
deny to metaphysical modality. It is intelligible, but not to be explained in counterpart-
theoretic terms, our knowledge of it is reasonable though far from complete, it cuts at a
joint, and so on. Perhaps we should not identify metaphysical modality with A-modality,
because some more general objective modality has all those virtues too. Still, given the
virtues of A-modality, standard critiques of metaphysical modality are clearly missing
something of crucial importance. Those who seek to disarm metaphysical modality had
better disarm the whole family of objective modalities, lest other family members exact
their revenge.
One response is that nomic modality is a non-trivial objective modality that does not
stand or fall with metaphysical modality, because it can be independently explained in
terms of natural science: to be nomically possible is to be consistent with the laws of nature,
and natural science is our best source of knowledge about those laws.
What does consistent mean there? It might mean logically consistent. But
Hesperus Phosphorus is logically consistent with the laws of nature, for their formulation
involves nothing as parochial as the names Hesperus and Phosphorus, and Hesperus =
Phosphorus by itself is no truth of logic. For the same reason, Hesperus is a quark is also
logically consistent with the laws of nature. On the proposed account, therefore, it is
nomically possible that Hesperus is distinct from Phosphorus and nomically possible that
Hesperus is a quark. That is not an attractive view of nomic possibility. Indeed, the overall
11
view is not even consistent. For it entails that nomic modalities are objective modalities, and
one mark of objective modality is that it does not block the substitution of co-referring
names. Thus if it is nomically possible that Hesperus is distinct from Phosphorus, it is also
nomically possible that Hesperus is distinct from Hesperus, in which case the view requires
Hesperus Hesperus to be logically consistent with the laws of nature, which it is not,
because it is not even logically consistent with itself. The difference between the names
Hesperus and Phosphorus is a difference in our representations that corresponds to no
difference in the states of affairs represented or their objective modal status. The same
problems arise if one appeals to conceptual consistency (whatever that is) instead of
logical consistency. To avoid the problems, in defining nomic possibility one would have to
conjoin the laws of nature with all true claims of identity and distinctness, such as Hesperus
= Phosphorus, and true claims of kind membership and non-membership, such as Hesperus
is a planet and Hesperus is not a quark. But those are just the sorts of move philosophers
make in trying to reductively define metaphysical modality itself. It is an illusion that one
can define a nomic objective modality without running into the issues that beset
metaphysical modality. One might as well admit that nomic possibility is metaphysical
compossibility with the laws of nature, as suggested earlier. If metaphysical modality is in
trouble, so is nomic modality. Like other objective modalities, it depends on metaphysical
modality. Indeed, for many purposes, though presumably not all, we may even be able to
work with the hypothesis that metaphysical modality coincides with nomic modality. At
least, nomic modality is a good approximation to metaphysical modality.
The sceptic may respond: if the other objective modalities depend on metaphysical
modality, so much the worse for them, and in particular for nomic modality. Even though
the appeal to natural science is necessary for nomic modality, it is not sufficient. According
to such a sceptic, natural science can in principle be done without reliance on objective
modalities; the science does not vindicate their specifically modal aspect. In a scientistic
climate, such an assumed lack of connection to natural science makes the objective
modalities look suspiciously ill-grounded.
It is notable how minor a role natural science plays in current discussion of the
epistemology of modality. The main emphasis is on folk methods of knowing whether
something is possible, perhaps by imaginative means, described in one way or another
(Williamson 2007a). One would expect such folk methods to be primarily geared to quite
restricted forms of practical modality, though philosophers usually want to discuss
knowledge of metaphysical modality. One might get the impression that philosophers have
taken some practically convenient everyday ways of thinking (can), drastically generalized
them (metaphysically possible), perhaps far beyond their domains of reliability, and on
those tenuous foundations erected a shaky castle of philosophical theory. Implicit in this
picture is that science itself has no essential objective modal aspect, so its track record of
success offers no support to the enterprise of objective modal theorizing. For instance, Ted
Sider claims that modality is unneeded for the most fundamental inquiries (2011, p. 267).
12
The mere definition of nomic possibility as compossibility with the laws of nature
poses no threat to the picture of natural science itself as non-modal, since it does not imply
that the idea of nomic possibility plays any essential role in scientific attempts to identify
the laws of nature. For all that the definition shows, modal ideas might be merely
epiphenomenal in the scientific process. Likewise with the deduction of nomic possibility
from actuality: if natural science discovers that there are black holes, we can of course
deduce that it is nomically possible for there to be black holes, but that offers natural
scientific help only where it is least needed, since the hard question is how far the possible
extends beyond the actual.
We could go through numerous articles in journals of natural science and list all the
places where modal expressions are used, in plainly objective senses, but we are unlikely to
achieve much just by doing so. For such articles are written in quasi-natural language, and
one can expect authors often to fall into such everyday ways of expressing themselves, even
where they are not strictly needed. How might objective modality play a more essential role
in natural science?
explanatory successes of the science. Can we find cases where instead the modal glosses
reflect some endogenous need of the science? The next section starts to come to grips with
that question.
One obvious starting-point is the near-platitude in the philosophy of science that laws
support counterfactuals. If it is a law that all Fs are Gs, then if there had been an F, there
would have been a G. Even if the universal generalization All Fs are Gs itself contains no
modal element, in claiming that it is a law we licence its application to (at least some)
counterfactual circumstances. Surely we want to use our scientific theories, including our
mathematical theories, in reasoning about how things could have been, as well as about
how they are. In such reasoning, we engage a specifically objective modal dimension. For
those purposes, the core theory itself need not be cast in modal terms. It is enough that
sometimes our legitimate applications of it assign it a modal status. Whats the problem?
Not all reasoning from a false hypothesis is counterfactual in the sense relevant to
objective modality. To use a standard example, the uncontentious truth If Oswald didnt
shoot Kennedy, someone else did is an ordinary indicative conditional, even though Oswald
did in fact shoot Kennedy. It is uncontentious because, for sure, someone shot Kennedy, so
if it wasnt Oswald, it was someone else. It is not equivalent to the so-called subjunctive
conditional If Oswald hadnt shot Kennedy, someone else would have, which suggests
another back-up conspirator lying in wait. Unlike the subjunctive conditional, the indicative
conditional does not involve an objective modality. The indicative conditional, but not the
subjunctive conditional, can be reasonably inferred from the non-modal statement
Someone shot Kennedy. Indicative and subjunctive conditionals interact differently with
modally rigidifying devices, such as actually and in this world (Williamson 2006). If
Oswald didnt shoot Kennedy, someone else did is equivalent to If Oswald didnt shoot
Kennedy, someone else did in this world. By contrast, If Oswald hadnt shot Kennedy,
someone else would have is not equivalent If Oswald hadnt shot Kennedy, someone else
would have in this world, since the former is true and the latter false in the scenario where
Oswalds shot pre-empts an efficient backup assassin. In that respect, subjunctive
conditionals pattern like objective modals while indicative modals do not: although the
epistemic modal sentences Oswald may have missed and Oswald may have missed in this
world are more or less equivalent, the objective modal sentences Oswald could have
missed and Oswald could have missed in this world are not; indeed, the former is true and
the latter false (where in both cases in this world is read as within the scope of the modal
14
Imagine that we are assessing a plan A for building a bridge. We ask What would
happen if we were to build the bridge according to plan A?. We apply our relevant theories,
and come to the conclusion If we were to build the bridge according to plan A, it would fall
down. Consequently, we decide not to build the bridge according to plan A (so the
antecedent of the conditional is false). We reasoned with subjunctive conditionals, and it
was quite natural to do so. But there was no real need to do so. We could just as well have
reasoned with indicative conditionals, asking What will happen if we build the bridge
according to plan A?, applying our relevant theories as before, and concluding If we build
the bridge according to plan A, it will fall down. If we know that indicative conditional in
those circumstances, we have reason enough not to build the bridge according to plan A. It
can be natural to articulate an application of a theory in subjunctive terms even when there
is no real need to do so. One might wonder for a moment whether an objective modal
dimension, by contrast with an epistemic modal dimension, is ever really needed in practical
applications.
Consider learning from mistakes. We see a bridge fall down. We ask the subjunctive
conditional question What would have happened if the bridge had been built according to
plan B?; we apply our relevant theories, and come to the subjunctive conditional conclusion
If the bridge had been built according to plan B, it would not have fallen down.
Consequently, we do better ourselves next time we have to build a bridge. In this case,
indicative conditionals will not do just as well. We do not assert If the bridge was built
according to plan B, it did not fall down, for we know for sure that it did fall down, whether
or not it was built according to plan B. Even if we treat the indicative conditional as truth-
functional, true simply because its antecedent is false (we have concluded that the bridge
was not built according to plan B), we should regard it as too conversationally misleading to
assert. It is the subjunctive conditional that carries the relevant information. For such
applications, we need an objective modal dimension.
Causal hypotheses are also far more strongly connected to subjunctive conditionals
than to indicative conditionals, even though it may well be over-optimistic to expect strictly
necessary and sufficient conditions for causal hypotheses in terms of subjunctive
conditionals, or strictly necessary and sufficient conditions for subjunctive conditionals in
terms of causal hypotheses.
Here is a toy example. Suppose that we are wondering whether there is a causal
relationship between the variable X, whose value we set at time t, and the variable Y, whose
value we observe at time t+1. We set X = 1 and observe Y = 0. Clearly, just on that basis, we
are not in a position to conclude that Y = 0 (causally) because X = 1. But suppose that a well-
15
Notoriously, the subjunctive conditional > is in general much weaker than the
corresponding objective strict conditional ( ), where expresses metaphysical
necessity. In some sense of nearby, if is true at some nearby possible worlds, and is
true at all nearby possible worlds at which is true, but is true and false at some more
distant possible world, then > is true and ( ) false. One might therefore suspect
that a theory can support subjunctive conditionals without supporting attributions of
objective necessity. Fortunately, that danger is largely avoided.
Note that is a formula of both L and L+, > a formula only of L+. But from (S1), we
can derive (S2):
Thus T supports claims of metaphysical necessity after all. As a special case, when T entails a
material conditional, it supports the corresponding strict conditional as well as the
subjunctive conditional.
The argument from (S1) to (S2) is simple. Suppose that (S1) holds and that T entails
. By classical propositional logic, entails . Hence, by the transitivity of entailment,
T entails . Therefore, by (S1), T supports > . But > surely entails , for a
formula subjunctively implies its own contradictory only if it does so vacuously; if were
metaphysically possible, it would not be that if were true, so would be .7 Thus, by the
principle that what T supports is closed under entailment, T supports .
The reasonable assumption underlying (S1*) is that, for nomic possibilities, if they were to
obtain, they would obtain in (actually) nomically possible ways, even if it is also
metaphysically possible for them to obtain in (actually) nomically impossible ways:
nomically possible worlds are closer than nomically impossible ones to the actual world.9
From (S1*) we can derive (S2*):
The argument is a modification of that from (S1) to (S2). For suppose that (S1*) holds while
T entails . As before, T entails , so T supports N ( > ) by (S1*). But >
surely entails N; if were nomically possible, it would not be that if were true, so
would be . Hence N ( > ) entails N, which is equivalent to N. Thus, by the
principle that what T supports is closed under entailment, T supports N. Even the qualified
17
way in which scientific theories arguably support subjunctive conditionals requires them to
support claims of nomic necessity too.
4. Objective probabilities
Talk of probabilities is, of course, widespread in the natural sciences. Whilst casual uses of
the word probably may merely express caution, explicit quantification of probabilities
for instance, in the interpretation of statistics presupposes some form of modality, for
any probability distribution is defined over a probability space of mutually exclusive, jointly
exhaustive possibilities: in any given circumstances, all but one of them is counterfactual.
Probabilities are assigned to all members of a field of events, that is, subsets of the set of
all those possibilities. The possibilities behave like possible worlds, and the events behave
like coarse-grained propositions, sets of possible worlds. The probability of a proposition is a
measure of its closeness to necessity. If the number of events is finite, all nonempty
propositions may be assigned nonzero probability, in which case probability 1 corresponds
to necessity, because it is equivalent to truth everywhere in the space, and nonzero
probability corresponds to possibility, because it is equivalent to truth somewhere in the
space. If the number of events is infinite, there are technical obstacles to assigning all
nonempty propositions nonzero probability; probability 1 is equivalent only to truth almost
everywhere in the space.10 But even in the latter case, probability 1 and nonzero probability
still behave logically like dual modal operators in a finitary modal language.11 Moreover,
necessity and possibility can still be defined in a natural way directly over the probability
space itself as truth everywhere and truth somewhere respectively. A one-way
18
connection still holds between probability and possibility: whatever has nonzero probability
is possible in the corresponding sense, even though the converse fails. Moreover,
probabilistic distinctions resemble modal distinctions in being coarse-grained: just as truth-
functionally equivalent formulas are necessarily equivalent, they also have the same
probability, as a consequence of the standard axioms for probability.
For present purposes, however, not any old probabilities will do. Only objective
probabilities are appropriately related to objective possibilities. Often the probabilities
discussed in science are epistemic, dependent on an evidence base, and so not suitable
here. Subjective probabilities (credences, degrees of rational belief) help still less. Indeed,
not even all objective probabilities are interesting for our purposes, since some of them are
in effect distributions only over sets of actual cases. In particular, we are not concerned with
probabilities understood as actual frequencies, even though they are objective at least in
being agent-independent. But frequentist interpretations of probability are in any case
unpromising, because actual frequencies may happen to be utterly wayward, in principle
even over a very long run. A fair coin can come up heads any number of times in succession.
Frequencies are better understood as good evidence for underlying probabilities that
explain, and so should not be identified with, the frequencies.
The most familiar genuine objective probabilities are chances. Consider some
physical system of scientific interest, perhaps the whole universe. We can ask: given that the
system is in a maximally specific state s0 at a time t0, what is the chance that it will be in a
maximally specific state s1 at a later time t1? If the system is deterministic, the answer will
be 1 or 0. But if the system is indeterministic, the answer may, more interestingly, be some
intermediate real number. The most celebrated example of indeterminism and intermediate
chances in science is of course in quantum mechanics, under some interpretations. It is
widely accepted that the probabilities in the formulation of quantum mechanics are not
merely epistemic or subjective. However, given the notorious difficulties of interpreting
quantum mechanics, we shall leave discussion of its probabilities to the experts.
Non-trivial objective probabilities may also arise for deterministic systems. For
scientists may explain some general features of the systems actual total history by showing
them to be typical of its possible histories. That is, it is highly probable that the system will
have a total history with those features. The relevant probabilities here are not chances
given the state of the system at a time but rather something like probabilities over initial
conditions. For the explanation to work properly, those probabilities should be objective. If
we were merely told that it would be rational for someone in a particular evidential
situation to be confident that the system would have a total history with the features at
issue, we should be unsatisfied, because such a hypothetical agent is quite extraneous to
what was to be explained. A better explanation would strip out the irrelevant material
about the agent, and isolate the relevant facts about the system itself that the non-objective
explanation was clumsily attempting to communicate. An example of such an explanation
of the general behaviour of a deterministic system in terms of objective probabilities over its
initial conditions is the derivation of standard thermodynamic principles from classical
statistical mechanics (see Loewer 2001 and Maudlin 2007 for discussion).
For illustrative purposes, a toy example will suffice instead. Suppose that a coin was
tossed 1000 times. It came up heads approximately 500 times (the explanandum); why? A
potential explanation is that the coin was fair and the tosses mutually independent (the
explanans). Once the relevant calculations are made, the explanans gives a reasonable
explanation of the explanandum. It is a piece of proto-science. Probability enters the
explanation in at least two ways. First, the explanans itself is implicitly probabilistic: the coin
is said to be fair in the sense that the probability of heads on a given toss is , and the
tosses are said to be mutually independent in the sense that the unconditional probability
of an outcome of a given toss equals its probability conditional on given outcomes of other
tosses. Second, the connection between the explanans and the explanandum is also
probabilistic, since the explanans does not entail the explanandum the explanans is
consistent with the coins coming up heads every one of the 1000 times but instead only
makes the explanandum probable (in the same sense of probable). The relevant
probabilities are not subjective or epistemic, since the degrees of belief or evidential
situation of an actual or ideal agent played no relevant role in the event to be explained.
They are quite extraneous to the explanandum and should not figure in the explanans. 12 Nor
are the relevant probabilities frequentist. For consider any given toss in the long run over
which such frequencies would have to be calculated. If the toss is one of the 1000 in the
explanandum, that would make for circularity in the explanation, but if the toss is not one of
the 1000, then it played no role in bringing about the explanandum. Either way, it should be
excluded. The example is best understood as involving a reasonable proto-scientific
explanation in terms of objective probabilities.
deterministic histories that differ from each other on the past and present as well as on the
future; microscopically different ways of tossing the two coins lead deterministically to
macroscopically different outcomes. Such possibilities are just as objective as
indeterministic chances; no initial conditions were nomically necessary. We should not
suppose that an explanation in terms of the detailed microscopic histories of the actual
tosses would in principle be better. For an explanation of the latter sort involves a drastic
loss of generality: its microscopic explanans would obtain in only a tiny fraction of the cases
in which the explanandum (as characterized above) would obtain. To capture the generality
of the explanandum, we need the generality of the macroscopic objectively probabilistic
explanans. A proper microscopic explanation would involve objective probabilities over
different microscopic possibilities that realize the initial conditions of the coin-tossing.
5. State spaces
Probability is far from the only form in which objective modalities become the object of
natural scientific inquiry. It is standard practice to study a physical system by analysing its
state space or phase space, the abstract space of its possible states. The system may be as
large as the universe or as small as a few interacting fundamental particles. The type of
possibility is objective, more or less nomic. The states are maximally specific. This way of
thinking is widespread in science. As a recent historian of the idea of phase space puts it,
Listen to a gathering of scientists in a hallway or a coffee house, and you are certain to hear
someone mention phase space (Nolte 2010, p. 33).
State spaces have played a philosophically significant role in various connections. For
example, in his critique of Hartry Fields nominalizing programme (1980), David Malament
objects that if Fields method of nominalization is applied to various theories of mechanics,
its effect is to replace quantification over abstract objects by quantification over the
possible dynamical states (of particular physical systems), to which, he argues, a
nominalist is not entitled (1982, p. 533). Aidan Lyon and Mark Colyvan have taken the latter
objection further, arguing that attempts to nominalize standard phase-space theories in
physics would result in a loss of explanatory power; as they explain, phase spaces are
spaces of possible, but mostly non-actual, initial conditions (2008, p. 227). In none of these
cases are the possibilities subjective or epistemic; they are aspects of the physical domain
under study, not of any real or ideal physicists state of knowledge or belief. Rather, they are
in some sense objective possibilities. For present purposes, our concern is not with the
prospects for nominalisation.13 Rather, it is with the objectively modal dimension of the
physics.
21
To develop the point, we may consider for a case study the theory of dynamical
systems (Strogatz 2001). In itself it is a mathematical theory, but it has intended applications
in physics, chemistry, biology, and engineering, for instance to a pendulum, the solar
system, the population growth or decline of predator and prey species, the weather, and so
on. As the last case suggests, it is a standard framework for the study of chaotic systems.
(i) f0(s) = s
(ii) ft(ft*(s)) = ft+t*(s)
Informally, we understand the formalism thus. S is the set of instantaneous states of the
target system; they are maximally specific in relevant respects, mutually exclusive, and
jointly exhaustive. T is the set of directed lengths of time; thus +1 and 1 may represent one
second into the future and one second into the past respectively, distinct directed lengths of
time whose sum is 0 (seconds). The system is assumed to be deterministic in both past and
future directions; thus given its state at any one time, the dynamics fixes its state at any
directed length of time from then (T includes negative as well as positive lengths of time).14
Thus it is legitimate to understand ft(s) as the state of the system a length of time t after an
instant when its state was s. For this interpretation to make sense, conditions (i) and (ii)
must hold: (i) because zero time after an instant it is still that instant, and (ii) because the
instant a length of time t after the instant a length of time t* after a given instant is just the
instant a length of time t + t* after the given instant.
typically, no orbit exhausts S. Thus some of the possible states in S are mutually
incompossible, given the dynamics, in the strong sense that if the system is ever in one of
them, then it is never in the others. The states in S are possible states, not all of which are
ever actualized. It would be foolish to try to eliminate all the counterfactual states in the
system by cutting it down to just its actual orbit, because that would typically destroy the
geometrical or topological structure defined over S: that structure is crucial to the
explanatory power of the theory of dynamical systems. The point is to study the dynamical
system of possible states as a whole, exploiting that mathematical structure.
The possible states in S are clearly quite like possible worlds. However, since states
are instantaneous, they are even more like ordered pairs of a world and a time, such as one
evaluates formulas at in some formal theories of semantics for languages with both modal
and temporal operators. But not even that comparison is perfectly apt, for nothing in a state
specifies when the system is in it: indeed, unlike world-time points, states may be
repeatable: when a dynamical system exhibits cyclic behaviour, it will be infinitely many
times in each state that it is ever in (Nietzsches eternal recurrence). One might try saying
that the states in S are qualitative in a way that world-time points are not, but even that
claim may be misleading, since the mathematical structure on states may require treating
the result of spatially rotating, reflecting, or translating a given state as a different state,
even though they are qualitatively indistinguishable. Still, the states correspond to
equivalence classes of some world-time pairs under some relevant equivalence relation.
Thus, although states cannot be straightforwardly assimilated into the framework of
possible world semantics, they still quite clearly have an objective modal aspect, as well as a
qualitative-temporal one.
We can make the modal aspect of dynamical systems explicit by treating them as
models over which we evaluate formulas of a propositional modal language. This can be
done in a very smooth and natural way, without applying any Procrustean methods. By their
structure, dynamical systems ask to be so treated. More specifically, with respect to a given
dynamical system, we will evaluate a formula as true or false at a state relative to an
assignment of values to variables, just as a formula of an ordinary modal language is
evaluated as true or false at a world in Kripke models for modal logic. We write s, a |= to
23
mean that the formula is true at the state s relative to the assignment a. The variables of
the formal language are propositional: they take sentence position. There are infinitely
many such variables U, V, . Formally, an assignment assigns each of them a set of states, a
subset of S. Such sets play the role of propositions in the model, just as sets of worlds
(subsets of W) play the role of propositions in Kripke models. The language has the usual
truth-functors , v, &, , , which behave as expected. It has dual modal operators and
, treated like quantifiers ranging over all states of the system (in this language, they need
not express metaphysical modalities).15 It also has the tense operators F (at some future
state), G (at every future state), P (at some past state), H (at every past state), and Gt,
(at the state t after the current state), for each directed length of time t T. To govern the
propositional variables, there are propositional quantifiers and , ranging over all
subsets of S. Further sentence operators are needed to express relevant mathematical
aspects of the dynamical system, such as a monadic operator Open to express the
openness of a subset of S in the underlying topology of the model.
[] s, a |= iff not s, a |=
[v] s, a |= iff s, a |= or s, a |=
Such is the naturalness of the interpretation, these clauses require very little commentary:
they are just what one would expect. The dynamics of the system is built into the clauses for
24
the temporal operators, which are therefore not purely temporal. We continue to call them
tense operators rather than dynamical operators only for the sake of familiarity. The
underlying topology is used in the clause for Open. In the quantifier clauses, a[V/X] is the
assignment like a except for assigning the set of states X to the variable V.
We briefly note some valid formulas, most of them standard. The underlying non-
modal propositional logic is classical: all truth-functional tautologies are valid, and modus
ponens preserves validity. The unrestricted modal operators and obey all the principles
of the modal system S5.16 The unrestricted necessity operator entails all the tense
operators F, G, P, H, and Gt for all t T. Consequently, if something is ever possible, it is
always possible:17
We also have standard principles of tense logic for linear time with no first or last moment,
which derive from the additive structure of the real numbers or the integers and conditions
(i) and (ii) above.18 In particular, conditions (i) and (ii) themselves correspond to the
respective validity of these two axioms of metric tense logic (compare Prior 1967):
G0V V
GtGt*V Gt+t*V
Other axioms, such as those corresponding to the density or discreteness of the time order,
are validated if we restrict validity to continuous or to discrete models. The quantifiers obey
the standard principles for propositional quantifiers in a modal setting, including for each
state the existence of a proposition true at exactly that state:
U [U & V [V [U V]]]
Of course, the state may be a recurrent one: in the spirit of dynamical systems theory, the
semantic theory does not distinguish between distinct times when the system is in the same
state, although we can say that the system will again be in the same state:
U [U FU]
This formula has the right effect because it entails that the atomic proposition true now will
be true again.
25
We can see how the formal language can express characteristic ideas of the theory
of dynamical systems by means of an example. The idea of an attractor plays an important
role in the theory, helping us understand the long-term qualitative behaviour of dynamical
systems. Very roughly, an attractor is a region of state space that the system gets pulled
toward and stuck close to or in, once it has entered a surrounding region. Not all authors
define the term in exactly equivalent ways, but the following definition is fairly standard
(see Strogatz 2001, p. 324). As is typical, it assumes a topological structure on S. An attractor
is a closed set of states A S such that:
Informally, (a) means that once the system is in A, it stays in A; (b) means that A draws and
keeps all trajectories that ever come sufficiently close to it arbitrarily close to it (A attracts
such trajectories); (c) means that A is minimal in these respects (it excludes redundant
members). The basin of attraction of A is the largest set U satisfying the condition in (b); if A
is an attractor, there is bound to be such a set. A strange attractor is an attractor that
exhibits sensitive dependence on initial conditions. Such attractors are often fractal sets.
They are important for the theory of chaos.
a(A) [A GA]
For c(A), note that [A* A]] behaves like A* = A, because it requires the regions of state
space A* and A to contain exactly the same states. We can now formalize A is an attractor
thus (since a closed set is the complement of an open set):
formula of the form or Open() is state-independent, for the variable s for the state of
evaluation does not appear on the right-hand sides of the semantic clauses for and Open.
Clearly too, the truth-functors and quantifiers preserve state-independence, because in
their semantic clauses s is used only to express the truth-conditions of their inputs, and so
makes no difference when the inputs are state-independent. Since the displayed formulas
result from applying truth-functors and quantifiers purely to formulas of the form and
Open(), they are state-independent. By contrast, the subformulas A and B themselves are
typically state-dependent; whether the system is in an attractor, or its basin of attraction,
depends on which state it is in. As such examples suggest, the tensed modal language has
considerable power to express key ideas in dynamical systems theory.
The language with modal and temporal operators has some advantages over the set-
theoretic notation. It renders some ideas more simply and perspicuously: for instance, a(A)
is simpler than (a). It also avoids making some distinctions that lack physical significance. For
instance, in the set-theoretic framework we must distinguish between members and
subsets of S; the state s is distinct from the singleton region {s} of state space. By contrast,
no such distinction arises in the modal-temporal language. In that respect, the latter stays
closer to what is physically significant.
It is also notable that the definition of Attractor involves quantification into the
scope of a modal operator, in clauses b(A) and c(A). That is the equivalent for quantification
into sentence position of de re modality, Quines third and most reprehensible grade of
modal involvement (Quine 1966). Since Quines official methodology involves taking our
metaphysics from our best theory of the world, which is supposed to include physics, it is
unfortunate for him that our best theory employs something like his bugbear, de re
modality. Indeed, any dynamical system validates de re formulas that attribute incompatible
necessary features to different propositions, for instance:
U U
U U
Any dynamical system with more than one state also validates this formula:
U [U & U]
27
Thus Quines naturalistic deference to natural science is in tension with his rejection of
quantified modal logic. Although the readings of the operator associated with dynamical
systems theory are weaker than metaphysical necessity, Quines objections of principle to
quantifying into the scope of a modal operator apply here just as much as they do
elsewhere; they generalize to any non-trivial objective modal operator. If his arguments fail
here, they fail generally.
From the present perspective, the non-modal nature of the mathematics that
constitutes dynamical systems theory looks no more metaphysically significant than the
non-modal nature of the mathematics that constitutes possible worlds model theory. In
both cases, the modal connection is made by the intended applications of the mathematics.
It is very convenient to reason in the non-modal language of mathematics, but in many
applications we implicitly or explicitly characterize the entities we are reasoning about in
modal terms. In metaphysics we may reason about modality by quantifying over possible
worlds; in natural science we reason about modality by quantifying over possible states of a
physical system. In the former case, the relevant modality is metaphysical; in the latter, it is
more like nomic, but in both those cases it is objective. Natural science studies the structure
of spaces of objective possibilities just as much as metaphysics does.
Sections 4 and 5 explained a general connection between the study of objective modalities
by modal metaphysics and their study by the natural sciences. The present section will
explore a much more specific connection between some contested issues in modal
metaphysics and the modal logic underlying intended applications of dynamical systems
theory as sketched in section 5.
In the model theory of first-order modal logic, one key choice-point is between
constant domain semantics, which interprets the first-order quantifiers as ranging over a
fixed domain of individuals, irrespective of the world of evaluation, and variable domain
semantics, which interprets them as ranging over a domain that depends on the world of
evaluation; informally, it is conceived as containing just the individuals that exist in that
world. Every model in the constant domain semantics is equivalent to a model in the
variable domain semantics, but not vice versa. Various formulas are valid (true in all models)
on the constant domain semantics but invalid (false in some models) on the variable domain
semantics, famously including the controversial first-order Barcan schema and its
converse.20 More simply, this formula is valid on the constant domain semantics, invalid on
the variable domain semantics:
28
NNE x y x=y
Informally, NNE says that necessarily everything is necessarily something. We read in NNE
as expressing some sort of objective necessity. Without relying on the model theory, we can
see that NNE raises a significant metaphysical issue. Necessitists assert NNE; contingentists
deny NNE (for metaphysical modality). For necessitists, it is necessary which individuals
there are. For contingentists, it is contingent which individuals there are. Normally, a
necessitist and a contingentist agree that it is contingent which things are concrete (or are in
space-time, or have causes and effects, ). But the necessitist then adds that, in addition to
the concrete things, there are also non-concrete things that merely could have been
concrete, so that contingency in what is concrete does not generate contingency in what
there is. The contingentist rejects any such way of saving NNE, insisting that a concrete thing
is contingent in the strictest sense that there could have been no such thing as it at all. Each
side has an internally coherent view; the issue is by no means easy to decide, although I
have made a provisional case for necessitism (Williamson 2013a).
The issue between necessitism and contingentism might look like a paradigm of the
sort of scholastic metaphysical dispute that utterly fails to engage with anything in natural
science. But appearances can mislead. There are in fact quite specific connections.
The tensed modal language for dynamical systems theory in section 5 lacks
individual quantifiers and so does not contain NNE (for whatever objective modality is
associated with the interpretation at hand). However, the language does have propositional
quantifiers, and so contains the propositional analogue of NNE:
NNEP U V [U V]
Whereas NNE concerns the necessary being of individuals, NNEP concerns the necessary
being of propositions (represented mathematically by sets of states).21 Informally, NNEP says
that necessarily every proposition is necessarily some proposition (as already noted, the
formula [U V] is tantamount to U = V): for propositions, being is state-independent.
Propositional necessitists assert NNEP; propositional contingentists deny NNEP (for the given
sort of objective modality). Necessitists tend to be propositional necessitists too (Williamson
2013a defends both views). Many contingentists are also propositional contingentists,
holding that what propositions there are depends on what individuals there are (Stalnaker
2012). However, the two views do not always go together. Plantinga 1983 seems to defend
a combination of contingentism about individuals with necessitism about propositions, on
which it is (metaphysically) contingent that there is Socrates, but necessary that there is the
proposition that there is not Socrates. Whether such a combination is well-motivated is
another question (see Williamson 2013a, pp. 267-77). Henceforth we will ignore such hybrid
positions, and concentrate on those which are either necessitist about all orders or
contingentist about all orders.
29
Notably, NNEP is valid on the semantics in section 5 for the modal language of
dynamical systems. Thus the modal logic of dynamical systems embodies a necessitist
metaphysics of propositions (for the given sort of objective modality). The logic also
validates several other characteristically necessitist principles related to NNE P, including an
unrestricted comprehension schema for propositions, which guarantees that there is
(necessarily) a proposition for each formula of the language:
COMPp V [V ]
Here is any formula in which the variable V does not occur free, though other variables
may. Strengthening COMPp by prefixing it with any sequence of universal quantifiers and
operators in any order preserves validity (see Williamson 2013, p. 290 for the same schema,
interpreted with respect to metaphysical modality). Versions of the Barcan schema and its
converse are also valid, with propositional quantifiers in place of individual ones:
BFP V V
CBFP V V
By BFp, if there could have been a proposition that met a given condition, then there is a
proposition that could have met that condition. By CBFp, if there is a proposition that could
have met a given condition, then there could have been a proposition that met that
condition. The validity of all these principles is not an artefact of a gerrymandered
semantics. Quite the opposite: without extreme gerrymandering, there is no way of making
explicit the modal content of intended applications of the mathematics of dynamical
systems without validating these necessitist principles. In effect, intended applications of
the mathematics of dynamical systems theory take necessitism about propositions for
granted (for the relevant sort of objective modality). The modal logic for dynamical systems
theory in section 5 just makes that metaphysical commitment explicit. That is not surprising;
logic is not metaphysically neutral in any deep sense (see Williamson 2013a).
dynamical systems theory, the variables are in principle associated with individuals. For a
system of n particles, we may need to keep track of, say, three independent features (such
as position or energy) per particle, so we need 3n variables altogether, and so a 3n-
dimensional state space. In such cases, some distinctions between states correspond to
distinctions between individuals: for instance, one state may differ from another only in that
the values of the variables associated with a given particle in the former are those of the
corresponding variables associated with another particle in the latter, and vice versa.
Dynamical systems whose variables are associated with distinct individuals are sometimes
called agent-based.
In many of the systems studied in natural science, individuals are sometimes created
or destroyed. Such individuals may be particles, cells, organisms, whatever.22 It is a
temporary matter what individuals there are. It may also be a contingent matter what
individuals there ever are; a given individual may be created on one trajectory but not on
another. This is handled by having variables for each individual that can occur in some state
or other (it would be horribly messy to handle it any other way). Thus, on the given
application, each state s in effect encodes the identities of all possible individuals, whether
or not they are present in s or in any other state on the same orbit as s. In making
generalizations about states and sets of states, as is continually done in applications of
dynamical systems theory, one is in effect quantifying over merely possibly present
individuals, as well as actual ones: possible particles, possible cells, possible organisms,
whatever they happen to be. On the face of it, this assumes a necessitist conception of what
there is to quantify over rather than a contingentist one.
A natural strategy for contingentists is to try to simulate in their own terms the
necessitist effect of quantification, using crafty combinations of modal operators and
quantifiers understood in contingentist terms. That strategy can be taken quite far. More
specifically, the contingentist can simulate the necessitist effect of ordinary first-order
quantification over possible individuals. Since each possible state is in effect an assignment
of values to variables associated with possible individuals, the contingentist may well be
able to simulate the necessitist effect of first-order quantification over possible states too.
However, the contingentist simulation strategy arguably fails for second-order
quantification over properties or sets of possible individuals (Williamson 2013a, pp. 305-
31
375; see also Fritz 2013). The necessitist effect of such second-order quantification cannot
always be simulated in contingentist terms. Corresponding problems may therefore arise for
a contingentists attempt to simulate quantification over sets of possible states. Such
quantification is ubiquitous in dynamical systems theory. For instance, as seen above, it is
used to define basic terminology such as attractor and basin of attraction. The crucial
feature of the definitions is that they quantify not only over possible states (with the
variable s) but also over sets of possible states (with the variables U and V). Without
such quantification the definitions make no sense. But the intended effect of such
quantification over sets of possible states characterized in terms of possibly concrete
individuals is just the sort of necessitist move that contingentists cannot always simulate.
They certainly cannot just help themselves to it without explanation.
In some special cases, contingentists can simulate the necessitist effects of higher-
order quantification, for instance when all the possibly present individuals are compossible
(they can all be present together in the same state). If the variables associated with distinct
individuals are wholly independent of each other, then some state will assign them all non-
zero values, which presumably means that all those individuals are present at that state.
However, that argument does not work if some combinations of assignments are excluded
(as they are by the Pauli exclusion principle, for instance). A contingentist simulation also
works when the total number of possibly present individuals for the system is finite. But if
there are infinitely many possible individuals for the system, while only finitely many of
them can be present together, then neither of those special cases applies.
Contingentists could undertake the strategy of trying to show that, in practice, all the
cases that arise in real-life natural science admit contingentist simulation, not only in
dynamical systems theory but in scientific applications of the state space approach more
generally. But that would be to give a very significant hostage to fortune. Pending the
successful execution of the strategy, why should we assume without evidence that it will
succeed? What is striking is that natural scientists themselves seem to feel no need of such
precautions. In applying mathematics to state spaces, they make free use of quantification
over possible individuals, possible states, sets of possible states, and so on, with no checks
on whether they are straying beyond the limits of contingentist simulation. They do not
treat the legitimacy of their practice as dependent on the availability of such simulation. In
effect, they unreflectively rely on an invisible framework of necessitist modal logic. In that
way, necessitism is more hospitable than contingentism to the normal practice of natural
science.23
The absence of modal expressions from the core language of mathematics does not
mean that its applications in natural science are non-modal. Rather, it manifests the
necessitist presuppositions on which those scientific applications rely. They are no more
non-modal than are the investigations of a metaphysician who reasons freely in a language
without modal operators about possible worlds and their inhabitants. Contingentists who
32
want to reconcile their modal metaphysics with scientific practice face a major
reconstructive challenge: to vindicate within their own framework the free scientific use of
quantification over possible states, sets of possible states, and so on. We currently have no
good reason to expect that they will be able to meet the challenge.
Similar metaphysical issues arise for the application of standard probability theory to
implicitly modal matters. Suppose that we are reasoning about a counterfactual
circumstance C, specified just as one in which there would have been exactly two fair coins
tossed independently of each other at time t; C itself is not maximally specific, and in
particular does not specify the microscopic details of the coins or the outcomes of the
tosses. Our interest is in objective probabilities, such as chances (t is in the distant future),
not in subjective or epistemic ones. What is the actual probability, conditional on C, that the
result is one heads, one tails? The standard, correct answer is: . For there are four
equiprobable possible outcomes: (HH) both coins come up heads; (HT) the first coin comes
up heads, the second tails; (TH) the first coin comes up tails, the second heads; (TT) both
coins come up tails. Since one heads, one tails results in two of the four equiprobable out
comes, the probability is 2/4 = . But familiarity should not make us regard the correctness
of that argument as immediate. For an intelligent person without a suitable background in
probability could instead have argued thus. There are three equiprobable possible
outcomes: (HH) two heads; (H+T) one heads, one tails; (TT) two tails. Since one heads, one
tails results in just one of the three equiprobable outcomes, the probability is 1/3. One very
intelligent person who made just such a mistake was Leibniz, who claimed that on a throw
of two dice, 11 and 12 are equally likely outcomes, because each can be obtained in only
one way (a five and a six; two sixes).24 Kripke uses this very example of the two ways of
getting 11 to explain his conception of possible worlds and trans-world identity (Kripke
1980, pp. 16-18).
What did we just mean by the first coin and the the second coin? Obviously, we
did nothing to pick out one coin from the other. In effect, we used variables: Let x be one of
the two, and y the other. Reasoning that way is fine when given two objects, no further
distinguished from each other. But that is not exactly what we were told to suppose. The
supposition was that we are reasoning in an actual circumstance @ about a counterfactual
circumstance C. The circumstance postulated to contain two coins was C, not @. In @, we
are not given two coins; we are merely given that in C there would be two coins. For
necessitists, that difference does not matter. The two coins in C are also in @, even if there
they are not coins but merely possible coins. They are there in @ to be reasoned about. But
33
for contingentists, the difference is crucial. They cannot assume that in @ there are two
possible coins for them to reason about. Consequently, they cannot assume that there are
two possible outcomes such as (HT) and (TH) above for them to reason about, because (HT)
and (TH) were described in terms of the supposed difference between the two possible
coins. Robert Stalnaker (2012), one of the most thoughtful defenders of a contingentist
position, is quite clear that in a case like @ there is only a single qualitative possibility, which
can be characterized in quantificational terms. That corresponds to (H+T) above. Thus
contingentism undermines the standard probability calculation for those cases, because it
provides only three possibilities, not four.
The point is easy to miss. For if we imagine reasoning in C itself, there are two coins,
and the standard calculation is unproblematic. What that shows is that if C had obtained,
the probability of one heads, one tails would have been . But that was not the question.
What was in question was the actual probability of one heads, one tails conditional on C.
For a contingentist such as Stalnaker, probabilities in @ are distributed over the actual space
of possibilities, which may differ from the space of possibilities over which probabilities
would have been distributed in C, because it is contingent what possibilities there are.
None of this is yet to say that contingentists are forced to assign probability 1/3 to
one heads, one tails. They might try to argue that some actual way of differentiating
between the coins will always be available, for instance in terms of spatial location, though
it is doubtful that such tactics will succeed with sufficient generality. Alternatively, in the
style of Plantinga rather than Stalnaker, they might insist that there are actually two
possibilities such as (HT) and (TH) even though there are not actually two possible coins to
distinguish them, and somehow explain why they take such different attitudes to possible
states and possible coins. If all else fails, they might say without further explanation that
although there are actually only three possibilities, (HH), (H+T), and (TT), they are not
equiprobable; (H+T) must have twice the probability that either (HH) or (TT) has. But what
contingentists cannot do is simply endorse the standard calculation. It is not available to
them just as it stands. At best, they will have to work hard to recover the standard
calculation, and it is not clear that they will succeed.
in natural science. The two enterprises are nothing like as disconnected as many
philosophers and many scientists assume.25
Appeals to objective modal aspects of natural science seem to have this limitation: they
concern at best some form of nomic modality, but not metaphysical modality. How much
light do the arguments of sections 3-7 cast on metaphysical modality?
The gap between nomic and metaphysical may be narrower than is usually thought.
Following Saul Kripke (1980), Alexander Bird (2007) has argued in detail that laws of nature
may be metaphysically necessary. If what it is to be an F involves being a G, then it is
metaphysically, not just nomically, necessary that all Fs are Gs. It is a good question how far
such arguments can be taken: could not motion have obeyed different laws? In any case,
the total assimilation of nomic modality to metaphysical modality is not only rather
implausible: it is not even relevant to all the cases discussed above. For the possibilities in a
probability space or state space may not even exhaust all nomic possibilities, let alone all
metaphysical ones. They may cover just the possible states of a highly contingent system,
such as the tossing of coins or the weather on earth. Still, we may assume that in a typical
case they are nomic possibilities, even if they are not all of the nomic possibilities.
Although no attempt will be made here to argue in general from nomic necessity to
metaphysical necessity, often the main challenge to a claim that something is metaphysical
necessary is also by implication a challenge even to the claim that it is nomically necessary.
Consider, for instance, the necessitist thesis NNE. Perhaps the strongest contingentist
objection to it is of this sort: if my parents had never met, there would have been no such
thing as me; therefore, I am a counterexample to the claim that (necessarily) everything is
necessarily something (and so is everyone else). Presumably, it is nomically as well as
metaphysically possible for my parents never to have met. Thus the putative
counterexample tells just as much against NNE on a nomic reading of the modal operators
as against NNE on the intended metaphysical reading of them. But scientific evidence for
the nomic version of NNE (as suggested in sections 6-7) is also evidence that such putative
counterexamples do not work against the nomic version, and if they fail against the nomic
version they fail against the metaphysical version too. It is evidence for nomically possible
people who are not actually people, and for nomically possible particles which are not
actually particles. Once such things are accepted, there is little to be gained by holding out
against the metaphysical version of NNE; its theoretical virtues triumph in the absence of a
compelling counterexample. In cases like these, the main dialectical action is within the
realm of nomic possibility. The distinction between nomic and metaphysical necessity,
though granted, sometimes makes less difference than might have been expected to the
modal upshot of natural science.
Notes
1 See Kratzer 2012, pp. 49-62, Portner 2009, pp. 144-84, and Vetter 201X, for
instance. It is not denied that the same word can express an objective modality
in one context and an epistemic modality in another: compare She could run a
marathon in three hours (objective) with Goldbachs Conjecture could be true
(epistemic).
4 See Strohminger 2015 for a detailed development of the case for perceptual
knowledge of nonactual possibilities. This strikes at the Humean assumption that
impressions are non-modal in content. Roca-Royes 201X makes a more empiricist
argument for inductive knowledge of nonactual possibilities via their similarity to
perceived actualized possibilities: if you have seen cups break, and thereby know
that they can break, you may infer that a similar unbroken cup can break (though
that does less to confront empiricist worries about how we come to understand
can in the first place).
7 See Williamson 2007, pp. 293-9, for relevant background on the logical relations
between counterfactuals and metaphysical modality.
9 Some Lewisians may object to the assumption because it clashes with the small
miracle conception of subjunctive conditionals, but the assumption is
nonetheless very plausible.
was trivially to be expected that n would number the inhabited planets, since n
was defined to name their number. For instance, given that n = 29, to explain
causally why there are exactly n inhabited planets is to explain causally why there
are exactly 29 inhabited planets, but the trivial was to be expected explanation
does not advance the latter project. The difference between the two non-
obviously co-referential names n and 29 is epistemically relevant but causally
irrelevant.
13 One may question the assumption that merely possible states of a physical
system are abstract objects (Malament 1982, p. 533; Lyon and Colyvan 2008, p.
233). On the approach of Williamson 2013a, p. 7, their non-concreteness does
not make them abstract. But that point is irrelevant to the present argument.
15 Of course, this is not the only way of interpreting modal operators over a
dynamical system. If a topology is defined over the states, one can interpret as
the topological interior operator, which is a much more local form of necessity
(though it does not involve an accessibility relation between worlds). It yields an
S4 modal logic, whereas the present global interpretation of yields an S5
modal logic. The two interpretations are not rivals; they simply pick out different
aspects of the system for study. The global interpretation is more general,
because it does not depend on what kind of mathematical structure is defined
over the states. For more on topological interpretations of modal logics on
dynamical systems see Artemov, Davoren, and Nerode 1997 and Davoren and
Gor 2002.
16 They are unrestricted in the sense of ranging over all states of the system; as
already noted, they are typically not equivalent to metaphysical necessity and
metaphysical possibility.
17 This diamonds are forever principle is reminiscent of, but not equivalent to, the
principle defended by Dorr and Goodman 201X; the latter concerns metaphysical
possibility and a more standard reading of the tense operators.
18 For an introduction to tense logic that explains the relevant background see, for
instance, Mller 2011.
39
20 See Williamson 2013a for a discussion in more depth. I am assuming that the rest
of the model theory is more or less standard.
24 See Cussens 201X for a recent discussion of Leibnizs failure to contribute to the
mathematics of probability.
26 The material in this paper has evolved over several years. Various parts of it were
presented as the Ruth Manor Lecture at Tel Aviv University, the Saul Kripke
Lecture at City University New York, and the Wade Lecture at St Louis University.
Earlier versions of the material were presented as talks at conferences on the
epistemology of modality at Belgrade University, Aarhus University (where Daniel
Dohrn provided a detailed response), and Stirling University, a conference on
logic and metaphysics at the University of Southern California, a workshop on
modal metaphysics in Montreal, and the Universities of Athens, Connecticut
(Storrs), Michigan (Ann Arbor), and Oxford. Embryonic predecessors were
presented to workshops at the Centre for the Study of Mind in Nature in Oslo
and the Institute of Philosophy in London. I am grateful to all the participants at
those events who helped me develop the material with their questions and
comments, and for discussion or correspondence on the issues to Kit Fine, Peter
Fritz, Peter Godfrey-Smith, Jeremy Goodman, Lloyd Humberstone, Matthias
Jenny, ystein Linnebo, Maurico Surez, and Trevor Teitel. I believe that Saul
Kripke envisaged an analogy with states in phase space early in his thinking about
possible worlds.
41
Bibliography
Artemov, Sergei, Davore, Jennifer, and Nerode, Anil 1997: Modal logics and topological
semantics for hybrid systems. Technical report MSI 97-05, Cornell University.
Bird, Alexander 2007: Natures Metaphysics: Laws and Properties. Oxford: Clarendon Press.
Chisholm, Roderick 1973: Parts as essential to their wholes, Review of Metaphysics, 26, pp.
581-603.
Cussens, James 201X: Probability and statistics, in M.R. Antognazza (ed.), The Oxford
Handbook of Leibniz. Oxford: Oxford University Press.
Davidson, Donald 1970: Mental events, in L. Foster and J.W. Swanson (eds.), Experience
and Theory. London: Duckworth.
Davoren, Jen, and Gor, Rajeev 2002: Bimodal logics for reasoning about continuous
dynamics, in F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev (eds.), Advances in
Modal Logic, vol. 3. London: World Scientific, pp. 91-111.
Dorr, Cian, and Goodman, Jeremy 201X: Diamonds are forever, Nos, forthcoming.
Field, Hartry 1980: Science without Numbers: A Defence of Nominalism. Oxford: Blackwell.
Fine, Kit 1978: Model theory for modal logic: Part I the de re/de dicto distinction, Journal
of Philosophical Logic, 7, pp. 125-156.
Fine, Kit 1994: Essence and modality, Philosophical Perspectives, 8, pp. 1-16.
Fine, Kit 2006; Relatively unrestricted quantification, in A. Rayo and G. Uzquiano (eds.),
Absolute Generality. Oxford: Clarendon Press.
Fritz, Peter 2013: Modal ontology and generalized quantifiers, Journal of Philosophical
Logic, 42, pp. 643-678.
Gibson, James 1979: The Ecological Approach to Visual Perception. Boston: Houghton
Mifflin.
Gunawardena, Jeremy 2009: Models in systems biology: the parameter problem and the
meanings of robustness, in H. Lodhi and S. Muggleton (eds.), Elements of Computational
Systems Biology. Hoboken: Wiley.
Kim, Jaegwon 1993: Supervenience and Mind: Selected Philosophical Essays. Cambridge:
Cambridge University Press.
Kment, Boris 2012: Haecceitism, chance, and counterfactuals, Philosophical Review, 121,
pp. 573-609.
Kment, Boris 2014: Modality and Explanatory Reasoning, Oxford: Oxford University Press.
Kratzer, Angelika 1977: What must and can must and can mean, Linguistics and
Philosophy, 1, pp. 337-355.
Kratzer, Angelika 2012: Modals and Conditionals. Oxford: Oxford University Press.
Lewis, David 1968: Counterpart theory and quantified modal logic, Journal of Philosophy,
65, pp. 113-126.
Linnebo, ystein 2013: The potential hierarchy of sets, Review of Symbolic Logic, 6, pp.
205-228.
Loewer, Barry 2001: Determinism and chance, Studies in History and Philosophy of Modern
Physics, 32, pp. 609-620.
Lyon, Aidan, and Colyvan, Mark 2008: The explanatory power of phase spaces, Philosophia
Mathematica, 16, pp. 227-243.
Mackie, Penelope 2006: How Things Might Have Been: Individuals, Kinds, and Essential
Properties. Oxford: Clarendon Press.
Maudlin, Tim 2007: What could be objective about probabilities?, Studies in History and
Philosophy of Modern Physics, 38, pp. 275-291.
Mller, Thomas 2011: Tense or temporal logic, in L. Horsten and R. Pettigrew (eds.), The
Continuum Companion to Philosophical Logic. London: Continuum.
Nolte, David 2010: The tangled tale of phase space, Physics Today, 63 (4), pp. 33-38.
Parsons, Charles 1983: Mathematics in Philosophy: Selected Essays. Ithaca, NY: Cornell
University Press.
Prior, Arthur 1956: Modality and quantification in S5, Journal of Symbolic Logic, 21, pp. 60-
62.
Prior, Arthur 1967: Past, Present and Future. Oxford: Clarendon Press.
Putnam, Hilary 1967: Mathematics without foundations, Journal of Philosophy, 64, pp. 5-
22.
Quine, Willard van Orman 1953: Reference and modality, in From a Logical Point of View.
Cambridge, Mass.: Harvard University Press.
Quine, Willard van Orman 1966: Three grades of modal involvement, in The Ways of
Paradox and Other Essays, pp. 156-174. New York: Random House.
Salmon, Nathan 1989: The logic of what might have been, Philosophical Review, 98, pp. 3-
34.
Salmon, Nathan 1993: This side of paradox, Philosophical Topics, 21, pp. 187-197.
Sider, Ted 2011: Writing the Book of the World. Oxford: Clarendon Press.
Strogatz, Steven 2001: Nonlinear Dynamics and Chaos: With Applications to Physics, Biology,
Chemistry, and Engineering. Boulder: Westview Press.
Studd, James 2013: The iterative conception of set: a (bi-)modal axiomatization, Journal of
Philosophical Logic, 42, pp. 697-725.
Williamson, Timothy 2007b: How probable is an infinite sequence of heads?, Analysis, 67,
pp. 173-180.
Williamson, Timothy 2013a: Modal Logic as Metaphysics. Oxford: Oxford University Press.
Williamson, Timothy 2013b: Identity and Discrimination, 2nd ed. Oxford: Blackwell.
Woodward, James 2003: Making Things Happen: A Theory of Causal Explanation. New York:
Oxford University Press.