Cover Page

Contents

Preface

Acknowledgments

§ 1 The best case for skepticism about the external world? (Stroud, “The Problem of the External World”)

References

§ 2 Proving the external world exists (Or: Let’s all give Moore a hand!) (Moore, “Proof of an External World”)

§ 3 Some ways of resisting skepticism (Moore, “Four Forms of Scepticism”)

§ 4 Plausibility and possibilities (Moore, “Certainty”)

§ 5 Skeptic on skeptic (Klein, “How a Pyrrhonian Skeptic Might Respond to Academic Skepticism”)

§ 6 Realism in epistemology (Williams, “Epistemological Realism”)

§ 7 Socratic questions and the foundation of empirical knowledge (Chisholm, “The Myth of the Given”)

§ § 8–9 The foundation of empirical knowledge? (Sellars, “Does Empirical Knowledge Have a Foundation?” and “Epistemic Principles”)

Reference

§ 10 It’s not a given that empirical knowledge has a foundation (BonJour, “Can Empirical Knowledge Have a Foundation?”)

§ 11 Interpretation, meaning and skepticism (Davidson, “A Coherence Theory of Truth and Knowledge”)

Reference

§ 12 Blending foundationalism and coherentism (Haack, “A Foundherentist Theory of Epistemic Justification”)

§ 13 Foundationalism, coherentism and supervenience (Sosa, “The Raft and the Pyramid”)

References

§ 14 Infinitism (Klein, “Human Knowledge and the Infinite Regress of Reasons”)

§ 15 The Gettier problem (Gettier, “Is Justified True Belief Knowledge?”)

(Anti-JTB)

References

§ 16 Some principles concerning knowledge and inference (Harman, Thought, Selections)

Reference

§ 17 The essence of the Gettier problem (Zagzebski, “The Inescapability of Gettier Problems”)

§ 18 Knowledge is an unanalyzable mental state (Williamson, “A State of Mind”)

References

§ 19 Closure, contrast and semi-skepticism (Dretske, “Epistemic Operators”)

Reference

§ 20 Closure, contrast and anti-skepticism (Stine, “Skepticism, Relevant Alternatives, and Deductive Closure”)

§ 21 Keeping close track of knowledge (Nozick, “Knowledge and Skepticism”)

Reference

§ 22 Moore wins (Sosa, “How to Defeat Opposition to Moore”)

§ 23 The closure principle: dangers and defense (Vogel, “Are There Counter examples to the Closure Principle?”)

Reference

§ 24 Evidentialist epistemology (Feldman and Conee, “Evidentialism”)

Reference

§ 25 Non-defensive epistemology (Foley, “Skepticism and Rationality”)

§ 26 Reliabilism about justification (Goldman, “What Is Justified Belief?”)

§ 27 Reliabilism: a level assessment (Vogel, “Reliabilism Leveled”)

§ 28 Against externalism (BonJour, “Externalist Theories of Empirical Knowledge”)

§ 29 Against internalism (Goldman, “Internalism Exposed”)

§ 30 A skeptical take on externalism (Fumerton, “Externalism and Skepticism”)

§ 31 A friendly take on internalism (Feldman and Conee, “Internalism Defended”)

§ 32 Warrant (Plantinga, “Warrant: A First Approximation”)

Reference

§ 33 Intellectual virtues (Zagzebski, Virtues of the Mind)

§ 34 Virtue epistemology (Greco, “Virtues and Vices of Virtue Epistemology”)

§ 35 Knowledge, luck and virtue (Pritchard, “Cognitive Responsibility and the Epistemic Virtues”)

References

§ 36 Epistemic value and cognitive achievement (Sosa, “The Place of Truth in Epistemology”)

§ 37 Giving up on knowledge (Kvanvig, “Why Should Inquiring Minds Want to Know?”)

Reference

§ 38 Giving up on (exact) truth (Elgin, “True Enough”)

§ 39 Naturalized epistemology advertised (Quine, “Epistemology Naturalized”)

References

§ 40 Naturalized epistemology criticized (Kim, “What is ‘Naturalized Epistemology’?”)

§ 41 Naturalized epistemology radicalized (Antony, “Quine as Feminist”)

§ 42 A apriori justification and unrevisability (Putnam, “There is at Least One A Priori Truth”)

§ 43 A priori justification and revisability (Casullo, “Revisability, Reliabilism, and A Priori Knowledge”)

§ 44 Philosophical method and empirical science (Bealer, “A Priori Knowledge and the Scope of Philosophy”)

§ 45 Experimental epistemology (Weinberg, Nichols and Stich, “Normativity and Epistemic Intuitions”)

§ 46 Natural kinds, intuitions and method in epistemology (Kornblith, “Investigating Knowledge Itself”)

Reference

§ 47 Contextualism and skeptical puzzles (DeRose, “Solving the Skeptical Problem”)

§ 48 Contextualism and infallibilist intuitions (Lewis, “Elusive Knowledge”)

§ 49 Contextualism and intuitional instability (Cohen, “Contextualist Solutions to Epistemological Problems”)

§ 50 Knowledge and action (Stanley, “Knowledge and Practical Interests, Selections”)

Reference

§ 51 Rationality and action (Fantl and McGrath, “Evidence, Pragmatics, and Justification”)

§ 52 One invariantist’s scorecard (Hawthorne, “Sensitive Moderate Invariantism”)

Reference

§ 53 A relativist theory of knowledge attributions (MacFarlane, “The Assessment Sensitivity of Knowledge Attributions”)

§ 54 Rationality and trust (Baker, “Trust and Rationality”)

§ 55 Testimony and gullibility (Fricker, “Against Gullibility”)

§ 56 Some reflections on how epistemic sources work (Burge, “Content Preservation”)

§ 57 Testimony and knowledge (Lackey, “Testimonial Knowledge and Transmission”)

Reference

§ 58 Memory and knowledge (Huemer, “The Problem of Memory Knowledge”)

§ 59 Perception and knowledge (McDowell, “Criteria, Defeasibility, and Knowledge”)

§ 60 Skills and knowledge (Reynolds, “Knowing How to Believe with Justification”)

Index

Image





For Angelo

Preface

Epistemology is the philosophical discipline that studies the evaluative dimensions of cognition, their metaphysical bases, and the language we use to ascribe cognitive states. This book introduces you to a wide range of topics in epistemology, including skepticism, knowledge, justification, understanding, evidence, epistemic value, virtue epistemology, contextualism, invariantism, naturalism, testimony, perception, memory, and the a priori. It is designed and written especially to accompany the second edition of Epistemology: An Anthology (Blackwell Publishing, 2008), edited by Ernest Sosa, Jaegwon Kim, Jeremy Fantl, and Matthew McGrath. You can profit from this book even if you don’t read it alongside the anthology, but you’ll profit from it more if you do.

This book’s design is modular. It consists of 60 sections corresponding to the anthology’s selections. Each is intended to be brief, accessible even to the beginner, and, to the extent possible, independently intelligible. You can glean the main aim and argument of any selection in the anthology by studying the relevant section in this book. I have focused especially on providing examples and clarifying key concepts and methodological points that are essential to the main arguments, but which the beginner couldn’t reasonably be expected to be familiar with.

This book’s sections can’t be entirely independent, however, because the topics discussed across the selections aren’t entirely independent. Indeed, many selections were chosen precisely because they complement one another. So while understanding this or that selection may be your only goal – and for some purposes this would be eminently reasonable – you’d then be missing out on some interesting and important connections running through multiple selections, both within and across the anthology’s divisions. Of course, this book can’t cover all the ideas, arguments, and connections in the anthology, because that would defeat the goal of brevity. It would also make it much more difficult to help you distinguish the central from the peripheral, which is crucial to achieving proficiency in any field.

Since brevity and accessibility demand selectivity, I should be clear about the general principle I’ve employed in trying to meet that demand. I have focused on the main theses and arguments found in the selections and sought to emphasize areas where the authors are – or, with a little imagination, easily could be – in conversation with one another. The hope is that this promotes not only brevity and accessibility but also integrity within and continuity across the various sections.

Acknowledgments

I would like to thank Ernest Sosa, Jeremy Fantl, and Matt McGrath for supporting this project. I thank Jeff Dean and Jen Bray for their support and for helping to guide the project to completion. Thanks also to Wesley Buckwalter, Trystan Goetze, and many students in epistemology courses at Huron University College and the University of Waterloo for evaluating parts of the manuscript. Thanks to Peter Blouw for work on the index. I owe my family an enormous debt of gratitude for supporting (and tolerating!) me while I worked (too) many long hours on this project, with all the sacrifice that entails: thank you Vivian, Sarah, Geno, Mom, Dad, Rich, Doug, Kelly, Mallory, and Julia. Finally, my greatest debt is to my older son, Angelo, who between the ages of 9 and 12 read every section of this book multiple times and offered valuable comments and suggestions at every stage. He is not only my son but also my greatest student and a true friend. I dedicate this book to him.

§ 1

The best case for skepticism about the external world? (Stroud, “The Problem of the External World”)

We’re all intimately familiar with what goes on in our own minds. We make plans, form opinions, experience pleasure and pain, and so on. It’s also natural to suppose that we know a lot about what goes on outside our own minds too, about the world around us, based on the information we get through our senses of sight, hearing, smell, taste, and touch. Natural as that idea may be, it’s surprisingly easy to get yourself into a skeptical frame of mind about the possibility of such knowledge. Can we really know anything about the world outside our own minds?

Barry Stroud aims to understand the attraction of skepticism about the external world, why knowledge of the external world based on sense experience poses a philosophical problem. To accomplish this, he focuses intensely on the argument presented at the beginning of Rene Descartes’s Meditations on First Philosophy (published originally in 1641), the most influential work of one of the most influential philosophers of all time.

Let’s note a couple important points before we proceed. First, people who reflect on knowledge nearly unanimously agree that knowledge requires truth, or as it’s sometimes put, that knowledge is factive.1 This means that we can know something only if it is true or a fact. We cannot know a falsehood. (We can of course believe a falsehood, but that’s a different matter.) Now if you think that knowledge is not factive, I recommend a simple solution: everywhere we here speak of “knowledge,” understand it to mean “knowledge of the truth,” and every time we claim or ask whether someone “knows that so-and-so,” understand it to mean “knows it’s true that such-and-such.” Second, something can be possible without being real or actual. Indeed lots of things are possible that aren’t actual. For instance, it’s possible for winged horses to exist, even though none actually do. Likewise for wizards, dragons, phlogiston, the luminiferous ether, etc. With those points in mind, let’s proceed.

Imagine Descartes at work in his study on a cold night, sitting a few feet from a comforting fire. Unsure for the moment how his narrative should best proceed, he takes a break and turns his attention to the fire. He sees its colorful flames flitting and flickering; he hears it crackling and popping; he feels its heat emanating; he smells the fragrant wood burning. In light of all this, Descartes of course believes he’s near a fire. But do these sense experiences enable him to know he’s near a fire?

It’s hard to imagine Descartes’s senses putting him in a better position to gain knowledge of the external world. He is as well-positioned as any of us could ever hope to be. So if the answer to our question at the end of the previous paragraph is “No,” then it seems very likely that we never know anything about the external world, at least by way of our senses.

The way things look, sound, smell, and feel make it appear to Descartes as though he’s near a fire, and it’s this appearance that he trusts when judging that he’s near a fire. But of course things might appear exactly the same in a perfectly realistic dream. And a perfectly realistic dream is a genuine possibility. It’s certainly possible for him to have all those sensations despite merely dreaming that he’s near a fire. Indeed, any sensory experience might be a mere component of a perfectly realistic dream. Thus sense experience, being equally compatible with dreaming or waking, could never enable him to know that he is awake rather than merely dreaming.

As Descartes recognizes, if he’s merely dreaming that he’s near a fire, then he certainly doesn’t know that he’s near a fire. And he also recognizes it is at least possible that he’s merely dreaming. So he knows that a certain genuine possibility, the dream-possibility (as Stroud calls it), is incompatible with his knowing that he’s near a fire. So in order to know that he’s near a fire, he must know that the dream-possibility is false.

Notice that, on this way of thinking, in order for the dream-possibility to potentially threaten Descartes’s knowledge of the fire, he doesn’t need to know, or even so much as believe, that it is actually true. No, the dream-possibility threatens simply because Descartes recognizes that it is possibly true, and that if it were actually true, he wouldn’t know that he’s near a fire.

Could Descartes ever come to know that the dream-possibility is false? Sense experience itself won’t enable such knowledge because, as we’ve already said, any sense experience is perfectly compatible with the dream-possibility. But isn’t there some test he could perform to determine whether he is merely dreaming? Unfortunately not, because in order for him to learn from the test, he’d need to know that he wasn’t merely dreaming that he was performing the test!

If you’re wondering why he couldn’t then just perform a second test to determine whether he’s merely dreaming that he performed the first test, consider: he could equally well be dreaming that he’s performing the second test. The same is true for a third test he might perform to determine whether he’s merely dreaming that he performed the second test. And so on. No matter how many tests he performs, the same problem recurs. And since it’s not possible to perform an infinite series of tests, we find no relief in this direction.

Let’s encapsulate the preceding line of thought in the following argument, broken up into two parts to enhance clarity. The main argument goes like this:

1. If Descartes doesn’t know that he’s near a fire, then we never know anything about the external world. (Premise)
2. Descartes doesn’t know that he’s near a fire. (Premise)
3. So we never know anything about the external world. (From 1 and 2)

The argument is logically valid: if its premises are true, then its conclusion must be true too. That leaves us to ask whether its premises are true. 1 is at least very plausible, and Stroud is willing to grant it. That leaves only 2 to seriously question. The following supplementary argument supports 2:

a. Descartes knows that the dream-possibility is incompatible with his knowing that he’s near a fire. (Premise)
b. If Descartes knows that a possibility is incompatible with his knowing some specific claim, then in order for him to know the specific claim, he must know that the possibility in question is false. (Premise)
c. So in order for Descartes to know that he’s near a fire, he must know that the dream-possibility is false. (From a and b)
d. But Descartes couldn’t know that the dream-possibility is false. (Premise)
e. So Descartes doesn’t know that he’s near a fire. (From c and d)

Notice that (e) is exactly the same as 2.

Should we accept this argument? Stroud wonders whether we can seriously entertain the skeptical conclusion expressed by 3, because it’s allegedly either absurd or even unintelligible. But merely rejecting it as absurd or unintelligible deprives us of the opportunity to learn something potentially important about knowledge (or at least about our concept of knowledge). Accordingly, he challenges those of us inclined to reject the conclusion to locate the argument’s flaw. Whatever it is, it isn’t obvious.

Stroud suggests that (c) is false. Yet (c) follows from (a) and (b), so rejecting (c) requires us to reject at least one of (a) and (b). (a) is obviously true, which leaves (b).

The problem is that (b) is arguably “embodied” in our ordinary procedures for “making and assessing knowledge-claims.” Consider for instance a bird watcher who judges a certain bird to be a goldfinch. We ask her why she thinks it’s a goldfinch. “Because it’s yellow,” she says. “But for all you’ve said,” we respond, “it’s possible that it’s a canary – canaries are yellow too.” We don’t think she knows it’s a goldfinch, because she knows very well that canaries aren’t goldfinches, and yet she doesn’t know it’s not a canary. She must rule out this relevant possibility, the canary-possibility, in order to know it’s a goldfinch.

The question then becomes whether the dream-possibility is in all relevant respects similar to the canary-possibility, so that when we insist that the bird watcher must rule out the canary-possibility, we thereby commit ourselves to insisting that Descartes must rule out the dream-possibility. Does Descartes have to rule out the dream-possibility in order to know there’s a fire nearby, as the bird watcher must rule out the canary-possibility in order to know that she’s looking at a goldfinch? If not, why not? Each subject knows the possibility in question is incompatible with his or her knowing the claim in question. So what could be the difference?

A plausible explanation of the difference, should there be any, would go a long way toward resolving “the problem of the external world.” Therein lies the challenge, and potential reward, of confronting philosophical skepticism.

References

Allan Hazlett, “Factive Presupposition and the Truth Condition on Knowledge,” Acta Analytica 27.4 (2012): 461–478.

John Turri, “Mythology of the Factive,” Logos & Episteme 2.1 (2011): 143–152.

Stroud, Barry, “The Problem of the External World,” Chapter 1 in The Significance of Philosophical Skepticism (Oxford: Clarendon Press, 1984). © 1984 by Barry Stroud.

1 For some recent controversy over the “truth requirement” on knowledge, see Allan Hazlett, “Factive Presupposition and the Truth Condition on Knowledge,” Acta Analytica 27.4 (2012): 461–478, and John Turri, “Mythology of the Factive,” Logos & Episteme 2.1 (2011): 143–152.

§ 2

Proving the external world exists (Or: Let’s all give Moore a hand!) (Moore, “Proof of an External World”)

Suppose we disagree about the number of books on the desk. You say there are at least two. I disagree. And it’s no mere verbal disagreement – we’re referring to the same desk, and mean the same thing by “book” and “at least two,” etc. How might you prove your point?

Here’s one way. You walk over, point to one book sitting on the desk, and then point to another, all while saying, “Here’s one book on the desk, and here’s another. So there are at least two books on the desk.” I couldn’t rightly criticize the proof. I’d have to concede the point. What else could I possibly be looking for in a proof? Your premises (“here’s one book the desk, and here’s another”) are different from your conclusion (“there are at least two books on the desk”), in which case you didn’t simply beg the question. Your conclusion follows straightforwardly from your premises, and you know that it does. And you obviously know the premises – after all, you aren’t blind, you’re looking right at the books, and you’ve correctly verbally identified them. Without question, your proof perfectly settles the matter in your favor.

Immanuel Kant, perhaps the most influential of all modern philosophers, once said it was “a scandal to philosophy” that the existence of real, mind-independent external objects “must be accepted merely on faith” rather than a “satisfactory proof.”1 Kant thought he had rescued philosophy from scandal by giving such a proof, indeed, the only possible such proof. Setting aside the merits of Kant’s own proof, G.E. Moore denied that Kant’s was the only possible such proof. A much simpler and fully convincing proof is readily available.

Moore offers his proof by saying, “Here’s one hand, and here’s another. So external objects exist,” as he gestures and holds his hands up before us. This proof, Moore says, is “perfectly rigorous.” It meets the three criteria we noted earlier when discussing your proof about the number of books on the desk. Its premises are different from its conclusion; its conclusion follows, as Moore knows, straightforwardly from its premises; and finally, Moore obviously knows the premises.

Might a satisfactory proof require more than meeting those three criteria? Not if our ordinary practice is any indication. As with your earlier proof about the books, we “constantly take proofs of this sort as absolutely conclusive.”

Note an interesting connection with Stroud’s discussion from §1. We wondered whether Descartes was right to claim that he must know the dream-possibility is false in order to know that he’s near a fire. And Stroud worried that Descartes was indeed right about that, because such a requirement might be “nothing more than an instance of a general procedure we recognize and insist on in making and assessing knowledge-claims in everyday” life, which procedure helps to define out concept of knowledge. Here Moore appeals to our everyday procedures for offering and evaluating proofs.

Moore anticipates that some will say his so-called proof fails. One type of critic insists that in order for Moore’s proof to really succeed, he must also prove his premises – prove that here is one hand and that here is another. If this critic is right, then the three criteria we earlier identified aren’t sufficient for a conclusive proof after all. At least sometimes, a conclusive proof requires more. Moore rejects this, and explicitly disavows any intention to prove his premises. He doubts it could be done, because proving them requires proving that he’s not merely dreaming that he has hands. And even though he has “conclusive reasons” (or “conclusive evidence”) that he’s not merely dreaming, he cannot articulate that evidence to us, which he of course must do in order to offer a proof.

One is reminded of a scene in Robert Louis Stevenson’s The Strange Case of Dr. Jekyll and Mr. Hyde. A shaken and ill Jekyll tells his friend Utterson that Mr. Hyde “will never more be heard of.” When Utterson suggests – rightly, it turns out, as the story subsequently unfolds – that Jekyll’s assertion might not be entirely warranted, Jekyll replies, “I have grounds for certainty that I cannot share with anyone.”2 What does Jekyll mean by “cannot” here? He might mean that he cannot prudently share it with anyone. Revealing his relation to Hyde would be disastrous to Jekyll personally, so prudence forbids it. And, indeed, this is likely the first interpretation to occur to the reader. But great writers imbue their work with many layers of meaning, and in light of Moore’s discussion, one wonders whether there’s more to Jekyll’s last claim than first meets the eye. Perhaps Jekyll (also) meant that he is simply incapable of sharing at least some of his reasons. This is made all the more plausible later when Jekyll writes that his transformational experiences were marked by “indescribably new” sensations.3 But this shouldn’t be all that surprising; at times all of us have experiences that are “beyond words.”

Another type of critic claims that Moore fails to meet one of the everyday criteria for successful proofs: Moore doesn’t know that his premises are true. But why think that? Is it not, as Moore says, simply absurd to suggest that he didn’t know he was gesturing toward his hands as he performed his proof? The critic thinks not. To know something, she claims, requires that you be able to prove it – no knowledge without proof, as it were. And as Moore himself admits, the critic continues, Moore cannot prove his premises, so he doesn’t know them. But Moore rejects this as well, claiming, “I can know things, which I cannot prove.”

Have you ever known something that you wanted to convince someone of, but found yourself saying, “If only I could prove it,” or more despairingly, “But I just can’t prove it!”? In the episode “Identity Crisis” of the television show CSI, Gil Grissom and Catherine Willows are confounded by a computer fingerprint analysis which fails to confirm that Judge Douglas Mason is in fact Grissom’s nemesis Paul Millander, the long-sought serial killer. Grissom says to Catherine, “I don’t care what the computer says – that guy is Paul Millander.” Catherine replies, “Yeah, we know that. How do we prove it?” They of course go on to prove it. But that’s not the important point. You can imagine them finding out that they simply cannot prove it. Indeed for a moment viewers are left to think as much when they learn that a repository storing relevant vital records burned down long ago. Yet this doesn’t lead us to think, as we watch the episode, that Grissom and Catherine don’t really know that Mason is Millander. Through a combination of memory and visual recognition, Grissom knew Mason was Millander the moment he set eyes on him in Mason’s courtroom. Catherine learned it based on Grissom’s testimony. But at that point in the story they weren’t able to prove it. At least, that’s how the screenwriters portrayed it, and viewers didn’t detect any incoherence in the plot or dialog. This suggests that Moore is right when he says that knowledge does not require proof.

Moore, G. E., “Proof of an External World,” extracted from pp. 147–70 in Thomas Baldwin (ed.), G. E. Moore: Selected Writings (London & New York: Routledge, 1993). © 1993 by Thomas Baldwin.

1 Quoted by G.E. Moore at the beginning of his “Proof of an External World.” The quote is alluded to but does not explicitly appear in the excerpt included in the anthology.

2 In the Section “Incident of the Letter.”

3 In the section “Henry Jekyll’s Full Statement of the Case.”

§ 3

Some ways of resisting skepticism (Moore, “Four Forms of Scepticism”)

Recall the dream-possibility from §1: it is genuinely possible for all your sense experiences to be part of a perfectly realistic dream, rather than accurate portrayals of the world around you. The dream-possibility featured centrally in Stroud’s understanding of Descartes’s skeptical reasoning. Descartes also discussed another skeptical possibility: the demon-possibility. You think your sensations are caused by ordinary objects in the world around you. But the demon-possibility says it’s genuinely possible for all your sensations to be part of an elaborate deception created by a supremely powerful evil demon.

The demon-possibility impressed Bertrand Russell, one of G.E. Moore’s friends and perhaps the most famous Anglo-American philosopher of the twentieth century. This section focuses on Moore’s response to Russell’s discussion of the demon-possibility. Russell worried that we can’t know that the demon-possibility is false. Moore says we can and do know it’s false.

Russell and Moore framed the demon-possibility differently from how I did just a moment ago. They speak of a “malicious demon” producing “percepts” in me, in which case these percepts are not produced by the sort of external objects we think normally surround us. But this is a mere verbal difference. We may understand percepts to be nothing other than the sense experiences or sensations we’ve discussed so far, such as the visual experience of a flame flickering, the sound of a fire crackling, the feeling of heat emanating from the fire, the smell of wood burning, and so on.

After some preliminary work to decide how best to understand what Russell means by “logical possibility,” Moore ultimately settles on the following as the most charitable interpretation of Russell’s argument. (The numbering used here does not correspond to Moore’s numbering.)

1. If the truth of the demon-possibility is compatible with everything we know immediately, then we can’t know for certain that the demon-possibility is false. (Premise)
2. The truth of the demon-possibility is compatible with everything we know immediately. (Premise)
3. So we cannot know for certain that the demon-possibility is false. (From 1 and 2)

Notice the qualifier “for certain” after “know.” Sometimes Moore drops the qualification. But usually he doesn’t. Up till now we’ve talked about knowledge, not certain knowledge. I leave it up to you to consider carefully whether there are relevant differences between knows and knows for certain, and how it might affect the debate.

Before evaluating the argument, let’s clarify what we mean by “knowing immediately.” Some of our beliefs are based on reasoning. Some aren’t. Of those that aren’t, perhaps some have no basis at all: we just believe them. But not all our beliefs are like that. Some that aren’t based on reasoning are still based on something. For example, your belief that there’s a text in front of you is based on sight. Compare that to my belief that my son must be home. I don’t see him. But I see his jacket hanging in the closet. And I know that he wouldn’t leave home without his jacket in this weather. From this I infer that he’s home. Call a belief based on reasoning inferential. Call a belief based on nothing baseless. Call a belief that is neither baseless nor inferential immediate. Likewise, call knowledge based on nothing (if such a thing is possible) baseless. Call knowledge based on reasoning inferential. And call knowledge that is neither baseless nor inferential immediate.

Now we can evaluate the argument. The first thing to note is that it’s logically valid: if its premises are true, then its conclusion must be true too. So if Moore rejects the conclusion, which he does, he should reject at least one of the premises.

Moore accepts 2. He thinks we know immediately things about our own minds, but not things about the external world. I might know that this is a pencil, or that I have hands, or that Michael Jackson died in June 2009, or that the evil demon is not deceiving me. But I don’t know any of these things immediately. So assuming that our earlier threefold distinction among baseless, inferential, and immediate knowledge exhausts the different ways we could know things, it follows that our knowledge of the external world must be either baseless or inferential. And Moore indeed agrees that it’s inferential. (He doesn’t seem to have seriously considered in this context whether it might be baseless; see §20 for a view that advocates baselessness for some knowledge.)

We find many different types of inference or argument. (I won’t distinguish between inferences and arguments.) But for our purposes we can divide good arguments into two main types: deductive and nondeductive. Presumably, only good inferences produce knowledge. A good deductive argument is logically valid. We’ve seen this term used already several times in this book. A logically valid argument has the following important property: if its premises are true, then its conclusion must be true too. Put otherwise, the truth of its premises absolutely guarantees the truth of its conclusion. A good nondeductive argument is logically strong. We’ve not yet seen this term used. A logically strong argument is such that if its premises are true, then its conclusion is at least probably true. Put otherwise, the truth of its premises makes its conclusion at least likely. A good deductive argument is not the least bit risky. But a good nondeductive argument is still risky.

Does Moore think our inferential knowledge of the external world is deductive or nondeductive? Nondeductive. He says that such knowledge is based on “analogical or inductive arguments.” Analogical and inductive arguments are nondeductive.

How do these arguments about the external world go? Their premises are things that we know immediately about our own mind, for example, premises about what sort of sensory experiences we seem to be having. Their conclusions are the things we know about the external world. The truth of the premises doesn’t absolutely guarantee the truth of the conclusion, or else we would have a good deductive argument, not merely a good nondeductive argument. (Think carefully about why that’s so.)

This brings us to the heart of the disagreement between Russell and Moore. Russell thought that only good deductive inferences could enable inferential knowledge that is also certain. Moore thought that at least some nondeductive inferences could do so as well. That’s one main reason why Russell accepted 1, whereas Moore rejected it.

Moore had at least one thing to say in his defense on this point. Moore and Russell both might agree, for example, that

4. We know for certain that this is a pencil only if nondeductive inference enables certain knowledge.

With that in mind, we must ask ourselves: what’s more plausible, that we do know for certain that this is a pencil, or that nondeductive inference doesn’t enable certain knowledge? Moore chooses the former. He says it’s much more plausible that we do know for certain that this is a pencil. So, he reasons, it’s rational to conclude that nondeductive inference enables certain knowledge.

Moore indicates that he’s willing to reason similarly about other things too. For instance, if you convinced him that nondeductive inference couldn’t enable certain knowledge after all, then he’d reject 4. He’d conclude that either (i) we do after all have a good deductive argument from what we know immediately about our minds to conclusions about the external world, or (ii) we can after all know things about the external world immediately.

More generally, suppose we give Moore a choice between two things:

A. The claim that we do have certain knowledge about the external world.
B. Any theoretical claim about what knowledge requires, which implies we that don’t have certain knowledge of the external world.

He’ll always say A is more plausible and reasonable. We’ll see more of this general argumentative strategy from Moore in the next section.

Moore, G. E., “Four Forms of Scepticism,” pp. 220–2 in Philosophical Papers (New York: Collier Books, 1962). © 1962 by G. E. Moore.

§ 4

Plausibility and possibilities (Moore, “Certainty”)

There are at least three different responses to the sort of skeptical argument Stroud presented in §1. We might

A. deny that the dream-“possibility” is a genuine possibility after all, in which case it does not threaten our knowledge of the external world, or
B. deny that in order to know things about the external world, we must know that the dream-possibility is false, or
C. insist that we do know that the dream-possibility is in fact false.

Other responses are surely conceivable, but here we’ll focus on these. There’s no restriction on combining two or more of them.

Stroud suggested that he favors option B, but he didn’t positively endorse it or develop this response at length. He was more concerned to convince us that endorsing C while rejecting B must result in “total failure.” He also saw “little hope” for option A. At one point or another in “Certainty,” Moore embraces the strategy Stroud judges a total failure and a strategy very similar to the one Stroud judges nearly hopeless!

As Moore stands before his audience lecturing, both he and the skeptic agree that if he doesn’t know the dream-possibility is false, then he doesn’t know, for example, that he’s standing up. To put the point otherwise, and more naturally, they both agree that if Moore knows he’s standing up, then he must know the dream-possibility is false. Moore and the skeptic part ways when deciding what to make of this condition they agree on.

Moore would have us reason like so:

1. If Moore knows he’s standing up, then he must know the dream-possibility is false. (Premise)
2. Moore knows he’s standing up. (Premise)
3. So he knows the dream-possibility is false. (From 1 and 2)

The skeptic would have us reason like so:

1*. If Moore knows he’s standing up, then he must know the dream-possibility is false. (Premise)
2*. Moore doesn’t know the dream-possibility is false. (Premise)
3*. So Moore doesn’t know he’s standing up. (From 1* and 2*)

Who gets the better of this exchange? The competing arguments are equally valid, with contradictory conclusions. They share their first premise. The whole question, then, boils down to whether it’s more reasonable to accept 2 or 2*. It’s obvious which Moore thinks is more reasonable. (Which do you think is more reasonable?) That wraps up Moore’s implementation of option C while rejecting B.

Up till now, we’ve focused on ways that sense experience (or as Moore sometimes puts it, the evidence of our senses) might fail to enable knowledge of the external world, either because it was a mere figment of a dream or caused by an evil demon. Moore’s discussion takes an unexpected turn when he contends that sense experience doesn’t exhaust the evidence which enables his knowledge that the dream-possibility is false. In addition to sense experience, he has “memories of the immediate past.”

It’s at this point that Moore entertains option A, or something near enough. What reason, he asks, is there to think it’s genuinely possible for him to be dreaming despite both having the sense experiences that he’s having and remembering what he remembers? Moore reports that to him it seems impossible that he should be dreaming while having all those sense experiences and memories.

Notice that Moore doesn’t say that the dream-possibility is impossible outright. He doesn’t say it’s impossible that he’s merely dreaming. Instead he says it’s impossible given certain other things. There’s an important difference. Consider an analogy. The following claim is definitely possible: exactly two books exist. Call it the two-books-possibility. Yet the following claim is definitely impossible: exactly two books exist, given that exactly one book exists. And so while no one thinks that the two-books-possibility is impossible outright, it’s obviously impossible given certain other things – for example, given that the one-book-possibility is actually true.

Another way of putting the same point is that while some things are possible individually, they might nevertheless be impossible in combination. The two-books-possibility and the one-book-possibility are obvious examples.

It’s not clear why Moore thinks the dream-possibility is impossible given what he senses and remembers. He agrees that it’s genuinely possible for all our sense experiences to be “mere dream-images,” that is, mere figments of a dream. Why, then, couldn’t all our apparent memories likewise be mere figments of a dream? And if all our sense experiences and all our memories could individually be mere figments of a dream, why couldn’t they collectively be mere figments of a dream? Is there something special about memories, or memories in combination with sense experience, that makes them immune to apparent reproduction in a dream, whereas sense experiences, on their own, are not?

These are all good questions. But mere questions won’t settle the matter. Moore challenges the skeptic to make a compelling case that the dream-possibility is possible not only outright, but also possible given the combination of sense experience and memories we have. Unless the skeptic succeeds, it remains more reasonable to accept 2 rather than 2*.

Moore, G. E., “Certainty,” extracted from pp. 171–96 in Thomas Baldwin (ed.), G. E. Moore: Selected Writings, (London & New York: Routledge, 1993). © 1993 by Thomas Baldwin.

§ 5

Skeptic on skeptic (Klein, “How a Pyrrhonian Skeptic Might Respond to Academic Skepticism”)

Peter Klein’s response to external world skepticism differs greatly from Moore’s. What we’ve been calling “skepticism about the external world” Klein calls “Academic” or “Cartesian” skepticism. That’s because later members of Plato’s Academy in ancient Athens were skeptics of this sort, and because of Descartes’s enormously influential discussion of external world skepticism in his Meditations on First Philosophy.

There’s one important nonverbal difference about the version of skepticism Klein confronts. Whereas we’ve been considering arguments for the view that we don’t know (or don’t know for certain) things about the external world, Klein considers an argument that our beliefs about the external world aren’t even reasonable or justified.

Note a couple of important points about the relationship between knowledge and justification. On the one hand, it seems that knowledge requires justification. But on the other hand, justification does not in turn require knowledge. More precisely spelled out: if a belief of yours amounts to knowledge, then it certainly must also be justified; but it’s not necessarily true that if your belief is justified, then it also amounts to knowledge. In support of the first point, we might note how absurd it would sound to claim, for example, that the coroner knows Michael Jackson died from a heart attack, but she’s not justified in believing that he did. “If she’s not justified in believing it,” one wants to say, “then she certainly doesn’t know it!” In support of the second point, we need only recall that knowledge requires truth (see §1), whereas justified belief doesn’t. If all the abundant available evidence points toward one conclusion and you believe accordingly, then your belief is justified, even if it turns out that the evidence was misleading. You’d have a false justified belief, but since knowledge requires truth, your belief wouldn’t amount to knowledge.

So it turns out that Klein confronts an even more radical form of skepticism than did Stroud or Moore. If skepticism about knowledge is true, skepticism about justification might still be false, because it’s possible to have justified belief without knowledge. But if skepticism about justification is true, then skepticism about knowledge follows straightaway, because knowledge requires justification.

Here’s a simplified version of the argument Klein considers.

1. If you’re justified in believing that there’s a table before you, then you’re justified in believing that you’re not merely dreaming there’s a table before you. (Premise)
2. But you can’t be justified in believing that you’re not merely dreaming there’s a table before you. (Premise)
3. So you aren’t justified in believing that there’s a table before you. (From 1 and 2)

Note that we focus on the simple example of a table, but the same reasoning applies generally to any claim about the external world.

One might think that the only reasoned reactions to the argument are:

A. Accept the conclusion.
B. Deny that the premises support the conclusion.
C. Deny at least one premise.

Option A seems out of the question to most of us. B doesn’t seem too promising, because the argument appears to follow a very simple, easily recognized logical pattern that guarantees its validity, namely: “if P is true, then Q is true; but Q can’t be true; so P isn’t true either.” So it comes as no surprise that most people who encounter the argument end up opting for response C.

Klein discusses what he thinks is the most plausible way to implement C, namely, deny premise 1. The main idea of his discussion is that the most promising way to deny 1 is to deny the general “closure principle” that motivates it. (We’ll look more carefully at the closure principle later in this book, especially in §§ 19–23 and 47). It’s notoriously difficult to articulate the most plausible version of the closure principle, but for Klein it amounts to something like this: if you’re “entitled” to believe some claim P, and you know that the truth of P guarantees the truth of some other claim Q, then you must also be entitled to believe Q. Klein judges that we’ve not yet seen a compelling argument against the closure principle, so we’re left to conclude that the best of the standard responses to Cartesian skepticism fails to “settle matters.”

A brief aside before pressing on. If you have trouble understanding or evaluating a general principle, such as the version of the closure principle just mentioned, it’s best to consider specific examples that fit the general principle’s pattern. Stop and review premise 1 of the argument in this section. It fits the closure principle’s pattern. Do you find premise 1 plausible? Try to think of other claims that likewise fit the pattern. Do you find them plausible too? If so, that will tend to increase your confidence that the general principle is true. Can you think of any counterexamples – that is, can you think of any claims that fit the pattern but nevertheless seem false? If so, that will increase your confidence that the general principle is also false. (Dretske’s zebra/mule case, which Klein discusses, is often presented as a potential counterexample to the closure principle. We’ll look more carefully at that example later in §19.)

Returning now to the main thread, given that Klein thinks the best standard response to the Cartesian skeptical argument fails, does he then endorse argument? No. Instead he develops a different, nonstandard response, namely

D. Claim that the skeptic’s argument settles nothing, because it’s either based on an arbitrary assumption or simply begs the question.

We can represent Klein’s basic argument for this assessment.

4. No argument with (i) a finite number of premises and (ii) a controversial conclusion ever settles anything, because it’s either based on an arbitrary assumption or begs the question. (Premise)
5. The argument for Cartesian skepticism has (i) a finite number of premises and (ii) a controversial conclusion. (Premise)
6. So the argument for Cartesian skepticism settles nothing, because it’s either based on an arbitrary assumption or begs the question. (From 4 and 5)

The argument is logically valid. Are its premises true? Premise 5 is clearly true. That leaves only 4, which is indeed the argument’s crucial premise. Klein’s complete defense of 4 involves us in his positive argument for infinitism, which we’ll come to in §14.