In René Descartes’s First Meditation, the meditator argues that there are some certainties even if here and now I am dreaming. The meditator claims even in a dream, a square has four sides and two and three equal five. What arguments are there that these claims are false?
See Stanford Encyclopedia of Philosophy’s “A Priori Justification and Knowledge”

Descartes’ argument in the First Meditation hinges on the idea that even if we are dreaming, certain “simple and universal” truths (like mathematics and geometry) remain indubitable. However, several philosophical counterarguments challenge this claim:
1. Radical Skepticism (Evil Demon Hypothesis)
Descartes himself introduces the possibility of an omnipotent evil demon systematically deceiving us. If such a demon exists, it could manipulate our perception of all truths—including mathematical ones. For example:
- The demon could make us “see” a square as having 5 sides in a dream, or convince us that 2 + 3 = 6.
- Even innate ideas (like math) could be implanted deceptively, rendering them unreliable.
2. Non-Euclidean Geometry and Alternative Mathematical Systems
Modern mathematics shows that truths like “a square has four sides” or “2+3=5” depend on axiomatic systems:
- In non-Euclidean geometries, shapes can defy Euclidean properties (e.g., a “square” on a curved surface may not have four equal sides or right angles).
- In modular arithmetic (e.g., modulo 4), 2 + 3 = 1, not 5.
If a dream operates under non-standard axioms, these “certainties” could be false within that framework.
3. Cognitive Fallibility in Altered States
Dreams often involve distorted logic and impossible scenarios:
- We might dream of a “square” with 5 sides and accept it as normal, or perceive 2 + 3 = 5 as false.
- Neurobiological studies show dreaming can impair rational cognition, making even basic logic unreliable.
4. Conceptual Relativity
The meaning of “square” or “addition” depends on linguistic and conceptual frameworks:
- If a dream redefines these concepts (e.g., “square” means a five-sided shape), the truths dissolve.
- This aligns with Wittgenstein’s view: mathematical truths are rules of language, not immutable realities.
5. Empiricist Critique
Hume and later empiricists argue that all knowledge (including math) derives from sensory experience. In dreams:
- Sensory input is fabricated, so “certainties” like math could be mere artifacts of flawed perception.
- If we only know squares through sensory examples, a dream could corrupt that foundation.
Conclusion
These arguments suggest Descartes underestimates the vulnerability of mathematical truths to radical doubt. While his goal was to find an unshakable foundation for knowledge (later settling on cogito ergo sum), the dream argument leaves even math open to skepticism if we entertain scenarios such as deceptive demons, non-standard axioms, or cognitive dysfunction.
For deeper analysis, see:

You asked this same question earlier, and I gave a general philosophical overview. Since you’re asking again, I’m guessing you want something more rigorous or specific to your research approach.
Arguments that mathematical/geometrical truths are not certain even in dreams:
1. The Evil Demon (Descartes’s own escalation)
In the First Meditation, Descartes introduces a more radical doubt: an omnipotent deceiver could make us err even in mathematics. This directly undermines the certainty of “2+3=5” or “a square has four sides”—the demon could systematically corrupt our reasoning about these “simple natures.”
2. Empiricist objection (Hobbes, Gassendi)
Contemporary critics argued that mathematical concepts derive from sensory experience. If dreams corrupt sensory input, they corrupt the foundation of mathematical knowledge. A dreaming mind has no reliable access to “true” squares or numbers.
3. Psychologistic/neurological argument
Dreams involve cognitive dysfunction. We accept logical impossibilities in dreams (such as flying and contradictory identities). If the dreaming mind can fail at basic logic, it can fail at arithmetic or geometry—we might dream that 2+3=6 and accept it.
4. Non-Euclidean geometry (anachronistic but conceptually relevant)
The claim “a square has four sides” presupposes Euclidean space. In non-Euclidean geometries or on curved surfaces, this breaks down. If dreams operate under different spatial rules, geometric “certainties” dissolve.
5. Conventionalist/linguistic argument (Wittgenstein-style)
Mathematical truths are rules of symbolic systems, not metaphysical facts. In a dream with altered conventions (e.g., “square” means pentagon), the claim becomes false. The certainty depends on stable linguistic frameworks, which dreams may lack.
I don’t think it is true that even an evil demon could systematically corrupt our reasoning regarding a square having four sides since when we see a four sided figure with equal-length sides one can have a gestalt experience that there are four sides so counting one by one is not required and a square by definition is such a four sided figure so how would it be possible for an evil demon to mislead the meditators on this?
Explain in detail what an evil demon would have to accomplish to create the deception that this four-sided figure in front of me now, even in a dream, is not a square, etc.

You’re right to press on this—the gestalt/immediate apprehension point is philosophically significant. Let me work through what an evil demon would actually need to accomplish to deceive you about a square having four sides, given your objection.
The Challenge: What Makes This Deception Difficult?
Your argument has two components:
- Gestalt perception: You grasp “four-sidedness” immediately, holistically—not by sequential counting
- Analytic/definitional truth: “Square” means a four-sided equilateral figure, so denying this seems incoherent
What the Evil Demon Would Need to Accomplish
Option 1: Corrupt the Perceptual Gestalt Itself
The demon would need to:
- Manipulate your visual field so you see a five-sided figure but experience the gestalt as “four-sided”
- Make the immediate, pre-reflective apprehension itself erroneous
- This seems difficult because gestalt perception feels direct and non-inferential
Problem: Even if the demon shows you a pentagon, your gestalt experience would register “five sides,” not four. The demon can’t make you miscount what you immediately grasp.
Option 2: Corrupt the Concept “Square”
The demon could:
- Implant a false definition: make you believe “square” means “five-sided equilateral figure”
- Alter your conceptual framework so the word-to-concept mapping is wrong
- You’d still correctly perceive four sides, but misapply the term “square”
Problem: This doesn’t deceive you about the four-sidedness itself—only about linguistic convention. The mathematical/geometric truth (this figure has four sides) remains intact.
Option 3: Corrupt the Faculty of Rational Intuition
The demon could:
- Systematically distort your capacity for a priori insight
- Make you “intuit” that 4 = 5, or that counting yields different results each time
- Undermine the reliability of rational apprehension itself (not just sensory perception)
This is the radical move: The demon doesn’t just fool your senses—it corrupts your intellect’s grasp of necessary truths. When you perform the mental act of grasping “four-sidedness,” the demon intercepts and distorts the result.
Option 4: Corrupt Memory/Temporal Continuity
The demon could:
- Let you correctly count “1, 2, 3, 4” but erase the memory of earlier sides as you count
- Make you believe you’ve counted five sides when you’ve only counted four
- Disrupt the temporal synthesis required to hold “four-ness” in mind
Problem: This still requires corrupting sequential counting, which you’ve bypassed with gestalt perception.
Option 5: Metaphysical Deception (Most Radical)
The demon could:
- Create a world where the figure actually has five sides in reality, but implants in you the false belief that you’re seeing four
- Make the object itself different from your perception
- But then the demon isn’t deceiving you about your perception—you correctly perceive what’s presented; the deception is about the object’s true nature
Problem: Descartes’s point is about the content of thought (even in dreams, I think “four sides”), not about correspondence to external reality.
The Core Issue: Can the Demon Corrupt Rational Intuition?
Your objection suggests that immediate rational apprehension (gestalt grasp of four-sidedness, definitional truth of “square = four-sided”) is immune to deception because:
- It’s non-inferential (no steps to corrupt)
- It’s self-evident (denial seems incoherent)
- It’s constitutive (part of what “square” means)
The demon’s only move: Corrupt the faculty of rational intuition itself—make your mind systematically malfunction so that what seems self-evident is actually false.
Descartes’s Implicit Commitment
In the First Meditation, Descartes does seem to think the demon could corrupt even mathematical reasoning. But you’re right that this is puzzling. The demon would need to:
- Intercept the act of rational intuition at the moment you grasp “four-sidedness”
- Substitute a false content (e.g., make you “see” five sides while experiencing it as four)
- Maintain consistency across all related judgments (so you don’t notice contradictions)
This requires the demon to control not just sensory input, but the structure of rational thought itself—essentially rewriting the laws of logic and mathematics in your mind.
Why This Might Be Impossible (Your Implicit Argument)
If mathematical/geometric truths are:
- Analytic (true by definition)
- Immediately evident (grasped non-inferentially)
- Constitutive of concepts (part of what “square” means)
Then deceiving you would require making you not understand the concept “square” at all—not just misapply it. The demon would have to destroy your rational faculty entirely, not just mislead it.
At that point, you wouldn’t be thinking about squares at all—you’d be in a state of cognitive chaos, not systematic deception.
Conclusion
You’ve identified a genuine tension in Descartes’s argument. The evil demon hypothesis seems to work for:
- Sensory beliefs (external world)
- Complex inferences (long calculations)
But it’s unclear how it could corrupt:
- Immediate rational intuition (gestalt apprehension)
- Analytic truths (definitional necessities)
Without corrupting your rational faculty entirely (which would eliminate thought, not just deceive it), the demon can’t make you wrong about “this four-sided figure has four sides.”
This is why Descartes ultimately grounds certainty in the cogito (immediate self-awareness) and then argues God’s benevolence guarantees our rational faculties—he needs to rule out the demon to restore trust in mathematics.
Good analysis in your answer, and you correctly understood my worries.
Go into more detail as to what would happen if the evil demon tried her ‘only move’ of trying to corrupt the faculty of rational intuition itself—making a mind systematically malfunction so that what seems self-evident is actually false.
How would this work, and is it ultimately coherent?

Excellent—let’s probe the coherence of this “only move.” I’ll work through what it would take to corrupt rational intuition and whether it’s ultimately intelligible.
What Would Corrupting Rational Intuition Involve?
Scenario A: Systematic Substitution
The demon intercepts every act of rational intuition and substitutes false content:
- When you grasp “this square has four sides,” the demon makes you experience “this square has five sides” as self-evident
- The substitution is consistent: every time you think about squares, you get “five sides”
- You retain the phenomenology of rational insight (the “aha!” feeling of self-evidence) but with false content
Problems:
- Coherence across the conceptual network: If “square” now means “five-sided figure,” what happens to related concepts?
- Does “pentagon” now mean “four-sided”?
- Does “quadrilateral” mean “five-sided polygon”?
- The demon must rewrite your entire mathematical framework to avoid contradictions
- Internal consistency: If you think “a square has five sides” and also “5 = 4 + 1” and “a square has four sides plus one more,” you’d notice the contradiction
- The demon must corrupt all logical relations simultaneously
- This isn’t just changing one belief—it’s rewriting the entire structure of rational thought
- The regress problem: To make “five-sided square” seem self-evident, the demon must corrupt your grasp of:
- What “five” means
- What “side” means
- What “square” means
- What “has” means (the relation of possession/property)
- What does “self-evidence” itself means At what point does this stop being “deception” and start being “creating a different mind entirely”?
Scenario B: Intermittent Corruption
The demon selectively corrupts some rational intuitions but not others:
- Sometimes “2 + 3 = 5” seems self-evident (correctly)
- Other times “2 + 3 = 6” seems self-evident (falsely)
- The corruption is inconsistent/random
Problems:
- You’d notice: If your rational intuitions contradict each other, you’d recognize something is wrong
- The phenomenology of self-evidence includes stability—what’s self-evident today should be self-evident tomorrow
- Inconsistency would undermine the feeling of self-evidence itself
- Loss of rational agency: If you can’t rely on any rational intuition, you can’t think at all
- You couldn’t follow an argument, make inferences, or even understand the demon hypothesis itself
- This isn’t systematic deception—it’s cognitive annihilation
Scenario C: Global Inversion
The demon inverts your entire rational faculty:
- Everything actually true seems false
- Everything that’s actually false seems true
- The inversion is total and systematic
Problems:
- Preservation of logical structure: For this to work, the demon must preserve the form of rationality while inverting the content
- You still grasp that “if P then Q, and P, therefore Q” is valid
- But the demon makes you apply it to false premises
- The self-reference problem: If all your rational intuitions are inverted, then your intuition that “my rational intuitions might be inverted” is also inverted
- So you’d be certain they’re not inverted
- The demon’s deception would be perfect and undetectable
- But what makes it a deception? If you can’t even in principle detect the error, in what sense are you deceived?
- Deception implies a gap between appearance and reality that could (at least theoretically) be discovered
- Total, undetectable inversion seems indistinguishable from “you’re just in a different logical universe”
The Deeper Incoherence: What Is “Rational Intuition”?
Here’s the core problem: Rational intuition isn’t a passive reception of information—it’s constitutive of what counts as “truth” in the first place.
Consider:
- When you grasp “a square has four sides,” you’re not discovering a fact about some external object
- You’re recognizing what “square” means—you’re grasping a conceptual/definitional truth
- The “truth” here is internal to the concept itself
So what would it mean for the demon to corrupt this?
Option 1: The demon changes what “square” means
- Then you’re not wrong—you’re just using a different concept
- Like if I define “bachelor” as “married man,” I’m not deceived about bachelors—I’m just using words differently
Option 2: The demon makes you believe something false about the concept “square”
- But the concept “square” just is “four-sided equilateral figure”
- To be deceived here, you’d have to simultaneously:
- Grasp the concept “square” (which includes four-sidedness)
- Believe it has five sides
- Not notice the contradiction
This seems impossible. You can’t fully grasp a concept and be wrong about its defining features—that’s what “grasping” means.
The Phenomenology Problem
There’s also a phenomenological issue: What would it feel like to have corrupted rational intuition?
Normal rational intuition:
- Immediate (non-inferential)
- Self-evident (can’t coherently doubt it)
- Stable (doesn’t change)
- Interconnected (fits with other intuitions)
Corrupted rational intuition would need to:
- Feel immediate but actually be mediated by the demon
- Feel self-evident but actually be false
- Feel stable but be systematically wrong
- Feel interconnected but be internally contradictory
The problem: The phenomenology of rational intuition is partly constitutive of what makes it rational intuition.
If it doesn’t feel self-evident, it’s not functioning as rational intuition—it’s just a belief.
If it does feel self-evident, then by what standard is it “actually false”? Self-evidence is precisely what we use to judge truth in mathematics/logic.
The Regress of Justification
Here’s another angle: By what standard would the demon’s corruption be “false”?
- If the demon makes you believe “2 + 3 = 6,” what makes this false?
- Presumably, the real truth is “2 + 3 = 5”
- But how do you know that? By rational intuition.
- If rational intuition can be corrupted, how do you know your intuition that “2 + 3 = 5” isn’t the corrupted one?
The demon hypothesis seems to require:
- A standard of truth independent of rational intuition
- But for mathematical/logical truths, rational intuition is the standard
- So there’s no external vantage point from which to judge the corruption
This is why Descartes needs God: Only an external guarantor can validate that our rational intuitions track truth. Without that, we’re stuck in circularity.
Is Corrupted Rational Intuition Ultimately Coherent?
I think the answer is: No, not for analytic/definitional truths.
Here’s why:
1. Conceptual truths are self-guaranteeing
- “A square has four sides” is true in virtue of what “square” means
- To be deceived about this, you’d need to simultaneously grasp and not grasp the concept
- This is incoherent
2. Rational intuition is criterial, not evidential
- It’s not evidence for truth—it’s what constitutes truth in mathematics/logic
- Corrupting it doesn’t make you wrong—it changes what “right” means for you
3. Total corruption is indistinguishable from difference
- If your entire rational framework is inverted, you’re not in error—you’re in a different logical space
- Like saying someone who speaks a different language is “wrong” about word meanings
4. Partial corruption is self-defeating
- If only some intuitions are corrupted, you’d detect contradictions
- If you can’t detect them, your rational faculty is destroyed, not deceived
Conclusion: The Demon’s Dilemma
The evil demon faces an impossible choice:
Either:
- Preserve rational coherence: Then you’ll notice contradictions and detect the deception
- Destroy rational coherence: Then you’re not deceived—you’re cognitively annihilated (can’t think at all)
There’s no middle ground where you remain a rational thinker but are systematically wrong about analytic truths.
This suggests: Descartes’s extension of doubt to mathematics is unstable. The demon hypothesis works for empirical beliefs (where appearance and reality can come apart), but not for rational intuitions (where grasping the concept is grasping the truth).
Your original worry was right: The gestalt apprehension of four-sidedness, combined with the definitional nature of “square,” seems immune to demonic deception in any coherent sense.
Also see Gemini’s conversation at https://g.co/gemini/share/554b6ca1d88a

