Utting Skeptics in Their Place
Utting Skeptics in Their Place
Utting Skeptics in Their Place
This book is about the nature of skeptical arguments and their role in
philosophical inquiry. John Greco defends three theses: that a number
of historically prominent skeptical arguments make no obvious mistake
and therefore cannot be easily dismissed; that the analysis of skeptical
arguments is philosophically useful and important and should therefore
have a central place in the methodology of philosophy; and that taking
skeptical arguments seriously requires us to adopt an externalist, reliabilist
epistemology.
Greco argues that the importance of skeptical arguments is methodological. Specifically, skeptical arguments act as heuristic devices for
highlighting plausible but mistaken assumptions about the nature of
knowledge, thereby requiring us to replace these assumptions with
something better. Consequently, the analysis of skeptical arguments drives
positive epistemology. It is further argued that taking skeptical arguments
seriously requires us to adopt a version of 'Virtue epistemology," or a
theory of knowledge that makes intellectual virtue central in the analysis
of knowledge. This methodology has consequences for moral and
religious epistemology; in particular, a theory of moral perception is
defended.
This book will be of interest to professionals and graduate students in
epistemology and moral philosophy.
R E C E N T TITLES:
LYNNE R U D D E R BAKER
Explaining Attitudes
MICHAEL ZIMMERMAN
SYDNEY SHOEMAKER
NORTON NELKIN
Valuing Emotions
DAVID C O C K B U R N
DAVID LEWIS
Implicature
Other Times
RAYMOND MARTIN
ANNETTE BARNES
MICHAEL B R A T M A N
AMIE T H O M A S S O N
Self-Concern
Putting Skeptics in
Their Place
THE NATURE OF SKEPTICAL
ARGUMENTS AND THEIR ROLE IN
PHILOSOPHICAL INQUIRY
John Greco
Fordham University
CAMBRIDGE
UNIVERSITY PRESS
I. Title.
II. Series.
Contents
Preface
1
page xiii
1
2
6
15
25
25
34
39
51
54
58
61
61
64
69
71
77
83
83
88
90
II.
1.
2.
3.
4.
94
95
102
103
106
108
108
118
121
126
128
130
134
135
137
138
138
Agent Reliabilism
/. Simple Reliabilism
1. Simple Reliabilism: The Big Idea
2. Why Skeptical Arguments Go Wrong
3. From Processes to Virtues
//. Agent Reliabilism and the Question of Subjective Justification
1. Knowing That One Knows
2. Understanding That One Knows
3. Sosa's Perspectivism
4. From Perspectives to Dispositions
5. The Place of Epistemic Norms
6. The Place of Epistemic Responsibility
7. Conclusions
164
165
165
167
174
180
181
184
187
190
192
200
202
141
145
146
147
149
155
159
Bibliography
Index
204
205
207
211
217
220
221
222
226
231
232
235
241
244
248
255
261
XI
Preface
xni
Acknowledgments
I am indebted to many people for my thinking in this book. The most
influential of these were my teachers in epistemology at Brown University: Roderick Chisholm, Ernest Sosa, and James Van Cleve. My continuing debt to Sosa will be obvious to anyone who is familiar with the
territory. Indeed, the extent of this debt is sometimes embarrassing, but
I decided early on that it was better to be right than original, and so that
xiv
xv
xvi
1
The Nature of Skeptical Arguments
and Their Role in Philosophical
Inquiry
This book has three major theses: (1) that a number of historically
prominent skeptical arguments make no obvious mistake and therefore
cannot be easily dismissed; (2) that the analysis of skeptical arguments is
philosophically useful and important and should therefore have a central
place in the methodology of philosophy, particularly in the methodology
of epistemology; and (3) that taking skeptical arguments seriously requires us to adopt an externalist, reliabilist epistemology. More specifically, it motivates a position that I call "agent reliabilism," which is an
externalist version of virtue epistemology.
If these theses are correct, then many philosophers have misunderstood the nature of skeptical arguments and their role in philosophical
inquiry. For example, many philosophers think that skepticism poses no
philosophically interesting problem. According to this view, skeptical
arguments rest on some obvious mistake, such as a quest for absolute
certainty or a demand for immutable foundations, and can therefore
easily be dismissed. Others think that skepticism rests on a substantive
philosophical mistake, but that skeptical arguments teach no epistemological lessons. For example, many philosophers think that skepticism is
rooted in a bad ontology. On this view skeptical arguments assume an
ontological dualism between knowing mind and material object of
knowledge and can therefore be rejected by rejecting the offending
dualism. Others have thought that skepticism is rooted in representationalism, and still others that it is rooted in realism. Finally, some philosophers have appreciated that skepticism is indeed an epistemological problem, but have tried to solve it by remaining within a traditional,
internalist epistemology. Against all of these positions, I argue that the
recent externalist revolution in epistemology is necessary for a quite
My first thesis is that a number of historically prominent skeptical arguments make no obvious mistake. On the contrary, such arguments begin
with assumptions about knowledge and evidence that seem eminently
plausible, outside the context of philosophical inquiry. Often they are
assumptions that we ourselves accept either explicitly or implicitly. But
by reasoning that is seemingly cogent, such arguments "prove" a conclusion that is outrageously implausible, even incredible in the literal
sense. Accordingly, skeptical arguments are powerful in the following
sense: it is not at all easy to see where they go wrong, and rejecting
them requires one to adopt substantive and controversial theses about
the nature of knowledge and evidence. This is not to say that they are
powerful in a psychological sense that they have the power to persuade. In this respect skeptical arguments are like arguments for God's
existence: it is doubtful that any has ever produced a convert.
My second thesis is methodological and is closely tied to the first.
Specifically, I argue that the analysis of skeptical arguments is philosophically useful and important. This is not because skepticism might be true
and we need to assure ourselves that we know what we think we know.
Neither is it because we need to persuade some other poor soul out of
her skepticism. Rather, skeptical arguments are useful and important
1
Some philosophers do take skeptical arguments seriously, giving them pride of place in their
own methodology. For recent discussions that endorse my first two theses, see Peter Klein,
Certainty: A Refutation of Scepticism (Minneapolis: University of Minnesota Press, 1981); Barry
Stroud, The Significance of Philosophical Scepticism (Oxford: Clarendon Press, 1984); Robert
Fogelin, Pyrrhonian Reflections on Knowledge andJustification (Oxford: Oxford University Press,
1994); and Michael Williams, Unnatural Doubts (Princeton: Princeton University Press,
1996). None of these authors endorses my third thesis, however. Williams argues that skeptical arguments mistakenly assume a thesis he calls "epistemic realism," while Klein argues
for a defeasibility theory of knowledge. Stroud and Fogelin suggest that certain skeptical
arguments cannot be answered in any satisfactory manner. In the context of the more usual
attitudes regarding the nature and usefulness of skeptical arguments, however, my disagreements with these authors come fairly late in the day. Much of what I say in the book, in
fact, overlaps with one or another of them. Finally, a good number of analytic epistemologists
- reliabilists and externalists among them - engage in the analysis of skeptical arguments
episodically as part of their methodology, and it is fairly clear that their own accounts of
knowledge and evidence are motivated by this. In what follows I try to give this common
practice an explicit articulation and systematic defense. I also recommend a more consistent
application of it.
phers claim, skeptical arguments cannot even get off the ground. A
strong version of this diagnosis implicates not only skepticism but epistemology as well. The idea is that epistemology is essentially the activity
of constructing solutions to skeptical problems. But if skeptical problems
cannot arise in a post-modern world, then epistemology is robbed of its
purpose, and therefore of its existence.
Other philosophers think that skepticism is grounded not in a bad
ontology but in a bad philosophy of mind. These philosophers make
representationalism the root of all skeptical arguments. Still other philosophers think that a bad theory of reference is the problem, and still
others think that the skeptic makes some kind of linguistic mistake.
Against all of these positions I want to argue that skeptical arguments
run on mistaken assumptions about the nature of knowledge and evidence. A close analysis of skeptical arguments drives positive epistemology, not ontology, or philosophy of mind, or philosophy of language.
My third thesis is that taking skeptical arguments seriously pushes us
in a particular direction in epistemology. Specifically, it pushes us toward
externalism and reliabilism. Even more specifically, it pushes us toward
agent reliabilism. The idea is this: reconstructed in their most plausible
form, a number of skeptical arguments show, quite correctly, that there
is no necessary relation between our beliefs and their evidential grounds.
It is now a commonplace to recognize that there is no such deductive
relation. The more interesting point, however, is that there is no necessary inductive relation either; it is not a necessary truth that the grounds
for our beliefs make them even probable. For many philosophers this
contention would be enough to entail skepticism. If there is no logical
or quasi-logical relation between our evidence and our beliefs, as some
would require for our cognition to be "within the logical space of
reasons," then a fundamental condition of knowledge goes unfulfilled.
There is in fact no such relation, however. This is one of the most
important lessons that skeptical arguments teach us. A necessary condition for avoiding skepticism, therefore, is to rethink what it is for the
grounds of our beliefs to be good evidence. Put another way, it is
necessary to rethink what it is to be within the space of reasons. As it
turns out, that space is neither logical nor quasi-logical. It is at most a
contingent fact that the grounds for our beliefs are reliable indications of
their truth, and any adequate epistemology must account for this.
The relevance of all of this to reliabilism is now easy to see. Taking
skeptical arguments seriously provides a powerful motivation for reliabilism in epistemology, insofar as reliabilism can explain why evidence
So I have three major theses: one about the structure and content of
skeptical arguments, one about their methodological role in philosophical inquiry, and one about where this methodology leads us. My strategy
for establishing these is to engage in five tasks.
One thing I will have to do is to consider and reject dismissive
responses to skepticism. I define a "dismissive response" as one that
either (a) does not engage skeptical arguments at all or (b) engages them
only superficially. Such responses are "dismissive" because they reject
the skeptical conclusion without seriously considering the reasoning that
leads to it. I include charges of self-refutation under "type-a" dismissive
responses. Type-a responses do not consider skeptical arguments at all
but rather react to the implausibility of the skeptical conclusion. But
skepticism is not self-refuting in any philosophically interesting sense.
To think that it is blinds one to the more subtle mistakes that skeptical
arguments make, and that many non-skeptical philosophers make as
well.
Under type-b dismissive responses I include the charges that skepticism assumes infallibilism or deductivism. We will see that these responses depend on uncharitable readings of the skeptical arguments and
so are rightly classified as dismissive responses; if they engage the arguments at all, they do so only superficially.
My second task is to consider and reject non-epistemological diag2 Agent reliabilism has its historical roots in Aristotle, Aquinas, and Thomas Reid, among
others. More recently, versions of the position have been defended by Ernest Sosa, Knowledge
in Perspective (Cambridge: Cambridge University Press, 1991); Alvin Goldman, Liaisons: Philosophy Meets the Cognitive and Social Sciences (Cambridge, MA: MIT Press, 1992) and Alvin
Plantinga, Warrant and Proper Function (Oxford: Oxford University Press, 1993).
if the problem of skepticism is the problem of analyzing skeptical arguments, such considerations are simply irrelevant.
Another kind of dismissive response considered in Chapter 3 charges
that the standards for knowledge assumed by skeptical arguments are too
high, requiring, for example, deduction from evidence or absolute certainty for premises. Here I argue that the arguments reconstructed from
Hume and Descartes require no such thing, and that a close analysis of
the arguments reveals this. Finally, several versions of transcendental
arguments are considered as dismissive responses to skepticism, and all
are rejected as inadequate.
In Chapter 4, I consider some non-epistemological responses to "no
good inference arguments" for skepticism about the world. These include the diagnosis that skepticism requires a dualism between knowing
mind and material object of knowledge. Alternatively, some philosophers see representationalism as the driving force behind skeptical arguments, while others claim that realism is the problem. I reject all of these
diagnoses, arguing that "no good inference" arguments can be reconstructed without dualism, representationalism, or realism. In fact, even
Berkeley's radical idealism is consistent with a charitable reconstruction
of the skeptical argument.
These various non-epistemological diagnoses of skepticism are rejected in favor of an epistemological one. Specifically, I contend that
"no good inference arguments" misunderstand the way that sensory
appearances act as evidence for beliefs about the world. What these
arguments assume, and what many non-skeptical philosophers assume
with them, is that all evidential relations are inferential relations. In
other words, they assume that sensory appearances can act as evidence
for beliefs about the world only if the latter are inferred from the
former. But since no such inference is forthcoming, the arguments
conclude that appearances cannot give rise to knowledge of the world.
My position is that skeptical arguments are correct in claiming that
there is no good inference from appearance to reality and are therefore
wrong in claiming that beliefs about the world must be inferred from
sensory appearances. The latter is the plausible but ultimately disastrous
assumption that many skeptical arguments and many non-skeptics mistakenly share.
In Chapter 5, I consider the ancient skeptical argument from an
infinite regress of reasons. This argument contends that all knowledge
requires justification by adequate evidence, and that all such justification
involves inference from good reasons. But since all good reasons require
10
11
12
how evidence works, and which thereby provides a theoretical explanation of why the assumption in question is mistaken.
In Chapter 7, I defend a virtue theory of knowledge that does just
this. Again, by a "virtue theory" I mean one that makes the cognitive
faculties and habits of persons central in the analysis of important epistemic concepts. As we saw, the theory is a version of reliabilism, in that a
stable disposition of a person counts as a virtue only if it is reliably
successful in achieving its end. In the case of the cognitive virtues, this
means that the faculty or habit makes the person reliable in forming true
beliefs of the kind relevant to the virtue in question. Agent reliabilism
explains why the skeptical assumptions rejected in earlier chapters are
false. Namely, it explains (a) why not all evidence is inferential, (b) how
sensory appearances can function as evidence without functioning as
premises in an inference, (c) how some knowledge can be foundational,
and (d) how propositional evidence that is neither logical nor quasilogical can give rise to knowledge.
We saw earlier that one of Descartes' skeptical arguments trades on
our inability to discriminate among various alternative possibilities. For
example, if one's evidence does not discriminate between being in front
of the fire and being a disembodied spirit deceived by an evil demon,
then one cannot know that one is sitting in front of the fire. A promising
strategy in response to this kind of skeptical reasoning is to distinguish
between relevant and irrelevant alternative possibilities, and to claim that
knowledge requires only that we discriminate among the relevant ones.
The problem, then, is to give a theoretical account of what makes an
alternative possibility relevant or irrelevant. In Chapter 8, I argue that
agent reliabilism can do just this.
The main idea is that virtues in general are abilities to achieve some
result, and abilities in general are functions of success in relevantly close
possible worlds. In other words, to say that someone has an ability to
achieve X is to say that she would be successful in achieving X in a
range of situations relevantly similar to those in which she typically finds
herself. But then possibilities that do not occur in typical situations are
irrelevant for determining whether a person has an ability in question.
For example, it does not count against Babe Ruth's ability to hit baseballs that he cannot hit them in the dark. Likewise, it does not count
against our perceptual abilities that we cannot discriminate real tables
and fires from demon-induced hallucinations. But then our inability to
rule out hypothetical demon scenarios is irrelevant to whether we have
13
14
belief arise from virtuous belief formation, where the notion of "virtue"
must be understood in terms of the contingent causal and motivational
features of our cognition, rather than the necessary or intrinsic features
of propositions, evidential relations, or the like.
3. THREE CRITERIA FOR AN ADEQUATE THEORY OF
KNOWLEDGE
Before closing this first chapter I want to talk about one more methodological issue. Specifically, I want to suggest three criteria for an adequate theory of knowledge, and to talk about how they are related to
the methodology for epistemology that I have been proposing.
First, an adequate theory of knowledge should do a good job of
organizing our pre-theoretical intuitions about what cases count as
knowledge. In other words, the theory should count as knowledge those
cases that intuitively seem to be knowledge, and it should count as not
knowledge those cases that intuitively seem not to be. "But whose
intuitions count as the right ones?", our suspicious friends will ask. The
answer is the intuitions of us all in our non-philosophical lives. An
adequate theory of knowledge should explain why normal people, not
people caught in the grip of a philosophical theory, count particular
cases as knowledge and other cases as not. "Normal people" includes
most non-philosophers, and most philosophers when they are not philosophizing. Among such people there is in fact very wide agreement
about which cases do and do not count as knowledge.
Moreover, universal agreement is not required for the methodology
being proposed. What is necessary is that there is a wide range of cases
that most people would find intuitively obvious. If a theory of knowledge does a good job with these, then that is a strong consideration in
its favor. However, vague and contested cases are important as well; a
good theory of knowledge should explain why certain cases are vague
and why certain ones are contested. Consider vagueness first. There will
be cases where we are not sure what to say where we have no strong
intuition about whether the case is one of knowledge or not. If our
theory can identify some aspect of the case that is vague as described and
can tell us that just this aspect is important for knowledge, then that will
count in favor of the theory. For example, we saw that agent reliabilism
requires that knowers be reliable in forming true beliefs and avoiding
error in a relevant domain of inquiry. But how reliable must one be to
15
16
I say "Fogelin-type" skepticism because Fogelin's Pyrrhonian principles do not allow him
to actually endorse any philosophical theory, including skepticism with respect to ordinary
knowledge claims. Therefore, the skeptical position I have just described is not literally
Fogelin's, although his discussion strongly suggests it as a possible alternative to non-skeptical
theories.
G. E. Moore, "Four Forms of Scepticism," in Philosophical Papers (London: Allen and Unwin, 1959), p. 222.
17
The more radical the skeptical consequences of a position are, the more
strongly this point will hold.6
The third criterion for an adequate epistemology is that it be psychologically plausible. What I mean by this is that an adequate theory of
knowledge ought to be consistent with our common sense judgments
about our own cognitive abilities, and with our best cognitive science as
well. This too is related to the first two criteria, because an account that
is not psychologically plausible will generate skeptical arguments. We
can see this if we look at the most basic structure that any skeptical
argument must have.
Although skeptical arguments come in many shapes and sizes, all of
them can be boiled down to two essential premises: one stating that
knowledge requires that some condition or set of conditions be fulfilled,
and one stating that these conditions are in fact not fulfilled. More
formally, we have the following skeptical argument structure:
(SAS)
1. K=>C.
2. Not-C.
3. Therefore, not-K.
Any theory of knowledge that is psychologically implausible will generate an argument with this structure. First, any theory of knowledge
whatsoever will entail premises corresponding to premise (1) of (SAS),
since any such theory posits conditions that must be fulfilled in order to
have knowledge. But the fact that a theory is psychologically implausible
guarantees that it will generate a premise corresponding to (2): that is, a
premise stating that conditions laid down by the theory in question are
not satisfied by beings with our psychology. Accordingly, we will have
a skeptical argument amounting to a reductio ad absurdum of the theory
in question.
This points to an elaboration of the methodology I am defending.
Specifically, we are not restricted to the use of historically prominent
skeptical arguments and their reconstructions. We can make up new
arguments to demonstrate the mistaken assumptions of alternative accounts of knowledge, or even alternative solutions to skeptical problems.
This actually happens in contemporary epistemology it has happened,
6
For an extended argument that our intuitions are not better explained by Fogelin-type
warranted assertability maneuvers, see Keith DeRose, "Contextualism: An Explanation and
Defense," in John Greco and Ernest Sosa, eds., The Blackwell Guide to Epistemology (Oxford:
Blackwell, 1999).
18
For several examples of this kind of critique of coherentism, see John Bender, ed., The
Current State of the Coherence Theory (Dordrecht: Kluwer, 1989).
19
focus on your finger, the object in the distance will present a double
image. Reid argues that we must be presented with double images
almost all of the time, since almost always some objects are out of focus
for us. And yet we do not notice this, confirming the point that we do
not typically form beliefs about sensory appearances.8 This fact constitutes a devastating objection to coherentism, or to any other epistemology on which empirical knowledge requires beliefs about appearances.
For since we do not typically have such beliefs, any such theory has the
consequence that we typically lack empirical knowledge.
Finally, we can learn about our cognitive abilities from more rigorous
empirical research. For example, some coherence theories have a "total
evidence" requirement for knowledge and justified belief, laying down
a requirement that rational belief acquisition must be sensitive to the
total evidence that the person has at the time. But empirical research
shows that people are sensitive only to a small number of their total
beliefs at any one time. Here again we see a devastating empirical
objection to an epistemological theory; if a theory requires sensitivity to
all of the beliefs we have, and if our cognition is not capable of that
kind of sensitivity, then the theory has unacceptable skeptical results. In
this case the theory results in total skepticism, since the psychologically
implausible requirement is a completely general one.9
The methodology that I am defending here is an extension of what
Roderick Chisholm calls ' 'particularism. "10Chisholm argues that we
should follow philosophers like Reid and Moore in testing philosophical
8
"Thus you may find a man that can say, with a good conscience, that he never saw things
double all his life; yet this very man, put in the situation above mentioned, with his finger
between him and the candle, and desired to attend to the appearance of the object which
he does not look at, will, upon the first trial, see the candle double, when he looks at his
finger; and his finger double, when he looks at the candle. Does he now see otherwise
than he saw before? No, surely; but he now attends to what he never attended to before.
The same double appearance of an object hath been a thousand times presented to his eye
before now, but he did not attend to it; and so it is as little an object of his reflection and
memory, as if it had never happened." Thomas Reid, Philosophical Works, ed. H. M.
Bracken, 2 vols. (Hildesheim: Georg Olms, 1983), vol. 1, p. 164b.
9 The point about total evidence requirements is made by Alvin Goldman in Epistemology
and Cognition (Cambridge, MA: Harvard University Press, 1986), pp. 204-207. There
Goldman cites John Anderson, The Architecture of Cognition (Cambridge, MA: Harvard
University Press, 1983), and Christopher Cherniak, "Rationality and the Structure of Human Memory," Synthese 57 (1985): 163-186. Goldman makes the point specifically against
coherentism in his essay "Bonjour's The Structure of Empirical Knowledge," his contribution
to Bender, The Current State of the Coherence Theory, p. 112.
10 Roderick Chisholm, "The Problem of the Criterion," in The Foundations of Knowing (Minneapolis: University of Minnesota Press, 1982).
20
21
(and has been) made in philosophy by employing it. Second, the adequacy and appropriateness of strong particularism largely depend on how
we conceive of skeptical arguments and how we conceive of the project
of engaging them.
If we think of skeptical arguments as coming from real people whom
we are to engage as opponents in a debate, then the use of our own
intuitions will be contested and the use of empirical psychology will
seem question begging. So will the use of these seem pointless if we
think that our project is to persuade someone out of her skepticism by
mounting a convincing argument. In such a case we would have to start
from premises already accepted, and a skeptic would accept neither our
non-skeptical intuitions nor the results of empirical sciences. But I will
argue in Chapter 3 that these conceptions of the epistemological project
are misconceived and misguided. There are no real skeptics, either to be
debated or to be persuaded out of their skepticism. In other words, there
is no one who actually lives out the skeptical position, or who even
believes it outside the study or the classroom. And even if there were,
debate and persuasion would be hopeless. A debate with a consistent
skeptic cannot be won, especially if we adopt the ground rules that
philosophers are wont to concede. Moreover, if we are to persuade
someone out of her skepticism, then argument and philosophy are the
last thing she needs. Here Reid had it right when he considered the
appropriate response to a friend who was found really to be a skeptic:
"[Would we] not hope for his cure from physic and good regimen,
rather than from metaphysic and logic?"11
In any case, that is not what skeptical arguments or their analysis are
about. There is no practical or "existential" problem of skepticism, since
the position is not one that any person can live. Rather, skeptical
arguments constitute theoretical problems; they start from assumptions
about knowledge and evidence that we ourselves find plausible or even
accept, and they show that such assumptions lead to consequences that
we cannot accept. As a result we see that some implicit or explicit
theory of knowledge is wrong, and we are pushed to develop new and
unexpected positions to replace the mistaken assumptions that skeptical
arguments expose. If this is the point of engaging skeptical arguments,
then it is perfectly reasonable to use our best intuitions and our best
science to construct and test alternative positions. We are trying to put
together the most plausible account of knowledge and evidence by our
11
22
own lights. If that is our project, then we should use all of the resources
that are available to us.
If this is our understanding of skeptical arguments then begging the
question does not come into it there is no one to beg the question
against. However, our considered intuitions and science do come into
it, for they are the best that we have to go on. As Chisholm puts it,
"This may seem the wrong place to start. But where else could we
start?"12 Here is another way to gloss Chisholm's point: If a theory of
knowledge does not explain our considered intuitions about knowledge,
what else could it have going for it? What kind of evidence could we
bring to bear to show that the theory is correct?
I have been arguing that we must start with our intuitions. Is that
where we must end? In other words, does strong particularism guarantee
that skepticism is false? Or worse, does it guarantee that we can never
reach any conclusion but a conservative one that is, one that confirms
our pre-theoretical intuitions? Well, yes and no. First, there is no guarantee that we will reach any conclusion at all. In other words, strong
particularism does not guarantee that we can account for our pretheoretical intuitions with an adequate theory; it merely lays down
criteria for theoretical adequacy. On the other hand, if we do reach a
theoretical conclusion by using the method, then that theory must
preserve at least a great many of our pretheoretical intuitions. But that
does not mean that an adequate theory must preserve all of our intuitions, since some of these might best be revised along the way. What is
more, they might be revised in very important ways.
This consideration can be used to address another kind of objection
to strong particularism namely, that if a theory merely preserves our
intuitions about knowledge and evidence, then it cannot be used to
criticize them. I would reply by insisting that just the opposite is the
case: that a theory can be used to criticize our intuitions only if it does
preserve a great many of them. The point is that a theory can have a
critical function only if we think it is correct. And again, the only reason
we could have for thinking that a theory of knowledge is correct is that
it does a good job of explaining how we know the things that we seem
to know. Granting that a theory of knowledge should have a critical
function, it can successfully critique some of our intuitions only if it does
a good job of explaining others. In the last chapter of the book this
12 Roderick Chisholm, The Theory of Knowledge, 2nd ed. (Englewood Cliffs, NJ: Prentice
Hall, 1977), p. 16. Chisholm is commenting on the adequacy of particularism here.
23
point is illustrated with respect to our intuitions about moral and religious knowledge. Against the moral and religious skepticism of our
times, I argue that an adequate theory of empirical perception opens up
the possibility of moral and religious perception. It becomes possible to
explain how we might "see" that an action is wrong, or "feel" God's
love and presence. This might seem absurd at first, but it follows
straightforwardly from an adequate that is, non-skeptical empirical
epistemology. Strong particularism, then, does not merely preserve our
pre-theoretical intuitions.
24
In this chapter, I consider two historically prominent skeptical arguments: one from Section XII of Hume's Enquiry concerning Human Understanding, and the other from Meditation I of Descartes' Meditations on
First Philosophy. My purpose is to reconstruct the arguments so as to put
them in their most powerful form. But we should remember that by
"powerful" I do not mean psychologically convincing. I do not think
that either skeptical argument, even in its most powerful form, has the
power to convince or persuade. Rather, the arguments can be reconstructed so that they are powerful in another sense: it is not at all easy to
see where they go wrong, and rejecting them requires us to give up
something that otherwise would seem plausible or perhaps even obvious.
Such arguments are powerful heuristic devices in that they drive us to
give up plausible but mistaken assumptions about knowledge and evidence, and inspire us to put something substantive in their place.
In the next chapter we will consider how several dismissive responses
to skepticism fare against the reconstructed arguments. Remember that
dismissive responses are ones that either (a) do not engage skeptical
arguments at all or (b) engage them only superficially. Such responses
are dismissive because they reject the skeptical conclusion without paying serious attention to the reasoning that leads up to it. Accordingly,
dismissive responses miss the lessons that skeptical arguments can teach.
1. AN ARGUMENT FROM HUME
Descartes' argument from Meditation I has probably received more
attention than any other skeptical argument and surely has been the
target of the most abuse. However, I want to start with the argument
25
from Hume, which I think is in some respects the stronger of the two.
More exactly, I argue that the most powerful interpretation of Descartes'
argument makes it run on considerations brought out more straightforwardly by Hume's. In this sense the most powerful form of the argument
from Descartes reduces to the argument from Hume.
Consider the following passage from Section XII of Hume's Enquiry,
where he is considering our evidence for the existence of "external
objects" and "an external universe."1
By what argument can it be proved, that the perceptions of the mind must
be caused by external objects, entirely different from them, though resembling
them (if that be possible) and could not arise either from the energy of the mind
itself, or from the suggestion of some invisible and unknown spirit, or from
some other cause still more unknown to us? It is acknowledged, that, in fact,
many of these perceptions arise not from anything external, as in dreams,
madness, and other diseases. . . .
It is a question of fact, whether the perceptions of the sense be produced by
external objects, resembling them: how shall this question be determined? By
experience surely; as all other questions of a like nature. But here experience is,
and must be entirely silent. The mind has never anything present to it but the
perceptions, and cannot possibly reach any experience of their connexion with
objects. The supposition of such a connexion is, therefore, without any foundation in reasoning. (Enquiry, pp. 152153)
In the first paragraph it looks like we are getting the familiar "alternative
possibilities" reasoning: How can we know through perceptions that
external objects exist if those same perceptions could be caused by a
dream, or a spirit, or something else still more unknown? The last
sentence of the first paragraph suggests the old "sometimes we make
mistakes" argument: Sometimes people are deceived by dreams or madness or other diseases, and so how do I know I am not deceived now?
But I do not think that Hume has either of these arguments primarily in
mind. Rather, his reasoning is suggested by the cryptic second paragraph. The argument contained there is obscure, and we would probably
not guess Hume's meaning if we were not already familiar with his
reasoning in Section IV of the Enquiry regarding unobserved matters of
fact. But with that reasoning in mind we can pick out a forceful argument here, for the arguments in Section IV and Section XII have closely
analogous structures.
1
All references to Hume are from Enquiries concerning Human Understanding and concerning the
Principles of Morals, 3 ed. L. A. Selby-Bigge, 3rd ed. (Oxford: Clarendon Press, 1975).
26
The argument of Section IV goes roughly like this: All beliefs about
future matters of fact depend for their evidence on both (a) observations
of past cases and (b) the assumption that observed cases will be a good
indication of future cases, that is, on the assumption that the future will
resemble the past. Let us call this the "regularity principle," because it is
equivalent to saying that there is a regularity in nature. But now the
regularity principle is itself a belief about future matters of fact; it is an
assumption that in the future observed cases will continue to be a reliable
indication of future cases. As such, the only way that the principle could
be justified is by inference from (a) past observations and (b) the assumption that the future will resemble the past. In other words, we think that
observed cases will be a reliable indication of future cases because we
have observed in the past that nature has been regular in that way. But
this means that the only evidence we could have for the regularity
principle must include the principle itself. Such reasoning is blatantly
circular, however, and therefore cannot give rise to knowledge.
More formally, we have the following argument.
(HI)
1. All of our beliefs about future matters of fact depend for their
justification on past observations, together with the assumption
(Al) that the future will resemble the past.
2. But (Al) is itself a belief about a future matter of fact.
3. Therefore, assumption (Al) depends for its evidence on (Al). (1,2)
4. Circular reasoning cannot give rise to knowledge.
5. Therefore, (Al) is not known. (3,4)2
27
28
One point Hume is making here is that Descartes' strategy proves too
much; if God's veracity guaranteed the trustworthiness of our senses,
this would establish infallibility rather than a plausible reliability. But
two other points being made are more important for Hume's skeptical
reasoning. First, it is not in fact the case that we believe our senses are
reliable because we have knowledge of God's veracity. That would be
to make an "unexpected circuit." Second, even if we tried to mount
such an argument, we would fall back into circles; our knowledge of
God must presuppose our knowledge of the world and therefore cannot
be used to support it.
Let me take the opportunity to state Hume's argument more formally, in both of the versions I have suggested.
(H2)
1. All of our beliefs about the external world depend for their evidence on sensory appearances, together with the assumption (A2)
that sensory appearances are a reliable guide to external reality.
2. But (A2) is itself a belief about the external world.
3. Therefore, assumption (A2) depends for its evidence on (A2). (1,2)
4. Circular reasoning cannot give rise to knowledge.
5. Therefore, (A2) is not known. (3,4)
6. All of our beliefs about the world depend on an assumption that is
not known. (1,5)
7. Beliefs that depend on an unknown assumption are themselves not
known.
8. Therefore, no one knows anything about external reality. (6,7)
29
(H3)
1. Any belief about external reality either depends on (A2) for its
evidence or depends on sensory appearances alone.
2. If it depends on sensory appearances alone, then it is not adequately
supported.
3. If it depends on (A2), then it is supported by circular reasoning.
4. Evidence that is not adequately supporting cannot give rise to
knowledge.
5. Circular reasoning cannot give rise to knowledge.
6. Therefore, no belief about external reality amounts to knowledge.
No one knows anything about external reality. (1,2,3,4,5)
30
31
rather than a necessary truth about the concepts of sensory seemings and
reality. But if this kind of assumption is a contingent matter regarding
the way the world is, then our evidence for it must involve empirical
observation. In other words, our justification for this sort of assumption
must itself be grounded in sensory seemings, and therefore in the assumption that sensory seemings are a reliable indication of the way
things are.5
This suggests that Hume's arguments can be taken two ways. We can
interpret the arguments as being about sensory appearances understood
as having only phenomenal content. In this case the problem is that my
beliefs about the world depend for their justification on the way things
appear phenomenally, but appearances so conceived cannot support
those beliefs. But we can also interpret Hume's arguments as being about
sensory seemings or takings. Now the problem is that my beliefs about
the world depend for their justification on the way things seem to be
via the senses, but appearances so conceived still do not make my beliefs
probable by themselves. In both cases we need to add an assumption in
order to make the relevant appearances function as evidence for beliefs
about the world. And in both cases there seems to be no noncircular
justification for that assumption.
Here is Hume's reasoning reconstructed both ways.
(H2a)
1. All of our beliefs about the external world depend for their evidence on the way things appear phenomenally, together with the
assumption (A3) that something's appearing phenomenally a certain way is a reliable indication that it is that way.
2. But (A3) is itself a belief about the external world.
3. Therefore, assumption (A3) depends for its evidence on (A3).
(1.2)
4. Circular reasoning cannot give rise to knowledge.
5. Therefore, (A3) is not known. (3,4)
6. All of our beliefs about the world depend on an assumption that
is not known. (1,5)
32
1. All of our beliefs about the external world depend for their evidence on the way things seem to be via the senses, together with
the assumption (A4) that the way things seem to be is a reliable
indication of the way things are.
2. But (A4) is itself a belief about the external world.
3. Therefore, assumption (A4) depends for its evidence on (A4).
(1.2)
4. Circular reasoning cannot give rise to knowledge.
5. Therefore, (A4) is not known. (3,4)
6. All of our beliefs about the world depend on an assumption that
is not known. (1,5)
7. Beliefs that depend on unknown assumption are themselves not
known.
8. Therefore, no one knows anything about external reality. (6,7)
This view is most famously defended by Wilfred Sellars for example, in "Empiricism and
the Philosophy of Mind," in Science, Perception and Reality (London: Routledge, 1963). A
somewhat similar view is defended in John McDowell, Mind and World (Cambridge, MA:
Harvard University Press, 1996).
33
7 All quotations from Descartes are from The Philosophical Works of Descartes, vol. 2, trans.
Elizabeth S. Haldane and G. R. T. Ross (Cambridge: Cambridge University Press, 1979).
34
And for that end it will not be requisite that I should examine each in particular,
which would be an endless undertaking; for owing to the fact that the destruction of the foundations of necessity brings with it the downfall of the rest of the
edifice, I shall only in the first place attack those principles upon which all my
former opinions rested. (Meditations, p. 145)
The "principle" he hits upon, of course, is sensory experience. "All that
up to the present time I have accepted as most true and certain I have
learned either from the senses or through the senses; but it is sometimes
proved to me that these senses are deceptive" (p. 145).
This is the old "sometimes I make mistakes" reasoning again. But a
more important point is made next. Namely, it is possible to have the
same experience one does now even when one is only dreaming, and
when things are not the way they appear at all.
How often has it happened to me that in the night I dreamt that I found myself
in this particular place, that I was dressed and seated near the fire, whilst in
reality I was lying undressed in bed! At this moment it does indeed seem to me
that it is with eyes awake that I am looking at this paper; that this head which I
move is not asleep, that it is deliberately and of set purpose that I extend my
hand and perceive it; what happens in sleep does not appear so clear nor so
distinct as does all this. But in thinking this over I remind myself that on many
occasions I have in sleep been deceived by similar illusions, and in dwelling
carefully on this reflection I see so manifestly that there are no certain indications
by which we may clearly distinguish wakefulness from sleep that I am lost in
astonishment, (pp. 145-6)
At first Descartes considers the kind of dream that occurs in sleep, but
toward the end of the meditation he raises the possibility of something
much more extreme:
Nevertheless I have long had fixed in my mind the belief that an all-powerful
God existed by whom I have been created such as I am. But how do I know
that He has not brought it to pass that there is no earth, no heaven, no extended
body, no magnitude, no place, and that nevertheless [I possess the perceptions
of all these things, and that] they seem to me to exist just exactly as I now see
them? (p. 147)
It is possible for things to appear to me exactly as they do now even if
things are drastically different from what I believe them to be. It is
possible, for example, that things appear as they do, but that I am the
victim of a powerful and elaborate deception. Perhaps God deceives me,
or perhaps I am fooled by an "evil genius" a being "not less powerful
35
than deceitful," and who "has employed his whole energies in deceiving
me" (p. 148).
It is not obvious how the skeptical reasoning is supposed to go here,
but one point can be made right away: namely, Descartes never actually
believes that there might be an evil genius deceiving him at every turn.
Rather, he introduces the possibility of such a demon as a kind of
psychological tool; he wants to discard all of his former opinions but
finds this psychologically impossible. His solution is to pretend that there
is a powerful demon bent on deceiving him, so that he may keep in
mind his resolution to doubt his former beliefs and to use nothing that
is less than certain in his further deliberations.
But it is not sufficient to have made these remarks, we must also be careful
to keep them in mind. For these ancient and commonly held opinions still
revert frequently to my mind, long and familiar custom having given them the
right to occupy my mind against my inclination and rendered them almost
masters of my belief; nor will I ever lose the habit of deferring to them or of
placing my confidence in them, so long as I consider them as they really are,
i.e. opinions in some measure doubtful, as I have just shown, and at the same
time highly probable, so that there is much more reason to believe in than to
deny them. That is why I consider that I shall not be acting amiss, if, taking of
set purpose a contrary belief, I allow myself to be deceived, and for a certain
time pretend that all these opinions are entirely false and imaginary, until at last,
having thus balanced my former prejudices with my latter [so that they cannot
divert my opinions more to one side than to the other], my judgment will no
longer be dominated by bad usage or turned away from the right knowledge of
the truth.
I shall then suppose, not that God who is supremely good and the fountain
of truth, but some evil genius not less powerful than deceitful, has employed his
whole energies in deceiving me. (p. 148)
For this reason alone, much of the abuse that has been heaped on
Descartes' argument simply misses the mark. However misguided Descartes' project in the Meditations, he never seriously thought that his life
might be a dream orchestrated by an evil genius.
If Descartes never takes seriously the possibility that he is deceived,
then what is his line of reasoning in the passages we have been reviewing? I think it is essentially this: Descartes sets out to evaluate his evidence for the various beliefs he has long held, and he concludes that his
evidence is not very good. And the reason it is not very good is that it
36
fails to rule out other possibilities that are inconsistent with what he
believes. Let us take a closer look at this line of thought. 8
Consider Descartes' belief that he is sitting by the fire in a dressing
gown. Presumably he has this belief because this is how things are
presented to him by his senses. However, Descartes reasons, things could
appear to him just as they do even if he were in fact not sitting by the
fire but was instead sleeping, or mad, or the victim of an evil deceiver.
The point is not that these other things might well be true, or that they
ought to be taken seriously as real possibilities. Rather, it is that Descartes' evidence does not rule these possibilities out. And if it does not
rule them out, then it cannot be very good evidence for his belief that
he is sitting by the fire.
It should be emphasized that Descartes' reasoning follows from a
seemingly obvious principle about adequate evidence. Namely, a body
of evidence does not adequately support a conclusion unless that evidence effectively rules out other possibilities which are inconsistent with
that conclusion. For example, in murder cases the prosecutor must
present evidence that rules out suicide or another murderer. In scientific
investigations a hypothesis is confirmed only when the evidence effectively rules out competitors. What Descartes notices is that this general
principle has skeptical consequences when applied consistently to our
perceptual beliefs about objects in the world. Our evidence in such cases
is sensory experience, but that experience fails to rule out a host of
alternative possibilities.
Two points need to be emphasized here. First, alternative possibilities
to what I believe undermine my knowledge even if they are false. For
example, if I cannot rule out the possibility of suicide in a suspicious
death, then I cannot know that someone committed a murder. And that
is true even if there was no suicide even if the alternative possibility I
cannot rule out is in reality false. This is what gives the skeptical reasoning its force. For although there is no reason whatsoever to think that I
am in bed dreaming, or that I am the victim of a deceiving demon, it is
hard to deny that these are possibilities in some broad sense. That is to
say, there is nothing incoherent or logically impossible about them. But
Here and in the next two paragraphs I follow Barry Stroud, although I depart from him in
some respects. See Stroud, The Significance of Philosophical Scepticism. For a different reading
of Descartes' argument, see Frederick Schmitt, Knowledge and Belief (London: Routledge,
1992).
37
then, that is all that the skeptic needs. For knowledge demands that our
evidence rule out alternative possibilities, and these possibilities cannot
be ruled out. Second, Descartes' reasoning runs just as well whether we
are thinking of sensory appearances as thin or thick. The fact that things
appear phenomenally a certain way does not rule out the possibility that
I am dreaming, or that I am deceived by an evil demon. But neither
does the fact that things present themselves a certain way in thick sensory
seemings.
Here is Descartes' reasoning put more formally.
(Dl)
38
See Ludwig Wittgenstein, On Certainty (Oxford: Blackwell, 1969); J. L. Austin, Sense and
Sensibilia (Oxford: Oxford University Press, 1962); Stanley Cavell, The Claims of Reason
(Oxford: Oxford University Press, 1979); Stroud, The Significance of Philosophical Scepticism;
and Williams, Unnatural Doubts.
39
40
41
Or,
7b. The belief that I am sitting by the fire is arbitrary; if I plug in any
belief about the world, the argument goes through with respect
to that belief as well.
8. Therefore, I have no knowledge of the world. (6,7)
42
43
traditional question about knowledge of the world in general. He concludes that it could not, because Quine assumes the very knowledge that
the traditional epistemologist calls into question.
Another apparent difference is that Quine's question about our knowledge is to
be answered by making use of any scientific information we happen to possess
or can discover, whereas the traditional epistemologist's question was meant to
put all that alleged information into jeopardy and hence to render it unavailable
for such explanatory purposes. Any question empirical science can answer could
not be the traditional philosopher's question.13
It is not obvious that Stroud has accurately described the traditional
epistemologist's question. Stroud's description of this question does not
seem to fit the questions of Plato, Aristotle, or Aquinas, for example.
But putting that aside, the essential point for our purposes is that it is
rhetorical considerations that have once again imported the issue of total
assessment. In other words, even on Stroud's account there is nothing
in the skeptical argument that challenges all of our knowledge at once, or
that raises completely general doubts, or that assumes that it is possible
to do these things. By Stroud's own lights, it is only the purpose of the
skeptical argument, not the argument itself, that involves such assumptions. And this means that rejecting such assumptions does not touch
the argument. Even if we reject the traditional epistemologist's question
as Stroud describes it, as surely we should, the skeptical argument remains standing and in need of further analysis.
Michael Williams is another philosopher who recognizes that Descartes' argument can be reconstructed along the lines of (D2) but who
nevertheless insists that it assumes, at least implicitly, that all of our
knowledge of the world can be challenged at once. Williams endorses
Stroud's claim that the assumption can be traced back to traditional
epistemology's special project:
In trying to explain how what might otherwise seem to be truisms take on a
surprising significance, it is natural to look first to the traditional epistemologist's
aim of assessing the totality of our knowledge of the world. Because he wants to
explain how we are able to know anything at all about the external world, his
plan is to assess all such knowledge, all at once. But surely, the argument now
goes, if we are to understand how it is possible for us to know anything at all
13 Ibid., p. 221.
44
45
logical realism that allow the skeptic to derive general conclusions from
specific examples of knowledge.
When we have a natural kind, we can learn general things about the kind
by investigating the properties of appropriate samples. The procedure is legitimate because of the supposed underlying hidden structure. Where there is such
a structure, what goes for one sample will go for all; where there isn't, no
general lessons can be drawn. . . .
We see, then, that the strategy of arguing from a representative case, far from
sidestepping the traditional epistemologist's realist presuppositions with respect
to epistemic kinds and relations, brings us right back to them. His procedure is
legitimate only if it is reasonable to treat terms like "empirical knowledge" as
natural kind terms. There must be something in the epistemic realm analogous
to the hidden structure or essential characteristics of naturally occurring substances such as gold. There has to be a microstructure, a hidden essence, of
empirical knowledge. We have already seen what this is: context invariant, fully
objective and autonomous epistemological constraints: in particular, natural relations of epistemic priority, (pp. 164165)
In these passages Williams has given up the idea that skeptical arguments must begin by questioning all of our knowledge at once, or that
they must involve the assumption that total assessment is possible. His
considered position is that skeptical arguments presuppose epistemological realism, and that it is this presupposition which allows the skeptic to
arrive at total assessment by examining specific cases of knowledge. In
later chapters, however, Williams returns to his earlier diagnosis: "When
we see that the sceptic's truth talk is really a way of asking his characteristically general questions about knowledge and justification, we see that
the totality condition on a philosophical understanding of knowledge,
and the controversial and implausible ideas it embodies, is the proper
target for the theoretical diagnostician"(pp. 246247). Presumably what
Williams should say here is that skepticism depends on epistemological
realism, and that epistemological realism makes sense of the skeptical
project of total assessment. But as Williams has already agreed, skeptical
arguments need not begin by challenging all of our knowledge at once
and need not start with the assumption that total assessment is possible.
Is Williams correct that skeptical arguments depend on the assumption of epistemological realism? If they do, and if epistemological realism
entails that total assessment is possible, then there is a sense in which
skeptical arguments do depend on the possibility of total assessment.
Namely, if total assessment is not possible, then, by modus tollens, something assumed in the skeptical argument is false namely, epistemolog-
46
ical realism. Perhaps this is all that Williams ever meant by claiming that
skeptical arguments assume that total assessment is possible; they do not
assume it as a premise, but they are committed to it in the sense that
they assume something else (epistemological realism) that entails it.
But putting all of that aside, Williams' claim that skeptical arguments
do depend on epistemological realism seems incorrect. We may see this
by distinguishing a weak and a strong version of epistemological realism.
In the strong sense, epistemological realism claims that the epistemic
status of a belief in entirely non-contextual. This seems to be the thesis
that Williams intends in his own characterizations of epistemological
realism. Let us define a weaker version of the thesis, however. Weak
epistemological realism claims that the epistemic status of a belief is not
entirely a function of context. In other words, weak epistemological
realism claims that some conditions relevant to epistemic status are noncontextual. And now the point is this: Williams claims that skeptical
arguments can draw general conclusions from specific cases only by
assuming strong epistemological realism. But in fact, all that is needed is
weak epistemological realism. So long as some conditions relevant to
epistemic status are not context dependent, and so long as the skeptical
argument exploits only those conditions, the argument need not assume
that no other conditions relevant to epistemic status are context dependent.
Put differently, to make the inference to a general conclusion the
skeptic need only deny that he has wrongly exploited any contextual
feature of knowledge; he must deny that the skeptical argument invokes
in the specific case some contextual feature that does not carry over to
cases of knowledge in general. But denying this does not commit the
skeptic to epistemological realism in the strong sense. Strong epistemological realism is the thesis that no conditions on knowledge are sensitive
to context, whereas the skeptic need only deny that all conditions on
knowledge are. In particular, the skeptical arguments from Hume and
Descartes assume that all beliefs about the world depend, directly or
indirectly, on the way things appear to us through the senses. But to
affirm that this aspect of empirical knowledge is context invariant does
not commit one to holding that all features of empirical knowledge are
context invariant.
Suppose that Williams grants this but continues to charge that skeptical arguments assume weak epistemological realism. Now Williams'
objection must be characterized as follows: "In order to draw general
skeptical conclusions from specific cases, the skeptical argument must
47
48
But now isn't it plausible that all of our beliefs about the world
depend on evidence involving how things appear, at least partly and
indirectly? Can we think of any beliefs that do not? Williams' preferred
example is Moore's belief that here is a hand. In some contexts, he
admits, one might need evidence for such a belief. In others, however,
one knows it on no evidence at all. But this seems implausible to me. In
some cases where I know that here is a hand, I know it because I can
see it or feel it. In other cases I know it because I can reason from other
things, including other things that I can see or feel. For example, I can
reason that I would have a hand here unless something drastic had
happened, and if something drastic had happened I would have seen it
or felt it, but I did not. In the first case my knowledge is directly based
on the way things look or feel, and in the second case it is indirectly
based on the way things look or feel. So even in Williams' preferred
example, knowledge about the world is either directly or indirectly
grounded in how things appear.
We therefore have no good reason for denying what otherwise seems
obviously true: that all beliefs about the world depend for their evidence,
in one way or another, on how things look or feel (or taste, or smell, or
sound). Moreover, this is the only claim about epistemic priority that
the arguments from Hume and Descartes need. At least partly, and at
least indirectly, all beliefs about the world depend for their evidence on
sensory appearances. If we read that claim charitably and in a common
sense manner, then there is no reason for thinking that it is anything less
than a truism.
My own diagnosis of (H2) and (D2) concedes that this claim is a
truism. However, the skeptical arguments from Descartes and Hume
make a different mistake. Those arguments also assume that beliefs about
the world must be inferredfromthe way things appear. In other words,
they assume a specific account of how sensory appearances act as evidence
for beliefs about the world. Put differently, the arguments assume that
all evidential relations are inferential relations. This is in fact a natural
and widely shared assumption. Williams himself seems to accept it, and
this is why he must look for a mistake in the skeptical argument elsewhere.
If our knowledge of the external world really does need to be derived, in some
general way, from prior experiential data, we ought to be able to explain how.
But it is difficult to see how we could give an account of a warrant-conferring
form of inference connecting how things appear with claims about how they
are in the external world which would be adequate to meeting the sceptic's
49
challenge while doing justice to our sense of the objectivity of the world. The
doctrine of the epistemic priority of experiential knowledge over knowledge of
the world seems to disconnect our beliefs about the external world from the
only evidence available to support them. (p. 56)
In this passage Williams concedes that an adequate inference from appearance to reality is impossible, and for this reason goes on to deny that
our evidence for beliefs about the world is how things appear. He is
assuming that if sensory appearances are to function as evidence, this
must be via good inferences from them. Or consider Williams' endorsement of Ayers' classic analysis of the pattern of skeptical arguments: First
it is argued that some kind of knowledge-claim is in need of inferential
support from some kind of evidence, and then it is argued that there is
no deductive inference and no inductive inference forthcoming. Again,
Williams' diagnosis accepts the assumption that good evidence must
ground deductive or inductive inferences. What he rejects is the assumption that there are epistemic kinds, carrying with them relationships of
epistemic priority.
In later chapters I argue that it is the assumption that evidence is
always inferential that is mistaken. To be sure, some good evidence is
inferential, to be understood in terms of deductive and inductive relations among propositions. But not all evidential relations are inferential
relations. Moreover, I argue that an adequate theory of knowledge and
evidence can explain why this is so and, specifically, how knowledge
grounded directly in sensory appearances can be non-inferential.
It should be noted, however, that Williams' diagnosis is fully consistent with two of my major theses in this book namely, that traditional
skeptical arguments cannot be easily dismissed as making some obvious
mistake, and that the close analysis of skeptical arguments reveals substantive but mistaken epistemological assumptions, the rejection of
which drives progress in epistemology. Williams himself has defended
these theses as persuasively as anyone. In fact, my agreement with Williams goes even deeper than this. Both of us endorse accounts of knowledge which, in broad outline, are contextualist, externalist, and foundationalist, and which require both objective reliability and subjective
justification for knowledge. At this level of generality the difference
between us is this: Williams identifies epistemological realism as the
mistaken assumption of skeptical arguments and thus replaces it with
contextualism. I deny that traditional skeptical arguments presuppose
epistemological realism, at least in the strong sense that Williams seems
to intend. In addition, I argue that agent reliabilism provides a theoretical
50
In the preceding section I have been arguing against a particular interpretation of Descartes' skeptical argument namely, I have been arguing
against the claim that Descartes' reasoning must (a) challenge all of our
knowledge at once or (b) assume that completely general doubts are
intelligible. I now look at two more ways not to understand Descartes'
argument. Remember that we are trying to reconstruct the argument in
its most powerful form. In other words, we are trying to reconstruct it
employing only assumptions that seem natural and plausible to us. This
is in the context of a methodology which uses skeptical arguments as
heuristic devices for driving positive epistemology. Reconstructed in
their most powerful form, skeptical arguments highlight mistaken assumptions about the nature of knowledge and evidence, the rejection of
which must drive us to substantive epistemological positions. The more
powerful the argument in terms of its plausibility, the more substantive
the position that is required to reject it.
I said earlier that various reconstructions of Descartes' argument are
generated by different ways of understanding the idea of evidence "ruling out" alternative possibilities. One way that idea is commonly understood is in terms of entailment. On this reading, premise (1) of (D2) says
that one's evidence can give rise to knowledge only if it entails that all
alternatives to one's belief are false. That amounts to saying that evidence
gives rise to knowledge only if it entails the belief that is based on it.
This interpretation makes premise (1) of (D2) implausible, however.
To understand the skeptical argument that way robs it of any force that
it might have. It is perhaps a fair reading of Descartes, in that he
sometimes seems to accept only demonstration as an acceptable way of
building one's knowledge from indubitable first truths. But if this is
what he intended, then, as before, it has more to do with his wider
project than it does with the skeptical reasoning he puts forward in the
first step of that project. Therefore, even if this is a fair reading of the
15 See Williams, Unnatural Doubts, and "Skepticism," in Greco and Sosa (1999).
51
52
53
2. But I can know something about the world only if I can know I am not
dreaming.
3. Therefore, I cannot know that I am not dreaming.
Here premises (1) and (2) look plausible, but (3) does not follow from
them. All that follows from (1) and (2) is that I can know that I am not
dreaming only if I can know that I am not dreaming. That is true
enough, but of little skeptical force.
Perhaps Stroud means his premises to be temporalized. In that case
we get the following reconstruction.
1. I can know that I am not dreaming only if I already know at some earlier
time something about the world.
2. I can know something about the world only if I already know at some
earlier time that I am not dreaming.
3. Therefore, I can know that I am not dreaming only if I already know at
some earlier time that I am not dreaming. (1,2)
4. Therefore, I cannot know that I am not dreaming. (4)
Here (3) follows from premises (1) and (2), and (4) follows from (3). But
the problem with this version of the argument is that premise (2) no
longer seems plausible. Most of us think that we know things about the
world at the same time that we know we are not dreaming. No one
thinks that we must first find out that we are not dreaming and then
infer beliefs about the world, or vice versa, for that matter. So on either
understanding of Stroud's argument for the claim that we cannot know
we are not dreaming, we do not have good independent grounds for
that claim. The lesson we should draw from this is that we should not
understand the concept of "ruling out" in (D2) in an epistemic sense.
5. DISCRIMINATING EVIDENCE
54
And,
(Df.2) E discriminates p's being true from possibilities qx . . . qn for S if
and only if E would cause S to believe that p is true when p is
true, and E would not cause S to believe that p is true when any
of q1 . . . qn is true.
We then have the following interpretation of key premises in argument
(D2):
(D3)
55
56
(D4)
57
evidence explains why the account has the content that it does. In other
words, I argue that a virtue theory explains why our evidence must
discriminate the truth of knowledge-claims from some possibilities and
not others.
6. SUPPORTING EVIDENCE
Another way we can interpret the idea of evidence ruling out alternatives is in terms of deductive and inductive support. Specifically,
A body of evidence E rules out a possibility q if and only if E supports
(deductively or inductively) not-q.
On this interpretation it is not clear that premise (1) of (D2) needs to be
revised so as to be restricted to relevant possibilities. Or, put differently,
it is not clear that a distinction between relevant and irrelevant possibilities needs to be made. For on the present interpretation premise (1) of
(D2) says that one's evidence ought to support the negation of all
possibilities that are inconsistent with what is believed on the basis of
that evidence. But that is equivalent to saying that one's evidence ought
to support the beliefs that are based on that evidence.
More formally, we have the following argument.
(D5)
1. S can know that p is true on the basis of her evidence E only if,
for all q such that q is inconsistent with p, E supports not-q.
Or equivalently,
S can know that p is true on the basis of E only if E supports p.
2. My evidence for my belief that I am sitting by the fire is my
sensory experience.
3. It is a possibility that I am not sitting by the fire but only dreaming
that I am.
4. Therefore, I can know that I am sitting by the fire only if my
sensory experience supports the proposition, deductively or inductively, that I am not merely dreaming this. (1,2,3)
5. But my sensory experience does not support the proposition that I
am not dreaming.
6. Therefore, I do not know that I am sitting by the fire. (4,5)
Again, premise (1) of (D5) looks plausible and might even be considered
obvious. Moreover, premises (3) and (5) also look good on this interpretation. Since we are no longer required to restrict (1) to relevant possibilities, there is no need to restrict (3) or (5) that way either. Accord-
58
ingly, premise (3) of (D5) need only claim that my dreaming is possible
in some broad sense of possibility, and that claim is hard to deny.
Premise (5) might seem to be the weak point of the argument, but
here considerations from Hume can be brought forward to give the
premise a strong defense. That my sensory experience does not deductively support the proposition that I am not dreaming is obvious, since
it is possible that I have exactly that experience even when I am dreaming. This should be conceded even in the case of normal dreams, but
certainly it is true in the case of philosophical dreams. By hypothesis,
such dreams replicate the way things appear in waking life.
But more importantly, my sensory experience alone does not inductively support the proposition that I am not dreaming. The point here is
the same that we saw in the discussion of (H2) and (H3): my sensory
appearances do not even make likely the proposition that I am not
dreaming, unless I am also assuming, at least implicitly, that sensory
appearances are a reliable guide to reality. Without this assumption, or
something very much like it, sensory appearances do not make likely
anything about the way the world is. But that includes the proposition
that I am not dreaming, since that proposition is itself about the way the
world is.
And, of course, merely assuming that my experience is a reliable
guide to reality is not enough. If my evidence for the proposition that I
am not dreaming is to be any good to me, I must know, or at least be
justified in believing, that the assumption in question is true. But what
is my evidence for the proposition that my experience is a reliable guide
to reality? As Hume has pointed out, this is itself a matter of fact and
therefore could be established only by empirical evidence. But since
such evidence must already include the assumption in question, any
attempt at justification here would be circular.
I believe that this is the most powerful version of the argument from
Descartes' Meditation I. It does not seem susceptible to the relevant
possibilities approach that makes a distinction between normal dreams
and philosophical dreams, since premise (1) of (D5) is plausible just as it
is stated. Who would deny, outside the context of threatening skeptical
conclusions, that one's evidence must support the conclusions that are
based on it?
But neither do any of the other premises of the argument seem
implausible. Consider premise (2) of (D5). When I am sitting by the
fire, the reason I believe this is that this is how the world is presented to
me in my sensory experience. And isn't this just obvious? Some philos-
59
ophers have denied it, but usually what they are objecting to is some
particular account of sensory experience, or some account of how sensory
appearance acts as a reason for my belief. Reading the premise in a
common sense way, however, who could deny that, in the typical case,
the reason that I believe I am sitting in some location is that this is how
things appear to me, either visually or by some other sensory modality?
Perhaps someone will deny it if they are in the grip of a philosophical
theory, or if they think they are pushed to deny it in order to stave off
unacceptable skeptical consequences. But no one would deny it pretheoretically, and we probably should not deny it even posttheoretically.
Next consider premise (3), which claims only that it is a possibility
that I am dreaming. Premise (3) need not claim that I have some good
reason to think that I am dreaming, or even that I should take the
possibility seriously as something that might turn out to be true. Rather,
the premise claims only that my dreaming is a possibility in a much
broader sense that is, it is not incoherent, or inconceivable, or logically
impossible. And again, this seems hard to deny.
The remaining independent premise is (5), and we have already seen
an argument from Hume to support the claim that is being made there.
Accordingly, this version of Descartes' argument ultimately depends on
the argument from Hume. Both arguments essentially make the claim
that beliefs about the world are inadequately supported by their evidence. Descartes' version makes the claim in terms of ruling out alternative possibilities, whereas Hume makes the point more straightforwardly by considering what evidence we have for beliefs about the
world. But both arguments ultimately make the point that there is no
good inference from sensory appearances to beliefs about the world.
Put another way, both arguments claim that there is no good inference from the way things appear to the way things are. Furthermore,
both claim that this is so because even an inductive inference would
require the assumption that sensory experience is a reliable guide to the
way things are, and there is no non-circular justification for that assumption. But since knowledge requires good inferences from one's evidence,
there is no knowledge of the way things are.
60
61
claiming that no one knows, the skeptic is himself making a knowledgeclaim, and an inconsistent one at that. The skeptic falls into contradiction, claiming that he knows that no one knows.
A question naturally arises concerning the status of skepticism itself as a claim
about the human condition. Can it be known to be true? Is it itself a truth?
One can easily see that no coherent answer is possible. If one answers "yes>"
the original claim is denied. If one answers "no," the original claim is again
denied. In effect, the only consistent thing an absolute skeptic can do is to keep
silent altogether. As soon as he opens his mouth in speech, he has refuted
himself. . . .
The problem, of course, lies in the fact that absolute skepticism refers to
itself. As an assertion of a position, it affirms its own truth and hence denies the
absolute universality of the skeptical position.1
A second version of this objection claims that the skeptic's conclusion is
inconsistent with his premises. The idea is that the skeptic puts forward
knowledge-claims in his premises that contradict his denial of knowledge
in his conclusion. Accordingly, the skeptic must either fall into contradiction or must admit that he does not know his premises. If the former,
then skepticism is self-refuting. If the latter, then the premises have no
power to establish their conclusion.
This kind of response is dismissive because it does not engage any
particular skeptical argument; it raises objections that are completely
general, and that are supposed to implicate the skeptical conclusion
independently of any particular reasoning for it. On the other hand, the
objections cannot be sustained on even a superficial consideration of
actual skeptical arguments. The arguments from Hume and Descartes,
for example, are easily seen not to be self-refuting in the ways that the
objections charge.
We can see that skeptical reasoning does not have to be self-refuting
by considering two aspects of any skeptical argument.2 First, let us say
that the "scope" of a proposition is its subject matter, so that the scope
of the conclusion in argument (D5) in Chapter 2 is knowledge of the
world. The scope of Hume's conclusion in Section IV of the Enquiry is
1
62
knowledge of the future. But then a skeptical argument avoids selfrefutation of the second kind contradiction between premises and
conclusion so long as the scope of its premises falls outside of the scope
of its conclusion. For example, the skeptic putting forward arguments
(H2) or (D5) in Chapter 2 can consistently claim to know his premises
while at the same time claiming that no one knows anything about the
world, for he can claim that his premises are about our concepts of
knowledge and evidence rather than about objects. In other words, the
skeptic can affirm that we have conceptual knowledge, and so can know
that her premises are true, while denying that we have empirical knowledge, thus avoiding any inconsistency between premises and conclusion.
The first kind of self-refutation, involving a conclusion that contradicts
itself, can be avoided in essentially the same manner. So long as the
conclusion of a skeptical argument is not itself an empirical claim, the
skeptic avoids inconsistency when he concludes that he knows (nonempirically) that we have no empirical knowledge.
Second, let us say that the "degree" of a skeptical conclusion is the
quality of knowledge or justification that the argument denies we have.
For example, a skeptical argument might conclude that, within some
scope, we fail to have absolute certainty, or knowledge, or moral certainty, or probable belief, or reasonable belief. Again, the skeptic can
avoid self-refutation of the second kind simply by being careful about
degree, making sure that he claims a lesser degree of justification for his
premises than he denies that we have in his conclusion. For example, it
is not inconsistent to claim that reasonable premises entail that nothing
is certain. In the same way, the skeptic can avoid self-refutation of the
first kind as well. So long as a lesser degree of justification is claimed for
the conclusion than is denied in that conclusion, the conclusion does
not contradict itself. For example, it is not contradictory to say that it is
reasonable to believe that no one has knowledge. Therefore not even a
skepticism that is universal in scope must be self-refuting.3
We have seen that a skeptic can avoid self-refutation by being careful
about the degree ofjustification claimed for his premises and conclusion.
A special case of this is when the skeptic makes no claims at all about
the epistemic status of his premises. In this case, the skeptic merely
points out that we non-skeptics hold those premises to be true and so by
our own lights should admit that we have no knowledge. This skeptic
makes no claims about knowledge at all but merely calls attention to the
3
63
fact that our own assumptions entail that we do not know what we
claim to know. On the one hand, we find several seemingly innocent
assumptions to be plausible. On the other hand, we think that we know
many things about how the world is. But then it is our position that is
inconsistent, because those seemingly innocent assumptions entail that
we do not know what we think we know. That is not a problem for
the skeptic, since he does not claim to know anything. But it is a
problem for us, because we do claim to know things that our own
assumptions entail we do not.
By paying attention to either scope or degree, the skeptic need not
make contradictory claims. In the limiting case the skeptic makes no
claims about knowledge at all but instead calls our attention to an
inconsistency in our own assumptions about the nature and existence of
knowledge.
64
This kind of response can overlap with pragmatic ones, as when Reid
says of Hume, "He believed, against his principles, that he should be
read, and that he should retain his personal identity, till he reaped the
honour and reputation justly due to his metaphysical acumen."6
Pragmatic and rhetorical responses are dismissive because they fail to
engage the arguments for skeptical conclusions. For the same reason they
are completely ineffective. Notice that the premises of Descartes' and
Hume's arguments do not mention anything about how one ought to
act or how one ought to speak. Rather, they amount to claims about
what knowledge requires, together with claims that our own beliefs fail
to meet those requirements. No rhetorical or pragmatic point will touch
those premises, since the premises do not make rhetorical or pragmatic
claims.
This assessment is supported by the following consideration. The
skeptical arguments that we have been considering would not lose any
of their force if we found no one willing to defend their conclusions.
What makes them interesting philosophical problems is that we ourselves
find their premises plausible, and yet, by seemingly cogent reasoning,
they lead to a conclusion that we find unbelievable. If there never
existed a skeptic to be debated, the skeptical arguments would lose none
of their interest in this respect. But if the existence of skeptics is irrelevant to the force of skeptical arguments, then observations about either
the skeptic's actions or her rhetorical position are irrelevant as well.
Pragmatic and rhetorical responses can be relevant when you are
trying to win a debate against a contentious opponent. If, in that situation, you can show that not even she can believe the position she is
defending, then that is an effective blow to strike. So might such responses be relevant if we were trying to persuade someone out of her
skepticism. In that case it might help to show the poor soul that not
even she believes what she is saying, or that no one can consistently act
on such a belief. But the point of analyzing skeptical arguments is neither
to win a debate nor to persuade someone out of their skepticism. It
could not be, since there are no skeptics to be debated or persuaded. At
least there are none outside of the study or the classroom, as Hume
himself pointed out. In other words, there are no skeptics who need to
ment of Reid's critique of skepticism, see my "Reid's Critique of Berkeley and Hume:
What's the Big Idea?", Philosophy and Phenomenological Research 55 (1995): 279-296.
Reid, p. 102a.
65
66
one exists who lives his life as a skeptic and who therefore needs our
help to be brought out of his skepticism. And even if there were such a
person, Reid is correct that "physic and good regimen" would be a
more likely cure than "metaphysic and logic." Moreover, there is no
one whom we need to defeat in a debate over the issue. If we come
across a pretend skeptic who wants to play that game, as we sometimes
do in a bar or an undergraduate classroom, the better policy is to redirect
attention to some more worthwhile activity. But if one likes to play
strange games, consider that the pretend skeptic cannot lose, provided
that she has the least bit of wit about her. All she need do is refuse to
allow any premise against her, and her skepticism will be completely
unassailable. Real skeptics are not to be found, and if they are found
they are not to be engaged with philosophy. Pretend skeptics should be
avoided altogether.
The third and fourth conceptions of epistemology's project either
reduce to the first two or are too easy. If the purpose of proving that we
have knowledge is to persuade or to win a debate, then we are back in
the misguided projects we have already considered. On the other hand,
if the point is to prove to ourselves or to some other non-skeptic that we
have knowledge, then the project is pointless, because it is too easy. To
prove something is to show that it follows from premises that are already
known. But if we are non-skeptics, then it is easy to prove that we have
knowledge from such premises. Being non-skeptics, we already know
that we know lots of things, and these particular cases vacuously establish
that we have knowledge of the kind in question for example, knowledge of the world. Someone might complain that this kind of proof begs
the question. But against whom does it beg the question? Remember
that we are not debating with a skeptic in the case being considered.
So the project of epistemology is not to persuade lost souls, or to win
debates with contentious opponents, or to prove that we know what
we think we know. Rather, it is to construct accurate accounts of
knowledge and evidence. In other words, the project of epistemology is
to answer Plato's age-old question in the Theaetetus, "What is knowledge?" And the point of analyzing skeptical arguments is that they help
us to do this. Skeptical arguments highlight mistaken assumptions about
knowledge that might otherwise go unnoticed, and they drive us to
replace those assumptions with something more adequate. Moreover, to
arrive at adequate accounts of knowledge and evidence we must consider our best judgments about which particular cases count as knowledge and which count as good evidence. Here again the analysis of
67
skeptical arguments helps us, because those arguments bring home the
counterintuitive results of proposals that inadequately capture those
judgments. Of course, skeptical arguments cannot help us if they are
dismissed with irrelevant considerations about how imaginary people
speak and act. Skeptical arguments can serve as powerful heuristic devices for driving positive epistemology, but only in the context of a
project properly conceived.
I have been arguing that epistemology's project is to give an adequate
account of knowledge that is, to answer Plato's question, "What is
knowledge?" Some might think that this conception of epistemology is
an outdated one, insulated from recent appreciation in philosophy of the
social, political, and other contextual factors involved in knowledge and
knowledge relations. But this is to misunderstand the project of giving
an account of knowledge. Nothing about that project disallows that
knowledge has social or political dimensions, or that gender has epistemological significance, or that attention to particulars is necessary, or
that knowledge depends on context in some other way. In fact, all of
these claims constitute competing epistemologies. They claim that an
adequate account of knowledge reveals that it has the contextual dimensions in question.
To drive home the point that recent contextualisms are not antithetical to epistemology, consider that all of them are consistent with what
is perhaps the most common position in epistemology today. According
to generic reliabilism, knowledge is true belief that arises from reliable
cognitive processes, or cognitive processes that reliably produce true
rather than false beliefs. Different versions of reliabilism give different
accounts of the processes involved, but all agree that knowledge has
more to do with the abilities of cognizers to "hook up" with the world
than it does with the properties of individual beliefs for example,
properties such as indubitability, incorrigibility, or irrevisability. But note
that reliabilism in this broad sense is perfectly consistent with the claims
that knowledge is social, political, gendered, or otherwise contextual.
All of these questions are in fact wide open within the context of generic
reliabilism, since it is an empirical matter how cognitive processes are
made reliable or unreliable by social, political or other factors. Moreover,
once the question is raised this way, it would be amazing if at least some
of these factors were not importantly involved in the production of
knowledge.
For this reason, recent self-proclaimed opponents of epistemology are
better seen as doing epistemology than as rejecting it. They are offering
68
This kind of diagnosis is quite common. Rescher is one example (see esp. p. 56); see also
John Dewey, The Quest for Certainty (New York: Minton, Balch, 1929).
69
70
stood in this manner, but whether the principle is true or false, it clearly
does not involve the thesis that evidence must be deductive.
Second, we can read Descartes' argument as making essentially the
same point as Hume's. On this reading the claim that sensory experience
does not rule out alternative possibilities is understood as the claim that
such evidence does not support the negation of those possibilities either
deductively or inductively. It does not support their negation deductively, because it is possible to have exactly the same experience when
the possibilities are true. But it does not support them inductively either,
because such support would require the assumption that sensory experience is a reliable guide to reality, which assumption cannot itself be
justified in a non-circular fashion.
To see that deductivism is not the real issue here, consider this: even
if we did have some adequate justification for the assumption that experience is a reliable guide to reality, that still would not make our
evidence deductive. For that assumption claims only that sensory experience is a reliable indication of how things are, not an infallible indication. So even if the assumption could be used as part of our evidence
for beliefs about the world it would provide only inductive or probable
support. Accordingly, the point of the skeptical argument is not that
deductive support is required for knowledge. The real point is that
inductive support is required, and we do not have even that for our
beliefs about the world.
I said that type-b responses to skepticism are dismissive because they
do not consider skeptical arguments seriously; rather, they depend on
uncharitable readings of such arguments, failing to consider that more
powerful reconstructions are easily available. Accordingly, these responses reject the arguments from Descartes and Hume for the wrong
reasons, and so fail to recognize the more interesting lessons that those
arguments can teach.
4. TRANSCENDENTAL ARGUMENTS
Before closing this chapter I want to consider one more kind of response
to skepticism about the world. Transcendental arguments are a kind of
dismissive response, because they fail to consider skeptical arguments or
only consider them superficially. As we will see, transcendental arguments are type-a or type-b depending on how we interpret the way
they are being employed against the skeptical conclusion.
71
11 Donald Davidson, "A Coherence Theory of Truth and Knowledge," in Ernest LePore,
ed., Truth and Interpretation: Perspectives on the Philosophy of Donald Davidson (Oxford: Black-
well, 1992), reprinted from D. Henrich, ed., Kant oder Hegel (Stuttgart: Klett-Cotta, 1983).
See also, Donald Davidson, "The Method of Truth in Metaphysics," in P. A. French, T. E.
Ueling, Jr., and H. K. Wettstein, eds., Midwest Studies in Philosophy 2: Studies in the Philos-
ophy of Language (Morris: University of Minnesota Press, 1977) and reprinted in Donald
Davidson, Inquiries into Truth and Interpretation (Oxford: Clarendon Press, 1985).
72
73
the case. In Chapter 1 we saw that all skeptical arguments can be boiled
down to two essential premises, one stating that knowledge requires that
some condition be fulfilled, and one stating that the condition in question is not fulfilled. Looking at the arguments from Descartes and Hume,
we see that they do not claim that the truth-condition on knowledge is
not fulfilled. Rather, they claim that we lack appropriate evidence for
our beliefs. According to these arguments, even if our beliefs are true,
they do not amount to knowledge.
Skeptical arguments do not claim that the world does not exist, or
that we do not dwell in the world, or that most of our beliefs are not
true. For this reason, arguments with the purpose of establishing such
things cannot be effective responses against them or at least such
arguments cannot be effective as direct responses. Is there some other
way in which transcendental arguments are supposed to refute the skeptical conclusion? One possibility presents itself, but it can quickly be
rejected.
It might be thought that transcendental arguments refute skepticism
indirectly, because they can be used to give us knowledge that would
otherwise be lacking. In other words, even if skeptical arguments are
right that we typically lack evidence for our beliefs, transcendental arguments can provide evidence for at least some very general claims about
the world. We can prove, for example, that such a world exists. Or we
can prove that most of our beliefs are true, even if we do not know
which. But this line of thought is highly problematic. If the idea is that
only these very general truths about the world can be known, and that
only a small group of philosophers have ever known them, then the
proposal is highly counterintuitive. On the other hand, if the idea is that
this is how Jane and Joe in the street get knowledge in typical cases,
then the claim is still highly problematic, because it is psychologically
implausible. Any argument, transcendental or otherwise, can give one
knowledge only if one understands the argument and uses it. But the
suggestion that the relevant transcendental arguments are actually used
in non-philosophical contexts is perhaps too implausible ever to have
been suggested.
So far I have been interpreting transcendental arguments as type-a
responses to skepticism; such arguments do not engage skeptical arguments at all but rather try to show that the skeptical conclusion cannot
be true. Another interpretation is to view them as type-b responses. On
this understanding, transcendental arguments are not supposed to prove
that skepticism is false but instead are used to reject something in the
74
75
76
See Richard Rorty, Philosophy and the Mirror of Nature (Princeton: Princeton University Press,
1979), p. 49, n. 19, and pp. 51-52, n. 21.
77
While this diagnosis of skepticism can be found in analytic philosophy, it is almost ubiquitous in the Continental tradition. In this regard it
is helpful to understand that much of Continental philosophy is essentially Kantian, beginning from the premise of Kant's Copernican revolution.2 Roughly, the line of thinking is that Hume's skepticism presupposes a distinction between mind and mind-independent reality. To
avoid skepticism we must give up empirical realism in favor of transcendental idealism. In other words, we must give up the idea of a knowable
mind-independent reality. On the basis of roughly this line of thought,
many Continental philosophers now take it for granted that the object
of knowledge is created (or at least shaped) by the mind that knows it,
and Continental philosophy is largely devoted to exploring the implications of this idea.
Martin Heidegger's analysis differs in critical respects from Kant's, but
it is clear that Heidegger agrees at least with this much: the problem of
skepticism is rooted in inadequate ontology and more specifically, in a
dualism of internal knowing subject and external object of knowledge.
2 A notable exception is the realist tradition in phenomenology.
78
Now the more unequivocally one maintains that knowing is proximally and
really 'inside' and indeed has by no means the same kind of Being as entities
which are both physical and psychical, the less one presupposes when one
believes that one is making headway in the question of the essence of knowledge
and in the clarification of the relationship between Subject and Object. For only
then can the problem arise of how this knowing subject comes out of its inner
'sphere' into one which is 'other and external,' of how knowing can have any
object at all, and of how one must think of the object itself so that eventually
the subject knows it without needing to venture a leap into another sphere.
(Being and Time, p. 87)
In Continental philosophy the KantianHeideggerian diagnosis of skepticism is found to be so convincing that it is not an exaggeration to say
that it is taken for granted. It is largely for this reason that there is no
recognizable subdiscipline of epistemology in Continental philosophy,
and it is the reason that so many Continental philosophers accept some
form of anti-realism.3
Unfortunately, a similar line of thinking has been convincing to some
in America as well. In the following passages John Dewey joins Kant
and Heidegger in blaming bad ontology for skepticism, and with the
same anti-realist results:
For these questions [of epistemology] all spring from the assumption of a merely
beholding mind on one side and a foreign and remote object to be viewed and
noted on the other. They ask how a mind and world, subject and object, so
separate and independent can by any possibility come into such a relationship
to each other as to make true knowledge possible. (Reconstruction in Philosophy,
p. 123)
Those who have followed the previous discussions will not be surprised to hear
that, from the standpoint of experimental knowing, all of the rivalries and
connected problems [of epistemology] grow from a single root. They spring
from the assumption that the true and valid object of knowledge is that which
has being prior to and independent of the operations of knowing. (The Questfor
Certainty, p. 196)
79
80
associated with the modern ontology, but only hinted at in the quoted
passages, is representationalism. According to this last doctrine, thought
about objects requires thought about ideas that represent them. A subthesis of this position is that perception is representational, requiring
thought about the sensations that material objects cause in perception.
As we shall see, representationalism is not really an ontological thesis at
all but is rather a position in the philosophy of mind that is sometimes
confused with the modern ontology.
A second shared theme in these passages is that the problem of
skepticism is created by the modern ontology. More specifically, the
problem arises as to how internal subjects can come to know external
objects, or to even think such objects in the first place. This second
theme can be broken down into two claims. First, it is claimed that the
modern ontology is necessary for generating skepticism about the world.
Thus Heidegger claims that "only then can the problem arise of how
this knowing subject comes out of its inner 'sphere' into one which is
'other and external'." Second, the claim is made that the modern ontology is sufficient for generating skepticism. Thus Berkeley suggests that
accepting the modern ontology inevitably results in skepticism about the
objects of sense. A corollary of the first claim is that rejecting the modern
ontology is sufficient for resolving the problem of skepticism. A corollary
of the second claim is that rejecting the modern ontology is necessary
for resolving that problem.
A third theme in the quoted passages is that the modern ontology
should be given up in favor of some version of anti-realism. With the
exception of Austin, all of the authors cited suggest that the objects we
know are created or shaped by our thinking. Of course, none of our
authors would call himself an anti-realist. All of them would say that to
accuse them of anti-realism is to remain in the false ontology that makes
the distinction between realism and anti-realism possible. But on the
standard meaning of the term, "anti-realism" is the position that the
object of knowledge is not independent of our knowing it. Put differently, anti-realism claims that the reality we know is created by, or at
least shaped by, the way we know it, or more generally, the way we
think about it. This position is in opposition to the view that we know
things as they are that is, as they are independently of our knowing
them or thinking them.
Now if this is what is meant by anti-realism, then Berkeley, Heidegger, Dewey, and Rorty are endorsing some form of anti-realism over
the modern ontology. They all think that the ontological distinction
81
82
ments about our knowledge of the world. In Part II, I consider whether
either of these doctrines is sufficient. But before proceeding it should be
stressed that my purpose is not to defend either the modern ontology or
representationalism. Rather, it is to show that the relationship between
these theses and skepticism is not what it is commonly and widely
claimed to be. Accordingly, skeptical arguments teach epistemological
lessons, not lessons in ontology or the philosophy of mind.
83
things appear to us. The second claim they share is that this dependence
is broadly evidential. If we give these two claims charitable readings,
then they are platitudes - no one who is not in the grip of a philosophical theory would think to deny them. But if we do accept them, then
we have most of the materials for a powerful line of skeptical reasoning.
Consider the following, which I think captures the common structure
of "no good inference" arguments for skepticism about the world:
(NGI)
Let us consider the initial force of this argument. As I said, premise (1)
is properly considered to be a platitude. It states only that our beliefs
about objects in the world partly depend on the way those objects appear
to us. But then premise (2) is eminently plausible as well. It seems clear
that, at least in typical cases, something's appearing to be a certain way
constitutes a reason for thinking that it is that way. In Chapter 2 I said
that this is plausible even if we are characterizing sensory appearances
merely phenomenally. But certainly it seems right if we are thinking of
sensory appearances as already having conceptual content. In that case,
premise (2) says that something's seeming to be a certain way via the
senses is often one's reason for thinking that it is that way.
Moving to premise (4), which is the remaining independent premise
of the argument, we have what looks to be another plausible claim.
Initial support for (4) is provided by the uncontroversial claim that things
are not always as they appear. But we have seen that Hume gives an
independent argument for the premise. In a nutshell, any inference from
appearance to reality would have to be circular, since it must depend on
an empirical premise to the effect that the way things appear is a reliable
indication of the way things are. So even if (4) is not as obvious as (1)
and (2), there are good reasons to think it is true.
Now to the question of the present section namely, how is argument (NGI) supposed to involve the modern ontology? I can think of
84
Roderick Chisholm, Perceiving: A Philosophical Study (Ithaca: Cornell University Press, 1957).
85
phenomenally (to be appeared to treely), and to take the object appearing to be a tree. Alternatively, we could understand the skeptical argument as materialists, considering appearances to be material (or perhaps
functional) states of the knower, and understanding beliefs in a similar
manner.
On any of these options we get a skeptical argument that is at least as
forceful as any involving a modern ontology. More specifically, what
drives the skeptical argument is (a) an innocent distinction between the
way things appear and the way things are and (b) some assumptions
about the nature of our evidence for objects in the world. But both the
distinction and the assumptions about evidence are independent of the
modern ontology. I have more to say regarding the assumptions about
evidence in Section Lib. But let us consider the appearancereality
distinction now.
First, the distinction between the way things appear and the way
things are is independent of any specific ontology. The modern ontology
of external objects and internal ideas represents one way to cash out the
distinction, but it is not the only way, or even the most plausible way.
Second, it is a mere platitude that things are not always as they appear,
and so any minimally plausible ontology will have to cash out the
distinction in some fashion or another. Third, it is the distinction itself,
not the modern understanding of it, that is driving the skeptical argument. If anything, the argument is stronger without the modern interpretation, since it is thereby relieved of what is only excess baggage.
But perhaps this last point is incorrect. For even if the language of
(NGI) can be cashed out independently of the modern ontology, perhaps the argument depends on that ontology in a different way. Specifically, one might think that premise (4) becomes plausible only by
adopting the modern version of the appearancereality distinction. In
other words, one might think that only the modern ontology makes it
plausible that there is no good inference from how things appear to how
things are. In order to decide this point we must look more closely at
the considerations that can be given in support of premise (4) and at
whether these considerations involve the modern ontology in any essential respect.
b. Inference from Appearance to Reality
86
argument about the impossibility of a non-circular inference from appearances to reality. As we have seen, the main idea of this argument is
that premises about how things appear cannot give support to conclusions about how things are, unless such premises include an assumption
about the relationship of appearances to reality. In other words, there
will have to be some assumption to the effect that the way things appear
via the senses is a good indication of the way things are. But then the
problem arises as to how that kind of assumption could be justified. As
Hume points out, any such justification would itself require the evidence
of appearances, and so would require the very assumption whose justification is in question. Therefore, Hume concludes, a non-circular inference from appearances to reality is impossible.
My own view is that this argument from Hume in favor of premise
(4) is correct. Or, to qualify, it is correct on an important understanding
of "support" that we will consider more closely in subsequent chapters.
What is relevant for present purposes is that the Humean argument,
whatever its merit, is completely independent of any particular reading
of the appearancereality distinction. Once again, it is the appearancereality distinction itself that is driving the argument, not any modern
interpretation of the distinction. The problem would not go away, for
example, if we were to think of appearances as the adverbialist does or
as the materialist does. For on any interpretation of the appearancereality distinction it will seem that we need an assumption to the effect
that appearances are a reliable guide to reality. And on any remotely
plausible interpretation of that distinction, such an assumption will not
itself be a necessary truth but rather a contingent truth about the way
things in fact are. But then the central premises of the Humean argument
are in place, and the problem of circularity arises.
Even if these Humean considerations could be avoided, there is
another argument in favor of premise (4) that is, in my opinion, unanswerable. Even if a non-circular inference from appearances to reality
were in principle possible, no such inference would be psychologically
plausible. In other words, it would not be plausible that such an inference is actually used when we form beliefs about objects on the basis of
sensory appearances. This is because an inference takes us from belief to
belief, but we do not typically have beliefs about appearances. In the
typical case, we form our beliefs about objects in the world without
forming beliefs about appearances at all, much less inferring beliefs about
the world from beliefs about appearances. And notice that this point
holds independently of how we are thinking of the ontology of appear-
87
ances. For example, we do not typically have beliefs about the ways in
which we are appeared to, and we certainly do not typically form beliefs
about what functional states we are in.
A third argument in favor of premise (4) also involves considerations
of psychological plausibility and would hold even if we could remove
the difficulty regarding beliefs about appearances. The argument is made
by Hume, but it has not been adequately appreciated. Specifically, any
inference that is particularly clever or sophisticated is unlikely to play a
role in perceptual knowledge, because even brutes and small children
learn from experience. And so invoking any complex inference here is,
once again, psychologically implausible. It is not plausible, for example,
that we actually make some complex inference to the best explanation
when we see that there is a cup on the table. Introspection certainly
does not reveal any such inference. And a small child knows that there
is a cup on the table before she is capable of much simpler reasoning.
This is a place where the empirical facts of human cognition trump
philosophical theorizing. And once again, these points do not depend
on our understanding appearances in any specific way, modern or otherwise.
We may conclude that the skeptical argument represented in (NGI)
does not involve the modern ontology in any essential respect. A quick
look at arguments (H2), (H3), and (D5) from Chapter 2, all versions of
the "no good inference" argument, confirms the points that have been
made with regard to (NGI). All of these arguments are driven by an
appearancereality distinction and some assumptions about the nature of
our evidence for objects in the world, but neither that distinction nor
those assumptions require a modern ontology for their interpretation or
their support. Therefore, the modern ontology of internal subjects and
external objects is not necessary for generating powerful arguments for
skepticism about the world. For the same reasons, rejecting the modern
ontology is not sufficient for refuting these arguments. Philosophers who
have thought that it is have taken false refuge in that position.
2. REALISM AND SKEPTICISM
I have been arguing that skepticism about the world does not depend
on a dualistic modern ontology. The strategy I have used to make the
argument is rather simple: I have shown that the best skeptical arguments
run just as well on other ontologies. More specifically, I have shown
that the arguments can run on a monistic materialist ontology, and that
88
89
90
that anything which is mental represents anything which is not mental? (Rorty,
91
92
the highway requires your attention. But although you do not think
about the highway, presumably you are conscious of it all the time.
Otherwise you would crash. Another example that illustrates the distinction is proprioception. At nearly every waking moment we are conscious of the position of our bodies, owing to receptors in our muscles.
This is why we do not bump into things, fall down, or knock things
over more often than we do. But we hardly ever think about the
position of our bodies. Our body position, in other words, is not constantly the object of our thought. Again, we can be conscious of things
without thinking about them.
It is plausible that this is the case with sensory appearances as well:
we are at every moment conscious of appearances, but we hardly ever
think about them. What we think about are the objects doing the
appearing, and that is why we are often ignorant of, or even wrong
about, their phenomenal properties. Of course, there are exceptions to
this. While an artist is painting, she might think hard about how a thing
appears, and any of us can turn our attention to the many shades of
color presented by a single facing wall. But these exceptions prove the
rule; we do not typically think about appearances, although we are
conscious of them at nearly every waking moment.
If this is right, then we can make good sense out of the claim that
sensory appearances serve as evidence without our thinking about them.
For although we do not typically think about appearances, we are at
every waking moment conscious of them. And our being conscious of
them is what allows them to serve as our evidence for beliefs about the
world. This position not only makes sense - it is almost certainly correct.
On the one hand, we do not typically think about appearances. On the
other hand, it seems obvious that our evidence for beliefs about the
world involves the way things appear to us through the senses. Consider
again my perceptual belief that the cat is on the couch. As I have already
said, it seems obvious to me that the reason I believe this is that this is
how things visually appear. And I mean that this is my reason in the
epistemic sense of "reason" this is how I know that my cat is on the
couch. How else would I know?
Finally, premise (4) of (NGI) does not presuppose representationalism. In fact, one of the reasons I gave in favor of premise (4) was that
we do not typically have beliefs about how things appear to us, and so
an inference from appearance to reality would be lacking in premises.
Even if such an inference were possible in principle, I argued, the claim
that we actually employ it in forming beliefs about the world is psycho-
93
In Chapter 8, I will argue that the modern ontology is not sufficient to generate skepticism
via any argument at all. In this regard I apply the relevant possibilities approach to argument
(D4) from Chapter 2, and argue that an adequate theory of evidence reveals that the skeptical
scenarios are not relevant possibilities. This, in turn, shows that (D4) makes a mistake about
the nature of evidence. But if the modern ontology is not sufficient here either, then all of
the best arguments for skepticism about the world will have been considered and I will be
warranted in drawing this conclusion without qualification.
94
95
good at remembering or describing appearances, surely I can say something about them when asked. But here we have to make a distinction
between a subconscious belief and a disposition to believe.8 That is, the
fact that I am disposed to form some beliefs about my sensory experience
when asked does not show that I had those beliefs all along. It is more
likely, I think, that such beliefs are originally formed upon consideration
of the question. In this case beliefs about appearances would be like
beliefs about previously unconsidered sums; if I ask you the sum of 122
and 345, you will form an accurate belief about this, but that is no
indication that you believed the answer all along. When we have this
distinction in mind, it is hard to maintain that we typically have even
subconscious beliefs about how things appear. And if we do not have
the beliefs, then we do not make inferences from them. Premise (4) of
the argument looks good.
What options for rejecting something in (NGI) are left? I suggest that
we focus on the move from premises (1) and (2) to (3). That move
seems initially plausible, but a closer look will reveal that it is not as
obvious at it might first appear. More specifically, the move implicitly
assumes that all evidential relations are inferential relations or at least it
assumes that the evidential relation between sensory appearances and
reality is inferential. Although these assumptions seem plausible and are
even widely accepted, I believe that this is the mistake that "no good
inference" arguments make.9
In the remainder of this section I try to make an initial case that this
is indeed the mistake made by the skeptical arguments we have been
considering. In Chapter 7, I defend a theory of knowledge that is
consistent with this diagnosis, and that provides a theoretical basis for it.
In other words, agent reliabilism not only shows that not all evidential
relations are inferential but explains why this is so. Very roughly, the
idea is as follows: According to agent reliabilism, knowledge is true
belief that arises out of reliable cognitive faculties and habits, or what we
may call "cognitive virtues." Such faculties and habits reliably put us in
touch with the world, providing a good cognitive fit between ourselves
8
96
and our environment. But not all cognitive faculties are inferential faculties. Our perceptual faculties, for example, put us in touch with the
world by reliably producing true beliefs directly on the basis of sensory
inputs. Here "directly" does not mean without prior training, concepts,
or presuppositions. Rather, it means non-inferentially that is, not on
the basis of inferences from prior premises serving as reasons. If this very
general picture is correct, then sensory appearances can be good evidence without the benefit of any inference from appearances to reality.
Inference from prior beliefs to further beliefs is one way to reliably form
true beliefs about one's environment, but there are non-inferential ways
as well.
I say this is only the "rough idea" because knowledge requires more
than reliability. For one thing, beliefs must be subjectively justified as
well as objectively reliable to count as knowledge. But we will see that
agent reliabilism can accommodate this condition on knowledge as well.
What we need is an account of subjective justification on which the
forming of beliefs about the world directly on the basis of sensory
appearances turns out to be so justified. Again, I begin the initial case in
the remainder of this section and continue it in Chapter 7.
a. The Elements of Perception
97
98
99
100
11 For a developed version of this kind of position, see John Pollock, Contemporary Theories
of Knowledge (Totowa, NJ: Rowman and Littlefield, 1986), esp. Ch. 5.
101
102
103
(R)
104
other manner. And this might be the case for the interpretation of
sensory appearances as well as for the interpretation of art. But then,
even if representationalism were correct even if we did form beliefs
about the world on the basis of thought about sensory appearances it
would not follow from this that we infer beliefs about the world from
beliefs about sensory appearances.
Is there another way in which representationalism entails skepticism?
Reid sometimes speaks as if he thinks that there is. Reid thinks that a
representationalist theory of ideas was shared by ancient and modern
philosophers alike, and that it was sufficient to generate skepticism:
Modern philosophers, as well as the Peripatetics and Epicureans of old, have
conceived that external objects cannot be the immediate objects of our thought;
that there must be some image of them in the mind itself, in which, as in a
mirror, they are seen. And the name idea, in the philosophical sense of it, is
given to those internal and immediate objects of our thoughts. The external
thing is the remote or mediate object; but the idea, or image of that object in
the mind, is the immediate object, without which we could have no perception,
no remembrance, no conception of the mediate object. (Essays, p. 226ab)
We ought, however, to do this justice to the Bishop of Cloyne and to the
author of the "Treatise of Human Nature," to acknowledge, that their conclusions are justly drawn from the doctrine of ideas, which has been so universally
received. . . . The theory of ideas, like the Trojan horse, had a specious appearance both of innocence and beauty . . . but carried in its belly death and destruction to all science and common sense. (Ibid., p. 132ab)
In these passages Reid calls our attention to a representationalist theory
of ideas that he thinks is common property throughout the history of
philosophy, and he credits Berkeley and Hume with recognizing that
theory's skeptical consequences. But is it the representationalism of the
theory of ideas that is the culprit? Reid attributes the following skeptical
argument to Berkeley. Notice that it is not a "no good inference argument," but instead trades on the inability of ideas to represent a material
world.
Bishop Berkeley gave new light to this subject, by shewing, that the qualities of
an inanimate thing, such as matter is conceived to be, cannot resemble any
sensation; that it is impossible to conceive anything like the sensations of our
minds, but the sensations of other minds. . . . But let us observe the use the
Bishop makes of this important discovery. Why, he concludes, that we can have
no conception of an inanimate substance, such as matter is conceived to be, or
of any of its qualities; and that there is the strongest ground to believe that there
105
is no existence in nature but minds, sensations, and ideas. . . . But how does this
follow? Why, thus; We can have no conception of anything but what resembles
some sensation or idea in our minds; but the sensations and ideas in our minds
can resemble nothing but the sensations and ideas in other minds; therefore, the
conclusion is evident. (Inquiry, pp. 131b132a)
The argument that Reid here attributes to Berkeley may be reconstructed as follows:
(B)
Premises (1) and (2) of Berkeley's argument amount to representationalism, and so that theory is playing a role here. Moreover, Reid is
convinced by other arguments from Berkeley that (4) is true. But premise (3) is a thesis of Berkeley's empiricism rather than an essential aspect
of representationalism. That is, representationalism per se is not committed to the thesis that representation must be by resemblance. But then
representationalism is not sufficient to generate skepticism via Berkeley's
inconceivability argument. For that you need a bad theory of representation; that is, you need the assumption that representation must be by
resemblance.
Here we might have a case where the analysis of a skeptical argument
drives positive philosophy of mind rather than epistemology. For premise (3) is not an epistemological thesis, but a thesis in the philosophy of
mind, or perhaps in semiotics. On the other hand, the thesis that representation requires resemblance is so implausible that it is hard to say that
we have learned any lesson at all. This is perhaps one of those cases
where an assumption can be rejected as soon as it is made explicit.
4. CONCLUSIONS
106
107
In the first four chapters I have been claiming that skeptical arguments
play an important role in philosophical inquiry. Such arguments act as
heuristic devices for driving positive epistemology in particular, as opposed to ontology or philosophy of mind. I mean this thesis to be both
prescriptive and descriptive. On the one hand, I am claiming that skeptical arguments ought to play this methodological role. On the other, the
claim is that such arguments do in fact play it. Nothing supports the
descriptive thesis more than the literature on the skeptical argument
from an infinite regress of reasons. That argument is beautifully simple,
but it has inspired debate over the nature of knowledge and evidence
for over two millennia.
The problem arises because it seems that one must have good reasons
for whatever one claims to know. But not any reason is a good reason;
one must have reasons for thinking that one's reasons are true. Accordingly, it seems that knowledge requires (per impossibile) an infinite regress
of reasons. An early version of the argument is attributed to the ancient
skeptic, Pyrrho. The passage quoted next is taken from Sextus Empiricus's discussion of Agrippa's five skeptical modes leading to the suspension of judgment. Agrippa, in turn, was systemizing the skeptical teachings of Pyrrho.1
1
For an excellent discussion of Agrippa's "Five Modes" and their relationship to contemporary theories of knowledge, see Fogelin, Pyrrhonian Reflections on Knowledge andJustification,
108
The Mode based on the extension to infinity is the one in which we say that
the proof offered for the verification of a proposed matter requires a further
verification, and this one another, and so on to infinity, so that since we lack a
point of departure for our reasoning, the consequence is suspension of judgement. (Sextus Empiricus, Outlines of Pyrrhonism, 1.15)
109
posterior items because of the prior items if there are no primitives. And they
are right for it is impossible to survey infinitely many items. And if things
come to a stop and there are principles, then these, they say, are unknowable
since there is no demonstration of them and this is the only kind of understanding
there is. . . .
The other party agree about understanding, which, they say, arises only through
demonstration, But they argue that nothing prevents there being demonstrations
of everything; for it is possible for demonstrations to proceed in a circle or
reciprocally.
We assert that not all understanding is demonstrative: rather, in the case of
immediate items understanding is indemonstrable. And it is clear that this must
be so; for if you must understand the items which are prior and from which
the demonstration proceeds, and if things come to a stop at some point, then
these immediates must be indemonstrable. (Posterior Analytics, Book Alpha,
Chapter 3)
In these passages the problem is put in terms of giving "proofs,"
"rational explanations," and "demonstrations." Accordingly, these historical formulations might be criticized for setting the requirements for
knowledge too high. Alternatively, someone might think that the arguments do not threaten knowledge at all, since they are directed at
"understanding," or sdentia, or some other property requiring stronger
conditions than knowledge does.2 But either of these responses would
miss the real force of the skeptical reasoning being considered. The
central theme that drives the regress argument is that positive epistemic
status in general requires being based on good evidence. To put the idea
another way: anything that counts as knowledge (or understanding, or
sdentia) must be believed on the basis of good reasons for thinking that
the thing in question is true. Accordingly, the infinite regress argument
can be reconstructed as follows:
(IR)
For a position along these lines, see Eleonore Stump, "Aquinas on the Foundations of
Knowledge," Canadian Journal of Philosophy, supplementary volume 17 (1992): 125-158.
110
111
112
113
These passages show that foundationalism, coherentism, and contextualism are offered quite explicitly as solutions to the regress argument.
As such the literature on this debate offers a clear confirmation that the
analysis of skeptical arguments drives positive epistemology. The dialectic at work here is that theorists assume that there must be some mistake
in the argument. A particular theory is then offered as explaining exactly
where the argument goes wrong. Moreover, it is not uncommon for
philosophers to argue against an alternative solution on the grounds that
it does not really avoid skepticism. In the following passage Goldman
criticizes Bonjour's coherentism for placing unrealistic demands on
knowledge and therefore having unacceptable skeptical results:
It should be clear on reflection that this is a severely unrealistic demand. It is
most implausible to suppose that garden-variety perceptual beliefs and memory
4 Bonjour, "The Coherence Theory of Empirical Knowledge," in Paul Moser, ed., Empirical
Knowledge (Totowa, NJ: Rowman and Littlefield, 1986), p. 117. Reprinted from Philosophical
Studies 30 (1976): 281-312.
5 David Annis, "A Contextualist Theory of Epistemic Justification," in Moser (1986), p. 208.
Reprinted from American Philosophical Quarterly 15 (1978): 213-219.
114
beliefs are based on inferences from premises of the indicated sort. Yet we
commonly impute knowledge and justification in these cases. Not only are very
few beliefs actually based on such inferences, it seems likely that the only people
who possess the relevant premise beliefs (or even possess the constituent concepts) are people with epistemological training and sophistication. It would
therefore follow on Bonjour's view that only these people are deserving subjects
of the terms "knower" and "justified believer." But is it plausible to suggest
that philosophical sophisticates are the only people with knowledge or justified
belief?6
Here the assumption is that skepticism is false, and that therefore any
theory of knowledge that has skeptical consequences, intended or otherwise, is also false.
In this regard Fogelin charges the literature on the regress argument
with blatant question begging. According to Fogelin, it is not appropriate to assume that skepticism is false and then defend one's own position
on that basis. But this, he says, is exactly what so many contemporary
analytic philosophers do:
The third success condition for a theory of epistemic justification is that it not
beg the question against Pyrrhonism by making the argument depend on assuming its falsehood. It is remarkable how often epistemologists do this, quite
explicitly, without a blush. The following specimen comes from Chisholm:
There is the Aristotelian argument to the effect that some of the things I
am justified in believing are self-justifying. The argument is easier to
ridicule than to refute. If my justification for accepting a certain proposition q requires me to go beyond and to appeal to a certain other proposition p, then I'm also justified in accepting q. Therefore these are the
three possibilities; either there is an infinite regress; or there is a circle; or
some propositions I'm justified in believing are self-justifying. But the
first two of these three possibilities are inconsistent with the fact that I do
know something. Therefore some propositions are self-justifying.
The underlying assumption of this passage is that beliefs that we take to be
justified already are justified. The task is to show how. 7
H e remarks,
6
Goldman, "Bonjour's The Structure of Empirical Knowledge," in Bender (1989), p. 108. Several
essays in Bender object to coherentism on the basis of psychological implausibility. See esp.
Hilary Kornblith, "The Unattainability of Coherence," and James Bogen, "Coherentist
Theories of Knowledge Don't Apply to Enough Outside of Science and Don't Give the
Right Results."
7 Fogelin, p. 141. He quotes Chisholm, "Comments and Replies," Philosophia 7 (1978): 597636, at p. 598.
115
8 Fogelin, p. 143.
See Chisholm, "The Problem of the Criterion." See also The Theory of Knowledge, 2nd ed.,
p. 16: "We presuppose,first,that there is something that we know and we adopt the working
hypothesis that what we know is pretty much that which, on reflection, we think we know.
This may seem the wrong place to start. But where else could we start?"
116
117
118
119
b. Objections
10 Similar points are made by William Alston in "Has Foundationalism Been Refuted?",
Philosophical Studies 29 (1976): 287-305, and by Laurence Bonjour in "Can Empirical
Knowledge Have a Foundation?", American Philosophical Quarterly 15 (1978): 1-13. See also
Robert Audi, The Structure of Justification (Cambridge: Cambridge University Press, 1993).
120
121
122
These judgements are absolutely secure, but not in the sense that they are
'intrinsically certain,' as this is understood by the traditional epistemologist. Our
conviction in them is not properly conceived as epistemic certainty regarding
the truth of empirical propositions, for which the question of justification must
inevitably arise, but as the immediate exercise of our practical mastery of our
techniques for describing the world, for which the question of justification
makes no sense.
Whatever the merits of this account of basicality, the relevant point here
is that there must be something that distinguishes beliefs that are appropriately basic in a given context from beliefs that are not; there must be
something that gives some beliefs but not others their epistemic efficacy,
so to speak. But once this point is clearly understood, what is left to the
claim that contextually basic beliefs are not known or epistemically
justified? If the point is just a verbal one about the terms "known" and
"justified," then it does not address the substantive issue at hand. But if
the point is that such beliefs have no positive epistemic status whatsoever, then it is implausible. Perceptual beliefs that describe the world
around me and that are used as evidence for believing other things are
superior in epistemic status to flightful fancies and wild guesses. That is
why they can be used as evidence for believing other things, while
fancies and guesses cannot.
Versions of contextualism that deprive contextually basic beliefs of
positive epistemic status are therefore implausible. Once the issue is
clearly put, it appears that the contextualist should say that basic beliefs
do have positive epistemic status, although their having such depends on
the context in which a given belief arises. This is what I called type 2
contextualism.
This second position is explicitly endorsed by Annis. According to
his version of contextualism, a central issue of justification is whether a
believer is capable of answering relevant objections. Second, justification
is relativized to an "issue-context," which determines both the level of
understanding required of the believer and the persons whose objections
must be answerable. Without going into the details, a belief is contextually basic on this view so long as it evokes no relevant objections. The
idea is that after a point all legitimate objections will be met and the
regress of reasons appropriately ends at that point. But since this stopping
place is partly determined by context, Annis's view is rightly considered
a version of contextualism.13
13 Annis, "A Contextualist Theory."
123
15
124
125
4. COHERENTISM
126
19 See Bonjour, "The Coherence Theory of Empirical Knowledge," and The Structure of
Empirical Knowledge (Cambridge, MA: Harvard University Press, 1985).
20 See, e.g., Keith Lehrer, "The Coherence Theory of Knowledge," Philosophical Topics 14
(1986): 525, and Lehrer, "Coherence and the Truth Connection: A Reply to My Critics,"
in Bender (1989).
127
In the following sections we will be pursuing the argument that coherentism is psychologically implausible. But since different kinds of coherentism are implausible in different ways, it will be necessary to consider
traditional and nontraditional theories separately.
The following passage from Bonjour indicates that he conceives of
the coherence relation in terms of traditionally accepted inference relations.
What, then, is coherence? Intuitively, coherence is a matter of how well a body
of beliefs "hangs together": how well its component beliefs fit together, agree
or dovetail with each other, so as to produce an organized, tightly structured
system of beliefs, rather than either a helter-skelter collection or a set of conflicting sub-systems. It is reasonably clear that this "hanging together" depends on
the various sorts of inferential, evidential, and explanatory relations which obtain
among the various members of the system of beliefs, and especially on the more
holistic and systematic of these. Thus various detailed investigations by philosophers and logicians of such topics as explanation, confirmation, probability, and
so on, may reasonably be taken to provide some of the ingredients for a general
account of coherence.21
Bonjour's view is therefore an example of a traditional coherence theory. The objection I want to raise against this kind of theory is summed
up by John Pollock's observation that perception is not inference. The
problem for such theories is that at least some of our beliefs are both
non-inferential and justified, but according to traditional coherence theories all beliefs having positive epistemic status get it by being inferentially supported by other beliefs. In the following passage Pollock
considers the proposal that his perceptual belief that a book on his table
is red depends for its justification on an inference from reasons:
21
128
The trouble with this proposal is that there are no plausible candidates for such
a reason. What could such a reason be? One suggestion I have heard is that our
reason is the second-order belief that we believe the book to be red, but the
claim that we ordinarily have such second-order beliefs is no more plausible
than the foundationalist claim that we ordinarily have appearance beliefs. Furthermore, what could our reason be for the second-order belief? . . . The general difficulty is that perception is not inference. When I believe on the basis of
perception that the book is red, I do not infer that belief from something else I
believe. Perception is a causal process that inputs beliefs into our doxastic system
without their being inferred from or justified on the basis of other beliefs we
already have.22
Bonjour's strategy for avoiding this kind of objection is to show just
h o w inferential justification for perceptual beliefs proceeds. Bonjour asks
what sort of inferential justification might be available for the perceptual
belief that there is a red book on the table:
First, the belief in question is a visual belief, i.e. it is produced by my sense of
sight; and I am, or at least can be, introspectively aware of this fact. Second, the
conditions of observation are of a specifiable sort: the lighting is good, my eyes
are functioning normally, and there are no interfering circumstances; and again,
I know or can know these facts about the conditions, via other observations and
introspections. Finally, it is a true law about me (and indeed about a large class
of relevantly similar observers) that my spontaneous visual beliefs in such conditions about that sort of subject matter (viz., medium-sized physical objects)
are highly reliable, i.e. very likely to be true; and, once more, I know this law. 23
These observations suggest to Bonjour the following general account of
inferential justification for perceptual beliefs:
(i) I have a spontaneous belief that P (about subject-matter S) which is an
instance of kind K.
(ii) Spontaneous beliefs about S which are instances of K are very likely to
be true, if conditions C are satisfied.
(iii) Conditions C are satisfied.
Therefore, my belief that P is (probably) true.
Therefore, (probably) P. 24
Several comments are in order. First, it would seem that to be justified
in believing P via premises (i) through (iii), one must be justified in
22 Pollock, Contemporary Theories of Knowledge, p. 75.
23 Bonjour The Structure of Empirical Knowledge, p. 291.
24
Ibid., p. 295.
129
130
Ibid., p. 9.
27
131
An example from Wayne Davis and John Bender will help to illustrate the problem:
Consider an acceptance system containing the following propositions.
(1)
(2)
(3)
(4)
(5)
132
133
134
neither a belief nor a relation among beliefs and so does not affect the
coherence of B's beliefs.30
Sosa's example involves an introspective belief about one's own mental state, but a similar example can be constructed for sensory perception.
For example, visual beliefs are typically involved in few relevant relations
with other beliefs. In the case where I have a perceptual belief that there
is a tree before me, an equally coherent system can easily be constructed
for the belief that there is a stump before me. And now Sosa's reasoning
can be applied to these perceptual cases. In the first case, part of what
justifies me in believing that there is a tree is surely my experience that
there seems to be a tree. In the second case, I am not justified in
believing that there is a stump, despite the fact that, by hypothesis, this
new belief fits into an equally coherent system for my experience is
that there seems to be a tree and not a stump.
Notice that this kind of objection is effective against coherentism
whether we are thinking of appearances as thin or thick. On the one
hand, it seems that I cannot be justified in my belief that there is a stump
before me if things appear phenomenally as if there were a tree rather
than a stump. But even more clearly, I cannot be justified in believing
that there is a stump before me if the representational content of my
sensory experience is that the thing is a tree. Either way we think of
appearances, the justification of perceptual beliefs depends on the way
things appear, and not merely on our having beliefs about the way
things appear.
As I have already noted, the present objection mirrors the main
objection brought against nontraditional coherence theories; just as what
inferences one makes counts in determining whether an inferential belief
is justified, what experiences one has counts in determining whether a
perceptual belief is justified. But then, contra coherentism, the justification of perceptual beliefs is not reducible to beliefs or relations among
beliefs.
8. CONCLUSIONS
Ernest Sosa, "The Raft and the Pyramid: Coherence versus Foundations in the Theory of
Knowledge," in Knowledge in Perspective, pp. 184185. Reprinted from Midwest Studies in
Philosophy 5 (1980): 3 - 2 5 .
135
136
137
clearly distinguished we can see that objection (a) is effective only against
the argument from Section VII. Objections (b) and (c) are effective
against neither argument.
In Part I of this of chapter, I reconstruct the two skeptical arguments
from Hume and evaluate the force of objections (a) and (b). I consider
these objections to be type-b dismissive responses, since they engage
Hume's actual reasoning only superficially. In Part II I consider objection (c), which we will see is not a dismissive response. However, I
think that this very common objection to Hume ultimately misunderstands his skeptical reasoning about unobserved matters of fact. Hume is
not a skeptic about the epistemic efficacy of inductive inferences.
Rather, he is skeptical that our beliefs about unobserved matters of fact
have even inductive support. Understanding Hume's argument this way
makes it far more powerful than it is usually understood to be, for almost
everyone thinks that inferences must be at least inductive to give rise to
knowledge. I argue that such is not the case, and that this is the real
lesson of Hume's argument. This in turn poses a problem for positive
epistemology: any adequate account of knowledge must explain how
evidence can produce knowledge even if that evidence does not inductively support its conclusions. I end by pointing to a theory of knowledge that would do the job. Chapter 7 develops this theory with an eye
on the lessons from the preceding chapters as well. In the next chapter,
therefore, we make the transition to positive epistemology.
138
139
140
141
John Dewey, Reconstruction in Philosophy (Boston: Beacon Press, 1957), pp. 8283.
2 Ibid., p. 90.
142
143
In fact, Hume does not even need this distinction. What he needs is the assumption that
the regularity principle must be justified by empirical reasoning, together with the assumption that empirical reasoning always involves the regularity principle. However, I will continue to employ the present distinction in reconstructing Hume's argument, since this more
closely parallels Hume's argument in the text.
144
(UMF1B)
For an example of this kind of objection see Rescher, Scepticism: A Critical Appraisal, esp.
Ch. II. We may also include here Dewey's railings against the quest for certainty and Peirce's
insistence on fallibilism.
145
with our beliefs about unobserved matters of fact is that they lack any
positive epistemic status whatsoever; it is not that they lack absolute
certainty.
We can see this by looking at the basic structure of (UMF1). In
premises (2) through (4) Hume identifies five possible sources of justification and declares four of the five to be irrelevant to the supposition
that unobserved cases will resemble observed cases. That supposition is
a contingent truth about unobserved cases. Memory deals with the past,
and empirical observation deals with present observed cases. Demonstrative reasoning and intuition deal with necessary truths. The only relevant
source ofjustification for the supposition would be moral reasoning, but
moral reasoning so employed would be circular.
The problem with circular reasoning, however, is not that it fails to
provide absolute certainty. Rather, the problem is that circular reasoning
provides no support at all for conclusions drawn from it. If Hume's
argument is sound, then our beliefs about unobserved matters of fact are
wholly lacking in positive epistemic status. Absolute certainty is not the
issue.
See Barry Stroud, Hume (London: Routledge and Kegan Paul, 1977), p. 56, n. 11; D. C.
Stove, Probability and Hume's Deductive Scepticism (Oxford: Clarendon Press, 1973), p. 51.
Versions of the objection to Hume can be found in Reid and Peirce, but it has been more
recently articulated and further developed by Stove in several essays and in his book just
cited. Some form of the objection is defended in P. Edwards, "Bertrand Russell's Doubts
about Induction," in Anthony Flew, ed., Logic and Language, First Series (Oxford: Blackwell,
1951); P. F. Strawson, Introduction to Logical Theory (London: Methuen, 1952); Stroud, Hume;
and Anthony Flew, David Hume (Oxford: Blackwell, 1986), among others.
146
1. THE OBJECTION
At first glance the objection seems wrong. For Hume clearly distinguishes between demonstrative and moral reasoning and then argues that
neither of these can justify our beliefs about unobserved matters of fact.
If we make the plausible assumption that Hume's "moral reasoning"
roughly corresponds to what we mean by "inductive reasoning," then
Hume cannot be said to assume that inductive reasoning is not epistemically efficacious. On the contrary, Hume has given an argument for
that position: such reasoning always employs the regularity principle, but
that principle is unjustified and must remain unjustified. In particular,
inductive reasoning cannot justify the principle because such reasoning
presupposes it, and so that would be going in a circle.
How, then, does Hume assume that only deductive inferences give
rise to knowledge and justified belief? At this point the objection gets
interesting. Why, it is asked, does Hume think that all moral reasoning
presupposes the regularity principle? The answer, according to the present objection, is that Hume thinks that the principle is needed to make
moral reasoning deductively valid. So although Hume explicitly makes
a distinction between demonstrative and moral reasoning, he implicitly
assumes that only deductive reasoning is epistemically respectable.
Hume's assumption that the regularity principle must be involved in
moral reasoning is really an assumption that moral reasoning must be
deductive.
Stove articulates the objection nicely in the following passages.
Sometimes when we say of an argument from p to q, that it presupposes r, our
meaning is as follows: that, as it stands, the argument from p to q is not valid,
and that, in order to turn it into a valid argument, it would be necessary to add
to its premisses the proposition r. I believe that this is the sense in which
"presuppose" occurs in . . . Hume's argument.
Hume's argument in stage 2 may therefore be summed up in the following
way: from premisses which prove at most the invalidity of predictive-inductive
inferences, along with the unstated premiss that an inference is unreasonable if
147
148
149
Ian Hacking attributes a similar concept to Jeffreys and Keynes. "[I]n the early decades of
this century, there was much interest in the theory advanced by Harold Jeffreys and J. M.
Keynes, according to which the probability conferred on a hypothesis by some evidence is
a logical relation between two propositions. The probability of/*, in the light of e, is something like the degree to which h is logically implied by e." Ian Hacking, The Emergence of
Probability (Cambridge: Cambridge University Press, 1975), pp. 13-14.
150
i. Ninety-five percent of the dogs that live in New York City bite.
Fido is a dog that lives in New York City.
Therefore, Fido bites.
ii. Patent attorneys usually make good money.
Joe is a patent attorney.
Therefore, Joe makes good money.
iii. People who make promises they can't keep tend to regret it.
Therefore, if you make a promise you can't keep you will regret it.
iv. The grocery store used to be on Main Street.
Things haven't changed much around here.
Therefore, the grocery store is still on Main Street.
151
152
Some commentators on Hume have noticed that adding the regularity principle (as Hume
formulates it) to one's evidence for unobserved matters of fact does not indeed generate
deductive inferences. But they have missed the significance of this, taking it to be a criticism
of Hume rather than an objection to their interpretation. See, e.g., Strawson, Introduction to
Logical Theory.
153
not only coherent but plausible. For example, the main argument from
Section IV of the Enquiry can now be read as follows:
(UMF3)
154
to clear up this matter, let us consider all the arguments upon which such a
proposition may be suppos'd to be founded, (pp. 8889)
155
point holds. If the first premise of that argument is supported by observing all of the dogs in New York City, then Fido was observed, and so
the conclusion does not go beyond observed cases. If the first premise is
not supported by observing all dogs, then it must be arrived at via an
argument involving the regularity principle or else via an argument that
is nonsupportive.
What this objection recognizes is that Hume's skeptical argument
runs as nicely on the assumptions I have attributed to him as it does on
the dubious assumption that only deductive inferences are justification
conferring. However, the objection goes, the assumptions I have put in
Hume's argument are just as implausible as the rationalist deductivism
others have attributed to him. That is the point I want to address now.
I do so by articulating a non-rationalist motivation for the assumption
that all evidence must be deductive-supportive or inductive-supportive.
I argue that the assumption arises quite naturally out of considerations
about what knowledge requires, and that rejecting the assumption
threatens results that many have found counterintuitive. My conclusion
is that rejecting the assumption amounts to a substantive and even
surprising position regarding the nature of evidence. 9
The assumption that I have been attributing to Hume amounts to
this: An inference can confer justification on its conclusion only if there
is a necessary relation of support between the premises and the conclusion. Alternatively, evidence can confer justification on a belief only if it
is deductive-supportive or inductive-supportive. Why might one think
that such an assumption is plausible? We can answer that question by
considering some cases of reasonable and unreasonable belief.
First, consider a mathematician who knows that certain axioms are
true and who proves a theorem on the basis of those axioms. By seeing
that the theorem is entailed by the axioms, the mathematician comes to
know the theorem. Contrast this situation with that of a novice who
also knows that the axioms are true but who merely guesses that the
The assumption that good inductive inferences should necessarily confer probability is manifested in Carnap's attempt to formalize inductive logic and in Bayesian attempts to reduce
inductive reasoning to the laws of probability. See, e.g., Rudolf Carnap, Logical Foundations
of Probability (Chicago: University of Chicago Press, 1950), and Paul Horwich, Probability
and Evidence (Cambridge: Cambridge University Press, 1982). It is perhaps also behind
Peirce's attempts to prove that the scientific method necessarily discovers the truth in the
long run. An informative historical overview of different concepts of probability and induction, but in somewhat different categories, is provided by Hacking, The Emergence
of Probability.
156
theorem is true. Obviously the novice does not come to know the
theorem, and a reasonable explanation is that he has no awareness of the
relationship between the axioms and the theorem. If the novice knew
that the axioms entailed the theorem, then he too would know the
theorem.
Next consider a case of reasoning about a matter of fact. A mechanic
sees green liquid dripping from underneath the front of a car and infers
that the car's radiator is leaking. The mechanic's belief is at least reasonable and may even amount to knowledge. Surely one relevant feature of
the case is that the mechanic knows that dripping green liquid is a
reliable indication of a leaking radiator. Again, the mechanic is aware of
the relationship between the truth of her premises and the truth of her
conclusion. Suppose that someone not very familiar with automobiles
observes green liquid leaking from his car. If the person does not understand that this is a reliable indication that his radiator is leaking, then
surely he cannot know on the basis of his observation that his radiator is
leaking. Or suppose that dripping green liquid were not a reliable indication of a leaking radiator. Then even if a person thought that it was,
the observation of dripping liquid could not allow him to know that his
radiator was leaking.
These examples support two conclusions about the nature of evidence. First, a body of evidence E can confer justification on a conclusion C only if the truth of E is a reliable indication of the truth of C.
Second, a body of evidence E can confer justification on a conclusion
C for a person S, only if S is sensitive to the fact that the truth of E is a
reliable indication of the truth of C. 10
The following question now arises: How is it that in cases of knowledge and reasonable belief, S becomes sensitive to the fact that the truth
of her evidence is a reliable indication of the truth of her conclusion? In
cases where the evidence is deductive-supportive or inductivesupportive a possible answer is that S can just "see" that the truth of the
conclusion is entailed or made likely by the truth of the evidence. The
"seeing" here is not literal seeing, but a kind of intuitive seeing associated with the knowing of self-evident necessary truths. The idea is that
10 Compare Richard Fumerton, Metaepistemology and Skepticism (Lanham, MD: Rowman and
Littlefield, 1995). According to Fumerton, the following "Principle of Inferential Justification" is a platitude: To be justified in believing one proposition P on the basis of another
proposition E, one must be (1) justified in believing E and (2) justified in believing that E
makes probable P.
157
158
159
For example, see Bonjour, The Structure of Empirical Knowledge, and Fumerton, Metaepistemology and Skepticism.
160
further connecting beliefs. If connecting beliefs express necessary relations, then their justification can be non-inferential, but a different
problem arises for either of two further possibilities. If the beliefs express
a semantic relation implying reliability, then Humean problems arise as
before: r and p are semantically related only if r involves something like
the regularity principle, and so we encounter problems about the justification of r. If connecting beliefs express a non-semantic relation, perhaps about some kind of epistemic justification that does not imply
reliability, then Audi's position fails to accommodate the intuition
above: that knowledge requires that a person be sensitive to the reliability of her evidence.13
This suggests that an adequate epistemology ought to adopt a different
strategy for solving the problem at hand. Such an epistemology must
give some account of how we can be sensitive to the reliability of our
inferences, even when those inferences are not necessarily reliable, and
even if we do not have beliefs about those inferences. How such an
account would go is an open question, and the Humean considerations
we have just rehearsed should convince us that it is a difficult one. In
any case, Hume's skeptical argument suggests this further condition of
an adequate theory of evidence.
To sum up, in this chapter I have offered a reconstruction of Hume's
skeptical reasoning that is consistent with the text, and that avoids the
standard objection that Hume assumes only deductive inferences can be
justification conferring. Second, I have argued that the resulting skeptical
argument is a powerful one, and that rejecting it forces us to adopt a
substantive and even surprising position in our positive account of the
nature of knowledge and evidence. Finally, I have argued that Hume's
skeptical reasoning suggests two conditions for an adequate theory of
evidence. Specifically, any adequate theory will have to explain (a) how
contingently reliable inferences can be justification conferring and (b)
how knowers can be sensitive to the reliability of such inferences.
In Chapter 7, I defend a theory of knowledge and evidence that does
just this. The theory is a version of reliabilism, because it holds that
knowledge arises from the reliable cognitive powers of believers. As
such, the theory adopts the strategy of simple reliabilism in making the
reliability of empirical reasoning contingently reliable. But the theory
goes beyond simple reliabilism by affirming that knowledge requires a
13 A similar trilemma arises for Fumerton, since he accepts the Principle of Inferential Justification. See my note 11.
161
162
163
7
Agent Reliabilism
164
/. Simple Reliabilism
I now turn to the argument that reliabilism provides a theoretical explanation for the conclusions of Chapters 2 through 6. I begin by sketching
the view and then turn to the concerns of (a) through (d) just reviewed.
1. SIMPLE RELIABILISM: THE BIG IDEA
Simple reliabilism is the view that knowledge arises from reliable cognitive processes. Here "reliable" cannot mean "reliable in producing
knowledge." That would be to give a circular account of knowledge.
Rather, reliable cognitive processes are ones that are reliable in arriving
at truth.
Note that we need not load much into the word "truth" here. For
165
166
where the object is in reasonable proximity. In short, the visual processes in the
former category are less reliable than those in the latter category. 2
With this sketch in place we can see that simple reliabilism confirms the
conclusions of Chapters 2 through 6. In other words, simple reliabilism
gives us a theory of knowledge and evidence that explains why the
skeptical assumptions rejected in those chapters are false. Let us take a
closer look.
a. Why Not All Evidence Is Inferential
First, simple reliabilism explains why not all evidential relations are
inferential. I suggested in Chapter 4 that the most general characterization of the evidential relation is as follows: A cognitive state (such as a
belief or experience) is evidence for another cognitive state if and only
if being in the first state tends to confer positive epistemic status on the
second state. If reliabilism is true, then the way that this works is through
reliable cognitive processes. Such processes take an initial cognitive state
2 Ibid., p. 180.
If we define "deduction" as a cognitive process that employs valid (truth-preserving) reasoning, then deduction is perfectly (conditionally) reliable. However, we will need to define
another process, a pseudodeduction, to recognize cases where mistakes are made. Alternatively, we may use "deduction" to designate a process whereby one intends to reason validly,
in which case not even deduction will be perfectly reliable. Compare Sosa, Knowledge in
Perspective, pp. 227-233.
167
168
Model of Justification" and subjects it to similar critique. See, e.g. his essay "The Raft and
the Pyramid," in Knowledge in Perspective, esp. pp. 169173. Compare also James VanCleve,
"Epistemic Supervenience and the Circle of Belief," Monist 68 (1985): 90-104.
6 In Chapter 9, I invoke schema theory in psychology to make these claims about non-
169
From what has already been said we can see how simple reliabilism
explains the possibility of foundational knowledge, or knowledge not
based on further justifying reasons. If we conceive of justifying reasons
as evidential beliefs from which knowledge is to be inferred, then not all
knowledge needs further reasons, because some knowledge is based
directly on sensory appearances. In this way the regress of justifying
reasons comes to an end. In the preceding discussion we have already
seen the theoretical explanation for this. According to simple reliabilism,
positive epistemic status is a function of the reliability of cognitive
processes, and therefore so long as perceptual processes are reliable they
generate positive epistemic status. This is so even though such processes
involve no justifying reasons from which perceptual beliefs are inferred.
So if reliabilism is true, then not all knowledge is based on justifying
reasons. This is because we are conceiving reasons as further beliefs from
inferential perception less vague. The main idea is that perception involves "scripts" or stories
through which sensory appearances are processed. The perceptual dispositions that result are
theoretically loaded, to be sure. But they are best understood, I argue, as being noninferential they ground a process very different from inferring conclusions from premises.
Goldman discusses work in empirical psychology which shows that background assumptions
and other contextual features can increase reliability in perception. See Epistemology and
Cognition, esp. pp. 188191. There he cites G. Reicher, "Perceptual Recognition as a Function of Meaningfulness of Stimulus Material," Journal of Experimental Psychology 81 (1969):
275280; E. Tulving, G. Mandler, and R. Baumal, "Interaction of Two Sources of Information in Tachistoscopic Word Recognition," Canadian Journal of Psychology 18 (1964):
6271; and D. D. Wheeler, "Processes in Word Recognition," Cognitive Psychology 1
(1970): 59-85.
170
Here we must make a distinction between cognitive states that serve as truth-indicating
grounds for a belief, and those involved in a beliefs production in some other manner.
E.g., some beliefs might serve merely as background assumptions governing cognition;
others might act as defeaters of counter-evidence.
9 For useful discussions of this question with regard to memory and logical intuition, see
Plantinga, Warrant and Proper Function, esp. pp. 5764 and pp. 103110.
10 The phenomenon of Hindsight might offer an example of the third kind of cognitive
process. Individuals with certain kinds of brain injury lack the normal phenomenology of
171
vision. However, testing shows that they can retain the ability to detect spatial locations of
objects and can even improve it with practice. The explanation is that information about
light hitting the retina is successfully carried to relevant parts of the brain, even though the
information now bypasses parts of the brain associated with the production of visual imagery. However, the evidence for a third kind of cognitive process is ambiguous here. Even
in cases of Hindsight people report an odd kind of phenomenology, although it is not that
of visual appearances.
11 For excellent discussions on the relationship between reliabilism and induction, see Plantinga, Warrant and Proper Function, esp. Ch. 7; Hilary Kornblith, Inductive Inference and Its
Natural Ground (Cambridge, MA: MIT Press, 1993); and James Van Cleve, "Reliability,
Justification, and the Problem of Induction," Midwest Studies in Philosophy 9 (1984), 555567.
12 Van Cleve, "Reliability, Justification, and the Problem of Induction."
172
173
indicate the same physical realities for these creatures; the way that a tree
appears to a bat using sound-based sonar is nothing like the way the
same tree appears to a human being using light-based vision. Consider
also that the way things appear to us now could have indicated different
physical realities. For that matter, we could have been built so that visual
appearances reliably indicated nothing at all about objects in the world.
The point is that there is no necessary relation between the way things
appear and the way things are. That certain appearances reliably indicate
certain real properties is merely a contingent fact.
This means that there is an important analogy between perceptual
evidence and our evidence for unobserved matters of fact: namely, in
each case our evidence for the relevant kind of belief is only contingently
reliable. We saw in Chapter 6 that this creates a problem for any
adequate understanding of inductive evidence. On the one hand,
knowledge seems to require that the knower be sensitive to the reliability of her evidence. On the other hand, it is hard to see how one could
be sensitive to this if one's evidence is only contingently reliable. I am
now suggesting that exactly the same problem arises for a theory of
perceptual evidence as well.
Finally, we should note that the problem cannot be avoided by
thinking of sensory appearances as having representational content. This
is because it remains a contingent matter whether sensory appearances
having a particular representational content are reliable indications of the
truth of beliefs having that same content. For example, in normal circumstances and in normal perceivers, there seeming visually to be a tree
bearing apples by the brook is a reliable indication that there is a tree
bearing apples by the brook. But this is a contingent fact about human
visual perception rather than a necessary truth. Just as it could have been
the case that visual phenomenal qualia do not reliably indicate anything
about objects in the world, it could have been the case that thick visual
seemings do not either.
3. FROM PROCESSES TO VIRTUES
We have seen that simple reliabilism has much in its favor. The theory
explains why each of the conclusions in (a) through (d) is correct and
therefore explains why the skeptical arguments in Chapters 2 through 6
are mistaken. It is, therefore, the kind of theory that we are looking for.
But simple reliabilism is not quite right. It is on the right track, to be
sure, but it is in need of some revision to bring it into better shape.
174
175
have not come up for long strings are more likely to come up next.
However, unlike Descartes' demon victim, our Rene has a demon
helper: every time Rene forms a belief that a number will come up
next, the demon arranges reality so as to make the belief come out true.
Given the ever present interventions of the helpful demon, Rene's
belief-forming process is highly reliable. But this is because the world is
made to conform to Rene's beliefs, rather than because Rene's beliefs
conform to the world.
These examples of strange but reliable processes show that simple
reliabilism is too weak. More exactly, it would seem that not just any
reliable cognitive process can give rise to positive epistemic status. That,
in turn, raises the question of what the appropriate restriction should be.
How can simple reliabilism be revised so as to exclude these strange
cases as counting for knowledge and justified belief? The answer is
suggested in the following passage from Sosa, where he is considering
how a certain move in ethics might fruitfully be applied to epistemology:
In what sense is the doctor attending Frau Hitler justified in performing an
action that brings with it far less value than one of its accessible alternatives?
According to one promising idea, the key is to be found in the rules that he
embodies through stable dispositions. His action is the result of certain stable
virtues, and there are no equally virtuous alternative dispositions that, given his
cognitive limitations, he might have embodied with equal or better total consequences, and that would have led him to infanticide in the circumstances. The
important move for our purpose is the stratification of justification. Primary
justification attaches to virtues and other dispositions, to stable dispositions to
act, through their greater contribution of value when compared with alternatives. Secondary justification attaches to particular acts in virtue of their source
in virtues or other such justified dispositions.
The same strategy may also prove fruitful in epistemology. Here primary
justification would apply to intellectual virtues, to stable dispositions for belief
acquisition, through their greater contribution toward getting us to the truth.
Secondary justification would then attach to particular beliefs in virtue of their
source in intellectual virtues or other such justified dispositions.15
Relevant to present purposes is Sosa's suggestion for a restriction on
reliable cognitive processes: it is those processes that have their bases in
the stable and successful dispositions of the believer that are relevant for
knowledge and justification. Just as the moral rightness of an action can
be understood in terms of the stable dispositions or character of the moral
15 Sosa, "Raft and Pyramid," pp. 167-168.
176
177
18 William Alston, "A 'Doxastic Practice' Approach to Epistemology," in Marjorie Clay and
Keith Lehrer, eds., Knowledge and Skepticism (Boulder: Westview, 1989); and Alston, Perceiving God (Ithaca: Cornell University Press, 1991), esp. Ch. 4.
19 It is clear that Alston means to define a practice in the second way. He writes, "A doxastic
178
of the view, social practice reliabilism becomes a version of agent reliabilism, but with further details about the nature of cognitive dispositions.
In effect, it says that knowledge and justified belief are grounded in the
reliable dispositions of agents, and that these are to be understood in
terms of reliable social practices.
This means that agent reliabilism is sufficiently general to admit of
many versions, depending primarily on how one fills in the details
regarding the nature of reliable character. Understood thus generally, the
position is widely popular in contemporary analytic epistemology.20 Historically, the theory has its roots in the AristotelianThomistic conception of the person as the seat of intellectual powers, and in Reid's antiskeptical faculty epistemology.21
But despite current popularity and excellent historical credentials,
agent reliabilism is by no means uncontroversial. In Part II of the chapter, I want to look at one major issue facing the position and to address
some objections that arise within that context. The issue is how to
address the concern of (e) at the beginning of the chapter that is,
practice can be thought of as a system or constellation of dispositions or habits, or to use a
currently fashionable term, 'mechanisms,' each of which yields a belief as output that is
related in a certain way to an 'input'." Perceiving God, p. 153.
20 In addition to Sosa and Alston, Plantinga has developed a detailed position around the thesis
that knowledge is grounded in the stable and reliable faculties of believers, where "faculties"
are understood to include both natural and acquired dispositions. For the most recent
statement of Plantinga's position, see Warrant and Proper Function. Goldman, in his most
recent work, moves away from his earlier process reliabilism to a version of agent reliabilism,
calling his own view a "virtues theory" and comparing it sympathetically with Sosa's. See
"Epistemic Folkways and Scientific Epistemology" in Liaisons, esp. p. 163. Each of these
authors defends a different position. My claim here is that all are versions of the core position
that I call "agent reliabilism." Linda Zagzebski also understands knowledge and justified
belief as deriving from intellectual virtue, making the analogy to Aristotelian virtue ethics
even stronger than Sosa would have it. Early versions of Zagzebski's position were instances
of agent reliabilism. However, in the latest statement of her views Zagzebski explicitly
rejects the requirement that knowers have a reliable cognitive character. Therefore, although her latest position is a version of virtue epistemology, it is not a version of agent
reliabilism. For the earlier view, see Linda Zagzebski, "Religious Knowledge and the Virtues of the Mind," in Linda Zagzebski, ed., Rational Faith: Catholic Responses to Reformed
Epistemology (Notre Dame: University of Notre Dame Press, 1993), and "Intellectual Virtue
in Religious Epistemology," in Elizabeth Radcliffe and Carol White, eds. Faith in Theory
and Practice: Essays on Justifying Religious Belief (La Salle: Open Court, 1993). For the later
view, see Virtues of the Mind (Cambridge: Cambridge University Press, 1996). For a criticism
of Zagzebski's later position, see my "Two Kinds of Intellectual Virtue," Philosophy and
21
179
180
this way, agent reliabilism explains (e) as well as (a) through (d), and in
general accounts for the intuition that knowledge must be subjectively
appropriate as well as objectively reliable.
1. KNOWING THAT ONE KNOWS
One way to articulate the problem of subjective justification is in terms
of the internalismexternalism debate in analytic epistemology. Internalism is the position that the conditions for justification must be appropriately internal to the knower's perspective. Roughly, something is internal to S's perspective so long as S is aware of it or could be aware of it
merely by reflecting. Externalism is simply the denial of internalism,
holding that the conditions for justification need not be within the
knower's perspective. In this terminology, agent reliabilism is a form of
externalism. For example, whether a person's perception is functioning
reliably might not be something of which he is aware or could be aware
just on reflection. The present issue is whether externalist theories like
agent reliabilism can account for the kind of subjective justification that
knowledge requires.
In the following passages Bonjour reflects on the significance of cases
like that of Norman the clairvoyant. Due to his highly reliable power of
clairvoyance, Norman believes that the president is in New York City
despite the fact that Norman has considerable evidence otherwise, and
has no suspicion that he has the power of clairvoyance. By hypothesis,
Norman's belief about the president is caused by a reliable cognitive
process: his little-used and completely unrecognized clairvoyance. But
according to Bonjour, it is counterintuitive to suppose that his belief is
justified, and neither do we want to say that it is a case of knowledge:22
We are now face-to-face with the fundamental and obvious intuitive
problem with externalism: why should the mere fact that such an external
relation obtains mean that Norman's belief is epistemically justified when the
relation in question is entirely outside his ken? As I noted earlier, it is clear that
one who knew that [the externalist's] criterion was satisfied would be in a
position to construct a simple and quite cogent justifying argument for the belief
that the President is in New York City: if Norman has property H (being a
completely reliable clairvoyant under the existing conditions and arriving at the
belief on that basis), then he holds the belief in question only if it is true;
Norman does have property H and does hold the belief in question; therefore,
22 The example is from Bonjour, The Structure of Empirical Knowledge, p. 41.
181
the belief is true. Such an external observer, having constructed this justifying
argument, would be thereby in a position to justify his own acceptance of
a belief with the same content. . . . But none of this seems in fact to
justify Norman's own acceptance of the belief, for Norman, unlike the hypothetical external observer is ex hypothesi not in a position to employ this argument. . . . 23
One reason why externalism may seem initially plausible is that if the external
relation in question genuinely obtains, then Norman will in fact not go wrong
in accepting the belief, and it is, in a sense, not an accident that this is so. . . .
But how is this supposed to justify Norman's belief? From his subjective perspective, it is an accident that the belief is true. And the suggestion here is that
the rationality or justifiability of Norman's belief should be judged from Norman's own perspective rather than from one which is unavailable to him.24
23 Ibid., p. 43.
24 Ibid., pp. 43-44.
For endorsement of this principle and ones like it see Roderick Chisholm, "Knowing That
O n e Knows," in The Foundations of Knowing; Carl Ginet, Knowledge, Perception and Memory
(Dordrecht: Reidel, 1975); and H. A. Prichard, Knowledge and Perception (Oxford: Clarendon Press, 1950).
182
knows that one knows (Kp only if KKp). But this principle cannot be
right, since it leads directly to total skepticism; if the principle were
correct, then I could not know even that I exist, and no matter what
theory of knowledge is correct. This is because, according to the principle, I know that I exist only if I know that I know that I exist. But by
a second application of that principle, I know that I know that I exist
only if I know that I know that I know that I exist. Kp implies KKp,
which in turn implies KKKp, which implies KKKKp, which implies
KKKKKp, and so forth. But sooner or later I will reach propositions
which I cannot even grasp, much less know. So if the principle is right,
I do not know even that I exist. But of course I do know that I exist,
and so the principle does not state an actual condition on knowledge. 26
Let us consider a second interpretation of Bonjour's objection. The
passages from Bonjour strongly suggest the following argument: In order
to know, it is not sufficient that one's belief be reliably formed; one
must also know that one's belief is reliably formed. But if this is Bonjour's
meaning, then his objection is again misguided. For like the principle
just discussed, such a requirement generates an infinite regress and leads
directly to skepticism. To see why, consider the conditions for knowledge that the objection suggests:
S knows that p only if
i. S believes that p is true;
ii. p is true;
iii. S's belief is reliably formed; and
iv. S knows that her belief is reliably formed.
The problem here is with condition (iv). Not only does it make the
conditions for knowledge circular it makes them impossible to fulfill.
For on this suggestion S must know p1: that p is reliably formed. But
knowing this will generate (through (iv)) the condition that S know p":
that p' is reliably formed. And the regress goes on. But since no one is
capable of knowing an infinite number of increasingly complex propositions, a total skepticism is entailed. What this shows is not that total
skepticism is true, but that the present objection to externalist theories is
misguided.
26 The same argument applies if we take a weaker version of the principle: that one knows
only if one can know that one knows. For more extended arguments that this principle
and ones like it should be rejected, see William Alston, "Level Confusions in Epistemology," Midwest Studies in Philosophy 5 (1980): 135150; and my "Internalism and Epistemically Responsible Belief," Synthese 85 (1990): 245-277.
183
Bonjour does not say so, but someone might think that the need to
know about one's own reliability is grounded in the following principle:
To have knowledge, one must know that the conditions for having
knowledge are fulfilled. This is another version of the idea that knowledge is transparent, so I will call it the "transparency principle." Since
the transparency of knowledge has been such an attractive position, it is
worth noting that the principle is not merely false but borders on being
incoherent. For to say that conditions X, Y, and Z are sufficient conditions for knowing p is just to say that nothing else is required for knowing
p. To go on to require that one must also know that conditions X, Y,
and Z are satisfied is to give up the original contention that X, Y, and
Z are sufficient conditions.27 Of course, one might think that knowing
p requires knowing that the conditions for knowing p are satisfied,
because one thinks that knowing implies knowing that one knows. But
we have already seen that this last assumption is false.
Finally, it is important to note that the transparency principle would
have disastrous consequences for any theory of knowledge whatsoever,
and not just for agent reliabilism. Suppose, for example, that we adopt a
crude relativism, endorsing the theory that knowledge is what society
agrees upon. According to the transparency principle, one can know
that p is true only if one also knows that society agrees that p is true.
And by a second application of the principle, one must also know that
society agrees that society agrees that p, and so on ad infinitum. Again,
since it is impossible to believe an infinite number of increasingly complex propositions, the transparency principle directly entails total skepticism, even for the theory that knowledge is what society agrees upon.
Clearly the principle is either incoherent or false.
So far we have seen three ways not to understand the subjective requirement on knowledge. Before moving on to something better, I want to
look at a related objection against agent reliabilism. The objection is
raised by Stroud and may be stated in the form of the following argument: If agent reliabilism is true, then no one can understand that the
conditions for having knowledge are satisfied, since no one can reason
without circularity that one's cognitive faculties and habits are reliable.
27
Here I am indebted to James Van Cleve. See his "Foundationalism, Epistemic Principles,
and the Cartesian Circle," Philosophical Review 88 (1979): 77.
184
But if one cannot understand that the conditions for having knowledge
are satisfied, then one cannot understand that one has knowledge.
Therefore, agent reliabilism does not give us an adequate understanding
of our knowledge. Moreover, since the task of epistemology is to understand how we know what we know, agent reliabilism cannot be a
satisfactory epistemology.28 More formally, we have the following argument.
(STR)
Like Bonjour's, Stroud's argument has a certain intuitive pull. However, a closer look reveals that it has several problems. First, premise (4)
of (STR) is false. According to agent reliabilism, one can know that
one's cognitive powers are reliable so long as one's belief to this effect is
itself grounded in reliable cognitive powers. But then the agent reliabilist
can say the same thing about understanding: so long as one's belief is in
fact well formed by virtuous faculties and habits, one understands what
one believes. Stroud insists that understanding involves having reasons,
but this added requirement on understanding is not a problem for agent
reliabilism. On any plausible account, one will have reasoned to the
28
See Barry Stroud, "Understanding Human Knowledge in General," in Clay and Lehrer;
and again in "Scepticism, 'Externalism,' and the Goal of Epistemology," Proceedings of the
Aristotelean Society (1994): 291-307.
185
belief that one's powers are reliable. So long as the reasoning is in fact
virtuous, understanding results.
(STR4) charges that any such reasoning would be circular, but that
too seems to involve a confusion. Specifically, to understand that one's
cognitive powers are reliable one must use those very powers, and in
particular one must use one's reasoning faculties. But one need not
reason from the reliability of one's powers as a premise. That would be
circular, reasoning to a conclusion that one is reliable from a premise
that one is reliable. But agent reliabilism requires no such circles.
For example, to know that your vision is in good working order you
might visit an eye doctor. And certainly your vision will be involved in
learning from the doctor that your vision is in fact in good working
order you will need to read a report, or at least identify the doctor as
the person you are talking to. So will reasoning be involved, since you
will have to infer the reliability of your vision from the evidence gathered. But at no time during this process would you reason from the
assumption that your vision and reasoning are reliable. Again, you learn
that your vision is reliable by using it and by using your reason, not by
reasoning from assumptions about the reliability of your vision or your
reason. Similar things can be said about other cognitive powers. For
example, cognitive scientists learn about the reliability of human inference by inferring their conclusions from relevant observations. But that
is the point: they infer the reliability of inference from observations, not
from some premise to the effect that inference is reliable.
Premise circularity is vicious, but it is not involved in determining
the reliability of one's cognitive faculties and habits. What about "faculty
circularity," or the process of using one's faculties to determine the
reliability of those same faculties? First, we should note that in general
one cannot escape using one's cognitive powers to determine the reliability of those very powers for, by definition, one's cognitive powers
are that by which one cognizes. But to see that this fact is benign,
consider that it is the condition of any cognizer whatsoever. Although
skepticism is presented by Stroud and others as a problem for the human
condition, it is true of any cognizer, God included, that one must think
by the ways that one thinks.29 Finally, if Stroud's objection were effective against agent reliabilism, a similar line of reasoning would preclude
understanding that we know on any theory of knowledge whatsoever.
29
I am indebted to Keith DeRose for this last point, which he made in a paper presented at
Fordham University.
186
3. SOSA'S PERSPECTIVISM
187
188
1994), pp. 4243. Sosa is responding to an objection from Richard Foley, "The Epistemology of Sosa," same volume.
32 For an extended discussion of the present distinction, see Audi, "Dispositional Beliefs and
Dispositions to Believe."
189
190
default mode the state of trying to form one's beliefs accurately. One
might say "thinking honestly" instead, and this is intended to oppose
such modes as trying to comfort oneself, trying to get attention, and
being pigheaded. The latter, we might say, reflect epistemic vices rather
than virtues.
Second, (VJ) does not equate justified belief with conscientious belief.
This is because a person might be conscientious in believing that something is true without manifesting the dispositions she usually does in
conscientious thinking. For example, a father might sincerely try to
discover the truth about a son accused of bad behavior and yet nevertheless violate norms of good reasoning that he would usually manifest
when thinking conscientiously: in this case his good judgment is undermined by affection for his child, and despite himself. In a similar fashion,
someone might try too hard to get at the truth, thereby failing to
manifest the good habits that he typically does. In such cases we say that
the person outthinks himself, much as players can press too hard in
sports.
Third, the dispositions that a person manifests when she is thinking
conscientiously are stable properties of her character and are therefore in
an important sense hers. Accordingly, in an important sense a belief
produced from such dispositions will be well formed from the person's
own point of view. The current proposal is that this fact solves the
problem posed in (e) at the beginning of the chapter: namely, it explains
in what sense knowers must be sensitive to the reliability of their own
inferences. The relevant sense is that inferences that generate knowledge
are appropriately grounded in the knower's cognitive character specifically, the character she manifests when thinking conscientiously. This
same line of reasoning addresses the requirement that knowers be sensitive to the reliability of their evidence in general, whether or not that
evidence is conceived as inferential. Just as knowers are disposed to form
beliefs on the basis of inferences from other beliefs, they are disposed to
form perceptual beliefs directly on the basis of sensory appearances. The
fact that they do this in some ways and not others constitutes a kind of
sensitivity to the reliability of their evidence, whether that evidence be
inferential or experiential.
This way of understanding subjective justification is quite natural on
a virtue theory, since intellectual virtues are stable dispositions constituting a person's cognitive character. A long tradition suggests that virtuous
belief is also properly motivated. This is captured in the present proposal
191
We may further explore the present proposal by considering the question of epistemic norms. A natural way to understand subjective justification is in terms of conformance to the norms of good thinking, and
the question arises whether (VJ) is consistent with this. The idea that
subjective justification can be understood in terms of conformance to
norms is suggested by John Pollock:
Norms are general descriptions of the circumstances under which various kinds
of normative judgments are correct. Epistemic norms are norms describing
when it is epistemically permissible to hold various beliefs. A belief is justified if
and only if it is licensed by correct epistemic norms. . . . The concept of epistemic justification can be explained by explaining the nature and origin of the
epistemic norms that govern our reasoning.33
Pollock stresses that epistemic norms govern our behavior without our
having beliefs about them. Like most other action-guiding norms, epi33 Pollock, Contemporary Theories of Knowledge, pp. 124-125.
192
stemic norms influence our behavior without our thinking about them
at all:
Now let us apply this to epistemic norms. We know how to reason. That means
that under various circumstances we know what to do in reasoning. This can
be described equivalently by saying that we know what we should do. Our
epistemic norms are just the norms that describe this procedural knowledge. . . .
They describe an internalized pattern of behavior that we automatically follow
in reasoning, in the same way we automatically follow a pattern in bicycle
riding.34
We are presently considering whether this view of justification is
consistent with (VJ). In another place I have argued that it is, suggesting
that the dispositions a person manifests when she is thinking conscientiously have their basis in her conformance to countenanced norms.35
On this view justified belief is grounded in cognitive dispositions, which
in turn are grounded in conformance to correct epistemic norms. But
although this position is possibly correct, it now seems to me that
whether it is correct is an empirical question. Specifically, it is an empirical question whether cognition is governed by norms, and therefore an
empirical question whether cognitive virtues have their bases in conformance to norms.
This issue arises due to the nature of norms. In particular, I am
thinking of norms as rules that govern behavior, as opposed to rules that
merely describe behavior. As such, norms in this sense play a causal role
in the production of behavior. We may think of such norms as conditionals with antecedents stating certain conditions and consequents directing behavior in those conditions. For example, a rule of the relevant
kind might have the structure, "In conditions C, believe B." Furthermore, C must state conditions to which we have cognitive access, since
a rule can be followed only if we can be aware that its antecedent
conditions are fulfilled.36 An example of such a norm in perception
would be, "Given such and such sensory experience, believe that there
is a cat on the couch." But now it is an empirical question whether
human cognition can be understood in this way - whether all human
thought can be understood as governed by such rules. Evidence is
mounting that it cannot be.
34 Ibid., p. 131.
35 John Greco, "Internalism and Epistemically Responsible Belief," and "Virtues and Vices
of Virtue Epistemology," Canadian Journal of Philosophy 23 (1993): 413-432.
36 On this point I follow Pollock, Contemporary Theories of Knowledge, p. 133.
193
The problem is not that we do not explicitly follow such rules in our
thinking, or even that implicit norms are exceedingly hard to articulate.
Rather, the problem is that at least some parts of human cognition might
not be rule governed at all. This would be the case, for example, if
connectionist theories of perception and memory are correct. Let us take
a moment to consider this last possibility, and to consider the consequences for understanding cognition as rule governed.
We can think of connectionism as a theory for modeling cognitive
processing.37 Unlike models of cognition suggested by traditional rulebased theories, connectionist systems are made up of numbers of simple
but connected units that can be "activated" or excited to some degree.
The units are set up so that the activation of each affects the activation
of others to which it is immediately connected. In the most interesting
models the interaction among units affects connection "strengths" over
time, so that the effect of one unit on another is increased or inhibited
on the basis of prior interaction between the two units. Processing takes
place in a connectionist system when an initial pattern of activation is
supplied to input units. This original activation sets off activity among
the various units of the system until stability in the system is achieved.
The pattern of activation over the output units then represents the
system's "answer" to a proposed problem.
What is important for our purposes is that processing in a connectionist system does not take place according to programmed rules. Rather,
the interaction among the units of the system is governed only by the
laws of thermodynamics initial activation together with initial connection strengths cause a pattern of activity that eventually settles the system
into the state of highest entropy.38
An example will illustrate. James McClelland, David Rumelhart and
Geoffrey Hinton have proposed a model for the perception of obscured
letters in visually presented words.39 Words are presented in partially
degraded condition, and the system is supposed to identify the obscured
letter. For example, the word W O R K is presented so that the fourth
37 William Bechtel, "Connectionism and the Philosophy of Mind: An Overview," in William
Lycan, ed., Mind and Cognition (Oxford: Blackwell, 1990), p. 253.
38 Ibid., p. 254.
39 The model is described in James McClelland, David Rumelhart, and Geoffrey Hinton,
"The Appeal of Parallel Distributed Processing," in Brian Beakley and Peter Ludlow, eds.,
The Philosophy of Mind (Cambridge, MA: MIT Press, 1992). Reprinted from James Rumelhart, David McClelland, and the PDP Research Group, Parallel Distributed Processing:
Explorations in the Microstructure of Cognition, vol. 1 (Cambridge, MA: MIT Press, 1986).
194
letter is partially obscured, and the problem for the system is to correctly
identify the letter as a K. Here is how it works.
The model assumes that there are units that act as detectors for the visual
features which distinguish letters, with one set of units assigned to detect the
features in each of the different letter-positions in the word. . . . There are also
four sets of detectors for the letters themselves and a set of detectors for the
words.
In the model, each unit has an activation value, corresponding roughly to
the strength of the hypothesis that what that unit stands for is present in the
perceptual input. The model honors the following important relations which
hold between these 'hypotheses' or activations: First, to the extent that two
hypotheses are mutually consistent, they should support each other. Thus, units
that are mutually consistent in the way the letter T in the first position is
consistent with the word TAKE, tend to excite each other. Second, to the extent
that two hypotheses are mutually inconsistent, they should weaken each other.
. . . [Inconsistencies operate in the word perception model to reduce the activations of units. Thus, the letter units in each position compete with all other
letters in the same position, and the word units compete with each other. This
type of inhibitory interaction is often called competitive inhibition. In addition,
there are inhibitory interactions between incompatible units on different levels.
This type of inhibitory interaction is simply called between-level inhibition.40
The present model does not operate like classical artificial intelligence
models, where a system calculates outputs from inputs according to
programmed rules. Nevertheless, the system works so as to give the right
answer. In the following illustration the letters W, O, and R are presented as completely visible and enough of a fourth letter is shown to
rule out all letters other than R and K.
Before onset of the display, the activations of the units are set at or below 0.
When the display is presented, detectors for the features present in each position
become active (i.e., their activations grow above 0). At this point, they begin
to excite and inhibit the corresponding detectors for the letters. In the first three
positions, W, O, and R are unambiguously activated, so we will focus our
attention on the fourth position where R and K are both equally consistent
with the active features. Here, the activations of the detectors for R and K start
out growing together, as the feature detectors below them become activated.
As these detectors become active, they and the active letter detectors for W, O,
and R in the other positions start to activate detectors for words which have
these letters in them and to inhibit detectors for words which do not have these
40 McClelland et al., pp. 273-275.
195
letters. A number of words are partially consistent with the active letters, and
receive some net excitation from the letter level, but only the word WORK
matches one of the active letters in all four positions. As a result, WORK becomes
more active than any other word and inhibits the other words, thereby successfully dominating the pattern of activation among the word units. As it grows in
strength, it sends feedback to the letter level, reinforcing the activations of the
W, O, R, and K in the corresponding positions. In the fourth position, this
feedback gives K the upper hand over R, and eventually the stronger activation
of the K detector allows it to dominate the pattern of activation, suppressing the
R detector completely.41
41 Ibid., p. 275.
42 Jerry Fodor and Zenon Pylyshyn, "Connectionism and Cognitive Architecture: A Critical
Analysis," in Beakley and Ludlow (1992), p. 298. Reprinted from Cognition 20 (1988).
196
The model is trained initially with a small number of verbs that children learn
early in the acquisition process. At this point in learning, it can only produce
appropriate outputs for inputs that it has explicitly been shown. But as it learns
more and more verbs, it exhibits two interesting behaviors. First, it produces
the standard ed past tense when tested with pseudo-verbs or verbs it has never
seen. Second, it "overregularizes" the past tense of irregular words it previously
completed correctly. Often, the model will blend the irregular past tense of the
word with with the regular ed ending, and produce errors like CAMED as the
past of COME. These phenomena mirror those observed in the early phases of
acquisition of control over past tenses in young children.43
T h e eerie similarity to the behavior of young children cannot help but
suggest that they learn the past tenses of verbs in the same way.
The model learns to behave in accordance with the rule, not by explicitly
noting that most words take ed in the past tense in English and storing this rule
away explicitly, but simply by building up a set of connections in a pattern
associator through a long series of simple learning experiences. The same mechanisms of parallel distributed processing and connection modification which are
used in a number of domains serve, in this case, to produce implicit knowledge
tantamount to a linguistic rule. The model also provides a fairly detailed account
of a number of specific aspects of the error patterns children make in learning a
rule. In this sense, it provides a richer and more detailed description of the
acquisition process than any that falls out naturally from the assumption that the
child is building up a repertoire of explicit but inaccessible rules.44
But as Fodor and Pylyshyn emphasize, it is misleading to put the point
in terms of implicit versus explicit rule acquisition. For on a connectionist model rules on the cognitive level do not govern at all. The point is
not that rules governing learning (or interpretation, or inference) are not
"explicitly noted" or "explicitly stored away"; it is that no such rules
play any causal role in cognition. Again, on a connectionist model it is
only "as i f such rules are being followed; in actuality they do not do
any work.45
The preceding discussion has consequences for how we should understand epistemic justification. Specifically, the discussion shows that
(VJ) is more general than a theory of justification in terms of epistemic
norms. The basis of our best cognitive dispositions might be conformance to epistemic rules or norms, but it might not be. Accordingly,
whether the details of (VJ) are to be cashed out in terms of epistemic
43
197
198
199
Note that (NJ1) and (NJ2) state only necessary conditions for justification, not sufficient ones. Second, (NJ1) applies only when there are
norms which govern S's thinking. If no such norms exist, (NJ1) will be
an empty condition on subjective justification.
See, e.g., Bonjour, Chisholm, and Ginet in the works previously cited. I have defended
responsibilist conceptions of epistemic justification in "Internalism and Epistemically Responsible Belief and "Virtues and Vices of Virtue Epistemology."
48 Aristotle, The Nicomachean Ethics, trans. David Ross (Oxford: Oxford University Press,
1980), 3.1.
49 Ibid.
200
Ibid., 3.5.
201
accurate and reliable perception than we do, but who do not have the
power to believe otherwise than how they perceive. It seems wrong to
say that, for lack of control in this strong sense, such beings do not have
perceptual knowledge. These considerations suggest that epistemic responsibility, in any sense that requires the ability to believe otherwise, is
not a part of our concept of knowledge. Even if, as a matter of fact, all
of our cognition is within our strong control and so all knowledge is
praiseworthy, such praiseworthiness is not a necessary condition on
knowledge.
However, there remains a weaker sense of praiseworthiness in which
it is correct to say that knowledge requires epistemic responsibility:
namely, there is a sense in which something is praiseworthy just in case
(a) it is properly motivated and (b) the principle of action is within the
agent. The way that agent reliabilism understands subjective justification
guarantees that these weaker conditions are fulfilled in cases of knowledge.51
7. CONCLUSIONS
We have seen that reliabilism in general can provide a theoretical explanation of the conclusions expressed in (a) through (d), and that agent
reliabilism can account for the concern in (e) as well. In other words,
agent reliabilism provides a principled refutation of all of the skeptical
arguments that we have considered and also explains in what sense
knowers must be sensitive to the reliability of their inferences. The
theory also has resources for defining an important sense of subjective
justification. In this way, it accounts for our persisting intuition that
knowledge ought to be well formed from the knower's point of view,
or that knowledge must be subjectively appropriate as well as objectively
reliable. Finally, the theory does all of this in a way that is psychologically
plausible, and that captures our pre-theoretical intuitions about what
cases do and do not count as knowledge.
51 Matthias Steup argues that cognitive control can be fruitfully understood in terms of sensitivity to one's evidence. Just as some philosophers have attempted to define "could have
done otherwise" as "would have done otherwise if choice had been different," Steup
suggests that we might define "could have believed otherwise" as "would have believed
otherwise if evidence had been different." Perhaps this describes another sense in which
knowledge can be understood to involve epistemic responsibility. "Epistemic Obligation
and the Freedom to Believe Otherwise," typescript.
202
203
8
Agent Reliabilism and the Relevant
Sense of "Relevant Possibility"
Recall the skeptical argument (D3) from Chapter 2. The major premise
of that argument was that good evidence must discriminate among
alternative possibilities. In other words, my evidence for a belief p can
give me knowledge only if it would cause me to believe that p is true
in cases where p is true, and also would not cause me to believe that p
is true in cases where p is false and some alternative is true. But, the
argument continues, since sensory appearances do not discriminate in
this way between what we believe and various skeptical scenarios, sensory evidence cannot give rise to knowledge of the material world.
I suggested that a solution to (D3) is to deny the assumption that
evidence must rule out all alternative possibilities to generate knowledge.
The idea was that evidence must discriminate among relevant possibilities,
but not all possibilities are relevant. In particular the possibilities that I
am a brain in a vat or the victim of an evil demon do not seem to be
relevant ones. Of course if I were a brain in a vat or the victim of a
deceiving demon, then I would not know what I think I do, but so
long as these remain mere possibilities they fail to undermine my knowledge.
This strategy against (D3) gave rise to (D4). That argument ran as
follows:
(D4)
204
Since (D4) concedes that evidence need only rule out relevant possibilities, its first premise becomes unassailable. But now premises (3) and (5)
of (D4) become problematic. Specifically, the idea of dreaming in (3) is
ambiguous between normal dreams that occur in sleep and "philosophical" dreams involving evil demons and brains in vats. The problem is
that on either interpretation the argument contains a claim that is less
than wholly plausible.
If we interpret (D4) as making claims about normal dreams, then
premise (5) seems false. Perhaps it is at times a relevant possibility that I
am dreaming in the everyday sense of "dreaming," but in such cases my
evidence does discriminate that possibility from waking life; if I pay close
attention, or perhaps pinch myself, I can tell that I am not dreaming.
On the other hand, if (D4) is about philosophical dreams, then premise
(3) seems false, or at least less than obvious. Intuitively it is not a relevant
possibility that I am the victim of a deceiving demon, or that I am a
brain in a vat. These are possibilities in some broad sense, but not in any
sense that seems to present a problem for my knowing. Therefore, on
either interpretation of dreaming, the skeptical argument contains a
premise that we need not accept.
1. TWO TASKS FOR WORKING OUT THIS APPROACH
The relevant possibilities approach has been a popular one, but it needs
to be worked out further. First, we want an account of what makes a
possibility relevant and why the skeptical hypotheses do not constitute
relevant possibilities. In other words, we need an account of "relevant
possibility" that (a) accords with our pre-theoretical intuitions about
which possibilities need to be ruled out and which do not in ordinary
cases of knowledge and (b) rules that the skeptical possibilities do not
need to be ruled out. Second, we do not want our account to be ad hoc.
What we would like is an account of knowledge which explains why
our account of relevant possibility has the content that it does.
205
See, e.g., Fred Dretske, "Epistemic Operators, "Journal of Philosophy 67 (1970): 1007-1023;
Alvin Goldman, "Discrimination and Perceptual Knowledge"; and Marshall Swain, "Revisions of'Knowledge, Causality, and Justification,' " in Pappas and Swain (1978). For objections to these views see, Sosa, "Knowledge in Context, Skepticism in Doubt," in James
Tomberlin, ed., Philosophical Perspectives 2: Epistemology (Atascadero, CA: Ridgeview, 1988).
The account I offer here avoids Sosa's objections by making the notion of objective likelihood more informative, and by adding subjective conditions to the account of "relevant
possibility."
Sosa makes this point in "Knowledge in Context, Skepticism in Doubt."
206
I have already said that agent reliabilism can provide a theoretical understanding of what makes a possibility relevant. In other words, the theory
can explain why some possibilities need to be ruled out to have knowledge and why others do not. In the present context, this is equivalent to
explaining why evidence must discriminate among possibilities that are
true in close possible worlds, but not among possibilities that are true
only in far-off worlds.
The main idea is as follows. Cognitive virtues are a kind of power
or ability. Abilities in general are stable and successful dispositions to
achieve certain results under certain conditions. But abilities cannot be
defined in terms of actual conditions only. Rather, when we say that
someone has an ability we mean that she would be likely to achieve
the relevant results in a variety of conditions similar to those that actually obtain. In the language of possible worlds, someone has an ability
to achieve some result under relevant conditions only if the person is
very likely to achieve that result across close possible worlds. But if
knowledge essentially involves having cognitive abilities, and if abilities
are dispositions to achieve results across close possible worlds, then this
explains why possibilities are relevant only when they are true in some
close possible world. Specifically, only such possibilities as these can
undermine one's cognitive abilities. In an environment where deception by demons is actual or probable, I lack the ability to reliably form
true beliefs and avoid false beliefs. But if no such demons exist in this
world or similar ones, they do not affect my cognitive faculties and
habits.
The remainder of the chapter develops this main idea. In Section 2 I
present and defend a more detailed account of relevant possibility. In
Section 3 I further explore the idea of a cognitive virtue by offering a
possible worlds analysis for abilities in general and cognitive abilities in
particular. In Section 4, I show how agent reliabilism explains the
account of relevant possibility presented in Section 2.
2. THE RELEVANT SENSE OF "RELEVANT POSSIBILITY"
Our first task is to provide an account of relevant possibility such that
(a) knowledge requires only that our evidence rule out (discriminate)
that kind of possibility and (b) the skeptical possibilities involving brains
207
Tom Grabit cases were first introduced by Lehrer and Paxson. See Keith Lehrer and Thomas
Paxson, "Knowledge: Undefeated Justified True Belief," Journal of Philosophy 66 (1969):
225-237, reprinted in Pappas and Swain (1978).
208
order to know that Tom took the book? Intuitively the answer is no. In
the case where there is no twin brother it is enough that you saw Tom
take the book.
As a second example, consider the case of the barn facades. You are
driving through a part of the country where, unknown to you, the local
residents have constructed sides of barns in order to fool passers-by into
thinking that the community is wealthier than it actually is. You drive
by a real barn and form the belief that there is a barn ahead. In this case
the proposition that you see a barn facade rather than a barn is a relevant
possibility. You do not know the latter if you cannot rule out the
former. But must you always be able to rule out the possibility of a barn
facade before you can know that you see a barn from the highway?
Intuitively the answer is no, and this is in fact how the account rules.4
The proposed account of relevant possibility handles these two cases
well. However, it is not quite right and some revisions are necessary.
This is because there are possibilities that are not true in any close
possible world, but that nevertheless need to be ruled out in order for
someone to have knowledge. Consider a revised version of the Tom
Grabit example. Everything is as before, except that Tom Grabit has no
twin brother. However, S believes that Tom does have a twin brother. It
seems to me that S's evidence must rule out the possibility that Tom's
twin brother took the book, even though the possibility is not true in
any close possible world (since Tom in fact has no twin brother).
Another version of the Tom Grabit example raises a different problem.
Suppose that Tom does not have a twin brother and S does not believe
that Tom has a twin brother, but S ought to believe that Tom has a
twin brother S has good reason for believing that Tom has a twin
brother. Again, it seems to me that in such a case the possibility that
Tom's twin took the book must be ruled out by S's evidence. In these
cases the problem is not that the possibility is true in some close possible
world, but that S believes, or ought to believe, that the possibility is
likely to be true. Fortunately the account can easily be revised to accommodate both of the these cases. Thus we have,
(RP)
209
210
The central idea of agent reliabilism is that knowledge arises from cognitive abilities or powers. An ability, in turn, is a stable and successful
disposition for achieving some result under appropriate conditions. What
we need now is a more detailed account of what this amounts to. I will
proceed by offering an account of abilities in general and then an
account of cognitive abilities in particular. After that it will be relatively
easy to see how the resulting theory explains the proposed account of
relevant possibility in (RP).
a. What Is an Ability?
Roughly, an ability in general is a stable disposition to achieve some
result under appropriate conditions. For example, we say that Don
Mattingly has the ability to hit baseballs. By this we mean that Mattingly
has a disposition to hit baseballs under normal conditions for playing
baseball. Notice that we do not require that Mattingly have perfect
success, nor do we require that he have a disposition for hitting baseballs
under just any conditions. In general, how high a success rate is required
will depend on the kind of ability in question. Likewise, what conditions
are appropriate will depend on the kind of ability in question, as well as
on other contextual matters.
These remarks might suggest the following account of having an
ability to achieve a result:
(Al)
The current proposal, however, is both too weak and too strong. First,
(Al) does not distinguish between having an ability to achieve R and
having success achieving R due to good luck. Thus it is possible that in
all actual cases of swinging at baseballs, I hit the ball due to amazingly
good luck. My bat just happens to be where it ought to be on every
pitch. In that case I would have great success hitting baseballs in actual
cases, but it would be false that I have an ability to hit baseballs. Or
consider the case of Mr. Magoo. Magoo in fact is highly successful in
avoiding harm, meaning that in the actual world Magoo rarely comes to
harm. But we would not say that Magoo has an ability to avoid harm,
211
since he avoids harm only by amazingly good luck. (An inch to the left
and that anvil lands on his head!)
For a similar reason the current proposal is also too strong. For it
might be that S does have an ability to achieve R but fails in nearly all
actual cases due to amazingly bad luck. Just as it is possible to have an
ability to achieve R and yet fail in some actual case, it is possible (even
if improbable) to have the ability and yet fail in nearly all actual cases.
Finally, it makes sense to say that S has an ability to achieve R even if S
never achieves R because S never comes under the appropriate conditions. Thus it makes perfect sense to say that you have the ability to
count by fives to one thousand, even if you never do so because no
actual situation ever calls for it. And so we have several reasons why
(Al) fails to capture what it is to have an ability in general.
These last considerations suggest that having an ability is not a function of what S does in actual cases, but of what S would do in possible
cases. And this suggests the following subjunctive account of having an
ability:
(A2) S has an ability to achieve result R in conditions C if and only if,
if S were in C, then S would achieve R with a high rate of success.
But this account is also both too weak and too strong, and for somewhat
similar reasons as with (Al). First, consider the case where S is often in
C and has success achieving R in actual cases due to good luck. Then
the subjunctive conditional in (A2) is true, but S does not have an ability
to achieve R. Second, consider the case where S is often in C but fails
to achieve R in actual cases due to bad luck. Then the subjunctive
conditional in (A2) is false, but it is possible that S does have an ability
to achieve R.
I suggest that the following account avoids all of the problems that
we have raised for (Al) and (A2):
(A3) S has an ability to achieve result R in conditions C if and only if,
across the range of close possible worlds where S is in C, S achieves
R in C with a high rate of success.
Two examples will help to explain the motivation for (A3). First, consider that in some close possible world a fair coin will come up heads
one hundred times in one hundred tosses. However, across a range of
close possible worlds, the coin will come up heads 50 percent of the
time, since improbable strings of heads will be offset by improbable
212
213
214
that Mattingly has the ability to hit baseballs because, given Mattingly's
actual constitution, the normal conditions for hitting baseballs, and the
laws of nature which actually hold, Mattingly's actions result in a high
ratio of hit baseballs. This occurs in the actual world, but it would also
occur if the world were a little different: if the pitch came in a bit lower,
Mattingly would still hit the baseball. On the other hand, it makes no
sense to say that Mattingly lacks an ability to hit baseballs because in
some possible worlds he is nearsighted. This is because the constitution
of Mattingly's eyes figures importantly into the laws of nature that
govern the occurrence of the result in question.
Let us consider a second example. Imagine that due to amazingly
good luck my bat hits the baseball whenever I swing at a pitch in the
actual world. It does not follow that I have the ability to hit baseballs.
This is because, given the constitution of my eyes, and given the laws of
nature that actually hold, if the world were a little different I would miss
the baseball entirely. When the pitch comes in a little lower, Mattingly,
constituted as he is, adjusts his swing. But when the pitch comes in a
little lower to me, I see no difference and I swing over the ball.
We can now make the notion of world closeness more informative.
Let us define S's R-constitution as those characteristics of S that, given
the actual laws of nature, are relevant to whether S's actions result in
producing R when S is in conditions C. Then we may say that a world
W is close to the actual world (in the sense relevant to whether S has
the ability to produce R in C) only if S has the same R-constitution in
W as in the actual world, and only if the laws of nature that hold in W
are the same as those that hold in the actual world. (A3) should be read
with this characterization of world closeness in mind.
According to these suggestions, the conditions for S's having an
ability involve four dimensions, three of which are kept constant and
one of which is allowed to vary. To determine whether S has an ability
in question, we keep constant the actual laws of nature, the set of
conditions associated with the ability, and S's R-constitution associated
with the ability. We then vary the other conditions of the environment,
and we look at S's success rates in the worlds where such variations are
kept relatively minor. What kind of environmental variations are important and what makes a variation relatively minor? This is left vague in
(A3), but context will serve to eliminate much of that vagueness.
215
A cognitive ability has the form of an ability in general, but with the
cognitive end of arriving at true beliefs and avoiding false beliefs.
Therefore a cognitive ability, in the sense intended, is an ability to arrive
at truths in a particular field and to avoid believing falsehoods in that
field, under relevant conditions.
More formally,
(CA)
216
217
S knows p only if
i. p is true;
ii. S's believing p is the result of dispositions that S manifests
when S is thinking conscientiously;
iii. Such dispositions make S reliable in the present conditions, with respect to p.
The first point is that the dispositions referred to in (AR) will include
ones that make S sensitive to counter-evidence to what seems to be the
case. So, for example, my perceptual faculties will involve forming
material object beliefs on the basis of sensory appearances, but will also
involve a process of checking those beliefs against background beliefs
that I have. This process need not be a conscious one. What is required
is that appropriate revisions in my belief system are made as new evidence comes in; either the new evidence will issue in new beliefs and
cause conflicting ones to be revised, or it will be resisted and previous
beliefs will be maintained. This grounds clause (iib), which says that an
alternative possibility is relevant if S believes that it might be true.
The second point is that in particular cases of knowledge a person
must manifest the cognitive dispositions that make her reliable in general. Put another way, she must manifest the dispositions that she does
when thinking conscientiously. But this grounds clause (iic), which says
218
219
220
/. Religious Epistemology
I have said that strong particularism can be applied to moral and religious
epistemology either directly or indirectly. A direct application of the
method requires us to assume that moral (or religious) beliefs have some
kind of positive epistemic status. We might assume, for example, that
some moral beliefs amount to knowledge, or that some religious beliefs
are at least rational. We may then reject assumptions about knowledge
and rationality that are inconsistent with the assumptions we are willing
to make. If a skeptical argument leads to the conclusion that no one
knows that any action is wrong, for example, then there must be something wrong with that argument. Progress in the epistemology of moral
belief is made if we can identify what that mistake is. Further progress is
made if we can replace it with something better.
As I have said, this seems to me to be a perfectly reasonable way to
proceed in moral and religious epistemology. On the one hand, it seems
outrageous to think that no one knows anything about what is right or
wrong, or that no one's religious beliefs are even rational. On the other
hand, some of the assumptions operative in discussions about moral and
religious epistemology have these consequences. The implausibility of
such assumptions is exposed by making their skeptical consequences
explicit. That is, we want to make those consequences fully explicit,
pressing the logic of a skeptical line of reasoning so as to display the full
force and range of its skeptical conclusions. Moreover, we want to stress
the counterintuitiveness of the more radical forms of skepticism that
result. It is easy enough to say in the classroom that no one "really"
knows right from wrong, but almost no one actually believes this.
Clearly no such belief is manifested in the way that people actually make
moral judgments, or in the way that people actually live.
It seems to me, therefore, that strong particularism can be extended
directly to moral and religious epistemology. But the methodology can
be applied indirectly as well. In this case we do not assume that moral
or religious beliefs have some positive epistemic status, but that empirical
beliefs do. We then look for arguments against moral (or religious) belief
such that, if they were sound, would entail unwanted skeptical conse-
221
quences for empirical belief as well. By rooting out the mistaken assumptions in such arguments, and by replacing them with something
better, we again make advances in moral and religious epistemology. A
paradigm example of this methodology is Plantinga's treatment of the
evidentialist objection to belief in God. I turn to that now to illustrate
the methodology I have in mind.
The discussion that follows is based on Alvin Plantinga, "Reason and Belief in God," in
Alvin Plantinga and Nicholas Wolterstorff, eds., Faith and Rationality (Notre Dame: University of Notre Dame Press, 1983).
222
about God fall into none of these categories, Plantinga argues, that the
objection to religious belief demands evidence. Beliefs about God are
neither self-evident, evident to the senses, nor incorrigible, and so if
they are rational at all they must be based on other beliefs that have such
status.
The next move that Plantinga makes is the one that is most relevant
for our purposes. Having identified classical foundationalism as a crucial
assumption of the evidentialist objection, he goes on to reject the assumption precisely because it leads to broader skeptical consequences. If
classical foundationalism were true, this would have implausible skeptical
consequences for other kinds of belief, such as beliefs about the past and
beliefs about other minds. And so classical foundationalism must be false.
We should note first that... if these claims are true, then enormous quantities of what we all in fact believe are irrational. One crucial lesson to be learned
from the development of modern philosophy Descartes through Hume,
roughly is just this: relative to propositions that are self-evident and incorrigible, most of the beliefs that form the stock in trade of ordinary everyday life are
not probable. . . . Consider all those propositions that entail, say, that there are
enduring physical objects, or that there are persons distinct from myself, or that
the world has existed for more than five minutes: none of these propositions, I
think, is more probable than not with respect to what is self-evident or incorrigible for me.
. . . . And now suppose that we add to the foundations propositions that are
evident to the senses, thereby moving from modern to ancient and medieval
foundationalism. Then propositions entailing the existence of material objects
will of course be probable with respect to the foundations, because included
therein. But the same cannot be said either for propositions about the past or
for propositions entailing the existence of persons distinct from myself; as before,
these will not be probable with respect to what is properly basic.2
Having rejected classical foundationalism's criteria for proper basicality, Plantinga goes on to suggest that belief in God might be properly
basic. For example, such beliefs might be grounded in various kinds of
experiences of God.
Upon having experience of a certain sort, I believe that I am perceiving a tree.
In the typical case I do not hold this belief on the basis of other beliefs; it is
nontheless not groundless. My having that characteristic sort of experience . . .
plays a crucial role in the formation of that belief. It also plays a crucial role in
its justification. . . .
2
223
Now similar things may be said about belief in God. When the Reformers
claim that this belief is properly basic, they do not mean to say, of course, that
there are no justifying circumstances for it, or that it is in that sense groundless
or gratuitous. Quite the contrary, Calvin holds that God "reveals and daily
discloses himself in the whole workmanship of the universe," and the divine art
"reveals itself in the innumerable and yet distinct and well ordered variety of
the heavenly host." God has so created us that we have a tendency or disposition
to see his hand in the world about us.3
224
the examples. The Christian will of course suppose that belief in God is entirely
proper and rational; if he does not accept this belief on the basis of other
propositions, he will conclude that it is basic for him and quite properly so.
Followers of Bertrand Russell and Madelyn Murray O'Hare may disagree; but
how is that relevant? Must my criteria, or those of the Christian community,
conform to their examples? Surely not. The Christian community is responsible
to its set of examples, not theirs.4
It seems to me that we are not forced into any such pluralism,
however. This is because a good theory of knowledge ought to explain
why our intuitions disagree, when they do. That is, all parties to the
dispute ought to look for a theory of knowledge that (a) explains clear
and uncontroversial cases, (b) explains cases where our intuitions are
vague, and (c) explains the cases where our intuitions disagree.
In a different essay, Plantinga himself provides us with a nice illustration of how this could work. There he defends a general theory of
knowledge which is a version of agent reliabilism. According to that
theory, a belief has the kind of positive epistemic status required for
knowledge just in case, roughly, it is produced by reliable faculties
functioning properly in an appropriate environment. On this view,
someone who believes in God on the basis of religious experience can
have knowledge thereby, so long as the belief is the product of some
properly functioning faculty, in this case a sensus divinitatus, so to speak.
But of course individuals will disagree over whether a given belief is
such a product, or even could be. Religious believers, or at least some
of them, will think that human beings are so designed and that therefore
such beliefs are possible. Freudians and Marxists, or at least some of
them, will think that we are not so designed, and that therefore such
beliefs are not possible. Rather, beliefs about God must be the result of
a cognitive ma/function. But notice that this is a disagreement over the
non-epistemological facts. Both the atheist and the theist could agree on
Plantinga's agent reliabilism, and precisely because it explains everyone's
intuitions involved, including such disagreements as arise.
Plantinga ends his discussion by noting that disputes over the rationality of religious belief are not merely epistemological they involve an
ontological or metaphysical dimensions as well:
What is rational depends upon what sort of beings human beings are; and what
you properly take to be rational, at least in the sense in question, depends upon
4
225
what sort of metaphysical and religious stance you adopt; it depends upon what
kind of beings you think human beings are, and what sorts of beliefs their noetic
faculties will produce when they are functioning properly.5
I fully agree, but we must keep in mind exactly where the metaphysics
comes in. It is not in determining which intuitions are to be explained,
and it is not in determining which theory of knowledge and evidence
best explains those intuitions. It does not even come in when we apply
the theory to individual cases, so long as those cases are hypothetical
ones that we can fully describe. Even a staunch atheist might agree that
belief in God would have positive epistemic status in cases where the
universe is as the theist describes it. And even a committed theist might
agree that belief in God would lack positive epistemic status in cases where
the universe is as the atheist describes it. Rather, one's metaphysics comes in
only when one decides whether particular, actual beliefs satisfy the
conditions that the preferred theory lays down. But again, that will not
be an epistemological dispute, except in an extended sense. Therefore,
people with quite different metaphysical positions can engage in strong
particularism and can thereby come to agree on the essentially epistemological questions. Methodological pluralism is not warranted by a
plurality of intuitions, or even by a plurality of metaphysical positions.6
2. ALSTON'S DEFENSE OF RELIGIOUS PERCEPTION
Alston develops systematically the idea that a perception of God is
possible.7 One objection to this idea that immediately arises is that
religious experience is, in itself, a merely subjective phenomenon. In
order for such an experience to justify one's beliefs about God, one must
have some good argument for believing that the experience is veridical.
In other words, one must have some good reason for believing that the
experience is of what one takes it to be. But no such argument is
5
226
227
228
some people actually perceive God without assuming that God exists
and is experienced by people in the required way. But even without
making such assumptions, there is still a lot that can be said about the
epistemology of religious perception. We can look at the practice of
forming beliefs about God directly on the basis of religious experience
(call this RP, for "religious practice"), and we can compare this to the
practice of forming beliefs about material objects directly on the basis of
sensory experience (call this SP, for "sensory practice"). Alston's strategy
throughout is to argue that the two kinds of perceptual practice are in
the same epistemic boat.11
Consider first the question of whether the two practices are objectively reliable, or truth conducive. In both cases this will be a matter of
what the facts are: it will depend on whether God (or the material
world) exists, and whether beliefs formed on the basis of the practice
hook up with the relevant reality in a reliable way. But in both cases, if
the relevant reality exists, and if that reality is related to us in the right
way, then the relevant practice is objectively reliable. Moreover, engaging in the relevant practice could constitute a reliable perception of the
reality in question.
Consider next whether we can prove or establish that the practices
are objectively reliable. Alston argues that, again, RP and SP are in the
same boat. In both cases it is impossible to establish the reliability of the
practice without engaging in a particular kind of circularity. Specifically,
we cannot establish the reliability of the practice without using premises
that are deliverances of the practice in question. Thus we can establish
the reliability of empirical perception, but only by using empirical perception. If we want something more than this for example, an argument that is independent of any empirical premise then we will be
disappointed. Alston takes it that the history of philosophy teaches us
this lesson; we need only look at the litany of failed attempts to establish
the reliability of empirical perception in this fashion.
The point is significant, because it blocks an otherwise plausible
objection to the possibility of perceiving God. RP cannot be shown to
be a reliable process, unless, of course, one is allowed to use beliefs
resulting from the practice itself as premises. But this kind of epistemic
circularity cannot count against the epistemic efficacy of RP. For if it
11 Alston tends to talk in terms of "Christian practice" and "Christian mystical practice," but
as he notes himself, there is nothing particular about Christianity that figures into his account of religious perception. I therefore use the term "religious practice."
229
230
Yale University Press, 1989). Some relevant selections from this work are reprinted in
"The Rationality of Religious Belief," in R. Douglas Geivett and Brenden Sweetman,
eds., Contemporary Perspectives on Religious Epistemology (Oxford: Oxford University Press,
1992).
231
232
233
beliefs it produces, thereby giving rise to justification or even knowledge.16 An example of moral perception, on this model, would be seeing
that a particular action for example, some boys torturing a cat - is
wrong. Such a belief is particular rather than general, in that it refers to
particular existing things; in this case the boys, the cat, and the action
they are involved in. The belief also expresses a contingent truth rather
than a necessary one, in that its content is that this individual action is
wrong, and it is only a contingent truth that this action took place at all.
Finally, I will argue that such a belief can be formed directly on the basis
of a moral experience of the action, and that the belief can be thereby
justified, or can even amount to knowledge.
One reason for pursuing this kind of position is that it seems to be
the most adequate phenomenologically. Seeing that an action is wrong,
or that a man is trustworthy, or that a child is innocent seems to be an
adequate description of a fairly common sort of occurrence. On the
other hand, it seems to be phenomenologically inadequate to characterize many moral judgments in terms of an inference from evidence. At
least in a broad range of cases, we precisely do not infer that some action
is wrong from a general rule. What would such a rule be, and who but
a philosopher even thinks in terms of such rules? Neither do we typically
judge that some person is trustworthy by means of an implicit theory
about what trustworthy persons look like, which we then use to infer
that this particular person, who looks so and so, must be trustworthy.
Rather, a person often "strikes" us as trustworthy; she has a certain look
to her, which we probably could not articulate, on the basis of which
we form our beliefs and act. Or perhaps a voice sounds insincere, or
caring, or threatening. But who among us, except perhaps the odd
phenomenologist or stage actor, has beliefs about what such a look or
16 Intuitionism in moral epistemology has recently been defended by Robert Audi in a number of places. Audi's work also contains an excellent treatment of a broad range of relevant
issues in moral epistemology. E.g., much of what he says in defense of intuitionism goes
toward a defense of non-inferential moral knowledge in general. See his "Intuitionism,
Pluralism, and the Foundations of Ethics," in Walter Sinnott-Armstrong and Mark Timmons, eds., Moral Knowledge? (Oxford: Oxford University Press, 1996); and "Moral Knowledge and Ethical Pluralism" in Greco and Sosa (1999). For some recent defenses of moral
perception views, see Michael DePaul, "Argument and Perception: The Role of Literature
in Moral Inquiry," Journal of Philosophy 85 (1988): 552-565, and Balance and Refinement;
John McDowell, "Values and Secondary Qualities," in Ted Honderich, ed., Morality and
Objectivity (London: Routledge and Kegan Paul, 1985); and William Tolhurst, "On
the Epistemic Value of Moral Experience," Southern Journal of Philosophy 29, supplement
(1990):67-87.
234
235
the typical case sensory experience also has a conceptual or representational content. To use a now familiar phrase, seeing is (at least often)
"seeing as." This can be generalized to the other sensory modalities as
well. At least in the typical case, hearing is "hearing as," smelling is
"smelling as," and so forth. To illustrate this idea we may consider some
atypical cases in which we do not experience a thing as what it is. We
can then contrast these with more typical cases.
First, consider a case where you smell something vaguely familiar but
cannot quite say what the thing is that you are smelling. You might
concentrate carefully on the quality of the odor, trying to figure out for
some time what the source of it is. Contrast this with walking into the
house and smelling tomatoes and garlic cooking on the stove. In this
case there is no awareness of the experience as an isolated aspect of your
thinking you simply smell the tomatoes and garlic cooking as tomatoes
and garlic cooking.17
Consider next the case of hearing a sound coming from outside and
trying to determine its source. Again, one attends to the quality of the
experience so as to figure out whether it is from a car, a truck, a
motorcycle, or something else. Compare this with hearing the voice of
your spouse or your child. Here again there is nothing like an isolated
experience, separated off from other aspects of one's thought. One hears
the voice as the voice of the loved one. Even more likely, one simply
hears the voice as the person, and does not even think of the voice as a
voice.
Based on this kind of investigation into the phenomenology of perception, I assume that when one sees a tree (or smells her dinner, or
hears his child) the sensory experience involved in this has a conceptual
as well as a phenomenal content. To perceive that there is a tree bearing
apples by the brook, for example, is to be appeared to phenomenally in
a particular way, and to take this phenomenal appearance as that of a
tree bearing apples by the brook. One then forms a perceptual belief
with this content immediately on that basis. On this way of thinking,
the psychological and evidential grounds of empirical perceptual beliefs
is thick experience rather than thin, and it is the experience itself rather
than beliefs about the experience.
This way of thinking about perception has distinct advantages over
inferential and simple causal accounts. Over inferential accounts, it
17 In the example I am assuming that you are Italian, or at least sufficiently familiar with Italian
cooking. If not, substitute your own example.
236
237
238
239
strates that this idea is not incoherent or impossible, even if it does not
show h o w such perception actually works in us.
T h e main idea of Schema Theory in empirical psychology is that our
cognition involves "scripts" and "personae" through which information
such as sensory appearances is processed. T h e dispositions of perception
that result are loaded, to be sure. But they are best understood, I want
to argue, as being non-inferential; they ground a process very different
from inferring conclusions from premises. In the following passages
Richard Nisbett and Lee Ross describe h o w scripts and personae are
supposed to work:
To understand the social world, the layperson makes heavy use of a variety of
knowledge structures normally not expressed in propositional terms and possibly
not stored in a form even analogous to propositional statements. In describing
these cognitive structures we shall use the generic designation "schema" and
will comment in detail about only two types of schema event-schemas, or
"scripts," and person-schemas, or "personae."
A script is a type of schema in which the related elements are social objects and
events involving the individual as actor and observer. Unlike most schemas,
scripts generally are event sequences extended over time, and the relationships
have a distinctly causal flavor, that is, early events in the sequence produce or at
least "enable" the occurrence of later events. A script can be compared to a
cartoon strip with two or more captioned "scenes," each of which summarizes
some basic actions that can be executed in a range of possible manners and
contexts (for instance, the "restaurant script" with its "entering," "ordering,"
"eating," and "exiting" scenes).
Social judgements and expectations often are mediated by a class of schemas
which we shall term "personae," that is, cognitive structures representing the
personal characteristics and typical behaviors of particular "stock characters."
Some personae are the unique products of one's own personal experience (good
old Aunt Mary, Coach Whiplash). Others are shared within the culture or subculture (the sexpot, the earth-mother, the girl-next-door, the redneck, the
schlemiel, the rebel-without-a-cause). . . . In each instance the persona constitutes a knowledge structure which, when evoked, influences social judgements
and behaviors. Once the principal features or behaviors of a given individual
suggest a particular persona, subsequent expectations of and responses to that
individual are apt to be dictated in part by the characteristics of the persona.19
19 Richard Nisbett and Lee Ross, "Judgmental Heuristics and Knowledge Structures," in
Kornblith, Naturalizing Epistemology, p. 278, p. 280, and pp. 281-282.
240
241
not be essentially different from the empirical perception that some man
is a waiter.
We may pursue this idea further by considering the nature of moral
experience. Some moral epistemologists have thought of moral experience as moral emotions. On this view, affective reactions such as indignation, empathy, revulsion, and attraction ground appropriate moral
judgments about the objects of such emotions. For example, a feeling of
revulsion toward some action might ground a moral judgment that the
action is wrong. 20 Other philosophers have thought of moral experience
as moral seemings. Upon witnessing an action or meeting a person, the
object of one's experience appears morally a certain way. For example,
an action strikes one as tragic, or a person strikes one as kind and good.
On this view events and things can have a kind of "moral color" or
"moral feel" to them, and such experience can epistemically ground
moral judgments about the relevant objects.21
Finally, some philosophers have identified the experience involved in
moral perception with sensory experience. On this view moral properties supervene in some way on the natural properties of events and
things, and for this reason it is possible to experience their moral properties by experiencing their natural properties. For example, suppose, for
the sake of argument, that utilitarianism is correct, and that anything that
is pleasurable thereby has moral value. Given the requisite theoretical
background, one could then perceive that something is morally valuable
by perceiving that it is pleasurable.22
Without arguing against other possibilities, I want to defend a conception of moral experience that combines features of the last two
suggestions. Staying close to the analogy with empirical perception, I
suggest that moral experience involves both phenomenal and representational content. The phenomenal content is the same: it involves the
same sensory modalities that are normal for empirical perception. What
makes the experience distinctively moral is its representational content.
On this view, to morally perceive that something has some moral property is to perceive the thing empirically, but to take the phenomenal
appearing involved in a moral way as well. For example, to morally
20 This kind of view is defended by Tolhurst in "On the Epistemic Value of Moral Experience" and by DePaul in Balance and Refinement.
21 At times Tolhurst and DePaul characterize moral experience this way.
22 This view of moral experience is suggested but not defended in Audi, "Moral Knowledge
and Ethical Pluralism," Section 3.
242
243
loaded and yet non-inferential. And even if they do not, the present
discussion at least demonstrates that the idea in not incoherent.
If all of this is right, then moral perception is possible. Aside from its
subject matter, moral perception would have little to distinguish it from
perception in general, working pretty much the same way that empirical
perception does. Accordingly, the present account of moral perception
allows us to adopt without qualification the accounts of perception,
perceptual justification and perceptual knowledge that were put forward
in Section II.2. To say that S morally perceives that something is the
case is just to say that S perceives that X is F, where F is a moral
property. As in the empirical case, this will involve a sensory phenomenal appearing, but the relevant perceptual taking will involve a moral
representational content, namely that the thing perceived has (moral
property) F. The accounts of perceptual justification and perceptual
knowledge can then be carried over without qualification. They do no
more than add requirements placing the source of S's perception in S's
relevant cognitive character. But there is no reason why moral perceptions, as characterized above, could not be grounded in S's character in
these ways.
4. SOME TRADITIONAL OBJECTIONS TO MORAL
PERCEPTION
244
245
246
247
ceptual powers in general need not be widely shared and need not be
equally effective. Just as there can be acquired, expert empirical perception, this might be the case regarding moral perception as well.
248
23 Sosa's account does add that the perspective must be formed in a reliable way, but again,
it is not clear that this requirement can be cashed out in such a way that it both (a) adds
something to the requirements already laid down by agent reliabilism and (b) remains a
plausible condition on justified belief and knowledge.
249
250
added conditions seem too strong, and so once again there is pressure to
weaken what one means by them. As it turns out, Plantinga allows that
cognitive faculties might be "designed" by evolution, or by other nonintelligent forces. But this effectively reduces proper function to reliable
function, and so effectively reduces Plantinga's position to agent reliabilism simpliciter.25 All of this suggests that agent reliabilism already lays
down conditions that are sufficient for objective reliability and subjective
appropriateness. It is possible that different versions of the position do
less by trying to do more.
Even if this is so, however, it remains the case that the position I
have been defending does not constitute a complete epistemology. This
is because there are important issues regarding the nature of knowledge
and evidence that the position does not address. In closing I will consider
two of these.
First, the conditions for justified belief and knowledge laid down in
Chapters 7 and 8 are not adequate for addressing Gettier problems. For
this reason, I have been careful to characterize the account of knowledge
only in terms of necessary conditions rather than sufficient ones. To see
why the conditions are not adequate, consider the following Gettiertype example from Zagzebski:
Suppose that Mary has very good eyesight, but it is not perfect. It is good
enough to allow her to identify her husband sitting in his usual chair in the
living room from a distance of fifteen feet in somewhat dim light. . . . Of course,
her faculties may not be functioning perfectly, but they are functioning well
enough that if she goes on to form the belief My husband is sitting in the living
room, her belief has enough warrant to constitute knowledge when true and we
can assume it is almost always true. . . . Suppose Mary simply misidentifies the
chair sitter, who is, we'll suppose, her husband's brother, who looks very much
like him. . . . We can now easily amend the case as a Gettier example. Mary's
husband could be sitting on the other side of the room, unseen by her.26
Of course the point is that Mary does not have knowledge in the case,
even though her belief is true and is also reliably formed and subjectively
appropriate. Accordingly, the conditions that agent reliabilism sets down
25
Warrant and Proper Function, pp. 1314. In truth, the issue with regard to Plantinga is more
complicated than I have presented it. This is because Plantinga argues that the notion of
proper function cannot be given a naturalistic analysis. See esp. Ch. 11.
26 Zagzebski, Virtues of the Mind, pp. 285-287. Zagzebski is discussing Plantinga's proper function view, but the example is potentially a problem for any version of agent reliabilism.
251
as necessary for knowledge are not also sufficient for knowledge; something else must be added.
As far as I can see, there are three ways that agent reliabilism might
handle such cases. First, it is possible that the conditions for objective
reliability and subjective appropriateness laid down by the position can
be interpreted in a particular manner, thereby making them sufficient
for addressing this kind of case and other Gettier-type problems. This
strategy is represented by Sosa, who goes on to analyze agent reliability
in a way that is designed to do just this. The main idea is that reliability
is to be understood, at least partly, in terms of a special kind of tracking.
So understood, Sosa argues, we get a solution to standard sorts of Gettier
problems.27 A second possibility is that an adequate answer to Gettier
problems must add to the conditions for justification and knowledge
already laid down by agent reliabilism, but can do so by continuing to
draw on the special resources of virtue epistemology. This strategy is
represented by Zagzebski, who attempts to address Gettier problems by
means of the notion of an act of intellectual virtue. The main idea is
this: in cases where one's belief results from an act of intellectual virtue,
one believes the truth because one's belief is both reliably formed and
properly motivated. Placing this sort of condition on knowledge, Zagzebski argues, solves the problem concerning Mary, as well as other
Gettier-type problems.28 Finally, a third possibility is that an adequate
answer to Gettier problems is independent of both agent reliabilism and
virtue epistemology. Any number of solutions proposed over the past
four decades fall into this category.
A second issue that is not fully addressed in the preceding chapters
concerns the various ways in which justified belief and knowledge are
sensitive to context. We have already seen that agent reliabilism is
consistent with contextualism. Indeed, it would be incredible if agent
reliability, and therefore justified belief and knowledge, are not partly a
function of contextual features. However, there remain substantive issues
concerning how knowledge is affected by context. For example, there
are questions about which social factors affect reliability, and how, and
on what subject matters. Very little of what has been said in the preceding chapters bears directly on these important issues.
27 See Sosa, "Postscript to 'Proper Functionalism and Virtue Epistemology,' " in Jonathan
Kvanvig, ed., Warrant in Contemporary Epistemology (Lanham, MD: Rowman and Littlefield,
1996).
28 See Linda Zagzebski, Virtues of the Mind, and Zagzebski, "What Is Knowledge?", in Greco
and Sosa (1999).
252
1. A person can know that p is true only if she knows that every
possibility inconsistent with p is false.
2. The skeptical dream hypotheses are inconsistent with my beliefs
about the world, and I do not know that the skeptical dream
hypotheses are false.
3. Therefore, I do not know anything about the world.
For example, Cohen, "How To Be a Fallibilist," and DeRose, "Solving the Skeptical
Problem." My discussion of contextualism in the rest of this section is indebted to both of
these authors.
30 A somewhat similar idea is put forward by DeRose in "Solving the Skeptical Problem."
253
254
Bibliography
255
Bogen, James. "Coherentist Theories of Knowledge Don't Apply to Enough Outside of Science and Don't Give the Right Results." In Bender (1989).
Bonjour, Laurence. "The Coherence Theory of Empirical Knowledge." Philosophical
Studies 30 (1976): 281-312. Reprinted in Moser (1986).
"Can Empirical Knowledge Have a Foundation?" American Philosophical Quarterly
15 (1978): 1-13. Reprinted in Moser (1986).
The Structure of Empirical Knowledge. Cambridge, MA: Harvard University Press,
1985.
Carnap, Rudolf. Logical Foundations of Probability. Chicago: University of Chicago
Press, 1950.
Cavell, Stanley. The Claims of Reason. Oxford: Oxford University Press, 1979.
Cherniak, Christopher. "Rationality and the Structure of Human Memory." Synthese 57 (1985): 163-186.
Chisholm, Roderick. Perceiving: A Philosophical Study. Ithaca: Cornell University
Press, 1957.
The Theory of Knowledge. 2nd ed. Englewood Cliffs, NJ: Prentice Hall, 1977.
"Comments and Replies." Philosophia 7 (1978): 597-636.
The Foundations of Knowing. Minneapolis: University of Minnesota Press, 1982.
Clay, Marjorie and Lehrer, Keith, eds. Knowledge and Skepticism. Boulder: Westview,
1989.
Cohen, Stewart. "How To Be a Fallibilist." Philosophical Perspectives 2 (1988): 9 1 123.
Davidson, Donald. "The Method of Truth in Metaphysics." In P. A. French, T. E.
Ueling, Jr., and H. K Wettstein, eds. Midwest Studies in Philosophy 2: Studies in
the Philosophy of Language. Morris: University of Minnesota Press, 1977.
Inquiries into Truth and Interpretation. Oxford: Clarendon Press, 1985.
"A Coherence Theory of Truth and Knowledge." In Ernest LePore, ed., Truth
and Interpretation: Perspectives on the Philosophy of Donald Davidson. Oxford:
Blackwell, 1992.
Davis, Wayne and Bender, John, "Fundamental Troubles with the Coherence Theory." In Bender (1989).
DePaul, Michael. "Reflective Equilibrium and Foundationalism." American Philosophical Quarterly 23 (1986): 59-69.
ledge, 1993.
DeRose, Keith. "Solving the Skeptical Problem." Philosophical Review 104 (1995): 152.
"Contextualism: An Explanation and Defense." In Greco and Sosa (1999).
Descartes, Rene. Philosophical Works. Vol. 1. Trans. Elizabeth S. Haldane and
G. R. T. Ross. Cambridge: Cambridge University Press, 1979.
Dewey, John. The Quest for Certainty. New York: Minton, Balch, 1929.
Reconstruction in Philosophy. Boston: Beacon Press, 1948.
256
257
258
259
260
Index
261
contextualism (cont.)
regarding knowledge conditions, 47,
68-9, 252-4
regarding regress argument, 121-6
Continental philosophy, 77-9
262
Randall, J., 77
rationalism, 69, 126, 148
Rawls,J., 232
regularity principle, 27, 139, 1526,
159-62, 173
Reicher, G., 170n
Nagel, T., 66
Reid, T., 6n, 19-20, 64-5, 105-6,
naturalized epistemology, 43
146n, 179
Nisbett, R., 199n, 240
relevant possibilities approach to skeptino good inference argument (NGI), 84
cism, 56-8, 204-10, 217-19
Nozick, R., 53n
reliabilism {see also agent reliabilism)
as answer to skepticism, 1611A
evidence, 56, 178
Pappas, G., 62n
generic or simple, 1, 4-6, 68, 165
particularism, Chisholm's {see also strong
particularism), 20-3, 224
7
Paxson, T., 208n
method, 5-6, 178
Peirce, C. S., 145n, 146n, 156n
objections against, 174-80
perception {see also inference from approcess, 5-6
pearance to reality, sensory apsocial practice, 1789
pearances)
religious perception, see perception
elements of, 97-9
representationalism, 4, 90-4, 103-6,
empirical, 235-41
141-5
expert, 246-8
Rescher, N., 62n, 63n, 69n, 145n
as merely contingently reliable, 173- Rorty, R., 77, 80-1, 90-1, 124,
168n
4
moral, 231-4, 241-8
Ross, L., 240
as non-inferential, 95-101, 239-41
Rumelhart, D., 194-7
religious, 225, 226-31
RusseU, B., 17
Plantinga, A., 6n, 14, 171n, 172n,
schema theory, 240-1, 243-4, 247-8
175n, 179n, 226, 231, 250-1
Plato, 44, 67, 109, 113, 177
Schmitt, F., 37n
Pollock, J., lOln, 128-9, 192-3, 193n
Sellars, W., 33n
post-modernism, 77, 79-80, 90-1
sensory appearances {see also perception,
Potter, V., 62n, 63n
representationalism)
Prichard, H. A., 182n
as evidence, 95101
263
264