Read the introduction and tutorial for an introduction to Venn diagrams. In Venn diagrams, circles represent sets or classes. These tutorials demonstrate how to use shading and overlapping to illustrate empty sets, as well as relations of all, every, and nothing.
Pictures and diagrams can be very useful in presenting information or assisting reasoning. In this module we shall focus on Venn diagram. They are used to represent classes of objects. We can also use them to evaluate the validity of certain types of
Venn diagrams are named after the British logician John Venn (1834–1923), a fellow of Gonville and Caius College at Cambridge University. He was also a philosopher and mathematician, a pioneer of logic and probability theory.
Let us start with the concept of a class. A class or a set is simply a collection of objects. These objects are called members of the set. A class is defined by its members. So for example, we might define a class C as the class
of black hats. In that case, every black hat in the world is a member of C, and anything that is not a black hat is not a member of C. If something is not a member of a class, we can also say that the object is outside the class.
Note that a class can be empty. The class of men over 5 meters tall is presumably empty since nobody is that tall. The class of plane figures that are both round and square is also empty since nothing can be both round and square. A class can also be infinite, containing an infinite number of objects. The class of even number is an example. It has infinitely many members, including 2, 4, 6, 8, and so on.
Let us now consider what shading means:
To indicate that a class is empty, we shade the circle representing that class. So the diagram above means that class A is empty.
In general, shading an area means that the class represented by the area is empty. So the second diagram above represents a situation where there isn't anything which is not a member of class A.
However, even though shading indicates emptiness, a region that is not shaded does not necessarily indicate a non-empty class. As we shall see in the next tutorial, we use a tick to indicate existence. So in the second diagram above, the circle marked A is not shaded. This does not imply that there are things which exist which are members of A. If the area is blank, this means that we do not have any information as to whether there is anything there.
Source: Joe Lau and Jonathan Chan, https://philosophy.hku.hk/think/venn/
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 License.