John Venn, FRS, FSA (4 August 1834 - 4 April 1923) was an English mathematician, logician and philosopher noted for introducing Venn diagrams, which are used in logic, set theory, probability,