Definition
A Venn diagram is a visualization, introduced by the English logician John Venn in 1880, that displays the possible logical relations between two or more sets as overlapping closed curves — usually circles. Each curve marks the boundary of a set; the regions of overlap and non-overlap correspond to every combination of membership and non-membership. With two circles there are four regions (in A only, in B only, in both, in neither); with three circles there are eight; with n circles, in principle, two-to-the-n regions, although readable diagrams beyond three sets typically use ellipses or other shapes to achieve every required overlap.
Beyond its everyday popularity as an explanatory device, the Venn diagram is a rigorous logical tool. By shading regions to represent emptiness and marking regions to represent occupancy, a Venn diagram can encode any categorical proposition — and by drawing the premises of a syllogism on one diagram, it can decide the syllogism's validity at a glance.
Why it matters
How it works
Two visual conventions carry all the work. Shading a region means that region is empty: no object in the domain falls into it. Marking a region with an x (or any other token) means that region is occupied: at least one object in the domain falls into it. The four categorical propositions of classical logic map directly onto these operations. "All S are P" shades the part of S that lies outside P (the universal affirmative says there are no S that are not P). "No S are P" shades the overlap of S and P (the universal negative says there are no S that are also P). "Some S are P" places an x in the overlap region. "Some S are not P" places an x in the part of S that lies outside P.
To test a categorical syllogism, draw three circles for the three terms (subject, predicate, middle), translate each premise into the corresponding shading or marking, and then check whether the diagram already shows the conclusion. If the conclusion's required pattern is present without further additions, the syllogism is valid. If the diagram does not already display the conclusion — or if marking the conclusion would require a region that the premises left ambiguous — the syllogism is invalid. The method is mechanical, visual, and decisive, which is why it remains the standard introduction to syllogistic reasoning. It also reveals subtle issues like the modern logic refusal to assume that universal claims imply existence: in a strict modern reading, marking an x requires that the premises explicitly state occupancy, and many traditionally valid syllogisms become invalid when that assumption is dropped.