Skip to main content
Humanities LibreTexts

7.4: Skepticism

  • Page ID
    162174
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)
    Learning Objectives

    By the end of this section, you will be able to:

    • Define skepticism as it is used in philosophy.
    • Compare and contrast global and local skepticism.
    • Offer and explain a skeptical hypothesis.
    • Outline the general structure of argument for global skepticism.

    Philosophical skepticism is the view that some or all knowledge is impossible. A skeptic questions the possibility of knowledge—particularly justification—in some domain. A global skeptic rejects the possibility of knowledge in general. But one need not reject the possibility of all knowledge. A local skeptic questions the possibility of knowledge only in particular areas of study. One can be a local skeptic about moral knowledge or scientific knowledge. This section will first look at global skepticism and the arguments offered in support of it and then will briefly look at local skepticism.

    Global Skepticism

    Global skepticism is a view that questions the possibility of all knowledge. To make their case, global skeptics point to the lack of the possibility of certainty in our beliefs. Because we cannot know that our beliefs are true, we cannot know in general. Usually, global skepticism attempts to undermine the possibility of forming justified beliefs. Global skeptics target all beliefs, or all beliefs about the external world (which amounts to most beliefs). Most beliefs tacitly or explicitly assume the existence of an external world. When I have the experience of seeing a bird in a tree and think, “There is a bird in that tree,” I assume that there is an actually existing physical bird in an actually existing physical tree in an actually existing real world outside of me. There is means “there exists.” I believe the bird, tree, and world all exist independently of my thoughts. The global skeptic questions beliefs such as these.

    The Dream Argument

    How many times have you realized that you were dreaming while you were dreaming? Most people believe that whatever they are dreaming is real during the dream. Indeed, the fact that people think dreams are real while dreaming is what makes nightmares so terrible. If you knew the content of a nightmare was a dream, then it would not be nearly as scary. Zhuang Zhou (c. 369–286 BCE) was a Chinese Taoist philosopher who argued that for all we know, we could currently be dreaming while thinking we are awake. Imagine dreaming that you are a butterfly, happily flitting about on flowers. When you wake, how can you determine whether you have just woken from dreaming you are a butterfly or you are a butterfly who has just started dreaming that you are human? Zhuang Zhou explains:

    While he is dreaming he does not know it is a dream, and in his dream he may even try to interpret a dream. Only after he wakes does he know it was a dream. And someday there will be a great awakening when we know that this is all a great dream. Yet the stupid believe they are awake, busily and brightly assuming they understand things, calling this man ruler, that one herdsman—how dense! Confucius and you are both dreaming! And when I say you are dreaming, I am dreaming, too. (Zhuangzi 2003, 43)

    Zhaung Zhou puts forward the possibility that all of what we take to be conscious experience is actually a dream. And if we are dreaming, then all our beliefs about the external world are false because those beliefs take for granted that our current experience is real.

    Chinese ink drawing depicting a seated man, who appears to be asleep, with a butterfly hovering above his head.
    Figure 7.8 Is this a picture of a man dreaming of a butterfly, or is it a picture of a butterfly dreaming of a man? The Chinese philosopher Zhuang Zhou asks us to consider the possibility that everything we consider waking experience might actually be a dream. (credit: “Zhuangzi-Butterfly-Dream” by Ike no Taiga/Wikipedia, Public Domain)

    The Evil Demon Argument

    Nearly two millennia after Zhuang Zhou, René Descartes also proposed a dream hypothesis. Descartes argued that because dreams often incorporate experiences we have in real life, it is impossible to distinguish between dreaming and waking life (Descartes 2008). But Descartes eventually concludes that even if he could be dreaming, there are still some beliefs he can know, specifically arithmetic. Even in dreams, 1 + 1 = 2, and a square will always have four sides. And so, Descartes devises an even stronger skeptical hypothesis: what if we are being tricked by an evil demon?

    Descartes’s evil demon is powerful. It can make you believe things, and it can trick you by controlling your experience. The evil demon can make you believe you are currently eating a sandwich by directly feeding you the sensory experience of eating a sandwich (the sight, the smells, the taste, the feel). Under this scenario, you cannot tell the difference between actually eating a sandwich and merely believing you are eating one because the evil demon is tricking you. If we cannot reliably tell the difference between experiences caused by reality and experiences caused by an evil demon, then we cannot know anything. We can represent Descartes’s argument as follows:

    1. If I cannot rule out the possibility that an evil demon is tricking me, then I do not have any knowledge of the external world.
    2. I cannot rule out the possibility that an evil demon is tricking me.
    3. Therefore, I do not have knowledge of the external world.

    Why does Descartes claim we can’t have knowledge if we cannot rule out the evil demon hypothesis? If an evil demon is tricking us, then all our beliefs are wrong. And if we cannot rule out the possibility that we are wrong, then we are not justified. And if we are not justified in our beliefs, then we cannot have knowledge of them.

    Putnam’s Brain in a Vat

    If you don’t like evil demons, then consider a more modern version of a skeptical hypothesis: the “brain in a vat” conceived of by American philosopher and mathematician Hilary Putnam (1926–2016). Imagine that while you were asleep last night, a group of scientists kidnapped you and took you to their lab. There, they surgically removed your brain and placed it in a vat of nutrients. The scientists then hooked up your brain to a sophisticated new computer system. They were able to download your memories so as to create new experiences. The result is a seamless experience of consciousness between yesterday and today. When you woke this morning, your life seemed to proceed without disruption. Can you prove that you are not a brain in a vat? No, you cannot. The scenario stipulates that your experience will seem exactly the same whether you are a brain in a vat or not. Other, similar skeptical scenarios are easy to come up with. Consider the possibility that you are caught in a virtual reality world or that you are trapped in the Matrix.

    Sketch of a brain floating in a liquid-filled beaker, connected to a computer console by several electrodes. A thought bubble rising from the brain reads “I’m walking outside in the sun!!”
    Figure 7.9 The “brain in a vat” scenario asks us to consider the possibility that our experiences are the result of deliberate manipulation of our mental processes. (credit: “Brain in a Vat” by Was a bee/Wikimedia, Public Domain)

    General Structure of Global Skeptical Arguments

    Skeptical hypotheses and the arguments that they inspire all have a similar structure:

    1. If I cannot rule out the possibility of SH, then I cannot be justified in believing that P.
    2. I cannot rule out the possibility of SH.
    3. Therefore, I cannot be justified in believing that P.

    SH is a skeptical hypothesis. P is any proposition about the external world. Premise 1 is the skeptic’s challenge—that you must rule out skeptical hypotheses. Premise 2 relies on limitations within your perspective. The skeptic claims that you can rule out the possibility of whatever skeptical hypothesis is at hand only if you are able to construct an argument that defeats that hypothesis using the evidence you have (and a priori knowledge). As demonstrated, this is difficult to do. The nature of the skeptical hypotheses used for global skepticism limits your evidence to the contents of your thoughts. What you take to be evidence of the external world (that you perceive things that seem to be separate from yourself) is effectively neutralized by the possibility of a skeptical hypothesis.

    Responses to Global Skepticism

    The philosopher who wishes to overcome philosophical skepticism must find reasonable grounds for rejecting the skeptic’s argument. The different skeptical arguments reveal a specific conception of the level of justification required for knowledge. Skeptical arguments rely on the existence of doubt. Doubt exists when we cannot rule out a possibility. If we have doubt, we are not certain. We cannot be certain that we are not, say, a brain in a vat. And if we cannot be certain, then we cannot know anything that implies we are not a brain in a vat. Certainty is a very strict measure of justification. One clear possible response is to simply deny that one needs certainty in order to be considered justified. This section looks at some of the classical responses to the skeptic’s argument that we cannot know anything.

    Moore

    British philosopher G. E. Moore (1873–1958) presented an argument against skepticism that relies on common sense. In his famous paper “Proof of an External World,” Moore begins by raising his right hand and claiming, “Here is one hand,” then raising his left hand and claiming, “Here is another hand” (Moore 1939). Therefore, he concludes that skepticism is false. At first glance, this argument may seem flippant. It is not. Moore means to replace the second premise in the skeptical argument with his own premise: I know I have hands. The skeptical argument starts with the premise that if you cannot rule out a skeptical hypothesis, then you do not have knowledge of some proposition pertaining to the external world. Moore uses “I have two hands” as his proposition about the external world. In effect, he accepts the skeptic’s first premise, then uses his commonsense belief in the truth of “I have two hands” to defeat the skeptical hypothesis. Here is the argument’s structure:

    1. If I cannot rule out the possibility of SH, then I cannot be justified in believing that P.
    2. I am justified in believing that P.
    3. Therefore, I can rule out the possibility of SH.

    In claiming that he has two hands, Moore claims that he is justified in believing propositions about the external world. And if he is justified, then he can rule out the skeptical hypothesis. The skeptic’s argument takes the form of what is called modus ponens, meaning a valid inference where the antecedent of a conditional is affirmed. Moore’s argument takes the form of what is known as modus tollens, meaning a valid inference where the consequence of a conditional is denied.

    But notice that the two arguments contradict each other. If we accept the first premise, then either Moore’s or the skeptic’s second premise must be false. So why did Moore think his second premise is better? The choice is between thinking you are justified in believing that you have two hands and thinking you are justified in believing the skeptical hypothesis might be true. Moore thinks he has better reason to believe that he has two hands than he does for believing the skeptical hypothesis is true. For Moore, it is just common sense. You have reason to believe that you have two hands—you can see them and feel them—while you have no reason to believe the skeptical hypothesis is true.

    Many philosophers remain unconvinced by Moore’s argument. Any person who accepts the possibility of the skeptical hypothesis will disagree with his premise 2. The possibility of the skeptical hypothesis effectively undermines justification in the belief that you have two hands.

    Contextualism

    As we just saw, some theorists reject the notion that you must be certain of a belief—that is, rule out all possible defeaters—in order to have knowledge. Moore thinks he has more justification to believe he has two hands than he does that there’s an evil demon tricking him. And in determining whether I am justified in believing in the bird outside my office window, I rarely consider the possibility that I could be a brain in a vat. I’m more likely to focus on my poor vision as a defeater. In the context of bird identification, wild skeptical hypotheses seem out of place. Indeed, we often adjust how much justification we think is needed for a belief to the task at hand. Contextualism is the view that the truth of knowledge attributions depends on the context. Contextualism is a theory about knowledge and justification. When we attribute knowledge to a subject S, the truth of the knowledge claim depends on the context that S is in. The context of S determines the level of justification needed for a true belief to count as knowledge. Contextualism comes from the observation that the level of confidence needed for justification changes depending on what the belief is as well as its the purpose and its importance, among other things. We expect a high degree of justification from physicians when they diagnose disease but less justification from friends recalling the title of a movie because there’s much more at stake in medical diagnoses.

    Contextualism deals with skepticism in a unique way. Rarely are we in situations where we must rule out skeptical hypotheses to consider ourselves justified. Indeed, it is generally only when a skeptical hypothesis has been explicitly raised that we think we need to rule it out to be justified. And in our daily lives, the skeptical hypothesis just does not seem relevant. Yes, the possibility that we are brains in a vat technically still exists; we just do not think of it.

    Skepticism in Specific Domains

    As explained above, local skepticism questions the possibility of knowledge only in particular areas of study. People can accept that knowledge of the external world is possible while also questioning whether knowledge is achievable in more specific domains. A common form of local skepticism focuses on religious belief, specifically knowledge of the existence of God. Another form of local skepticism concerns the ability to ever have moral knowledge. Skepticism in these domains does not entail that there is no God or that all moral claims are false. Rather, skepticism means that we can never be sufficiently justified in believing that there is a God or that moral claims are true. We simply can never know either way whether, for example, God exists.

    Skepticism about morality arises due to the nature of its subject. Moral claims are normative, which means that they assert claims about what ought to be the case rather than what is the case. But moral claims are difficult to prove, given their normative nature. How can you prove what ought to be the case? Usually, moral claims are grounded in value claims. An ethicist may say that we ought to help a stranger because well-being is morally valuable. But the skeptic will point out that we cannot prove that something is valuable. We do not have sensors that can confirm moral value. Moral claims instead rest on arguments. The problem, as Scottish Enlightenment philosopher David Hume (1711–1776) explained, is that no amount of description can ever help us logically derive a normative claim (Hume 1985). This leaves room for doubt, and therefore skepticism.

    Skeptical positions about God also focus on the lack of sufficient evidence. A skeptic can reasonably ask, What sorts of evidence would show the existence of God? Certainly, if God unambiguously appeared right now to everyone in the world simultaneously, then we would have reliable evidence. But God has not done so. The most we have is testimony in the form of religious texts. And testimony, particularly a chain of testimony stretching back hundreds and hundreds of years, is not necessarily reliable. Why believe, for example, the Christian Bible? Blaise Pascal (1623–1662), himself a devote Catholic, argued that the very nature of God—having no limits and existing beyond time—precludes the possibility of ever comprehending the full true nature of God or God’s existence. He states, “Who then can blame the Christians for not being able to give reasons for their belief, professing as they do a religion which they cannot explain by reason. . . . It is in lacking proofs that they do not lack sense” (Pascal 1973, 93). Pascal contends that not attempting to give proof of God is the sensible thing to do. A person can simply rely on faith, which is belief based on insufficient evidence.

    Think Like A Philosopher

    In your view, what is the relationship between reason and faith? Some theologians say that reason can establish the existence of a supreme being. Others think that reason can only partially justify religious belief and that full belief requires faith, or belief without reason. Reason for some is antithetical to faith, which requires blind obedience. For example, in the biblical story of the sacrifice of Isaac, Abraham is willing to sacrifice his only son to God as an act of faith. How do you think we should understand the role of reason in religious belief?


    This page titled 7.4: Skepticism is shared under a CC BY 4.0 license and was authored, remixed, and/or curated by Nathan Smith et al. (OpenStax) via source content that was edited to the style and standards of the LibreTexts platform.