"Probabilistic Semantics for Epistemic Modals" Moritz Schulz, New College oxford
The Thesis
It is prima facie plausible that “might” and “must” express a certain kind of
epistemic modality. We shall assume that “might” expresses some kind of epistemic possibility and that “must” can be used to express a corresponding kind
of epistemic necessity. Evidence for the view that “might” and “must” provide
an interdefinable pair of modals can be gained from examples like the following:
(1) They might be away.
(2) No, they must be at home.
It seems to be intuitively plausible that (2) is the negation of (1). In what
follows, we shall thus assume that “might” and “must” are interdefinable (in
their epistemic usages). In our informal discussion, we shall be mainly concerned
with “might” because it seems to be less ambiguous than “must”. Besides, we
shall only deal with indicative or present tense usages of “might”.
A good starting point for our investigation into the semantics of “might” is
the following observation:
(Basic Observation)
We are prepared to assert “It might be that X” iff our credence in X
is positive, i.e. iff C(X) > 0.
If one is not sure that they are away, one is in a position to say “They might
be at home”. And if one is sure that they are away, one should reject that they
might be at home. Moreover, the basic observation seems to provide a good
explanation why it would be an odd thing to say
(3) They might be at home, but I am certain that they are away.
Now, assuming that the basic observation gets the assertability conditions of
“might”-statements about right, we can go on and ask what our credence in a
“might”-statement should be. Since assertability goes by high credence, it follows
from the basic observation that our credence in a “might”-statement should be
high iff our credence in the embedded statement is non-zero. Actually, I would
like to argue for a more definite thesis:
(MIGHT)
Our credence in “It might be that X” should be 1 iff our credence
in X is positive and it should be 0 iff our credence in X is 0. Thus
C(Might X) = 1 iff C(X) > 0 and C(Might X) = 0 iff C(X) = 0 for
C being any reasonable credence function.
My main reason for proposing MIGHT stems from the observation that beliefs
in “might”-statements do not come in degrees. Rather, it seems to be an all or-
nothing matter. For instance, we usually do not qualify a “might”-statement
with a phrase such as “probably” which can be used to compare the likelihood
of statements. It is rather odd to say
(?) Probably they might be at home.
Also, we do not say that one “might”-statement is more likely than another:
(?) It is more likely that they might be at home than it is that they might be
away.
All this is evidence for allowing a “might”-statement to receive only two values.
In addition, it is hard to see what kind of further evidence (over and above nonzero
credence) would be needed in order to be certain about a “might”-statement.
It seems to be enough to give the embedded statement some (subjective) chance
of being true. So, it seems that one can make a good case for MIGHT.
Given our assumption about the interdefinability of “might” and “must”, our
thesis has a natural counterpart.
(MUST)
Our credence in “It must be that X” should be 1 iff our credence
in X is 1 and it should be zero otherwise. Thus C(Must X) = 1 iff
C(X) = 1 and C (Must X) = 0 iff C(X) < 1 for C being any reasonable
credence function.
It is prima facie plausible that “might” and “must” express a certain kind of
epistemic modality. We shall assume that “might” expresses some kind of epistemic possibility and that “must” can be used to express a corresponding kind
of epistemic necessity. Evidence for the view that “might” and “must” provide
an interdefinable pair of modals can be gained from examples like the following:
(1) They might be away.
(2) No, they must be at home.
It seems to be intuitively plausible that (2) is the negation of (1). In what
follows, we shall thus assume that “might” and “must” are interdefinable (in
their epistemic usages). In our informal discussion, we shall be mainly concerned
with “might” because it seems to be less ambiguous than “must”. Besides, we
shall only deal with indicative or present tense usages of “might”.
A good starting point for our investigation into the semantics of “might” is
the following observation:
(Basic Observation)
We are prepared to assert “It might be that X” iff our credence in X
is positive, i.e. iff C(X) > 0.
If one is not sure that they are away, one is in a position to say “They might
be at home”. And if one is sure that they are away, one should reject that they
might be at home. Moreover, the basic observation seems to provide a good
explanation why it would be an odd thing to say
(3) They might be at home, but I am certain that they are away.
Now, assuming that the basic observation gets the assertability conditions of
“might”-statements about right, we can go on and ask what our credence in a
“might”-statement should be. Since assertability goes by high credence, it follows
from the basic observation that our credence in a “might”-statement should be
high iff our credence in the embedded statement is non-zero. Actually, I would
like to argue for a more definite thesis:
(MIGHT)
Our credence in “It might be that X” should be 1 iff our credence
in X is positive and it should be 0 iff our credence in X is 0. Thus
C(Might X) = 1 iff C(X) > 0 and C(Might X) = 0 iff C(X) = 0 for
C being any reasonable credence function.
My main reason for proposing MIGHT stems from the observation that beliefs
in “might”-statements do not come in degrees. Rather, it seems to be an all or-
nothing matter. For instance, we usually do not qualify a “might”-statement
with a phrase such as “probably” which can be used to compare the likelihood
of statements. It is rather odd to say
(?) Probably they might be at home.
Also, we do not say that one “might”-statement is more likely than another:
(?) It is more likely that they might be at home than it is that they might be
away.
All this is evidence for allowing a “might”-statement to receive only two values.
In addition, it is hard to see what kind of further evidence (over and above nonzero
credence) would be needed in order to be certain about a “might”-statement.
It seems to be enough to give the embedded statement some (subjective) chance
of being true. So, it seems that one can make a good case for MIGHT.
Given our assumption about the interdefinability of “might” and “must”, our
thesis has a natural counterpart.
(MUST)
Our credence in “It must be that X” should be 1 iff our credence
in X is 1 and it should be zero otherwise. Thus C(Must X) = 1 iff
C(X) = 1 and C (Must X) = 0 iff C(X) < 1 for C being any reasonable
credence function.
Labels: Credence, Epistemic Modals, epistemology, Maurice Shulz, Might, Must Probability, Philosophy