Logic Diagrams
"Logic diagrams" are geometrical figures that are in some respect isomorphic with the structure of statements in a formal logic and therefore can be manipulated to solve problems in that logic. They are useful teaching devices for strengthening a student's intuitive grasp of logical structure, they can be used for checking results obtained by algebraic methods, and they provide elegant demonstrations of the close relation of logic to topology and set theory.
Leonhard Euler, the Swiss mathematician, was the first to make systematic use of a logic diagram. Circles had earlier been employed, by Gottfried Wilhelm Leibniz and others, to diagram syllogisms, but it was Euler who, in 1761, first explained in detail how circles could be manipulated for such purposes. Euler's contemporary Johann Heinrich Lambert, the German mathematician, in his Neues
Organon (1764) used straight lines, in a manner similar to Euler's use of circles, for diagramming syllogisms.
Venn Diagrams
The Euler and Lambert methods, as well as later variants using squares and other types of closed curves, are no longer in use because of the great improvement on their basic conception which was introduced by the English logician John Venn. The Venn diagram is best explained by showing how it is used to validate a syllogism.
This page contains 201 words.
Logic Diagrams article
Read the rest of this article.
This article contains 2,242 words
(approx. 7 pages at 300 words per page).
Order our Venn diagram Article
