# Skepticism ## Intro Skepticism is the family of views that says we know less than we think. The mildest forms point out that we should not be overconfident about hard cases. The strongest forms say we know nothing at all, that every belief we have could be wrong. Skepticism is older than philosophy itself. The ancient Greeks had two schools of it. Pyrrho's followers suspended judgment on everything in pursuit of a quiet mind. The Academic skeptics granted that some claims are more probable than others without ever committing to certainty. In the modern era, Descartes made skepticism a tool: he doubted everything he could to see what could survive. Then David Hume turned the skeptical sword against miracles, cause and effect, and the reliability of the senses themselves. Why does this matter for a Christian apologetics codex? Because the modern conversation happens against a skeptical horizon. Plantinga's Reformed epistemology answers it one way. Presuppositionalism answers it another way. Classical evidentialism inherits Descartes's method. And every defense of the resurrection has to handle Hume's skepticism about miracles before it can get started. The page maps the territory. Ancient versions, modern versions, the famous arguments (brain in a vat, dream argument, evil demon), and the strategies Christian thinkers have used to refuse the skeptical conclusion without pretending the skeptic asks nothing serious. ## In full The philosophical position (or family of positions) that we know less than we think we know, or, in its most aggressive forms, that we know nothing at all. Skepticism is one of the perennial provocations of Western epistemology: it sets the agenda by raising doubts that any account of knowledge has to answer. The major forms differ in scope (universal vs domain-restricted), in mood (live disquiet vs methodological tool), and in target (sense perception, induction, the external world, religious belief, ethics, the past). This hub maps the territory; sub-hubs treat the major positions in depth. ## Why this matters for the codex Skepticism is not a niche topic for this codex. Three apologetic-relevant intersections: - **Modern Christian epistemology operates *against* a skeptical horizon.** Plantinga's [Reformed Epistemology](/codex/reformed-epistemology/) (belief in God as properly basic) is a cousin of Moorean common-sense epistemology; presuppositionalism is a transcendental anti-skeptical strategy; classical evidentialism inherits Descartes's foundationalist method. - **Hume's skepticism about miracles** is the load-bearing modern argument against the Resurrection apologetic. Treated under [David Hume](/codex/david-hume/) and the resurrection-historicity arguments. - **Religious skepticism**, divine hiddenness, the problem of evil-as-evidential, suspension of judgment about God, is its own sub-genre and bleeds into the agnosticism / atheism mapping. So a codex on Christian apologetics that wants to engage modern interlocutors needs a substantive skepticism map. ## Two ancient origins ### Pyrrhonism (3rd c. BC, 3rd c. AD) Founded by Pyrrho of Elis (c. 365-270 BC), recovered systematically in [Sextus Empiricus](/codex/pyrrhonism/)'s *Outlines of Pyrrhonism* (c. AD 200). The Pyrrhonist suspends judgment (*epoche*) on all theoretical claims, aiming at *ataraxia* (untroubledness) as a practical-ethical end. The signature move is to set up balanced (*isostheneia*) opposing arguments on every theoretical question, leaving no rational ground for assent. Pyrrhonism is *practical* before it is theoretical: the goal is peace of mind, achieved by no longer caring about settling theoretical disputes. See [Pyrrhonism](/codex/pyrrhonism/) for full treatment. ### Academic skepticism (3rd-1st c. BC) [Plato](/codex/plato/)'s Academy under Arcesilaus and Carneades develops a different program: argue against any positive knowledge claim by holding the opposite, but allow that some impressions are *more probable* (*pithanon*) than others, guiding action without committing to truth. Cicero's *Academica* preserves much of the position; [Augustine](/codex/augustine/)'s *Contra Academicos* (AD 386) is the major Christian engagement. Academic skepticism differs from Pyrrhonism in granting probability, not strict suspension. ## The modern revival, Cartesian skepticism The 17th-c. project of Descartes redeploys skeptical arguments not as a way of life (Pyrrhonism) but as a *methodological* tool. The *Meditations on First Philosophy* (1641) marshals three escalating doubts: 1. **Sense deception**, the senses sometimes deceive (an oar in water looks bent), so they are not trustworthy. 2. **The dream argument**, there is no certain mark to distinguish waking from dreaming, so any belief that *might* be a dream-belief is doubtful. 3. **The evil demon (or, modernized: the brain in a vat)**, a powerful malicious deceiver could cause all my apparent perceptions to be systematically illusory. Descartes's purpose is to find what survives radical doubt: *cogito, ergo sum*, I think, therefore I am. From this fixed point he tries to rebuild knowledge of the external world via the proof of God (a non-deceiver). Whether this rebuilding succeeds is the contested question; skeptics argue Descartes's *clearing* of knowledge has stuck even though his reconstruction has not. See [Cartesian Skepticism](/codex/cartesian-skepticism/) for the structural reconstruction. The crucial structural feature of Cartesian skepticism is **closure-style**: I don't know I'm not a brain in a vat (call this ¬K(¬BIV)); if I knew I had hands, I would know I'm not a BIV (closure: K(hands) ∧ K(hands → ¬BIV) → K(¬BIV)); therefore I don't know I have hands. The skeptical argument runs the closure principle in reverse from a denied skeptical-hypothesis-knowledge to a denied ordinary-knowledge. See [Closure Principle](/codex/closure-principle/). ## Hume's skepticism David Hume's skepticism is sharper and harder to dismiss because it is *empirical*, built from the premises of empiricism itself rather than from artificial doubts. Three Humean skepticisms: - **Skepticism about induction**, we have no non-circular justification for the inference that the future will resemble the past. Hume's problem of induction is among the most enduring problems in philosophy. - **Skepticism about causation**, the necessary connection we project between cause and effect is not perceived; it is only our habit of expectation. Causation as a feature of the world is unjustified. - **Skepticism about miracles**, *Enquiry* X argues that a wise man proportions his belief to the evidence, and the evidence for the laws of nature is always (by definition) stronger than the evidence for any particular violation. Therefore no testimony to a miracle can ever rationally compel belief. (This is the load-bearing argument the Christian-apologetic [Argument from the Resurrection](/codex/argument-from-the-resurrection/) has to rebut.) Hume distinguished himself from Pyrrhonism in a famous self-rebuke: in his study he is sometimes overcome by total skepticism, but when he goes out and dines and plays backgammon, the skepticism evaporates. The implicit point is that nature has built our minds to ignore radical skepticism in practice; this near-Pyrrhonist sociological observation is itself a kind of skeptical move. ## Cartesian skepticism in contemporary epistemology The Cartesian argument is the central problem 20th- and 21st-c. analytic epistemology has tried to solve. The reconstructed argument: - (P1) I do not know I am not a brain in a vat (or that I'm not in the Matrix, dreaming, deceived by a demon, etc.). - (P2) If I know I have hands, then (by closure) I know I am not a brain in a vat. - (C) Therefore I do not know I have hands. Each premise can be denied. The major **anti-skeptical strategies** sort by which premise (or the closure step) they reject: | Strategy | Move | |---|---| | **Mooreanism** | Reject P1 by inference; we know P2 is sound and we know we have hands, so by *modus tollens* we know we are not BIVs. See [Mooreanism](/codex/mooreanism/). | | **Closure denial / nonclosure** (Dretske, Nozick) | Reject the closure step. We know we have hands but do not thereby know we are not BIVs, because knowledge tracks the actual situation, not all possibilities. See [Closure Principle](/codex/closure-principle/). | | **Contextualism** (DeRose, Lewis, Cohen) | "Know" is context-sensitive; in ordinary contexts P1 is false (we *do* know we're not BIVs by everyday standards); in skeptical contexts P1 is true but so is P2's antecedent failing, we *don't* know we have hands either, but only by raised standards. See [Epistemic Contextualism](/codex/epistemic-contextualism/). | | **Subject-sensitive invariantism** (Hawthorne, Stanley) | "Know" is invariant but knowledge depends on practical stakes; the skeptic raises the stakes, the standards rise with them. | | **Externalism / reliabilism** (Goldman, Plantinga) | Knowledge is reliably-formed true belief; if our cognitive faculties reliably track reality, we *do* know, even if we can't internally rule out the BIV scenario. The skeptical scenario is *possible* but not *actual* and so does not defeat actual knowledge. | | **Reformed [Epistemology](/codex/epistemology/)** (Plantinga, Wolterstorff, Alston) | Belief in God (and many other beliefs) are *properly basic*, they don't need to be supported by inferential arguments and so are not vulnerable to inferential skeptical challenge. See [Reformed Epistemology](/codex/reformed-epistemology/). | | **Presuppositionalism** (Van Til, Bahnsen, Frame) | Skepticism is self-refuting because it presupposes the rational order it denies; only Christian theism makes the laws of logic, induction, and intelligibility metaphysically possible. See [Presuppositionalism](/codex/presuppositionalism/) (and the [Stealing from God Argument](/codex/stealing-from-god-argument/)). | This codex gives each of those strategies a hub. ## Additional varieties of skepticism The Cartesian argument is one species of *external-world* skepticism, the question whether we can know there is a mind-independent world matching our experience of it. Other varieties include: - **Skepticism about the past**, we have only present traces (memories, records); can we know there was a past? (Russell's "five-minute world" hypothesis is the classic.) - **Skepticism about other minds**, we have only behavior to go on; can we know other people are conscious? Solipsism is the limit case. - **Inductive skepticism**, Hume's classical problem; cannot be solved deductively. - **Moral skepticism**, moral relativism, error theory (Mackie), expressivism; can we know moral truths? - **Religious skepticism**, agnosticism; the divine hiddenness argument; classical Humean skepticism about miracles. - **Skepticism about meaning / rule-following**, Kripke's reading of Wittgenstein in *Wittgenstein on Rules and Private Language* (1982). - **Cognitive science-based skepticism**, evolutionary debunking arguments (Plantinga's *EAAN*; Joyce in metaethics; Street in metaphysics). - **Hyperbolic skepticism**, radical: can we know any of our own beliefs? ## Practical consequences A recurring question across the tradition: even if the skeptical *argument* succeeds, what should we *do* about it? Three classical responses: - **Pyrrhonist practical living**, Sextus argues that suspended judgment does not paralyze action; we live by appearances and customs without committing to their truth. Action is possible without theoretical knowledge. - **Hume's natural belief**, radical skepticism cannot be sustained outside the study; nature compels belief. The wise man recognizes this and uses skepticism as a corrective to dogmatism, not a way of life. - **Reidian common-sense / Mooreanism**, common-sense beliefs are more secure than any premise of any skeptical argument; we should reject the skeptical argument on the grounds that its conclusion is more incredible than its rejection. For the Christian apologist, the practical question deepens: faith and skepticism interact. The classical position (Augustine *Contra Academicos*; Aquinas *De Veritate*) is that skepticism cannot defeat reasonable belief in God once the proper natural-theological arguments are in view; the Reformed-[Epistemology](/codex/epistemology/) position is that belief in God doesn't need to defeat skepticism *first* because it is properly basic. See [Faith and Reason](/codex/faith-and-reason/) and [Reformed Epistemology](/codex/reformed-epistemology/). ## Christian engagements - **Augustine, *Contra Academicos*** (AD 386), early Christian engagement with Academic skepticism. Augustine argues we can be certain of our own existence, of mathematical truths, and of phenomenological appearances; *si fallor sum* ("if I am deceived, I exist") anticipates the *cogito*. - **Aquinas**, treats skepticism in *Summa Theologiae* I-II q. 1 a. 4 ad 2 and *De Veritate* q. 1 a. 9; classical foundationalism gives self-evident principles + sense experience as the ground of *scientia*. - **Pascal**, the *Pensées* exploit human cognitive limitations rhetorically; the wager argument is a response to the practical impossibility of suspended theoretical judgment under existential pressure. - **Reformed orthodoxy (Calvin, the Reformed scholastics)**, the *sensus divinitatis* as a properly-basic-belief mechanism; antedates Plantinga's modern formulation. - **Reid**, Common Sense School; the "common sense beliefs" are immune to skeptical attack because skepticism's premises are weaker than the common-sense propositions they would deny. - **Plantinga's Reformed [Epistemology](/codex/epistemology/)**, *Warranted Christian Belief* (2000) and the Warrant trilogy (1993-2000); belief in God as properly basic; the *EAAN* (Evolutionary Argument Against Naturalism) is itself a skeptical argument *against naturalism*, turning the tables. - **Presuppositional apologetics**, Van Til, Bahnsen, Frame; the [Stealing from God Argument](/codex/stealing-from-god-argument/) and transcendental anti-skepticism. ## In ris3n's notes The skepticism territory is touched in scattered raw notes: - [Cumulative Case for Christian Theism](/codex/cumulative-case-for-christian-theism/), apologetic-cumulative argument structure assumes some anti-skeptical commitments But none of the notes give a dedicated treatment of skepticism. This concept-hub layer fills the gap. ## See also - [Cartesian Skepticism](/codex/cartesian-skepticism/), the modern locus - [Pyrrhonism](/codex/pyrrhonism/), the ancient locus - [Mooreanism](/codex/mooreanism/), common-sense anti-skepticism - [Closure Principle](/codex/closure-principle/), and the nonclosure response - [Epistemic Contextualism](/codex/epistemic-contextualism/), the contextualist response - [Epistemology](/codex/epistemology/), the parent field - [Foundationalism](/codex/foundationalism/), [Coherentism](/codex/coherentism/), alternatives in epistemic structure - [Reformed Epistemology](/codex/reformed-epistemology/), Plantinga's properly-basic move - [Presuppositionalism](/codex/presuppositionalism/), Van Til's transcendental move - [Stealing from God Argument](/codex/stealing-from-god-argument/), presuppositional anti-skeptical argument - [Argument from the Reliability of Reason](/codex/argument-from-the-reliability-of-reason/), the meta-argument that naturalism cannot account for reason - [Faith and Reason](/codex/faith-and-reason/), the broader question - [David](/codex/david/) Hume, induction, miracles, causation - [Rene Descartes](/codex/rene-descartes/), the modern father of methodological skepticism - Augustine, *Contra Academicos*; *si fallor sum* - [Thomas Aquinas](/codex/thomas-aquinas/), classical foundationalism - [Cartesian Skeptical Argument and Christian Responses](/codex/cartesian-skeptical-argument-and-christian-responses/), structured argument page - [Engaging the Conclusion-Fixed Skeptic](/codex/engaging-the-conclusion-fixed-skeptic/), apologetic-tactical hub on the bad-faith / motivated-reasoning skeptic pattern; fallacies, performative contradictions, conversational moves ## Common questions this page answers **Q: What is skepticism in philosophy?** Skepticism is the family of philosophical positions holding that we know less than we think, or in its strongest forms that we know nothing at all. The major forms differ in scope (universal vs domain-restricted), mood (live disquiet vs methodological tool), and target (perception, induction, the external world, religious belief, ethics, the past). **Q: What are the main types of skepticism?** Ancient: [Pyrrhonism](/codex/pyrrhonism/) (suspends judgment for *ataraxia*) and Academic skepticism (grants probability without commitment). Modern: [Cartesian Skepticism](/codex/cartesian-skepticism/) (the dream argument, evil demon, brain in a vat), Humean skepticism (about induction, causation, and miracles), inductive skepticism, moral skepticism, skepticism about other minds and the past, and contemporary evolutionary debunking arguments. **Q: How do Christians respond to skepticism?** Several strategies. Augustine's *Contra Academicos* deploys *si fallor sum* ("if I am deceived, I exist"), anticipating the *cogito*. [Reformed Epistemology](/codex/reformed-epistemology/) (Plantinga) treats belief in God as properly basic, not vulnerable to inferential skeptical challenge. [Presuppositionalism](/codex/presuppositionalism/) (Van Til, Bahnsen) argues skepticism is self-refuting because it presupposes the rational order it denies; only Christian theism grounds intelligibility. [Mooreanism](/codex/mooreanism/) insists common-sense beliefs are more secure than any skeptical premise. **Q: Did Descartes overcome skepticism with "I think, therefore I am"?** Descartes thought so. The *Meditations* tries to clear all doubt and then rebuild knowledge from the *cogito* via a proof of God (a non-deceiver). Most modern epistemologists hold that the *clearing* has stuck but the *rebuilding* has not: the Cartesian Circle objection (using clear-and-distinct ideas to prove God, then using God's veracity to validate clear-and-distinct ideas) is widely accepted as a fatal flaw. The skeptical challenge remains. **Q: What is Hume's skepticism about miracles?** David Hume's *Enquiry* X argues that a wise man proportions belief to evidence, and the evidence for the uniform laws of nature is always (by definition) stronger than the evidence for any particular violation. Therefore no testimony to a miracle can ever rationally compel belief. The Bayesian rebuttals (Earman, the McGrews, Swinburne) show that a sufficiently high likelihood ratio can overcome any non-zero prior, defeating Hume's structural objection. See [Argument from Miracles](/codex/argument-from-miracles/) and [Bayesian Probability](/codex/bayesian-probability/).