Mastering EpistemologyGuide · Map · Audio فا
The Incredulity of Saint Thomas by Caravaggio (c. 1601–02)
Part II · The Core of Epistemology · Chapter 8

Skepticism and Its Answers

“If you tried to doubt everything you would not get as far as doubting anything. The game of doubting itself presupposes certainty.”

— Ludwig Wittgenstein, On Certainty (1969), §115
35 min read 54 min audio
Caravaggio, The Incredulity of Saint Thomas, c. 1601–02
On the cover

Caravaggio, The Incredulity of Saint Thomas, c. 1601–02, Sanssouci Picture Gallery, Potsdam. Thomas will not believe until he has touched the wound: the skeptic's demand for evidence, taken literally.

Part II · The Core of Epistemology · Chapter 8
Skepticism and Its Answers
35 min read
Listen to this chapter54 min · narrated
In this chapter
  1. Why study skepticism?
  2. Varieties of skepticism
  3. Pyrrhonian skepticism
  4. Cartesian skepticism
  5. The brain in a vat
  6. The closure argument
  7. Responses to skepticism
  8. Skepticism about induction, other minds, and the past
  9. The simulation argument
  10. Healthy and corrosive skepticism
  11. Check your understanding
  12. Further reading

“Let us not pretend to doubt in philosophy what we do not doubt in our hearts.”

— Charles Sanders Peirce, “Some Consequences of Four Incapacities” (1868)

Skepticism in philosophy is the view that we know much less than we think, perhaps nothing at all. Skeptical arguments are not an eccentric sideshow. They are some of the most powerful arguments in philosophy, built from premises that seem obviously true. Studying them shows you what you assume when you claim to know anything.

There is also a practical reason. A cheap version of the skeptic’s move turns up constantly in real debates: “You can’t rule out X, so you don’t really know.” “You can’t prove the vaccine is 100% safe.” “You can’t be certain the climate models are right.” “How do you know the historians aren’t lying?” Once you understand philosophical skepticism, you can recognize when such moves are serious, when they prove far too much, and how to respond.

Why study skepticism?

A skeptical argument is a paradox (see Paradoxes as stress tests): plausible premises, valid reasoning, unacceptable conclusion. Since the conclusion (“I don’t know I have hands”) is hard to accept, at least one premise must be false, or the reasoning must be flawed. But which one? Each answer commits you to a view about what knowledge is. That is why the history of epistemology is, to a large extent, a history of responses to skepticism.

Barry Stroud (The Significance of Philosophical Scepticism, 1984) argued that skepticism is not a strange hypothesis dreamed up by philosophers, but something that follows naturally from ordinary ideas about knowledge that we find hard to give up. Taking it seriously is therefore a way of examining those ideas.

Varieties of skepticism

Skepticism comes in many forms.

By scope:

  • Global skepticism: we know nothing (or nothing about the world beyond our own minds).
  • Local skepticism: we lack knowledge in a particular domain, such as the external world, other minds, the past, the future (induction), morality, religion, or the future of the stock market.

By strength:

  • Knowledge skepticism: we don’t know, though our beliefs may be reasonable.
  • Justification skepticism: our beliefs are not even justified. This is much more radical: it says we have no more reason to believe we have hands than that we don’t.

By attitude:

  • Pyrrhonian skepticism: suspend judgment about everything, including whether knowledge is possible.
  • Academic skepticism: argue that nothing can be known (or, on some interpretations, only argue against those who claim knowledge), while allowing persuasive impressions to guide action.
  • Cartesian (methodological) skepticism: use doubt as a tool for finding certainty, not as a final position.
  • Mitigated skepticism (Hume): accept the skeptical arguments in theory, but recognize that nature compels belief in practice, and be modest.

Philosophical versus ordinary skepticism. Philosophical skepticism questions whether we can know anything in a domain. Ordinary skepticism doubts particular claims on specific grounds (“I’m skeptical about that study because the sample was tiny”). The second is essential to critical thinking. The first is a philosophical puzzle. Confusing them produces bad arguments, discussed in Healthy and corrosive skepticism.

Pyrrhonian skepticism

Sextus Empiricus defined skepticism in the Outlines of Pyrrhonism (I.8) as:

“an ability to set out oppositions among things which appear and are thought of in any way at all, an ability by which, because of the equipollence in the opposed objects and accounts, we come first to suspension of judgement and afterwards to tranquillity.”

The key terms:

  • Equipollence (isostheneia): for any argument on one side, there is an equally strong argument on the other.
  • Suspension of judgment (epochē): withholding both belief and disbelief.
  • Tranquillity (ataraxia): the peace of mind that follows, as a shadow follows a body.

The Pyrrhonists developed standard patterns of argument, the modes, for producing equipollence.

The Ten Modes of Aenesidemus (1st century BCE) show how appearances vary with:

  1. Differences among animals (what seems pleasant to one species is unpleasant to another).
  2. Differences among humans.
  3. Differences among the senses (a painting looks three-dimensional but feels flat).
  4. Circumstances (health or illness, waking or sleeping, youth or age).
  5. Positions, distances, and places (a tower looks round from afar and square up close).
  6. Mixtures (we never perceive things pure, but always through air, light, and our own bodily states).
  7. Quantities and compositions (a little wine strengthens, a lot weakens).
  8. Relativity (everything appears relative to something).
  9. Frequency (comets astonish us because they are rare; the sun does not).
  10. Customs, laws, and beliefs (what one culture condemns, another approves).

In each case, we have no neutral standpoint from which to say which appearance is correct. So we should suspend judgment about how things really are.

The Five Modes of Agrippa (disagreement, regress, relativity, hypothesis, circularity) are more abstract and more powerful. Together they form Agrippa’s trilemma, which we examined in Chapter 6.

Can a Pyrrhonist live? The obvious objection is the apraxia (“inaction”) charge: without beliefs, you cannot act. Why eat, if you don’t believe food nourishes? Sextus replied that the skeptic lives by appearances, without dogmatic belief. He follows the “fourfold observances”: the guidance of nature (perception and thought), the necessity of feelings (hunger leads to food), the tradition of laws and customs, and instruction in skills. The skeptic eats because he is hungry and food appears nourishing, without asserting that it is nourishing in reality.

Is Pyrrhonism self-refuting? “If you claim to know that nothing can be known, you contradict yourself.” Sextus anticipated this. The Pyrrhonist does not assert that nothing can be known. Skeptical statements are reports of how things appear to the skeptic at the moment. And skeptical arguments, Sextus said, are like purgatives that expel themselves along with the humors they purge: they cancel the dogmatist’s beliefs and then cancel themselves. Sextus also compares them to a ladder that one kicks away after climbing it, an image Wittgenstein later borrowed at the end of the Tractatus.

Skepticism was not only a Greek phenomenon. In India, Śrīharṣa (usually dated to the 12th century) taught, in The Sweets of Refutation, techniques for refuting any positive theory, many of them exploiting the difficulty of defining our terms, and promised his readers “the joy of universal conquest” in debate (see Epistemology in India). In Europe, Sextus’s works were rediscovered and printed in the 1560s and inspired Montaigne. By Descartes’ time, as he noted, skepticism was vigorously alive again.

Pyrrhonism has modern defenders, notably Robert Fogelin (Pyrrhonian Reflections on Knowledge and Justification, 1994), who argues that the regress argument, properly understood, shows that our justificatory practices cannot meet the standards they set themselves.

Cartesian skepticism

Descartes’ skepticism (see Descartes and the quest for certainty) differs from Pyrrhonism. It is methodological: Descartes doubts in order to find what cannot be doubted. But his arguments outlived his solution, and they define the modern problem of the external world.

The dream argument, set out as an argument:

  1. If I know that I am sitting by the fire, then I can rule out that I am only dreaming that I am.
  2. I cannot rule out that I am only dreaming (there are no certain marks distinguishing waking from dreaming).
  3. Therefore, I do not know that I am sitting by the fire.

Objections and replies. Dreams are usually less coherent than waking life, and in the Sixth Meditation Descartes himself notes that memory links waking experiences together in a way it never links dreams. J. L. Austin pointed out that we do have ways of telling dreams from waking. But the skeptic needs only a possible dream exactly like waking life, and the fact that we sometimes dream without realizing it shows that dreaming, from the inside, can seem real.

The evil demon argument has the same structure but greater scope. A demon powerful enough to deceive me about everything, including my arithmetic, would produce experiences exactly like those I actually have. Since I cannot rule out the demon, I cannot know anything the demon could make me falsely believe. Modern philosophy replaced the demon with a scientific version.

The brain in a vat

The contemporary version of Cartesian skepticism was popularized by Hilary Putnam (Reason, Truth and History, 1981, chapter 1), though Gilbert Harman (Thought, 1973) had described the scenario earlier, and it later inspired films like The Matrix (1999).

Imagine that an evil scientist has removed your brain from your body and placed it in a vat of nutrients that keeps it alive. The nerve endings are connected to a supercomputer that sends electrical impulses exactly like those the brain would normally receive. The computer simulates a complete world: when you “try to raise your hand,” the computer produces the experience of seeing and feeling your hand rise. You have no idea that anything is amiss.

Everything would seem exactly as it does now. So, the skeptic argues, you cannot tell that you are not a brain in a vat (BIV). And if you cannot tell that, how can you know that you have hands, that you are reading this page, or that there is a world outside your mind at all?

The BIV scenario is the standard skeptical hypothesis. Its power comes from being designed to fit all possible evidence. Any experience you could appeal to in order to show you are not a BIV would be one the computer could provide.

The closure argument

Contemporary discussion puts the skeptical argument in a particularly clean form. It relies on the closure principle:

A more careful version, due to Timothy Williamson and John Hawthorne: if you know p, and you competently deduce q from p, thereby coming to believe q while retaining your knowledge of p, then you know q.

Closure seems obviously correct: deduction is a way of extending knowledge. If you know the train leaves at 9:15 and you know it takes 20 minutes to reach the station, you can know you must leave by 8:55.

Now the argument:

  1. I don’t know that I am not a (handless) brain in a vat.
  2. If I know that I have hands, then I know that I am not a handless brain in a vat. (By closure: having hands entails not being a handless BIV.)
  3. Therefore, I don’t know that I have hands.

Premise 1 seems true (the scenario is designed to be undetectable). Premise 2 follows from closure. The argument is a simple modus tollens. Yet the conclusion seems absurd.

Dretske’s zebra. Fred Dretske (“Epistemic Operators,” 1970) gave a more homely example. At the zoo, you see black-and-white striped animals in a pen marked “Zebras.” You know they are zebras. Being zebras entails that they are not mules cleverly painted by the zoo authorities to look like zebras. Do you know that? You haven’t checked. You haven’t examined the animals closely. It seems you don’t. So either you don’t know they are zebras after all, or closure fails.

The skeptical argument presents a trilemma: deny premise 1 (claim we can know we are not BIVs), deny premise 2 (deny closure), or accept the conclusion (skepticism). Every response to skepticism takes one of these routes, or argues that the argument equivocates.

Responses to skepticism

Mooreanism

G. E. Moore’s response was to turn the argument around (see Wittgenstein and Moore). In “Proof of an External World” (1939), he held up his hands and said:

  1. Here is one hand.
  2. Here is another.
  3. Therefore, there are at least two external objects.

Moore claimed this proof was perfectly rigorous: the premises are known, and the conclusion follows. Against the closure argument, a Moorean reasons:

  1. I know I have hands.
  2. If I know I have hands, then I know I’m not a handless BIV.
  3. Therefore, I know I’m not a handless BIV.

Notice what Moore did not do: he did not try to prove that he had hands, or that he was not dreaming. He distinguished having conclusive evidence from being able to prove: “I have, no doubt, conclusive reasons for asserting that I am not now dreaming; I have conclusive evidence that I am awake: but that is a very different thing from being able to prove it. I could not tell you what all my evidence is; and I should require to do this at least, in order to give you a proof.” Moore allowed that particular doubts can be settled by particular checks (if someone suspects your hands are prosthetic, let them examine your hands), but he denied that there is any all-purpose proof that would dispel every conceivable doubt, and he denied that knowledge requires one. As Jennifer Nagel observes (Knowledge, ch. 2), proof has a natural role in supporting general philosophical claims such as “external objects exist,” but “here is a hand” is so basic that there is nothing simpler and better known from which to prove it, much as axioms are not proved in mathematics.

Moore’s key point is about relative certainty. He was more certain that he had hands than he was of any premise in any skeptical argument. When a valid argument leads from premises to an absurd conclusion, it is rational to reject the least plausible premise, and the skeptic’s premises are less plausible than “I have hands.” (Recall: “one person’s modus ponens is another person’s modus tollens”; see Valid argument forms.)

Objections.

  • Question-begging. Moore’s proof assumes what the skeptic questions. Its premises are acceptable only if you already accept that there is an external world.
  • Transmission failure. Crispin Wright (“Facts and Certainty,” 1985; “(Anti-)Sceptics Simple and Subtle,” 2002) argues that Moore’s proof fails to transmit warrant from premises to conclusion. My perceptual warrant for “Here is a hand” presupposes that I have some warrant to believe there is an external world. So the proof cannot be the source of that warrant.
  • Dialectical ineffectiveness. Even if Moore knows he has hands, his proof won’t persuade anyone who doubts it.

Neo-Mooreanism. Contemporary Mooreans (Ernest Sosa, James Pryor, and others) accept that the proof is dialectically ineffective against a committed skeptic but argue that Moore nonetheless knows he is not a BIV, because his belief is safe: in all nearby possible worlds where he believes it, it is true. See Safety.

Denying closure

Fred Dretske (1970) and Robert Nozick (Philosophical Explanations, 1981) accepted premise 1 and denied closure. On Nozick’s tracking theory (see Sensitivity and tracking), I know I have hands because if I didn’t have hands, I wouldn’t believe I did. But I don’t know I’m not a BIV, because if I were one, I would still believe I wasn’t. So I know “I have hands” but not the obvious consequence “I am not a handless BIV.” Knowledge is not closed under known entailment.

This lets us keep ordinary knowledge and grant the skeptic that we can’t know the skeptical hypothesis is false. The cost is high. Keith DeRose calls the result an abominable conjunction: “I know I have hands, but I don’t know I’m not a handless brain in a vat.” Most epistemologists find closure too plausible to give up.

Relevant alternatives

The relevant alternatives theory (Fred Dretske; Alvin Goldman, 1976; Gail Stine, “Skepticism, Relevant Alternatives, and Deductive Closure,” 1976) says:

To know p, you must be able to rule out every relevant alternative to p, but not every alternative whatever.

At the zoo, relevant alternatives to “That’s a zebra” include “That’s a horse” or “That’s an antelope,” which you can rule out by looking. “That’s a cleverly painted mule” is not relevant in normal circumstances. It would become relevant if there were reason to suspect fraud: if, for example, the zoo had been caught painting mules before, or if you were in fake barn country.

What makes an alternative relevant? There are two broad answers:

  • Objective: an alternative is relevant if it has a real chance of obtaining in the actual situation (Goldman). This yields externalist relevant alternatives theory.
  • Contextual: an alternative is relevant if it is salient in the conversational context or taken seriously by the people discussing it. This leads to contextualism.

Dretske combined relevant alternatives with denial of closure. Stine argued that relevant alternatives theory, combined with contextualism, can preserve closure. Her 1976 paper is usually credited with the first clear formulation of contextualism: “It is an essential characteristic of our concept of knowledge that tighter criteria are appropriate in different contexts. It is one thing in a street encounter, another in a classroom, another in a law court—and who is to say it cannot be another in a philosophical discussion?” Her second point was that within a single context we must stick to one standard: once we are worrying about disguised mules, we can no longer say the zoo visitor knows it’s a zebra.

Contextualism

Epistemic contextualism (Stewart Cohen, Keith DeRose, David Lewis) holds that the word “know” is context-sensitive. The standards a subject must meet for “S knows that p” to be true vary with the context of the person attributing knowledge, as the standards for “tall” or “flat” vary with context. (“Flat” means one thing for a road and another for a table surface in a physics lab.)

In an ordinary context, the standards are low. “I know I have hands” is true. In a philosophy seminar where the BIV hypothesis has been raised, the standards rise. “I know I have hands” becomes false, because in that context, knowing requires ruling out the BIV possibility, which I cannot do.

So the skeptic is right, in the skeptic’s context. But this does not threaten ordinary knowledge claims made in ordinary contexts. There is no single context-independent answer to “Do I know I have hands?”

Jennifer Nagel’s illustration (Knowledge, ch. 7) uses height. A man who is six feet tall is tall for an American man and short for a professional basketball player. Sports fans who say “he isn’t tall” and the man who describes himself as tall on his dating profile are both speaking truly, and neither should accuse the other of saying something false: each must respect the other’s context. For the contextualist, the everyday speaker and the skeptic are in the same situation. Asking which one “really” captures knowledge, once and for all, is like asking which day is really “tomorrow.” Note that contextualism is a theory about the language of knowledge attribution, not a complete theory of knowledge. It can be combined with internalist accounts (higher standards require more evidence) or externalist ones (higher standards require tracking the truth across a wider range of circumstances).

DeRose’s bank cases (“Contextualism and Knowledge Attributions,” 1992):

  • Case A (low stakes). On a Friday afternoon, Keith and his wife drive past the bank to deposit their paychecks. The lines are long. Nothing much depends on depositing the checks immediately. Keith says, “I know the bank will be open tomorrow; I was there two Saturdays ago.” Intuitively, what he says is true.
  • Case B (high stakes). Same situation, but a large bill is due, and if the checks aren’t deposited before Monday, it will bounce, with serious consequences. Keith’s wife points out that banks sometimes change their hours. Keith says, “Well, no, I don’t know the bank will be open tomorrow. Let’s go in and make sure.” This also seems true.

Keith’s evidence is the same in both cases. The contextualist explains the difference by the change in standards.

David Lewis’s “Elusive Knowledge” (1996) offers a precise version: S knows p if and only if S’s evidence eliminates every possibility in which not-p, “Psst!—except for those possibilities that we are properly ignoring.” Lewis gives rules for which possibilities may be properly ignored. The rule of attention is the source of skepticism’s power: a possibility that is mentioned or attended to cannot be properly ignored. So when the skeptic raises the BIV possibility, it becomes relevant, and knowledge “vanishes.” Knowledge is elusive: examine it closely, and it disappears.

Stewart Cohen’s airport case (“Contextualism, Skepticism, and the Structure of Reasons,” 1999): Mary and John, at the Los Angeles airport, want to know whether a flight stops in Chicago. A passenger, Smith, checks his printed itinerary and says, “Yes, I know, it stops in Chicago.” Mary and John have a very important business meeting in Chicago. Mary asks, “How reliable is that itinerary? It could contain a misprint; they could have changed the schedule.” They agree that Smith doesn’t really know, and decide to check with the airline agent.

Objections to contextualism.

  • Semantic blindness (Stephen Schiffer, 1996). If “know” is context-sensitive, ordinary speakers don’t seem to realize it. Nobody resolves skeptical anxiety by saying “Oh, your ‘know’ just has a different meaning from mine.”
  • Disanalogies with other context-sensitive words. With “tall,” we can easily say “He’s tall for a jockey.” Nothing similar works naturally with “know.”
  • Does it concede too much? Many feel the skeptic’s claim is that we don’t know even by ordinary standards, and contextualism doesn’t answer that.

Subject-sensitive invariantism

A rival to contextualism explains the bank cases differently. Subject-sensitive invariantism or interest-relative invariantism (John Hawthorne, Knowledge and Lotteries, 2004; Jason Stanley, Knowledge and Practical Interests, 2005; Jeremy Fantl and Matthew McGrath, Knowledge in an Uncertain World, 2009) says “know” has a fixed meaning (invariantism), but whether a subject knows depends partly on the subject’s own practical stakes. In Case B, Keith really doesn’t know, because more is at stake for him. This is called pragmatic encroachment, and it is discussed in Chapter 13.

Nagel (Knowledge, ch. 7) gives a sharp pair of cases. Lee is leaving work. In one version, a colleague asks whether the supply-room door is still locked, because she left her jacket inside; Lee says, “Yes, I know, I locked it myself half an hour ago.” In the other version, police officers tell him an armed man is loose in the building and ask whether the supply room’s back exit is locked; Lee says, “I don’t know. I locked it half an hour ago, but I wasn’t watching the whole time.” Both answers sound right, though his evidence is the same. The contextualist says the standards for the word “know” differ between the two conversations. The interest-relative invariantist says something stronger: Lee really does know in the first case and really doesn’t in the second, because what is at stake for him differs.

Critics point to odd consequences. If stakes determine knowledge, it should sound fine to say “The waiter doesn’t know whether the sandwich is tuna or chicken, but he would have known if one of his customers didn’t have a fish allergy.” It sounds strange. And if Lee simply knows in the low-stakes case, why can a skeptic so easily talk us out of saying so?

Classical invariantism holds that the standards for knowledge are fixed and do not depend on stakes or context. Skeptical invariantists (Peter Unger, Ignorance, 1975) set them very high, so we know almost nothing. Moderate invariantists (Timothy Williamson) set them at ordinary levels and explain the bank intuitions by other means, such as our tendency to be more cautious when more is at stake. Nagel defends a psychological version of this reply: when we evaluate someone after considering a possibility of error, a robust bias called epistemic egocentrism makes us judge them as if they were also worried about that possibility and irresponsibly ignoring it. On this view, the skeptical and high-stakes intuitions are partly cognitive illusions, like a visual illusion that persists even when we know it’s an illusion. See Mindreading: how we attribute knowledge.

Semantic externalism

Hilary Putnam (1981) offered an ingenious argument that we cannot be brains in a vat, based on semantic externalism: the meaning of our words depends on our causal connections with things in our environment.

A brain that has always been in a vat has never interacted with real vats, brains, or trees. Its word “vat” is causally connected only to the computer’s electrical impulses, or to features of the simulated world. So when the BIV thinks “I am a brain in a vat,” its words “brain” and “vat” refer to simulated brains and vats (vats-in-the-image), and what it thinks is false, since it is not a simulated brain in a simulated vat. On the other hand, if I am not a BIV, then “I am a BIV” is simply false. Either way, “I am a BIV” is false. So I am not a BIV.

Objections.

  • The argument works only for brains that have always been envatted. A brain that was envatted last night would still have words connected to real vats.
  • Even if it shows that I cannot truly think “I am a BIV,” it may not show that I know I’m not in some skeptical scenario.
  • Anthony Brueckner and others have argued that to use the argument, I must know what my words refer to, which I can only know if I already know I am not a BIV.

Hinge epistemology

Wittgenstein’s On Certainty (1969) suggested a very different kind of response. Moore claimed to know that he had hands. Wittgenstein argued that this is a misuse of “know.” “Know” is appropriate where there is a possibility of giving grounds, of checking, of being wrong in an intelligible way. But propositions like “I have two hands,” “The Earth has existed for a long time,” or “My name is Ludwig Wittgenstein” are not conclusions from evidence. They are the framework within which we give evidence at all. They are hinges on which our questions and doubts turn:

“The questions that we raise and our doubts depend on the fact that some propositions are exempt from doubt, are as it were like hinges on which those turn.” (§341)

“If you tried to doubt everything you would not get as far as doubting anything. The game of doubting itself presupposes certainty.” (§115)

On this view, the skeptic’s mistake is to treat hinges as if they were ordinary empirical hypotheses in need of evidence. Doubt requires reasons; a doubt that could not in principle be resolved by any evidence is not a real doubt.

Contemporary hinge epistemologists develop this in different ways:

  • Crispin Wright (“Warrant for Nothing (and Foundations for Free)?,” 2004): we have a non-evidential entitlement to trust hinge propositions (“cornerstones”), because inquiry would be impossible otherwise.
  • Duncan Pritchard (Epistemic Angst, 2015): hinge commitments are not beliefs at all, so they fall outside the scope of the closure principle. Pritchard combines this with epistemological disjunctivism.
  • Annalisa Coliva (Extended Rationality, 2015): accepting hinges is constitutive of epistemic rationality itself.

Objection. Hinge epistemology can seem to concede that we don’t know the hinges. And it raises a worry about relativism: if different communities have different hinges (Wittgenstein discusses a king brought up to believe the world began with him, §92), is there any rational way to adjudicate between them? This connects to the problem of deep disagreement (Robert Fogelin, “The Logic of Deep Disagreements,” 1985): disagreements so fundamental that the parties share no common ground from which to argue. See Peer disagreement.

Dogmatism

James Pryor (“The Skeptic and the Dogmatist,” 2000) defends dogmatism (a technical term, not the everyday vice). When you have an experience as of having hands, that experience gives you immediate prima facie justification to believe you have hands. You do not need prior, independent justification for believing you are not a BIV. Your perceptual justification can then extend, via closure, to “I am not a BIV.” This is a form of phenomenal conservatism and of modest foundationalism.

Objection: easy knowledge. Stewart Cohen (“Basic Knowledge and the Problem of Easy Knowledge,” 2002) argued that such views make knowledge too easy. A table looks red to me. So (by dogmatism) I am justified in believing it is red. It follows that it is not a white table lit by red light. So I have learned, just by looking, that I’m not being fooled by lighting, which seems absurd. Jonathan Vogel (“Reliabilism Leveled,” 2000) described a bootstrapping case: Roxanne has a reliable gas gauge but no evidence that it is reliable. She looks at it repeatedly, each time forming the belief “The tank is full” and noting “The gauge says full, and the tank is full.” After many repetitions, she concludes that the gauge is reliable. She has used the gauge to certify itself, which is clearly illegitimate.

Epistemological disjunctivism

Duncan Pritchard (Epistemological Disjunctivism, 2012), developing ideas from John McDowell, argues that in paradigm cases of perceptual knowledge, your rational support is factive and reflectively accessible: your reason for believing there is a hand is that you see that there is a hand, and you can know this by reflection. Since seeing that there is a hand entails there is a hand, your reason entails that you are not a handless BIV. So you can know, on the basis of reasons available to you, that you are not a BIV. (See Disjunctivism.)

Objection: the access problem. If your reason in the good case is reflectively accessible and entails the truth, why can’t you tell, by reflection, whether you are in the good case or the bad case? Pritchard replies that reflective accessibility does not require being able to introspectively distinguish the good case from the bad one.

Abductive responses

Perhaps we can’t prove that the external world exists, but its existence is the best explanation of our experiences. Russell made this argument in The Problems of Philosophy (ch. 2). If a cat appears in one part of the room and later in another, the simplest explanation is that a real cat moved; the alternative, that cat-appearances pop in and out of existence in the right patterns, is gratuitously complicated. Jonathan Vogel (“Cartesian Skepticism and Inference to the Best Explanation,” 1990) develops this: the “real world hypothesis” is simpler and more explanatory than any skeptical hypothesis, because a skeptical hypothesis that fits all our evidence must duplicate the explanatory structure of the real-world hypothesis and then add something extra (the vat, the computer, the scientist).

Objections. Why think that simplicity and explanatory power are guides to truth, rather than to convenience? And that question may itself be one the skeptic can press. See Inference to the best explanation.

Naturalist and pragmatist responses

Hume held that skeptical arguments are unanswerable in theory and irrelevant in practice. “Nature is always too strong for principle.” After a few hours of backgammon and conversation with friends, skeptical doubts seem “cold, and strained, and ridiculous.”

Peirce distinguished real doubt, which arises from a specific surprise or problem and motivates inquiry, from “paper doubt,” which is merely professed. You cannot doubt something simply by resolving to. Descartes’ universal doubt is a pretense.

Quine argued that skeptical doubts arise from within science: we know about illusions and the unreliability of the senses only because science has taught us. So the skeptic is “overreacting,” and we are entitled to use science to answer the doubts it raises. This is the naturalized approach (see Quine and naturalized epistemology).

P. F. Strawson (Skepticism and Naturalism: Some Varieties, 1985) argued that belief in the external world, like belief in other minds and induction, is not something we have the option of giving up, so arguments for or against it are “idle.”

Transcendental arguments (Kant; Strawson, Individuals, 1959) try to show that what the skeptic doubts is a necessary condition of the skeptic’s own thought or experience. For example, self-conscious experience requires an objective world distinct from one’s experiences of it. Barry Stroud (“Transcendental Arguments,” 1968) argued that such arguments at best establish that we must believe in an external world, not that it exists.

Diagnosing skepticism’s appeal

Some philosophers give up on refuting the skeptic on the skeptic’s own terms. If you accept only premises the skeptic grants, you will never climb out of the pit. Instead, they start from common sense and try to explain why skeptical arguments are so seductive, as a defense against them.

  • An immune system gone wrong. Timothy Williamson has compared skepticism to an autoimmune disease. We have a healthy capacity to suspend a particular belief temporarily and check whether it fits with the rest of what we know; it weeds out inconsistent and ungrounded beliefs. Skepticism is this protective mechanism running out of control: once we suspend belief in the entire outer world, nothing is left to check anything against, and the reasonable beliefs can no longer be supported.
  • A questionable model of the mind. Many skeptical arguments assume a model inherited from the Stoics: we first receive impressions, and then, as a separate step, decide whether to accept them. If dreams and waking experiences deliver indistinguishable impressions, the second step seems hopeless (Nagel, Knowledge, ch. 2). Direct realism, disjunctivism, and externalism all reject parts of this model (see Chapter 7).
  • Psychological biases. Thinking about a possibility of error, even a remote one, sharply reduces our willingness to credit people with knowledge, perhaps through a bias that makes it hard to evaluate someone who hasn’t considered the possibility we have in mind (see Mindreading: how we attribute knowledge).

A summary of the responses

Response Premise rejected in the closure argument Main figures Main cost
Mooreanism / neo-Mooreanism Premise 1 (we do know we’re not BIVs) Moore, Sosa, Pryor Seems question-begging
Denying closure Premise 2 Dretske, Nozick Abominable conjunctions
Relevant alternatives Premise 1 or 2, depending on version Dretske, Goldman, Stine What makes alternatives relevant?
Contextualism Neither absolutely; the argument is sound only in high-standards contexts DeRose, Cohen, Lewis Semantic blindness
Subject-sensitive invariantism Premise 1 in low-stakes situations Hawthorne, Stanley Knowledge varies with practical interests
Semantic externalism Premise 1 Putnam Limited scope
Hinge epistemology Premise 1 is misconceived; hinges aren’t objects of knowledge Wittgenstein, Wright, Pritchard, Coliva Concession? Relativism?
Dogmatism Premise 1 Pryor Easy knowledge; bootstrapping
Epistemological disjunctivism Premise 1 McDowell, Pritchard Access problem
Abduction Premise 1 Russell, Vogel, BonJour Is simplicity truth-conducive?
Skepticism None: accept the conclusion Sextus, Unger, Fogelin We know nothing

Skepticism about induction, other minds, and the past

The external world is not the only target.

Induction. Hume’s problem: nothing in our past experience logically guarantees that the future will resemble the past, and any argument from experience that it will is circular. This is covered in detail in Hume’s problem of induction.

Other minds. You directly experience your own thoughts and feelings. You observe only other people’s behavior. How do you know they have minds at all, rather than being sophisticated automata, or “philosophical zombies” behaving exactly as if conscious but with no inner experience?

  • The argument from analogy (John Stuart Mill): others are like me in body and behavior; in my case, behavior is caused by mental states; so probably theirs is too. Objection: an inductive generalization from a single case (my own) is very weak.
  • Inference to the best explanation: the hypothesis that others have minds best explains their behavior.
  • Wittgensteinian responses: mental concepts are learned and applied on the basis of behavioral criteria; the skeptic’s question misunderstands how they work. We do not infer that someone is in pain from their screaming; we see their pain.
  • The problem of other minds has taken on new life with artificial intelligence. When a chatbot produces fluent, apparently emotional language, is there anyone “home”? The behavioral criteria that serve us well with humans may not transfer. This is an open question.

The past. Bertrand Russell (The Analysis of Mind, 1921): “There is no logical impossibility in the hypothesis that the world sprang into being five minutes ago, exactly as it then was, with a population that ‘remembered’ a wholly unreal past.” Every memory, record, fossil, and photograph would be exactly as it is now. So how do we know the five-minute hypothesis is false? The responses parallel those for the external world. (A religious version, the “Omphalos” hypothesis, was proposed by Philip Henry Gosse in 1857: God created the world recently but with the appearance of age, including fossils and Adam’s navel. It is unfalsifiable by design, which is exactly what is wrong with it as a scientific hypothesis. See Popper and falsificationism.)

Reason itself. In the Treatise (1.4.1, “Of scepticism with regard to reason”), Hume argued that since we know our reasoning is fallible, we should lower our confidence in any conclusion to account for the possibility of error; then lower it again for the possibility of error in that assessment; and so on, until nothing is left. He thought only nature saves us from this regress. The modern debate about higher-order evidence revisits this issue.

Morality. Moral skepticism holds that we have no moral knowledge, either because there are no moral facts or because we could not know them. See Moral knowledge.

The simulation argument

The philosopher Nick Bostrom (“Are You Living in a Computer Simulation?,” Philosophical Quarterly, 2003) offered an argument that looks like skepticism but is structured differently. He argued that at least one of the following is true:

  1. Almost all civilizations at our level of development go extinct before becoming technologically mature (“posthuman”).
  2. Almost no technologically mature civilizations are interested in running detailed simulations of their ancestors.
  3. We are almost certainly living in a computer simulation.

The reasoning: if (1) and (2) are false, then mature civilizations will run enormous numbers of ancestor simulations, and simulated minds like ours will vastly outnumber non-simulated ones. By a principle of indifference, you should then think it very likely that you are one of the simulated ones.

The simulation argument differs from the BIV argument in two ways. It is probabilistic, not a mere possibility claim, and it does not conclude that we are simulated, only that one of the three disjuncts is true. David Chalmers (“The Matrix as Metaphysics,” 2005; Reality+, 2022) argues that even if we are in a simulation, most of our beliefs are true. The simulation hypothesis is a hypothesis about what the physical world is made of (computation), not a hypothesis that the physical world is unreal. On this view, tables are real; they are just digital.

The argument is a useful exercise in evaluating reasoning. It is analyzed step by step in Case study 4.

Healthy and corrosive skepticism

Philosophical skepticism is a theoretical puzzle. In everyday life, the word “skeptic” names several very different attitudes.

Scientific (or organized) skepticism is the practice of proportioning belief to evidence, withholding belief when evidence is inadequate, and holding conclusions provisionally. Carl Sagan, Martin Gardner, and the founders of the Committee for the Scientific Investigation of Claims of the Paranormal (1976, now the Committee for Skeptical Inquiry) used “skepticism” in this sense. The sociologist Robert K. Merton listed organized skepticism among the four norms of science (1942). This is the healthy kind. It applies to particular claims, on the basis of specific reasons, and its conclusions are revisable.

Cynicism is a blanket distrust of all sources and institutions. It feels like skepticism, but it is lazy: it requires no investigation. Paradoxically, people who distrust all mainstream sources often become highly credulous toward alternative ones. Distrusting everything gives you no way to distinguish better sources from worse.

Denialism is the selective, motivated rejection of well-established findings: that smoking causes cancer, that HIV causes AIDS, that the Earth is warming because of human activity. Pascal Diethelm and Martin McKee (“Denialism: What Is It and How Should Scientists Respond?,” 2009) identified five characteristic tactics, later summarized by the researcher John Cook as FLICC:

  • Fake experts: presenting people without relevant expertise as authorities.
  • Logical fallacies: straw men, red herrings, false analogies.
  • Impossible expectations: demanding a level of certainty science can never provide.
  • Cherry picking: highlighting the few studies or data points that fit.
  • Conspiracy theories: claiming the consensus is the product of a cover-up.

Manufactured doubt. Naomi Oreskes and Erik Conway (Merchants of Doubt, 2010) documented how the tobacco industry, and later others, deliberately funded doubt about scientific findings. A 1969 memo by an executive of the Brown & Williamson tobacco company stated: “Doubt is our product since it is the best means of competing with the ‘body of fact’ that exists in the mind of the general public.” The strategy does not require proving that smoking is safe. It requires only persuading the public that “the science isn’t settled.”

How to tell healthy skepticism from its imitations

  1. Symmetry test. Does the skeptic apply the same standards to claims they like as to claims they dislike? Demanding overwhelming proof for unwelcome conclusions while accepting welcome ones on thin evidence is a double standard. The blogger Scott Alexander coined the phrase “isolated demands for rigor” for this pattern.
  2. Specificity test. Is the doubt based on specific reasons (a flaw in the study, a conflict of interest, a failed replication) or on the bare possibility of error? “You can’t be 100% sure” is true of every empirical claim, so it cannot discriminate between good and bad ones. Demanding certainty is the impossible-expectations tactic, a form of the nirvana fallacy.
  3. Revisability test. What evidence would the skeptic accept? If no possible evidence would change their mind, the doubt is not skepticism but dogma.
  4. Alternative test. Does the skeptic hold the alternative view to the same standard? Doubting the consensus while accepting a fringe alternative on much weaker evidence is not skepticism.
  5. Consequences test. Does the doubt, if applied consistently, destroy knowledge the skeptic relies on every day? The philosopher’s skeptical arguments are a reminder that global doubt proves too much. If “you can’t rule out that the data are fabricated” were enough to reject climate science, it would also be enough to reject every medical treatment the skeptic uses.

Check your understanding

1State the closure argument for skepticism and identify which premise each of these rejects: Moore, Nozick, the contextualist.

Answer

(1) I don’t know I’m not a BIV. (2) If I know I have hands, I know I’m not a BIV. (3) So I don’t know I have hands. Moore rejects (1): I know I have hands, so by closure I know I’m not a BIV. Nozick rejects (2): closure fails. The contextualist says the argument is sound in high-standards contexts and (1) is false in ordinary ones, so the conclusion doesn’t threaten ordinary knowledge claims.

2How does the Pyrrhonist answer the charge that one cannot live without beliefs?

Answer

The Pyrrhonist lives by appearances, following nature, feelings, customs, and skills, without asserting that things really are as they appear. He eats because he is hungry and food appears nourishing, not because he dogmatically believes food nourishes.

3Explain DeRose’s bank cases. How does contextualism explain them? How does subject-sensitive invariantism explain them differently?

Answer

In the low-stakes case, “I know the bank will be open tomorrow” seems true; in the high-stakes case, with the same evidence, “I don’t know” seems true. Contextualism: the attributor’s context raises the standards for “know” in the high-stakes case, so the sentence expresses a different proposition. Subject-sensitive invariantism: “know” means the same, but whether the subject knows depends on the subject’s stakes, so Keith actually knows in Case A and doesn’t know in Case B.

4What is Putnam’s argument that we are not brains in vats, and what is one limitation?

Answer

By semantic externalism, a lifelong BIV’s word “vat” refers to simulated vats, so its thought “I am a BIV” is false; if I’m not a BIV, the thought is also false; so it is false either way. Limitation: it doesn’t apply to a recently envatted brain, whose words still refer to real vats. It also may not rule out other skeptical scenarios.

5What is the “easy knowledge” problem for dogmatism?

Answer

If a perceptual experience of p immediately justifies p without prior justification that one’s perception is working, then one can use perceptions to justify beliefs that one’s perception is not being fooled. (The table looks red, so it’s red, so it’s not a white table under red light.) Or one can bootstrap a source’s reliability from its own outputs (Vogel’s gas gauge). This seems illegitimately easy.

6A commentator says, “You can’t prove that the new medicine is completely safe, so it’s reckless to approve it.” Using this chapter, diagnose the argument.

Answer

It demands certainty (impossible expectations / nirvana fallacy) and implicitly relies on infallibilism: if knowledge or justified action required ruling out every possibility of harm, no medicine, food, or activity could ever be approved. The relevant question is comparative: how strong is the evidence of safety and benefit, relative to the risks of the alternatives (including not treating)? The argument also fails the consequences test: applied consistently, it would condemn the treatments the commentator already accepts.

7How does hinge epistemology respond to the skeptic, and what is one worry about it?

Answer

It holds that certain propositions (such as “I have hands” or “the world has existed for a long time”) are not conclusions from evidence but the framework that makes evidence and doubt possible; doubting them is not a coherent move in the practice of giving reasons. Worries: it seems to concede that we don’t know the hinges; and if different communities have different hinges, it may lead to relativism and to deep disagreements that reason cannot resolve.

8Why is Bostrom’s simulation argument different from the brain-in-a-vat argument?

Answer

The BIV argument relies on the mere possibility of an undetectable scenario and concludes we lack knowledge. Bostrom’s argument is probabilistic and disjunctive: it concludes that at least one of three claims is true, and only one of them is that we are probably simulated. Also, following Chalmers, being in a simulation might not make most of our beliefs false.

Further reading

Primary sources

  • Sextus Empiricus, Outlines of Scepticism, translated by Julia Annas and Jonathan Barnes (Cambridge University Press, 2nd ed. 2000).
  • René Descartes, Meditations on First Philosophy, Meditations I–II.
  • G. E. Moore, “Proof of an External World” (1939) and “A Defence of Common Sense” (1925).
  • Ludwig Wittgenstein, On Certainty (Blackwell, 1969).
  • Hilary Putnam, Reason, Truth and History (Cambridge University Press, 1981), ch. 1.
  • Fred Dretske, “Epistemic Operators,” Journal of Philosophy 67 (1970).
  • David Lewis, “Elusive Knowledge,” Australasian Journal of Philosophy 74 (1996).
  • Keith DeRose, “Solving the Skeptical Problem,” Philosophical Review 104 (1995).
  • James Pryor, “The Skeptic and the Dogmatist,” Noûs 34 (2000).

Books

  • Barry Stroud, The Significance of Philosophical Scepticism (Oxford University Press, 1984).
  • Keith DeRose and Ted Warfield (eds.), Skepticism: A Contemporary Reader (Oxford University Press, 1999).
  • Keith DeRose, The Case for Contextualism (Oxford University Press, 2009).
  • Duncan Pritchard, Epistemic Angst: Radical Skepticism and the Groundlessness of Our Believing (Princeton University Press, 2015).
  • Duncan Pritchard, Scepticism: A Very Short Introduction (Oxford University Press, 2019).
  • Jennifer Nagel, Knowledge: A Very Short Introduction (Oxford University Press, 2014), chs. 2 and 7: skepticism, contextualism, and interest-relative invariantism in brief.
  • David Chalmers, Reality+: Virtual Worlds and the Problems of Philosophy (W. W. Norton, 2022).

On denial and manufactured doubt

  • Naomi Oreskes and Erik Conway, Merchants of Doubt (Bloomsbury, 2010).
  • Lee McIntyre, How to Talk to a Science Denier (MIT Press, 2021).
Go deeper

Concepts from this chapter

Each has its own page with the key idea, objections and replies, common mistakes, and a self-check, in English and Persian.