Symbolic Logic

…developed his diagramming method in Symbolic Logic (1881), a work that was primarily a sophisticated defense of the attempt by the English mathematician George Boole to represent logical relations in algebraic terms (see logic, history of: Boole and De Morgan). In The Logic of Chance (1866) Venn presented the first…

Venn’s Symbolic Logic (1866) contains his fullest development of the method of Venn diagrams. The bulk of that work, however, was devoted to defending the algebraic interpretation of propositional logic introduced by the English mathematician George Boole.