Safekipedia

Euler diagram

Adapted from Wikipedia · Discoverer experience

Euler diagrams showing relationships between sets, from Hamilton's Lecture on Logic.

An Euler diagram (/ˈɔɪlər/, OY-lər) is a diagrammatic way to show groups and how they relate to each other. These diagrams help make complicated ideas easier to understand by using simple shapes. They are like another tool called Venn diagrams, but they show only the important relationships between groups, not all possible ones.

The famous Swiss mathematician Leonhard Euler gave his name to these diagrams, although he did not invent them. People started using Euler diagrams for logic and later for grouping things together. In the United States, these diagrams became part of teaching set theory during the new math movement in the 1960s. Now, they are used in many different subjects and by many organizations.

Euler diagrams use closed shapes on a flat surface to represent groups. The way these shapes overlap shows how the groups are connected. If shapes do not overlap, it means the groups have nothing in common. If they overlap, the groups share some members. A shape that is completely inside another shape means it is a smaller group within the larger one.

History

Diagrams that look like Euler diagrams and serve similar purposes seem to have existed for a long time. However, we can only know exact dates for these diagrams after the invention of the printing press.

Before Euler

A page from Hamilton's Lectures on Logic; the symbols A, E, I, and O refer to four types of categorical statement which can occur in a syllogism (see descriptions, left) The small text to the left erroneously says: "The first employment of circular diagrams in logic improperly ascribed to Euler. To be found in Christian Weise", a book which was actually written by Johann Christian Lange.

The first people to print an Euler-like diagram and talk about it in their writings were Juan Luis Vives (in 1531), Nicolaus Reimers (in 1589), Bartholomäus Keckermann (in 1601), and Johann Heinrich Alsted (in 1614). The first detailed explanation of these diagrams was by Erhard Weigel (1625–1699), who called them 'logometrum' (a measuring instrument for logic). Weigel was the first to prove all valid syllogisms using shapes in a flat plane. For general positive statements (all-sentences), the shape for the subject should be completely inside the shape for the predicate. For negative statements (no-sentences), it should be completely outside. For specific statements (sentences with 'some', 'some...not'), the shapes should partially overlap and not overlap. To prove a syllogism, one must first draw all possible figures for the premises and then see if the conclusion can also be read from them. If this is possible, the syllogism is valid; otherwise, it is not.

Euler and the time after

In his Letters to a German Princess, Euler focused only on traditional syllogistics. He further developed Weigel's approach and not only tested the validity of syllogisms but also developed a method for drawing conclusions from premises. At the same time as Euler, Gottfried Ploucquet and Johann Heinrich Lambert also used similar diagrams. However, the diagrams only became widely known in the 1790s through Immanuel Kant (1724–1804), who used them in his lectures on logic, and his students then spread knowledge of the diagrams throughout Europe. In the 19th century, Euler diagrams became the most widely used form of representation in logic, especially by 'Kantians' such as Arthur Schopenhauer, Karl Christian Friedrich Krause, or Sir William Hamilton.

The diagram to the right is from Couturat(p 74) in which he labels the 8 regions of the Venn diagram. The modern name for the "regions" is minterms. They are shown in the diagram with the variables x, y, and z per Venn's drawing. The symbolism is as follows: logical AND [ & ] is represented by arithmetic multiplication, and the logical NOT [ ¬ ] is represented by ⟨′⟩ after the variable, e.g. the region x′y′z is read as "(NOT x) AND (NOT y) AND z" i.e. (¬ x) & (¬ y) & z .
Both the Veitch diagram and Karnaugh map show all the minterms, but the Veitch is not particularly useful for reduction of formulas. Observe the strong resemblance between the Venn and Karnaugh diagrams; the colors and the variables x, y, and z are per Venn's example.

Since the history of the diagrams was only partially researched in the 19th century, most logicians attributed the diagrams to Euler, leading to many misunderstandings, some of which continue to this day.

Euler diagrams in the era of Venn

John Venn (1834–1923) commented on the widespread use of Euler diagrams:

Composite of two pages from Venn (1881a), pp. 115–116 showing his example of how to convert a syllogism of three parts into his type of diagram; Venn calls the circles "Eulerian circles"

"... of the first sixty logical treatises, published during the last century or so, which were consulted for this purpose–somewhat at random, as they happened to be most accessible–it appeared that thirty four appealed to the aid of diagrams, nearly all of these making use of the Eulerian scheme."

But he argued that the Euler diagram scheme was not suitable for general logic and noted that it fits poorly even with the four propositions of common logic to which it is normally applied.

Venn ended his chapter with the observation that the use of Euler diagrams is based on practice and intuition, not on a strict algorithmic practice.

Finally, Venn criticized Euler diagrams for not fitting well with the propositions of common logic and for demanding the creation of a new group of appropriate elementary propositions.

Modern use of Euler diagrams

In the 1990s, Euler diagrams were developed as a logical system. The cognitive benefits of the diagrams soon became clear. The diagrams were therefore not only used as set diagrams but have since been used in many different ways and functions in computer science including artificial intelligence and software engineering, information technology, bioscience, medicine, economics, statistics and many other fields, and their philosophy and history have been discussed. In 2000, the conference series The Theory and Application on Diagrams: An International Conference Series began, which regularly addresses current research on Euler diagrams, among other topics.

Relation between Euler and Venn diagrams

Venn diagrams are a special type of Euler diagrams. A Venn diagram must show all possible ways sets can overlap, using circles or other shapes. In Euler diagrams, only the actual overlaps are shown, which can make them simpler, especially when there are many sets.

For example, with three sets, a Venn diagram has many sections, but an Euler diagram might just show a few shapes that represent the real relationships between the sets. This can make Euler diagrams easier to understand for complex ideas.

The text also discusses how Euler diagrams and Venn diagrams can be used in logic and mathematics, showing relationships between sets like "Animals" and "Minerals." Venn diagrams might not always show these relationships clearly, while Euler diagrams can sometimes make them easier to see.

The Truth Table demonstrates that the formula ( ~(y & z) & (x → y) ) → ( ~ (x & z) ) is a tautology as shown by all 1s in yellow column.
Square no.Venn, Karnaugh regionxyz(~(y&z)&(xy))(~(x&z))
0x′y′z′0001000101011000
1x′y′z0011001101011001
2x′yz′0101100101111000
3x′yz0110111001111001
4xy′z′1001000010011100
5xy′z1011001010010111
6xyz′1101100111111100
7xyz1110111011110111

Images

A logic diagram showing truth tables used in mathematics and computer science.
A diagram showing different types of problem-solving methods in artificial intelligence using overlapping circles.

Related articles

This article is a child-friendly adaptation of the Wikipedia article on Euler diagram, available under CC BY-SA 4.0.

Images from Wikimedia Commons. Tap any image to view credits and license.