Академический Документы
Профессиональный Документы
Культура Документы
University of Illinois Press and North American Philosophical Publications are collaborating with JSTOR to
digitize, preserve and extend access to History of Philosophy Quarterly.
http://www.jstor.org
of Philosophy
History
Volume
Quarterly
2, April 1995
12, Number
DESCARTES AND
THE DREAM ARGUMENT
Douglas
Descartes
an
WHEN
1.
external
The
Some
beliefs
his
I base
similar
the
to my
present
there is
structure:2
beliefs
my present
in some unveridical
from experiences
relevantly
has
argument
on which
experiences
indistinguishable
/. 2.
cites dreams
world,1
Odegard
beliefs
about
the world
are
dreams.
about
the world
are
false.
. . 3.
My
present
beliefs
about
the world
may
be false.
in this way, the argument faces two problems. First, the step
Understood
uses
to
2
3
from
the rule ofDirect Inference, since itmoves from the premise
that my present beliefs about the world belong to a class containing some
false members to the conclusion that my beliefs may be among the false
It therefore needs the additional premise that I have no other
relevant evidence. But I do have other relevant evidence in this case; for I
have the evidence ofmy senses. For instance, my seeing and feeling a hand
is evidence that a hand exists. Although we cannot assume against the
members.
may be Greek.
answer to
Secondly, the argument's initial premise is false ifDesc?rtese
VI is sound. Having proven to his satisfaction
the sceptic inMeditation
that a provident God exists, he argues that such a being cannot allow me
to hold a false belief about the world
dreams.
in
156
HISTORY OF PHILOSOPHY
a way
that avoids
structed
argument,
these particular
my
present
QUARTERLY
difficulties.3 According
experiences
are
source
to the recon
of knowledge
of
an external world only if I can know that they are not occurring in a dream
and, since I cannot know that I am not dreaming, my present experiences
are
a source
not
1.
Kp
2.
of knowledge.
In
symbols,
=> K~D
~K~D
/. 3.
~Kp
where
an
Kp
(ii)
K~p
3 K~p
Premise
3 K~D
Premise
.\
1.
Premise
(KPK(KPd~D))dK~D
3
(Kp 3 K~D)
(ii) K(Kp
~D)
(iii) K(Kp
~D) Premise
(i) Export
.\
some
circumstances
know
that
I am
not
dreaming.
In
symbols,
=> ~D)
Premise
z) K~D
(i), Closure
z> KKp
(iii) Kp
.-.
Premise
(1)
Even
(iii),
KPdK~D
and Wright,
combining Kpz>K~D
First,
problems.
157
as G.E.
Moore
with Kp
combining Kpz)K~D
(ii), H.S.
forKpz>K~D
of the type offered by Stroud
to get -Kp still faces two
with ~K~D
out,6 we
points
to get K~D.
That
can
reverse
the
process
by
argument,
1.
Kp 3 K~D
Premise
2.
,-. 3.
K~D
Kp Premise
1,2, M.P
The only way to block the inversion is to argue that the common premise,
Kp 3 K~D, establishes that I know something about external objects only
if I can independently know that I am not dreaming. But the defences of
offered by Stroud and Wright provide scant resources for
Kp z> K~D
establishing
this independence.
arguments
are
too
unreliable
to be
source
of knowledge.
If so, we
can
the conclusion of the dream argument. In short, the dream argument works
only if I do not know its conclusion. And, since the dream argument can be
ofmy beliefs as well as against my
directed against the reasonableness
knowledge
is
the absurd result that the dream argument's conclusion
generates
reasonable only if it is not reasonable. There ismerit in this response, since
it shows how profound dream scepticism can be. But there is also a hidden
HISTORY OF PHILOSOPHY
158
It utilizes
defence.
QUARTERLY
Consider
Stroud's
condition
closure
second-order
misleading
unless
some
of my
beliefs
about
external
objects
are
reasonable.
So, I do not know that there are external objects on the basis ofmy present
experiences unless they give me reasons to believe that external objects
exist. And the sceptic can argue that my present experiences do not give
I currently
example,
feel
a chair.
This
experience
is a reason
for me
to believe that the chair is external tome only ifthere is independent reason
forme to believe that I am not feeling the chair in a dream. If there is no
such
reason,
my
experience
gives
me
no more
reason
to believe
that
the
that I entered
159
this room an hour ago is a reason forme to believe that I really did enter
it an hour ago only if there is independent reason forme to believe that I
am not having the memory in a dream. If there is no such independent
reason, my memory gives me no more reason to believe that I really entered
the room an hour ago than itgives me to believe that I am just remembering
This defence of the first premise preserves the dream argument's consis
that dreams are too
tency. There is no need to rely on the assumption
an
a
source of knowledge,
unreliable to be
assumption that can be turned
against the argument in the event that it itself takes place in a dream. The
defence simply needs the condition that my current experiences and memo
ries are a source of knowledge of an external world only if there is inde
pendent reason forme to believe that they are not part of a dream. Since
the argument is entirely a priori and does not itself rely on experience or
memory,
no
to establish
second-order
argument
with
the
same
structure
can
be
used
its conclusion.
to Moore's
of the argument is not vulnerable
z>
on
the basis of
K~D, my knowing
attempted inversion. According to Kp
my experience that an object is external to me requires me to be able to
know independently that my experience is not part of a dream. So I cannot
claim to know that I am not dreaming on the basis of a claim to know
Moreover,
this version
argument
is incoherent.
160
is to "I exist'.8
K~D
knowledge
dreaming
that I am not
Stroud is right, given that I have to use a test in order to know that I am
not dreaming. A test exists only if there is a quality, Q, such that I know
that all and only waking experiences have Q. But I cannot know this
empirically, since then my knowledge that I am not dreaming would depend
on my having empirical knowledge of external objects. And I cannot know
is no Q such that the connection between my
and
their not being in a dream is necessary. So there
experiences" being Q
is no qualitative difference.10
it a priori,
since
there
But the assumption that I have to use a test in order to know that I am
not dreaming does not survive close inspection. I can deduce that I am not
is right
dreaming from the premise that I am awake. Although Descartes
over
and above its being waking
that nothing about my waking experience
experience enables me to distinguish it from a dream experience, the fact
that it iswaking experience itself entails that it is not a dream experience.
So I can know deductively that I am not dreaming, provided I can know
that I am awake. And I can know that I am awake without having to apply
a
test.11
tion. Itwould have existed forme even if I had been preoccupied with other
matters and had not been paying any attention to myself. So a sceptic
cannot argue that I have reason to believe that I am awake only if I have
any
introspective
experiences.
In this respect, "I am awake" is like "I exist." In each case, there is reason
forme to hold the belief independently of any other considerations. Indeed,
this is a comparison one would expect a Cartesian towelcome and exploit.
161
a dream sceptic.
Yet the fact that there is reason forme to believe that I am awake is not
by itself enough to establish that I know that I am awake. Sometimes when
I wake up in unexpected surroundings I have serious doubts about whether
I am awake, serious enough to keep me from knowing that I am awake. I
confidence. And ifhis theism does not work, the basis must be empirical.
For instance, I know that I am now awake only ifI have an empirical reason
to believe that tomorrow I probably shall not find myself waking up from
a dream that contains my present experiences. That is why I sometimes
in my
have to pinch myself: to establish features that are associated
a
with
the
absence
of
reversal.
experience
subsequent
Since my reason for confidence is empirical, Imust have an independent
reason to believe that I am not having the necessary experience in a dream.
Consequently, I know that I am awake only if I have an independent reason
to believe that I am not dreaming. So it seems that my knowledge that I
am not dreaming cannot be based on my knowledge that I am awake, since
the latter knowledge seems to depend on the former. And then it seems
that I cannot know that I am not dreaming.
162
prior tomy having reason to believe it, not by what I need to have reason
to believe prior to my having a reason to be confident about the belief's
epistemic prospects. So what I need to know prior tomy knowing that am
awake is determined by what I need to have reason to believe prior tomy
having reason to believe that I am awake, not by what I need to have reason
to believe prior tomy having a reason to be epistemically confident. Since
my reason to believe that I am awake is immediate, my knowing that I am
awake does not have any prerequisites and my knowledge that I am not
dreaming can be based on it.
If this argument is correct, I know that I am not dreaming because I
know that I am awake. But can we go further than this? Can we say that
I know these truths with certainty?
We cannot say that I know them with absolute certainty. I know a truth
with absolute certainty only if I h^ve no reason to think that itmay not be
true and only if I have no reason to think that my epistemic judgment of
the belief may turn out to be mistaken. Since I have to rely on experience
formy epistemic confidence, and since my experience of similar cases only
establishes a high degree of probability that any belief I take to be true
will survive inquiry, I always have some reason to think that my epistemic
judgment may turn out to be incorrect. This holds formy belief that I am
awake no less than it does formy other beliefs.
But this does not mean that there is a ground forme to think that Imay
not be awake. Although there is a ground forme to have some doubt about
"The belief that I am awake will survive inquiry," there is no ground for
me to have any doubt about "I am awake." Accordingly
I know with
am
I
where
the
of
is
that
awake,
degree
certainty
certainty
proportionate
to the degree of probability that my belief that I am awake will survive
inquiry. So I know with certainty that I am not dreaming.
Descartes
probably would not like this answer to the sceptic, since he
seeks a ground for claiming absolute certainty. But he might find it useful
in one respect. In his synopsis o?Meditation VI he says that our knowledge
of our own mind and ofGod is always superior to our knowledge of external
objects. If he is serious about this and not just trying to appease religious
authorities, he needs to make sense of the notion of degrees of certainty.
He can do this by adopting the above conception of certainty, a conception
University ofGuelph
Received May
1, 1994
163
NOTES
seem to me
"At this moment
it does
indeed
that it is with eyes
... what
so
in sleep does not appear
looking at this paper
happens
as does all this. But...
on many
clear nor so distinct
occasions
in sleep been
I have
... I see so
deceived
and
that there are no certain
illusions,
by similar
manifestly
we
indications
which
wakefulness
from sleep that I am
may
by
clearly distinguish
1. Meditation
awake
I:
I am
that
in astonishment."
lost
2. See
for an
1978
treatment
extended
of this argument.
would
(1959):
say: 'You ... do not know that
"Many philosophers
certain
that you are ...." And one argument
up; it is not absolutely
in the course
of saying
of which
the philosopher
this, is an argument
Curley
3. G. E. Moore
you are standing
... in favour
it would
assert:
for certain
'You do not know
that you are not dreaming;
certain
that you are not ...." And
from this, that I do not know
absolutely
for certain
it is supposed
to follow that I do not know
that I am not dreaming,
for
certain
that I am standing
up" (p. 245).
4. Stroud,
1984, Ch. 1.
who
used
it is not
5.Wright, 1991.
6. Moore,
p. 247.
1959,
7. Thomas
Tymoczko
offer an alternative.
also
and
endorse
this response.
(1992)
Vogel
that either the inconsistency
has
argue
used to construct
the dream
principles
argument,
in the general
epistemic
the argument
is not
case
Jonathan
They
to be
faulted
or the
if the principles
can be removed
inconsistency
by using
of logical
and semantic
Their
paradoxes.
contradiction
is eliminable
without
they derive
techniques
tion
He
his
deduces
epistemic
by using
inconsistency
(where "W" means
principles
Wx
Iterativity:
tency
be
the conclusion
employed
is unconvincing,
"I am,
dream
argument.
His
is
3. Wc
Wc First-order
z) ~WWc
dream
proof
of inconsis
argument
argument
Consistency
1, 3, MP.
6. -WWc
2, 4, MP.
7. WWc~WWc
5, 6, Conj.
we
to Tymoczko-Vogel
According
in believing
that I am warranted
I do not have
and
the biconditional
and
using
a warrant
can
deduce
for believing
a similar
G.
te~WG
Wright's
rules
plus
Closure:
W(x
Consistency:
is
Wx
the epistemic
principles
3 y) z> (Wx z>Wy)
z> ~W~x
proof
1. W(te~WG)
2. WG
the
Iterativity
5. WWc
G:
dream
W~Wc Second-order
z>
WWc
4. W~Wc
since
inconsistency.
Wright's
rules and the following
or I can be, warranted
in believing
x")
z> ~Wx
1.
Their
acceptable,
in the elimina
eliminating
standard
inference
of the first-order
2.
in which
otherwise
z>WWx
W~x
Consistency:
Let V
strategy
are
But they
its source
Assumption
3 W~WG
1, Closure
3.
WGAssumption
contradiction
by assuming
164
2, 3, M.P.
5. WWG3, Iterativity
6.
~WWG
7. WWG
4, Consistency
~WWG
5, 6, Conj.
for avoiding
their contradiction
any strategy
"may well
resources
for avoiding
contradiction.
But
Wright's
sceptic
I am warranted
is unconvincing.
Consider
the assumption
that
They conjecture
out" to give the
that
conjecture
G. Any such warrant
believing
a warrant
I do not have
must
have
for believing
turn
their
in
the form:
G.
.-.G
no
I am warranted
in believing
G only if there is
case my reason
to believe
G must
be that
is impossible.
for me to believe
So the source of the
there is no warrant
G, which
is in the assumption,
used
and not in the epistemic
contradiction
WG,
principles
But
reason
such
warrant
for me
to believe
1959
8. Malcolm
he
awake?"
in this
we might
conjecture,
to the dream
argument
Similarly,
by Wright.
in something
proper
it employs.
principles
But
is possible.
G. But
tries
the
source
itself and
to exploit an analogy
he concludes
that
between
is
ofWright's
contradiction
not in the general
epistemic
"I am
the question
awake"
"Do
and
I know
"I exist."
that
I am
But
dreaming.
11. Compare
not without
he
later
Kenny,
justification"
abandoned
1968:
this view.
"When
I say
See
to Moore,
1959.
I do so without
grounds,
the Preface
'I am awake'
but
(p. 30).
BIBLIOGRAPHY
Austin, J. L. 1962. Sense and Sensibilia. Oxford. Oxford University Press.
Curley, E. M. 1978. Descartes Against the Skeptics. Cambridge, MA. Har
vard University Press.
Kenny,
Anthony.
1968.
Descartes.
New
York.
Random
House.
100:87-115.