In The Metaphysics within Physics, Tim Maudlin raises a
puzzling objection to Humean accounts of laws. (Possibly the same
objection is raised by John Halpin in several earlier papers such as
"Scientific law: A perspectival account".)
Scientists often consider very different models of putative
laws. Such models can be understood as miniature worlds or scenarios
in which the relevant laws obtain. On Humean accounts, the laws at a
world are determined by the occurrent events at that world. The
problem is that rival systems of laws often have models with the very
same occurrent events. Whether this is a problem depends on what we
mean by "the relevant laws obtain". Maudlin:
For every way things might have been there is a possible world where
they are that way. What does that tell us about the number of worlds?
If we identify ways things might have been ("propositions") with
sentences of a particular language, or with semantic values of such
sentences, the answer will depend on the language and will generally
be small (countable). But that's not what I have in mind. It might
have been that a dart is thrown at a spatially continuous dartboard,
and each point on the board is a location where the dart's centre
might have landed. These are continuum many possibilities, although
they cannot be expressed, one by one, in English.
Many of our best scientific theories make only probabilistic
predications. How can such theories be confirmed or disconfirmed by
empirical tests?
The answer depends on how we interpret the
probabilistic predictions. If a theory T says 'P(A)=x', and we
interpret this as meaning that Heidi Klum is disposed to bet on A at
odds x : 1-x, then the best way to test T is by offering bets to Heidi
Klum.
Nobody thinks this is the right interpretation of probabilistic
statements in physical theories. Some hold that these statements are
rather statements about a fundamental physical quantity called
chance. Unlike other quantities such as volume, mass or charge,
chance pertains not to physical systems, but to pairs of a time and a
proposition (or perhaps to pairs of two propositions, or to triples of
a physical system and two propositions). The chance quantity is
independent of other quantities. So if T says that in a certain type
of experiment there's a 90 percent probability of finding a particle
in such-and-such region, then T entails nothing at all about particle
positions. Instead it says that whenever the experiment is carried
out, then some entirely different quantity has value 0.9 for a certain
proposition. In general, on this interpretation our best theories say
nothing about the dynamics of physical systems. They only make
speculative claims about a hidden magnitude independent of the
observable physical world.
In a nice little paper, "The Non-Transitivity of the
Contingent and Occasional Identity Relations", Ralf Bader argues
that if identity is relative to times or worlds, then it becomes
non-transitive and thus no longer qualifies as real identity.
Following Gallois, Bader assumes that a proponent of occasional
identity must insist that identity statements are always relativised
to a time. Now he considers a case where between times t1 and t2, two
objects B and D simultaneously undergo fission in such a way that one
fission product of B fuses with one fission product of D. Of the three
resulting objects A, C and E, one (C) is a fission product of both B
and D. Bader argues that at the initial time t1, it is then true that
A=C and C=E, but not that A=E. So identity at t1 is not
transitive.
In the (Northern) summer, I wrote a short survey article on
contingent identity. The word limit did not allow me to go into many
details. In particular, I ended up with only a brief paragraph on
Andre Gallois's theory of occasional identity, although I would have
liked to say a lot more. So here are some further thoughts and comments
on Gallois's account.
In his 1998 monograph Occasions
of Identity, Gallois defends the view that things can be identical at some
times and worlds and non-identical at others. For simplicity, I'll
focus only on the temporal dimension here. Gallois begins
with a long list of scenarios where it is intuitive to say that things
are identical at one time but not at others. For example, when an
amoeba A fissions into two amoebae B and C, it is tempting to say that
B and C were identical prior to the fission and non-identical
afterwards.
To what extent are the beliefs and desires of rational agents
determined by their actual and counterfactual choices? More precisely,
suppose we are given a preference order that obtains between a
possible act A and a possible act B iff the relevant agent is disposed
to choose A over B. Say that a pair (C,V) of a credence function C and
a utility (desirability) function V fits the preference order
iff, whenever A is preferred over B, then A has higher expected
utility than B by the lights of (C,V). Now, to what extent does a
rational preference order constrain fitting credence-utility
pairs?
I like a broadly Kratzerian account of conditionals. On this account, the function of if-clauses is to restrict the space of possibilities on which the rest
of the sentence is evaluated. For example, in a sentence of the form
'the probability that if A then B is x', the if-clause restricts the
space of possibilities to those where A is true; the probability of B
relative to this restricted space is x iff the unrestricted
conditional probability of B given A is x. This account therefore
valides something that sounds exactly like
"Stalnaker's Thesis" for indicative conditionals:
It is natural to think of a possible world as something like an extremely specific story or theory. Unlike an ordinary story or theory, a possible world leaves no question open. If we identify a theory with a set of propositions, a possible world could be defined as a theory T which is
- maximally specific: T contains either P or ~P, for every proposition P;
- consistent: T does not contain P and ~P, for any proposition P;
- closed under conjunction and logical consequence: if T contains both P and Q, then it contains their conjunction P & Q, and if T contains P, and P entails Q, then T contains Q.
It is often useful to go in the other direction and identify propositions with sets of possible worlds. We can then analyse entailment as the subset relation, negation as complement and conjunction as intersection. Of course, we may not want to say that a world is a (non-empty) set of (consistent) propositions and also that a consistent proposition is a non-empty set of worlds, since these sets should eventually bottom out. But that doesn't seem very problematic, and it is easily fixed as long as there is a simple 1-1 correspondence between worlds and logically closed, consistent and maximally specific theories. In particular, one might suspect that on the present definitions, every logically closed, consistent and maximally specific theory uniquely corresponds to a possible world, namely the sole member of the intersection of the theory's members.
Imagine you're a hedonist who doesn't care about other people, nor
about your past or your distant future. All you care about is how much
money you can spend today. Fortunately, you're on a pension that pays
either $100 or $1000 every day, plus an optional bonus. How much you
get is determined as follows. Every morning, a psychologist shows up
to study your brain. Then he puts two boxes in front of you, one
opaque, the other transparent. You can choose to take either both boxes or
only the opaque one. The transparent box contains a $10 bill. The
opaque box contains nothing if the psychologist has predicted that you
will take both boxes; if he has predicted that you will take one box,
it contains $100. The psychologist's predictions are about 99%
accurate. The content of your boxes is your bonus payment. In addition, you get your
ordinary payment, which is either $100 or $1000 depending on how many
boxes you took the previous day: if you took both, you now get $1000,
otherwise $100. The ordinary payment is given to you before the psychologist
studies your brain, so by the time you choose between the two boxes, you already
know how much you received. What do you do?