What does shading actually mean? What does an X tell you? How do we represent a sentence on a Venn? How can we use them to show argument validity?
Let's start with the simplest possible Venn diagram: a single circle. Everything you need to know about Venn diagrams flows from understanding this one shape completely.
A circle represents a class — a category of things that share something in common. Call it class S. The entire universe of things gets divided into exactly two groups by this circle:
Contains every member of the class. If S is "Dogs," then every dog that exists lives inside this circle — all of them, no exceptions.
Contains everything that is not a member of the class — cats, planets, ideas, sandwiches. Anything that isn't a dog lives out here.
Once a Venn diagram has regions, two kinds of information can be recorded — and only two. Understanding these is the entire foundation:
Shading a region means that region has no members whatsoever. Nobody lives there. It's not that we don't know — we're asserting it's empty.
An X in a region means at least one thing exists there. We don't know how many — just that the region is not empty.
The most important thing to understand: A region with no marking at all does not mean empty. It means we have no information about that region. Empty and unknown are completely different. Shading asserts emptiness. No marking asserts nothing.
Now add a second circle. When two circles overlap, they carve the interior space into distinct regions — and each region represents a specific, precise relationship between the two classes.
Three interior regions appear. Each one is meaningful:
| # | Region | Notation | What it contains |
|---|---|---|---|
| 1 | S only (left crescent) | S ∩ P̄ | Things that belong to S but do not belong to P |
| 2 | Both S and P (overlap) | S ∩ P | Things that belong to both S and P simultaneously |
| 3 | P only (right crescent) | P ∩ S̄ | Things that belong to P but do not belong to S |
Don't forget the exterior: The area outside both circles is also a region — it represents everything that is neither S nor P. For most purposes we ignore it, but it's part of the diagram.
Nothing is S without also being P. Every S is in P. The S-not-P area is empty.
Nothing is both S and P at the same time. S and P share no members.
At least one thing is S but not P. Something in S escapes P.
At least one thing is both S and P simultaneously.
Categorical syllogisms involve three terms — subject (S), predicate (P), and middle term (M). To test them, we use a diagram with all three circles overlapping, which creates seven interior regions.
Every one of the seven regions represents a unique combination of membership across all three classes:
| # | Belongs to | Does not belong to | In words |
|---|---|---|---|
| 1 | S only | P and M | Things that are only S |
| 2 | S and P | M | S-and-P things that aren't M |
| 3 | P only | S and M | Things that are only P |
| 4 | S and M | P | S-and-M things that aren't P |
| 5 | S, P, and M | — | Things in all three classes (center) |
| 6 | P and M | S | P-and-M things that aren't S |
| 7 | M only | S and P | Things that are only M |
Common mistake: Students often forget regions 4, 5, and 6 — the regions involving M that are partially hidden near the bottom. The center region (5) in particular is easy to overlook. Make sure you account for all seven regions when diagramming.
Every statement in categorical logic takes one of four standard forms, each expressing a different kind of relationship between two classes S and P. Here's how each one gets drawn on a two-circle diagram.
The shaded left crescent declares: there is no such thing as an S that isn't also a P. Every member of class S necessarily falls inside class P as well.
Example: "All dogs are mammals." The region "things that are dogs but not mammals" is shaded — nothing lives there, because every dog is a mammal.
Remember: The A sentence only shades the S-only crescent. It says nothing about the overlap or the P-only crescent. Those remain unmarked — we don't know whether they're empty or populated.
The shaded overlap declares: nothing can belong to both S and P simultaneously. The two classes are entirely separate — no overlap at all.
Example: "No cats are dogs." The region "things that are both cats and dogs" is shaded — that region is empty.
Note: The E sentence says nothing about whether S or P themselves are empty or full. Both crescents are left blank. We only know the overlap is empty.
The X in the overlap declares: at least one member of S is also a member of P. We don't know how many — just that at least one exists.
Example: "Some students are athletes." At least one person who is a student is also an athlete.
Logic's "some": In logic, "some" means at least one — not "some but not all." It might be that all of them are, or just one. The X only guarantees the region isn't empty.
The X in the left crescent declares: at least one member of S is not in P. Something in S escapes classification as P.
Example: "Some birds are not fliers." At least one bird — penguins, emus — exists outside the "fliers" class.
Contradiction with A: Notice the A sentence shades the S-only crescent; the O sentence puts an X there. They are contradictories — if one is true, the other must be false, and vice versa.
Now we use everything we've learned. A categorical syllogism is an argument with exactly two premises and a conclusion, each a standard form sentence, involving exactly three terms. The Venn test tells us whether the argument is valid purely by diagramming.
What is validity? An argument is valid if and only if: it is impossible for the premises to be true while the conclusion is false. Validity is about logical form — not whether the premises are actually true in the world.
Critical rule: Never diagram the conclusion. If you add the conclusion yourself, you've tested nothing — of course the diagram will show it. The whole point is to see whether diagramming the premises alone makes the conclusion visible.