British philosopher and logician John Venn (1834–1923) invented the system of logic diagrams named after him, which consisted of the overlapping circles. They can be used to test and demonstrate the validity of inferences. Venn diagrams illustrate collections of sets and their relationships to each other, which are useful in logic theory.